Rezultaty - ((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 /

Wydane 2005

Spis treści: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2014

Spis treści: “... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2010

Hasła przedmiotowe: “...Programming languages (Electronic computers)....”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2013

Spis treści: “...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2015

Spis treści: “... Textile Fabric used in Pest Control with a 3 Scale Domain Decomposition Method -- The Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2015

Spis treści: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Stochastic Linear Programming Models, Theory, and Computation /

od Kall, Peter., Kall, Peter., Mayer, János.
Wydane 2005

Spis treści: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2008

Spis treści: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2013

Spis treści: “... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2014

Spis treści: “...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Recent Advances in Matrix and Operator Theory

Wydane 2008

Spis treści: “... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2015

Spis treści: “... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2010

Spis treści: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2008

Spis treści: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2008

Spis treści: “... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2014

Spis treści: “... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2008

Spis treści: “... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Wydane 2010

Spis treści: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Wydane 2015

Spis treści: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference...

Wydane 2007

Spis treści: “... Portrait System Based on And-Or Graph Representation -- Object Category Recognition Using Generative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty