Arama Sonuçları - ((functions computational) or (functions functional)) programming using methods papers*

1

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Tam Metin Erişim

Elektronik Ekitap

2

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”
Tam Metin Erişim

Elektronik Ekitap

3

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

4

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...”
Tam Metin Erişim

Elektronik Ekitap

5

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Textile Fabric used in Pest Control with a 3 Scale Domain Decomposition Method -- The Theory...”
Tam Metin Erişim

Elektronik Ekitap

6

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
Tam Metin Erişim

Elektronik Ekitap

7

Stochastic Linear Programming Models, Theory, and Computation /

Yazar: Kall, Peter., Kall, Peter., Mayer, János.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Tam Metin Erişim

Elektronik Ekitap

8

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Tam Metin Erişim

Elektronik Ekitap

9

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”
Tam Metin Erişim

Elektronik Ekitap

10

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods...

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”
Tam Metin Erişim

Elektronik Ekitap

11

Recent Advances in Matrix and Operator Theory

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”
Tam Metin Erişim

Elektronik Ekitap

12

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”
Tam Metin Erişim

Elektronik Ekitap

13

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Tam Metin Erişim

Elektronik Ekitap

14

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Tam Metin Erişim

Elektronik Ekitap

15

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”
Tam Metin Erişim

Elektronik Ekitap

16

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”
Tam Metin Erişim

Elektronik Ekitap

17

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...”
Tam Metin Erişim

Elektronik Ekitap