1
Publicat 2014
Taula de continguts: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Obtenir text complet
Electrònic eBook
6
Publicat 2014
Taula de continguts: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obtenir text complet
Electrònic eBook
8
Publicat 2012
Taula de continguts: ... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...
Obtenir text complet
Electrònic eBook
9
Publicat 2005
Taula de continguts: ... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
Obtenir text complet
Electrònic eBook
11
Publicat 2013
Taula de continguts: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Obtenir text complet
Electrònic eBook
13
Publicat 2014
Taula de continguts: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Obtenir text complet
Electrònic eBook
14
Taula de continguts: ... Takagi‒Sugeno Fuzzy Positive Systems -- Stabilization of Delayed T-S Fuzzy Positive Systems -- Robust...
Obtenir text complet
Electrònic eBook
15
Publicat 2015
Taula de continguts: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
Obtenir text complet
Electrònic eBook
16
Publicat 2014
Taula de continguts: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
Obtenir text complet
Electrònic eBook
17
Publicat 2005
Taula de continguts: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Obtenir text complet
Electrònic eBook
18
Publicat 2006
Taula de continguts: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Obtenir text complet
Electrònic eBook
19
Publicat 2015
Taula de continguts: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
Obtenir text complet
Electrònic eBook
20
Publicat 2007
Taula de continguts: ... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...
Obtenir text complet
Electrònic eBook