Hakutulokset - interactive simulation program program ((functionals https) or (function https))

1

Julkaistu 2011

Sisällysluettelo: “... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...”
Hae kokoteksti

Elektroninen E-kirja

2

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Julkaistu 2014

Sisällysluettelo: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Hae kokoteksti

Elektroninen E-kirja

3

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...”
Hae kokoteksti

Elektroninen E-kirja

4

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”
Hae kokoteksti

Elektroninen E-kirja

5

Interactive Quantum Mechanics Quantum Experiments on the Computer /

Tekijä Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Julkaistu 2011

Sisällysluettelo: “... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Hae kokoteksti

Elektroninen E-kirja

6

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Julkaistu 2013

Sisällysluettelo: “.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”
Hae kokoteksti

Elektroninen E-kirja

7

Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings /

Julkaistu 2012

Sisällysluettelo: “... -- Figure of Merit Based Fitness Functions in Genetic Programming for Edge Detection -- An Evolutionary...”
Hae kokoteksti

Elektroninen E-kirja

8

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Julkaistu 2014

Sisällysluettelo: “... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...”
Hae kokoteksti

Elektroninen E-kirja

9

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Julkaistu 2015

Sisällysluettelo: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Hae kokoteksti

Elektroninen E-kirja

10

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Julkaistu 2005

Sisällysluettelo: “...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”
Hae kokoteksti

Elektroninen E-kirja

11

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Julkaistu 2012

Sisällysluettelo: “...Distributed Simulation -- Flight Simulation on Tiled Displays with Distributed Computing Scheme...”
Hae kokoteksti

Elektroninen E-kirja

12

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Julkaistu 2010

Sisällysluettelo: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Hae kokoteksti

Elektroninen E-kirja

13

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Leveraging Business Process Models for ETL Design -- Adaptation in Open Systems: Giving Interaction Its...”
Hae kokoteksti

Elektroninen E-kirja

14

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /

Julkaistu 2014

Sisällysluettelo: “... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...”
Hae kokoteksti

Elektroninen E-kirja

15

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Julkaistu 2008

Sisällysluettelo: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Hae kokoteksti

Elektroninen E-kirja

16

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Julkaistu 2012

Sisällysluettelo: “... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”
Hae kokoteksti

Elektroninen E-kirja

17

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers /

Julkaistu 2007

Sisällysluettelo: “... Interaction Modalities -- Model-Based Support for Specifying eService eGovernment Applications -- A Model...”
Hae kokoteksti

Elektroninen E-kirja

18

HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22...

Julkaistu 2007

Sisällysluettelo: “... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...”
Hae kokoteksti

Elektroninen E-kirja

19

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Julkaistu 2010

Sisällysluettelo: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
Hae kokoteksti

Elektroninen E-kirja

20

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Julkaistu 2010

Sisällysluettelo: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua