Search Results - program under program https array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Published 2008

Table of Contents: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
View full text

Electronic eBook

2

Under Control Governance Across the Enterprise /

by Lamm, Jacob., Lamm, Jacob., Blount, Sumner., McCracken, William., Handal, Kenneth., Cirabisi, Robert., Zanella, Robert., Scheil, Helge., Meyer, John., Camm, Marc., Fox, Christopher., Cooper, Nancy., Srulowitz, Alan., Datskovsky, Galina., Boston, Steve., Keogh, Jim., Sleeth, Karen., Cooper, Kenneth.
Published 2010

Subjects: “...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
View full text

Electronic eBook

3

Redox Systems Under Nano-Space Control

Published 2006

Table of Contents: “... -- Programmed Metal Arrays by Means of Designable Biological Macromolecules -- Metal-Incorporated Hosts...”
View full text

Electronic eBook

4

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Published 2005

Table of Contents: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
View full text

Electronic eBook

5

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
View full text

Electronic eBook

6

Practical Reporting with Ruby and Rails

by Berube, David., Berube, David.
Published 2008

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

7

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

by Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
Published 2013

Table of Contents: “... Gaussian Channels under Quadratic Cost -- Agreement in Teams and the Dynamic Programming Approach under...”
View full text

Electronic eBook

8

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... -- cc?: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics -- A Logic...”
View full text

Electronic eBook

9

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

10

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... State Machines -- MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation...”
View full text

Electronic eBook

11

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
View full text

Electronic eBook

12

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...”
View full text

Electronic eBook

13

Getting StartED with Mac OS X Leopard

by Williams, Justin., Williams, Justin.
Published 2007

Table of Contents: “... -- Under the Hood -- Developer Tools....”
View full text

Electronic eBook

14

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings /

Published 2010

Table of Contents: “... Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems...”
View full text

Electronic eBook

15

Combinatorial Pattern Matching 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010, Proceedings, /

Published 2010

Table of Contents: “... on the Minimum Mosaic of Population Sequences under Recombination -- The Highest Expected Reward Decoding...”
View full text

Electronic eBook

16

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Published 2008

Table of Contents: “... State Machines Using Fusion -- Wait-Free Dining Under Eventual Weak Exclusion -- On the Inherent Cost...”
View full text

Electronic eBook

17

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Published 2007

Table of Contents: “... of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage...”
View full text

Electronic eBook

18

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
View full text

Electronic eBook

19

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
View full text

Electronic eBook

20

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems /

by Biedermann, Alexander., Biedermann, Alexander.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Narrow Search