Advanced search

Showing result 1 - 5 of 10 essays matching the above criteria.

1. 1. Extracting scalable program models for TLA model checking

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Anders Ågren Thuné; Theo Puranen Åhfeldt; [2020]
   Keywords : ;

   Abstract : Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number of systems and program verification tools for dealing with temporal logic have been developed. READ MORE

3. 2. Fostering Proactiveness in Data-Driven Matrix Organizations : A Study of Alfa Laval's Distribution Center in Tumba

   University essay from KTH/Industriell produktion

   Author : Johanna Falkenstrand; Camilla Lemos; [2019]
   Keywords : Functional silos; reactive work; matrix organization; spare parts; Lean Six Sigma; decisionmaking process; Funktionella silos; reaktivt arbete; matrisorganisation; reservdelar; Lean Six Sigma; beslutsfattandeprocess;

   Abstract : Globalization has increased the complexity of the business world, as it adds new dimensions to companies’ operations, such as global suppliers and customers, and competition from global actors. To handle the complexity, companies are pressured to become more data-driven to be able to measure and align their operations, and create possibilities for efficiency and competitiveness [Skjott-Larsen etal. READ MORE

4. 3. UniRx and Unity 5 : Working with C# and object-oriented reactive programming

   University essay from Uppsala universitet/Institutionen för speldesign

   Author : Johannes Westberg; [2017]
   Keywords : reactive programming; reactive-functional programming; game programming; gameplay programming; object-oriented reactive programming; programming patterns; function composition; UniRx; Unity 5;

   Abstract : Gameplay programming is vital for video game development and benefits from good tools and techniques. However, techniques are still used in the industry that involves describing how the computer operates. Reactive programming is a way to describe eventful and stateful computer programs declaratively, focusing on what the program should accomplish. READ MORE

5. 4. Diagnostiska kriterier och C-reaktivt protein hos Nova Scotia Duck Tolling Retrievers med immunmedierad sjukdom

   University essay from SLU/Dept. of Clinical Sciences

   Author : Malin Kånåhols; [2015]
   Keywords : Nova scotia duck tolling retriever; C-reaktivt protein; CRP; immunmedierad reumatisk sjukdom; IMRD; steroid-responsiv meningit arterit; SRMA; tollare; tollarsjuka;

   Abstract : Nova Scotia Duck Tolling Retriever, eller tollare som de kallas i dagligt tal, är överrepresenterade för vissa immunmedierade sjukdomar. I Sverige är framförallt den SLE (systemisk lupus erythematosus)-relaterade sjukdomen immunmedierad reumatisk sjukdom (IMRD) samt steroid responsiv meningit-arterit (SRMA) uppmärksammade. READ MORE

6. 5. A framework for creating observable web services

   University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)

   Author : Stan-Erik Zaccheus; [2015]
   Keywords : Functional programming; Reactive Extensions; API design; Funktionell programmering; Reactive Extensions; API-design;

   Abstract : In the intelligence community, intelligence is defined as the right information to the right party at the right time. This definition also applies to business intelligence used by government and financial institutions, patient information used by healthcare providers and meteorological and geological reports provided by research institutions and environmental agencies. READ MORE