Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive globalization » interaction globalization, interactive visualization, alternative globalization
program functionality » protein functionality, programs functional, supra functionality
functionality https » functionality maps, functionality needs, functionality pt
https program » steps program, status program, atas program
interactive globalization » interaction globalization, interactive visualization, alternative globalization
program functionality » protein functionality, programs functional, supra functionality
functionality https » functionality maps, functionality needs, functionality pt
https program » steps program, status program, atas program
1
Published 2015
Table of Contents:
“... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... -- Adaptive Parameterized Consistency -- Global Inverse Consistency for Interactive Constraint Satisfaction...”View full text
Electronic
eBook
6
Table of Contents:
“...Global optimization -- The Motivation for Differential Evolution -- Critical values for the control...”
View full text
View full text
Electronic
eBook
7
by Cowling, Michael., Cowling, Michael., Frenkel, Edward., Kashiwara, Masaki., Valette, Alain., Vogan, David A., Wallach, Nolan R.
Published 2008
Table of Contents:
“...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...”Published 2008
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Interaction Modalities -- Model-Based Support for Specifying eService eGovernment Applications -- A Model...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Annotate Points of Interest in Video and Interactive-TV Programs -- Conclusion (The Mobile Future)....”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Integration -- On Operations to Conform Object-Oriented Schemas -- ERP Implementation, Cross-Functionality...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... in Systems of Interacting Agents as a Function of Local and Global Topological Features -- Social Network...”View full text
Electronic
eBook