Sökning: "falsification"

Visar resultat 6 - 10 av 12 avhandlingar innehållade ordet falsification.

  1. 6. Designing for Autonomy

    Författare :Mikael Laaksoharju; Iordanis Kavathatzopoulos; Donald Gotterbarn; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; design method; design philosophy; user-centered design; theorizing; falsification; interaction design; hypothesis; mental models; autonomy; Datavetenskap med inriktning mot människa-datorinteraktion; Computer Science with specialization in Human-Computer Interaction;

    Sammanfattning : In this thesis, two problems are addressed.The first problem is how designers of computerized artifacts come to understand what they should design. LÄS MER

  3. 7. On Optimization-Based Falsification of Cyber-Physical Systems

    Författare :Zahra Ramezani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Bayesian Optimization; Model-Based Testing; Optimization-Based Falsification; Cyber-Physical Systems; Quantitative Semantics; Input Generators;

    Sammanfattning : In what is commonly referred to as cyber-physical systems (CPSs), computational and physical resources are closely interconnected. An example is the closed-loop behavior of perception, planning, and control algorithms, executing on a computer and interacting with a physical environment. LÄS MER

  4. 8. Towards Legitimacy as Congruence: Regimes' Menus of Legitimation and Citizens’ Appetites

    Författare :Marcus Tannenberg; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Legitimacy; Legitimation; Self-censorship; Preference falsification;

    Sammanfattning : Legitimacy is one of the most crucial concepts in political science. It concerns how authority can be exercised in ways that those subjected to it willingly accept, something that all rulers desire. It is also one of the most contested concepts in the field, largely due to the difficulty of measurement. LÄS MER

  5. 9. Searches for Massive Highly Ionising Particles at the ATLAS Experiment and in Polar Volcanic Rocks, and Performance Studies of the First Level ATLAS Trigger System

    Författare :Katarina Bendtz; David Milstead; Kenneth Österberg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Magnetiska monopoler; Trigger; fysik; Physics;

    Sammanfattning : The Standard Model (SM) of particle physics describes the elementary particles and their interactions. Despite passing a number of high precision falsification tests, it is argued that the SM suffers from a number of shortcomings. Many Beyond the Standard Model (BSM) theories have therefore been postulated. LÄS MER

  7. 10. Authentic Communication and Trustworthy Location in Mobile Networks

    Författare :Felipe Boeira; Mikael Asplund; Marinho Barcellos; Alexey Vinel; Panos Papadimitratos; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Widespread mobile network connectivity has changed society and, consequently, increased our dependency on its proper functioning for transportation, safety, finance, and more. This thesis is concerned with improving the security of mobile networks and focuses on two such instances: vehicular and cellular networks. LÄS MER