1
Udgivet 2005
Indholdsfortegnelse: ... -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... Interval Job Distribution -- Average Schedule Length and Resource Selection Policies on Computational Grids...
Få fuldtekst
Electronisk eBog
6
Udgivet 2014
Indholdsfortegnelse: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...
Få fuldtekst
Electronisk eBog