1
Veröffentlicht 2005
Inhaltsangabe: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2006
Inhaltsangabe: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2005
Inhaltsangabe: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2008
Inhaltsangabe: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2005
Inhaltsangabe: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2006
Inhaltsangabe: ... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2005
Inhaltsangabe: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2008
Inhaltsangabe: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2008
Inhaltsangabe: ... of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach -- Using Multi-scale Glide Zoom...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2005
Inhaltsangabe: ... Functions of Multiple Transcription Factors -- Predicting Transcription Factor Binding Sites Using...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2005
Inhaltsangabe: ... Video Retrieval for Multimedia Information Systems -- Using an Exact Radial Basis Function Artificial...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2007
Inhaltsangabe: ... Networks Using Gene Expression Time Series Data -- Biological Network Inference Using Redundancy Analysis...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2015
Inhaltsangabe: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2005
Inhaltsangabe: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2006
Inhaltsangabe: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
Volltext
Elektronisch E-Book