検索結果 - structures computational ((programming mathematics) or (programming decisions)) 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...

出版事項 2008

目次: “...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...”
全文の入手

電子媒体 eBook

2

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

出版事項 2006

目次: “... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”
全文の入手

電子媒体 eBook

3

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

出版事項 2015

目次: “... Exponentiation -- Chapter 9. Computationally Secure Robust Multi-Secret Sharing for General Access Structure...”
全文の入手

電子媒体 eBook

4

The Calculus of Computation Decision Procedures with Applications to Verification /

著者: Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
出版事項 2007

目次: “... -- Combining Decision Procedures -- Arrays -- Invariant Generation -- Further Reading....”
全文の入手

電子媒体 eBook

5

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

出版事項 2005

目次: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
全文の入手

電子媒体 eBook

6

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

出版事項 2014

目次: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
全文の入手

電子媒体 eBook

7

Applications of Soft Computing Recent Trends /

出版事項 2006

目次: “...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...”
全文の入手

電子媒体 eBook

8

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

出版事項 2007

目次: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
全文の入手

電子媒体 eBook

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...

出版事項 2005

目次: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
全文の入手

電子媒体 eBook

10

Evolutionary Algorithms for Solving Multi-Objective Problems

著者: Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
出版事項 2007

目次: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
全文の入手

電子媒体 eBook

11

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

出版事項 2005

目次: “...Invited Papers -- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey...”
全文の入手

電子媒体 eBook

12

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

出版事項 2013

目次: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
全文の入手

電子媒体 eBook

13

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

出版事項 2005

目次: “...: An Application to Gene Expression Data Analysis -- Local Pattern Discovery in Array-CGH Data -- Learning...”
全文の入手

電子媒体 eBook

14

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

著者: Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
出版事項 2013

目次: “... as Stochastic Team Decision Problems: A General Introduction -- Characterization and Comparison of Information...”
全文の入手

電子媒体 eBook

絞込み検索