Suchergebnisse - interaction globalization https programs function https

1

DNA-Protein Interactions Principles and Protocols /

Veröffentlicht 2015

Inhaltsangabe: “... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...”
Volltext

Elektronisch E-Book

2

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volltext

Elektronisch E-Book

3

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Volltext

Elektronisch E-Book

4

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”
Volltext

Elektronisch E-Book

5

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... -- Adaptive Parameterized Consistency -- Global Inverse Consistency for Interactive Constraint Satisfaction...”
Volltext

Elektronisch E-Book

6

Differential Evolution A Practical Approach to Global Optimization /

von Price, Kenneth., Price, Kenneth., Storn, Rainer M., Lampinen, Jouni A.
Veröffentlicht 2005

Inhaltsangabe: “...Global optimization -- The Motivation for Differential Evolution -- Critical values for the control...”
Volltext

Elektronisch E-Book

7

Representation Theory and Complex Analysis Lectures given at the C.I.M.E. Summer School held in Venice, Italy, June 10-17, 2004 /

von Cowling, Michael., Cowling, Michael., Frenkel, Edward., Kashiwara, Masaki., Valette, Alain., Vogan, David A., Wallach, Nolan R.
Veröffentlicht 2008

Inhaltsangabe: “...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2007

Inhaltsangabe: “... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...”
Volltext

Elektronisch E-Book

9

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Volltext

Elektronisch E-Book

10

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

Veröffentlicht 2008

Inhaltsangabe: “... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...”
Volltext

Elektronisch E-Book

11

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

Veröffentlicht 2007

Inhaltsangabe: “... Interaction Modalities -- Model-Based Support for Specifying eService eGovernment Applications -- A Model...”
Volltext

Elektronisch E-Book

12

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Volltext

Elektronisch E-Book

13

Advanced Statistical Methods for the Analysis of Large Data-Sets

Veröffentlicht 2012

Inhaltsangabe: “... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”
Volltext

Elektronisch E-Book

14

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, Se...

Veröffentlicht 2008

Inhaltsangabe: “... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”
Volltext

Elektronisch E-Book

15

Mobile TV: Customizing Content and Experience

Veröffentlicht 2010

Inhaltsangabe: “... Annotate Points of Interest in Video and Interactive-TV Programs -- Conclusion (The Mobile Future)....”
Volltext

Elektronisch E-Book

16

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Volltext

Elektronisch E-Book

17

Dynamics, Games and Science International Conference and Advanced School Planet Earth, DGS II, Portugal, August 28–September 6, 2013 /

Veröffentlicht 2015

Inhaltsangabe: “... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...”
Volltext

Elektronisch E-Book

18

Enterprise Information Systems V

Veröffentlicht 2005

Inhaltsangabe: “... Integration -- On Operations to Conform Object-Oriented Schemas -- ERP Implementation, Cross-Functionality...”
Volltext

Elektronisch E-Book

19

Computational Social Network Analysis Trends, Tools and Research Advances /

Veröffentlicht 2010

Inhaltsangabe: “... in Systems of Interacting Agents as a Function of Local and Global Topological Features -- Social Network...”
Volltext

Elektronisch E-Book

20

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

Veröffentlicht 2008

Inhaltsangabe: “... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”
Volltext

Elektronisch E-Book

Suche einschränken