Resultats de la cerca - program computing https functional change https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Obtenir text complet

Electrònic eBook

2

Drawing Programs: The Theory and Practice of Schematic Functional Programming

per Addis, Tom., Addis, Tom., Addis, Jan.
Publicat 2010

Taula de continguts: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Obtenir text complet

Electrònic eBook

3

Quantifying Functional Biodiversity

per Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Publicat 2012

Taula de continguts: “... FDiversity -- 4.1.2 Data Menu -- 4.1.3 Statistics and Output Menus -- 4.2 Case study: Changes in Functional...”
Obtenir text complet

Electrònic eBook

4

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

Publicat 2008

Taula de continguts: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Obtenir text complet

Electrònic eBook

5

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Publicat 2014

Taula de continguts: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Obtenir text complet

Electrònic eBook

6

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Obtenir text complet

Electrònic eBook

7

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”
Obtenir text complet

Electrònic eBook

8

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Obtenir text complet

Electrònic eBook

9

Introduction to Stochastic Programming

per Birge, John R., Birge, John R., Louveaux, François.
Publicat 2011

Taula de continguts: “... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Obtenir text complet

Electrònic eBook

10

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Publicat 2010

Taula de continguts: “...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”
Obtenir text complet

Electrònic eBook

11

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

Publicat 2005

Taula de continguts: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Obtenir text complet

Electrònic eBook

12

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Publicat 2006

Taula de continguts: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Obtenir text complet

Electrònic eBook

13

Autonomic Computing Principles, Design and Implementation /

per Lalanda, Philippe., Lalanda, Philippe., McCann, Julie A., Diaconescu, Ada.
Publicat 2013

Taula de continguts: “... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Obtenir text complet

Electrònic eBook

14

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

Publicat 2010

Taula de continguts: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Obtenir text complet

Electrònic eBook

15

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Publicat 2013

Taula de continguts: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
Obtenir text complet

Electrònic eBook

16

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Publicat 2015

Taula de continguts: “... -- Dynamically Changing Environment for Generalized Communicating P Systems -- Spiking Neural P Systems...”
Obtenir text complet

Electrònic eBook

17

Genes and Cardiovascular Function

Publicat 2011

Taula de continguts: “... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”
Obtenir text complet

Electrònic eBook

18

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Publicat 2008

Taula de continguts: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
Obtenir text complet

Electrònic eBook

19

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Publicat 2008

Taula de continguts: “... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”
Obtenir text complet

Electrònic eBook

20

Mathematics of Energy and Climate Change International Conference and Advanced School Planet Earth, Portugal, March 21-28, 2013 /

Publicat 2015

Taula de continguts: “... Alves -- 2 Impacts of Vaccination and Behavior Change In The Optimal Intervention Strategy...”
Obtenir text complet

Electrònic eBook

Refinar cerca