1
Udgivet 2014
Indholdsfortegnelse: ... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...
Få fuldtekst
Electronisk eBog
3
Udgivet 2008
Indholdsfortegnelse: ... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...
Få fuldtekst
Electronisk eBog
4
Indholdsfortegnelse: ... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
Få fuldtekst
Electronisk eBog
6
Udgivet 2012
Indholdsfortegnelse: ... -- Figure of Merit Based Fitness Functions in Genetic Programming for Edge Detection -- An Evolutionary...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...
Få fuldtekst
Electronisk eBog
8
Udgivet 2011
Indholdsfortegnelse: ... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...
Få fuldtekst
Electronisk eBog
9
Udgivet 2005
Indholdsfortegnelse: ...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...
Få fuldtekst
Electronisk eBog
10
Udgivet 2015
Indholdsfortegnelse: ... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...
Få fuldtekst
Electronisk eBog
11
Udgivet 2012
Indholdsfortegnelse: ...Distributed Simulation -- Flight Simulation on Tiled Displays with Distributed Computing Scheme...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... -- Leveraging Business Process Models for ETL Design -- Adaptation in Open Systems: Giving Interaction Its...
Få fuldtekst
Electronisk eBog
14
Udgivet 2014
Indholdsfortegnelse: ... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Få fuldtekst
Electronisk eBog
16
Udgivet 2012
Indholdsfortegnelse: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
Få fuldtekst
Electronisk eBog
17
Udgivet 2007
Indholdsfortegnelse: ... Interaction Modalities -- Model-Based Support for Specifying eService eGovernment Applications -- A Model...
Få fuldtekst
Electronisk eBog
18
Udgivet 2007
Indholdsfortegnelse: ... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Få fuldtekst
Electronisk eBog