Sökresultat - structures computational ((programming decisions) or (programming mathematics)) arrays a~

1

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Publicerad 2008

Innehållsförteckning: “...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...”
Hämta fulltext

Elektronisk E-bok

2

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”
Hämta fulltext

Elektronisk E-bok

3

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Publicerad 2015

Innehållsförteckning: “... Exponentiation -- Chapter 9. Computationally Secure Robust Multi-Secret Sharing for General Access Structure...”
Hämta fulltext

Elektronisk E-bok

4

The Calculus of Computation Decision Procedures with Applications to Verification /

av Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
Publicerad 2007

Innehållsförteckning: “... -- Combining Decision Procedures -- Arrays -- Invariant Generation -- Further Reading....”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2005

Innehållsförteckning: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Hämta fulltext

Elektronisk E-bok

6

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hämta fulltext

Elektronisk E-bok

7

Applications of Soft Computing Recent Trends /

Publicerad 2006

Innehållsförteckning: “...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...”
Hämta fulltext

Elektronisk E-bok

8

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Hämta fulltext

Elektronisk E-bok

9

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Publicerad 2005

Innehållsförteckning: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Hämta fulltext

Elektronisk E-bok

10

Evolutionary Algorithms for Solving Multi-Objective Problems

av Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicerad 2007

Innehållsförteckning: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Hämta fulltext

Elektronisk E-bok

11

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /

Publicerad 2005

Innehållsförteckning: “...Invited Papers -- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey...”
Hämta fulltext

Elektronisk E-bok

12

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Hämta fulltext

Elektronisk E-bok

13

Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “...: An Application to Gene Expression Data Analysis -- Local Pattern Discovery in Array-CGH Data -- Learning...”
Hämta fulltext

Elektronisk E-bok

14

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

av Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
Publicerad 2013

Innehållsförteckning: “... as Stochastic Team Decision Problems: A General Introduction -- Characterization and Comparison of Information...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen