Sökning: "information exploration"

Visar resultat 21 - 25 av 467 avhandlingar innehållade orden information exploration.

1. 21. Design Space Exploration : co-operative creation of proposals for desired interactions with future artefacts

   Författare :Bo Westerlund; Yngve Sundblad; Peter Ullmark; Elizabeth B.-N. Sanders; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; HUMANIORA; HUMANITIES; Design process; co-operative design; participatory design; prototype; video prototype; attention; industrial design; design space; prop; Design;

   Sammanfattning : This thesis critically reflects on co-operative design workshops that I have conducted. The basic method used in these workshops draws on the participants’ embodied knowing. LÄS MER

3. 22. Theory Exploration for Programs and Proofs

   Författare :Sólrún Einarsdóttir; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

   Sammanfattning : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. LÄS MER

4. 23. Temporality in the Interaction Design of Information Systems

   Författare :Anna Gryszkiewicz; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; temporality; Crisis management; information systems; interaction design; disaster management; human-computer interaction; time;

   Sammanfattning : ABSTRACTThis thesis contributes with two tools that can be used by designers and researchers in exploring how to address time in the design of crisis response and management information systems. By crisis management information system is here meant information systems used by local and regional authorities when responding to events that may disturb important societal functions, such as: floods, storms, terror attacks, and spreading of infectious diseases. LÄS MER

5. 24. Perceiving agents : Pluralism, interaction, and existence

   Författare :Erik Lagerstedt; Serge Thill; Maria Riveiro; Paul Hemeren; Ron Chrisley; Högskolan i Skövde; []
   Nyckelord :HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Interaction Lab ILAB ; Interaction Lab ILAB ;

   Sammanfattning : Perception is a vast subject to study. One way to approach and study it might therefore be to break down the concept into smaller pieces. Specific modes of sensation, mechanisms, phenomena, or contexts might be selected as the proxy or starting point for addressing perception as a whole. LÄS MER

7. 25. Dynamic Resampling for Preference-based Evolutionary Multi-objective Optimization of Stochastic Systems : Improving the efficiency of time-constrained optimization

   Författare :Florian Siegmund; Kalyanmoy Deb; Amos H.C. Ng; Sanaz Mostaghim; Högskolan i Skövde; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Evolutionary multi-objective optimization; simulation-based optimization; guided search; preference-based optimization; reference point; decision support; noise; stochastic systems; dynamic resampling; budget allocation; sequential sampling; hybrid; ranking and selection; Natural sciences; Naturvetenskap; Technology; Teknik; Production and Automation Engineering; Produktion och automatiseringsteknik;

   Sammanfattning : In preference-based Evolutionary Multi-objective Optimization (EMO), the decision maker is looking for a diverse, but locally focused non-dominated front in a preferred area of the objective space, as close as possible to the true Pareto-front. Since solutions found outside the area of interest are considered less important or even irrelevant, the optimization can focus its efforts on the preferred area and find the solutions that the decision maker is looking for more quickly, i. LÄS MER