1
Udgivet 2015
Indholdsfortegnelse: .... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...
Få fuldtekst
Electronisk eBog
2
Udgivet 2015
Indholdsfortegnelse: ... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...
Få fuldtekst
Electronisk eBog
3
Udgivet 2006
Indholdsfortegnelse: ...Invited Talks -- A Core Calculus for Scala Type Checking -- Tree Exploration with an Oracle...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
Få fuldtekst
Electronisk eBog
6
Udgivet 2014
Indholdsfortegnelse: ... -- Interaction Coupling: A Modern Coupling Extractor -- Secure Multicasting Protocols in Wireless Mesh Networks...
Få fuldtekst
Electronisk eBog
7
Udgivet 2006
Indholdsfortegnelse: ... Review on Design Optimisation and Exploration with Interactive Evolutionary Computation -- Pattern...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...
Få fuldtekst
Electronisk eBog
10
Udgivet 2012
Indholdsfortegnelse: ... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...
Få fuldtekst
Electronisk eBog
11
Udgivet 2007
Indholdsfortegnelse: ... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...
Få fuldtekst
Electronisk eBog
12
Indholdsfortegnelse: ... a Server-Side Environment with PHP -- Working with PHP -- PHP Arrays -- Summary of Selected PHP...
Få fuldtekst
Electronisk eBog
13
Udgivet 2007
Indholdsfortegnelse: ...-Structure Coupling -- Computational Study of the Aeroelastic Equilibrium Configuration of a Swept Wind...
Få fuldtekst
Electronisk eBog
14
Udgivet 2005
Indholdsfortegnelse: ...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...
Få fuldtekst
Electronisk eBog
15
Udgivet 2014
Indholdsfortegnelse: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
Få fuldtekst
Electronisk eBog
17
Udgivet 2014
Indholdsfortegnelse: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Få fuldtekst
Electronisk eBog
18
Udgivet 2015
Indholdsfortegnelse: ... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ...-Exponential Dependence on Epsilon -- Computing a Minimum-Depth Planar Graph Embedding in O(n 4) Time...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... System Using SOM -- A Novel Embedded Computer Based Autonomous Robot for Sewer Pipe Inspection...
Få fuldtekst
Electronisk eBog