Sökning: "logical form"

Visar resultat 16 - 20 av 71 avhandlingar innehållade orden logical form.

  1. 16. Verification and Scheduling Techniques for Real-Time Embedded Systems

    Författare :Luis Alejandro Cortés; Zebo Peng; Petru Eles; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer systems; Embedded computer systems; real-time systems; Computer science; Datavetenskap;

    Sammanfattning : Embedded computer systems have become ubiquitous. They are used in a wide spectrum of applications, ranging from household appliances and mobile devices to vehicle controllers and medical equipment. LÄS MER

  3. 17. Stability Properties of Switched Dynamical Systems A Linear Matrix Inequality Approach

    Författare :Marcus Rubensson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The dynamical properties of many natural phenomena are traditionally described by smooth differential equation models. The use of automated control structures imposes new behaviors on the controlled system. Actions are often organized in a logical manner. Switched dynamical models are a natural extension to smooth differential equation models. LÄS MER

  4. 18. Technology in everyday life : a study of consumers and technology in a banking context

    Författare :Camilla Carlell; Alladi Venkatesh; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Consumers; Technology; Everyday Life; Methodological Triangulation.; Business Administration; företagsekonomi;

    Sammanfattning : Technology is increasingly making its presence felt in the lives of consumers. This disserta-tion focuses on how consumers use, relate to and make sense of technology. Through methodo-logical triangulation in the form of interviews, diaries, experiments and observations we hear individual consumers talk about their lives with technology. LÄS MER

  5. 19. On business relationships as Darwinian systems : an exploration into how Darwinian systems thinking can supportbusiness relationship research

    Författare :Johan Kask; Claes Hultman; Jim Andersén; Frans Prenkert; Mats Magnusson; Örebro universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Business Studies; Företagsekonomi;

    Sammanfattning : The demarcation between different traditions in contemporary research on business relationships reflects theoretical and methodological difficulties in the conceptualization of the nature of business relationships and how such relationships evolve. To tackle these problems, this thesis explores the fruitfulness of regarding business relationships as Darwinian systems, which accentuates kinship between Darwinism and systems thinking, and elaborates a treatment of business relationship transmutation as an iterative dynamic process that does not take the existence of business relationships – or the sequence of developmental stages – for granted. LÄS MER

  7. 20. On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach

    Författare :Jenny S. Z. Eriksson Lundström; Andreas Hamfelt; Giovanni Sartor; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. LÄS MER