Rezultaty - program computing https function matching https

1

Symmetric Functionals on Random Matrices and Random Matchings Problems

od Rempala, Grzegorz., Rempala, Grzegorz., Wesolowski, Jacek.
Wydane 2008

Hasła przedmiotowe: “...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2010

Spis treści: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Collateralized Debt Obligations A Moment Matching Pricing Technique based on Copula Functions /

od Marcantoni, Enrico., Marcantoni, Enrico.
Wydane 2014

Spis treści: “...CDO: General Characteristics.- Credit Risk Modeling -- Copula Functions and Dependency Concepts...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Wydane 2006

Spis treści: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2008

Spis treści: “... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Abstract Computing Machines A Lambda Calculus Perspective /

od Kluge, Werner., Kluge, Werner.
Wydane 2005

Spis treści: “...-Machine -- The G-Machine -- The ?-red Machinery -- Pattern Matching -- Another Functional Abstract Machine...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Wydane 2006

Spis treści: “... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2015

Spis treści: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2015

Spis treści: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2014

Spis treści: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2010

Spis treści: “...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

15

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Wydane 2006

Spis treści: “... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Wydane 2007

Spis treści: “... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Wydane 2007

Spis treści: “... -- On the Implementation of Construction Functions for Non-free Concrete Data Types -- Anti-pattern Matching -- Language...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2008

Spis treści: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

od Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Wydane 2005

Spis treści: “...An Introduction to Reconfigurable Computing. What is RC? RC Architectures. How did RC originate...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Wydane 2010

Spis treści: “... with a Low Cooling Factor -- On Solution Concepts for Matching Games -- Binary De Bruijn Partial Words...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty