Rezultaty - interactive simulations programs program functionality https

Inne możliwości wyszukiwania:
interactive simulations » interactive visualization , interactive applications
program functionality » protein functionality , programs functional , supra functionality
simulations programs » simulation programs , simulation program , simulation programme
functionality https » functionality maps , functionality needs , functionality pt
programs program » programming program

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

Wydane 2014

Spis treści: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Interactive Quantum Mechanics Quantum Experiments on the Computer /

od Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Wydane 2011

Spis treści: “... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... -- Figure of Merit Based Fitness Functions in Genetic Programming for Edge Detection -- An Evolutionary...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Genes and Cardiovascular Function

Wydane 2011

Spis treści: “... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “...Distributed Simulation -- Flight Simulation on Tiled Displays with Distributed Computing Scheme...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Leveraging Business Process Models for ETL Design -- Adaptation in Open Systems: Giving Interaction Its...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /

Wydane 2014

Spis treści: “... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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...

Wydane 2008

Spis treści: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Interaction Modalities -- Model-Based Support for Specifying eService eGovernment Applications -- A Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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...

Wydane 2007

Spis treści: “... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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...

Wydane 2010

Spis treści: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
7
8
Następna »
[8]

Redukuj rezultaty