1
Udgivet 2007
Indholdsfortegnelse: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...
Få fuldtekst
Electronisk eBog
4
Udgivet 2014
Indholdsfortegnelse: ... Computational Intelligence -- Modeling Heavy-tails in Traffic Sources for Network Performance Evaluation...
Få fuldtekst
Electronisk eBog
5
Udgivet 2007
Indholdsfortegnelse: ...-Time Reversible Iterative Arrays -- The Computational Complexity of Monotonicity in Probabilistic...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
Få fuldtekst
Electronisk eBog
7
Udgivet 2013
Indholdsfortegnelse: ... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...
Få fuldtekst
Electronisk eBog
8
Udgivet 2014
Indholdsfortegnelse: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Få fuldtekst
Electronisk eBog
9
Udgivet 2012
Indholdsfortegnelse: ... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol -- Model-Driven Platform...
Få fuldtekst
Electronisk eBog
11
Udgivet 2008
Indholdsfortegnelse: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Få fuldtekst
Electronisk eBog
12
Udgivet 2005
Indholdsfortegnelse: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Få fuldtekst
Electronisk eBog
15
Udgivet 2012
Indholdsfortegnelse: ... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...
Få fuldtekst
Electronisk eBog
16
Udgivet 2014
Indholdsfortegnelse: ... Filters for Common Spatial Patterns by Preserving Locally Linear Structure of EEG Trials -- Interactive...
Få fuldtekst
Electronisk eBog
17
Udgivet 2006
Indholdsfortegnelse: ... Solution -- Principal Components for Automatic Term Hierarchy Building -- Strings -- Computing the Minimum...
Få fuldtekst
Electronisk eBog