Suchergebnisse - programs fast https functionals function https

1

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Veröffentlicht 2010

Inhaltsangabe: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Volltext

Elektronisch E-Book

2

Journal of functional programming

Schlagworte: “...Functional programming (Computer science) fast (OCoLC)fst00936086...”
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago

Elektronisch Zeitschrift

3

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

Veröffentlicht 2005

Inhaltsangabe: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Volltext

Elektronisch E-Book

4

Fast Track to MDX

von Whitehorn, Mark., Whitehorn, Mark., Zare, Robert., Pasumansky, Mosha.
Veröffentlicht 2006

Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext

Elektronisch E-Book

5

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Veröffentlicht 2008

Inhaltsangabe: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Volltext

Elektronisch E-Book

6

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers /

Veröffentlicht 2006

Inhaltsangabe: “... Functions I -- Cryptanalysis of the Full HAVAL with 4 and 5 Passes -- Collisions and Near-Collisions...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2007

Inhaltsangabe: “... Search Algorithm for the Mate-In-N Problem in Chess -- Fast Genetic Programming on GPUs -- FIFTHTM: A...”
Volltext

Elektronisch E-Book

8

Stochastic Linear Programming Models, Theory, and Computation /

von Kall, Peter., Kall, Peter., Mayer, János.
Veröffentlicht 2005

Inhaltsangabe: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Volltext

Elektronisch E-Book

9

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Veröffentlicht 2008

Inhaltsangabe: “... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”
Volltext

Elektronisch E-Book

10

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

Veröffentlicht 2010

Inhaltsangabe: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Volltext

Elektronisch E-Book

11

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

Veröffentlicht 2008

Inhaltsangabe: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Volltext

Elektronisch E-Book

12

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

Veröffentlicht 2014

Inhaltsangabe: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Volltext

Elektronisch E-Book

13

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

Veröffentlicht 2015

Inhaltsangabe: “...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”
Volltext

Elektronisch E-Book

14

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

Veröffentlicht 2015

Inhaltsangabe: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Volltext

Elektronisch E-Book

15

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

Veröffentlicht 2007

Inhaltsangabe: “... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”
Volltext

Elektronisch E-Book

16

Difference Equations From Rabbits to Chaos /

von Cull, Paul., Cull, Paul., Flahive, Mary., Robson, Robby.
Veröffentlicht 2005

Inhaltsangabe: “... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...”
Volltext

Elektronisch E-Book

17

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
Volltext

Elektronisch E-Book

18

Handbook of Generalized Convexity and Generalized Monotonicity

Veröffentlicht 2005

Inhaltsangabe: “... Monotonicity in the Differentiable Case -- Continuity and Differentiability of Quasiconvex Functions...”
Volltext

Elektronisch E-Book

19

Recent Advances in Matrix and Operator Theory

Veröffentlicht 2008

Inhaltsangabe: “... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”
Volltext

Elektronisch E-Book

20

Computational and Analytical Mathematics In Honor of Jonathan Borwein's 60th Birthday /

Veröffentlicht 2013

Inhaltsangabe: “... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”
Volltext

Elektronisch E-Book

Suche einschränken