1
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
8
Table of Contents: ... or the Available Energy function -- App C.Irreversibilities in the thermodynamic cycles and in the thermal machines....
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Bacterium Rhodobacter capsulatus -- The Network of PII Signalling Protein Interactions in Unicellular...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Attack -- Infrastructure Modeling and Simulation -- Interactive Visualization of Interdependencies...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
14
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
15
Published 2012
Table of Contents: ... Annotated Model Solutions in a Functional Programming Tutor -- The Effect of Predicting Expertise in Open...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... -- An Energy-Efficient Routing Method of Wireless Sensor Networks -- Rapid-Response Replication: A Fault...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... of Energy Aware Routing Protocols and Mechanisms for Mobile Ad hoc Networks -- Lexical Ontology Based...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
View full text
Electronic eBook