1
Veröffentlicht 2007
Inhaltsangabe: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2006
Inhaltsangabe: ... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2007
Inhaltsangabe: ... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2007
Inhaltsangabe: ... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2006
Inhaltsangabe: ... Systems -- On Promise Problems: A Survey -- A Pebble Game for Internet-Based Computing -- On Teaching Fast...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2008
Inhaltsangabe: ... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2006
Inhaltsangabe: ...Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2012
Inhaltsangabe: ... Encryption with Non-interactive Opening -- Fast Tate Pairing Computation on Twisted Jacobi Intersections...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2015
Inhaltsangabe: ...O-PSI: Delegated Private Set Intersection on Outsourced Datasets -- Flexible and Robust Privacy...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2008
Inhaltsangabe: ... -- Planning for Biodiversity Conservation Using Stochastic Programming -- A Diffusion-Reaction Model of a...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2013
Inhaltsangabe: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2014
Inhaltsangabe: .... Austin -- Meditation as First-Person Methodology: Real Promise—and Problems, J. Shear -- Using First...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2012
Inhaltsangabe: ... and criminal responsibility evaluations -- Sentencing juveniles to life in prison without the opportunity...
Volltext
Elektronisch E-Book