Hakutulokset - programming function https quantifying state https

1

Extraction of Quantifiable Information from Complex Systems

Julkaistu 2014

Sisällysluettelo: “...D. Belomestny, C. Bender, F. Dickmann, and N. Schweizer: Solving Stochastic Dynamic Programs...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2015

Sisällysluettelo: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2007

Sisällysluettelo: “...: Examples and Counterexamples -- Exotic Quantifiers, Complexity Classes, and Complete Problems -- Session A7...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2015

Sisällysluettelo: “... Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms...”
Hae kokoteksti

Elektroninen E-kirja

5

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”
Hae kokoteksti

Elektroninen E-kirja

6

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”
Hae kokoteksti

Elektroninen E-kirja

7

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Selection Criteria for Quantifier-Free First-Order Specifications -- Formal Testing of Systems Presenting...”
Hae kokoteksti

Elektroninen E-kirja

8

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... of Rewrite Systems for Polytime Functions -- On the Controller Synthesis for Finite-State Markov Decision...”
Hae kokoteksti

Elektroninen E-kirja

9

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2013

Sisällysluettelo: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
Hae kokoteksti

Elektroninen E-kirja

10

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Using Uninterpreted Functions -- Synthesizing Finite-State Protocols from Scenarios and Requirements...”
Hae kokoteksti

Elektroninen E-kirja

11

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /

Julkaistu 2010

Sisällysluettelo: “... Linear Orderings -- Existential Fixed-Point Logic, Universal Quantifiers, and Topoi -- Three Paths...”
Hae kokoteksti

Elektroninen E-kirja

12

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”
Hae kokoteksti

Elektroninen E-kirja

13

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... of SAT and QBF Solvers -- Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals...”
Hae kokoteksti

Elektroninen E-kirja

14

mODa 10 – Advances in Model-Oriented Design and Analysis Proceedings of the 10th International Workshop in Model-Oriented Design and Analysis Held in Łagów Lubuski, Poland, June 10...

Julkaistu 2013

Sisällysluettelo: “... Endpoints -- Estimating and Quantifying Uncertainties on Level Sets Using the Vorobev Expectation...”
Hae kokoteksti

Elektroninen E-kirja

15

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Julkaistu 2007

Sisällysluettelo: “... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”
Hae kokoteksti

Elektroninen E-kirja

16

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”
Hae kokoteksti

Elektroninen E-kirja

17

Immune Homeostasis Methods and Protocols /

Julkaistu 2013

Sisällysluettelo: “...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...”
Hae kokoteksti

Elektroninen E-kirja

18

Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... -- Cryptographic Applications -- Do Broken Hash Functions Affect the Security of Time-Stamping Schemes? -- A Handy...”
Hae kokoteksti

Elektroninen E-kirja

19

New Frontiers in Artificial Intelligence JSAI 2006 Conference andWorkshops /

Julkaistu 2007

Sisällysluettelo: “... Assertions -- Unembedded ‘Negative’ Quantifiers -- Learning with Logics and Logics for Learning -- The Fourth...”
Hae kokoteksti

Elektroninen E-kirja

20

Applied Cryptography and Network Security Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Analysis -- Quantifying Security in Hybrid Cellular Networks -- Off-Line Karma: A Decentralized Currency...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua