top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Grammars for language and genes : theoretical and empirical investigations / David Chiang ; foreword by Aravind K. Joshi
Grammars for language and genes : theoretical and empirical investigations / David Chiang ; foreword by Aravind K. Joshi
Creatore [Chiang, David (David Wei)]
Estensione 1 online resource (xii, 120 pages).
Disciplina 006.3/5
Genere/Forma Electronic books
ISBN 9783642204449
3642204449
3642204430
9783642204432
Classificazione 17.46
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Foundation -- Statistical parsing -- Machine translation -- Biological sequence analysis: Basics -- Biological sequence analysis: intersection.
Record Nr. NYU-004619994
[Chiang, David (David Wei)]  
Materiale a stampa
Lo trovi qui: New York University
Computer-oriented approaches to pattern recognition / edited by William S. Meisel
Computer-oriented approaches to pattern recognition / edited by William S. Meisel
Estensione 1 online resource (xii, 250 pages) : illustrations.
Disciplina 006.4
Accesso persona Meisel, William S.
Genere/Forma Electronic books
ISBN 9780124888500
012488850X
9780080955926
0080955924
1282289047
9781282289048
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Computer-Oriented Approaches to Pattern Recognition; Copyright Page; Contents; Preface; CHAPTER I. BASIC CONCEPTS AND METHODS IN MATHEMATICAL PATTERN RECOGNITION; CHAPTER II. THE STATISTICAL FORMULATION AND PARAMETRIC METHODS; CHAPTER III. INTRODUCTION TO OPTIMIZATION TECHNIQUES; CHAPTER IV. LINEAR DISCRIMINANT FUNCTIONS AND EXTENSIONS; CHAPTER V. INDIRECT APPROXIMATION OF PROBABILITY DENSITIES; CHAPTER VI. DIRECT CONSTRUCTION OF PROBABILITY DENSITIES : POTENTIAL FUNCTIONS (PARZEN ESTIMATORS); CHAPTER VII. PIECEWISE LINEAR DISCRIMINANT FUNCTIONS.
Record Nr. NYU-004786669
Materiale a stampa
Lo trovi qui: New York University
Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer
Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer
Creatore [Berstel, Jean, 1941-]
Estensione 1 online resource.
Disciplina 003.54
Accesso persona Perrin, Dominique
Reutenauer, Christophe
Berstel, Jean, 1941-
Accesso ente Cambridge University Press
ISBN 9781139195768 (electronic bk.)
113919576X (electronic bk.)
9780521888318 (hbk.)
052188831X (hbk.)
Classificazione 54.62
54.10
SK 130
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preliminaries -- Codes -- Prefix codes -- Automata -- Deciphering delay -- Bifix codes -- Circular codes -- Factorizations of free monoids -- Unambiguous monoids of relations -- Synchronization -- Groups of codes -- Factorizations of cyclic groups -- Densities -- Polynomials of finite codes.
Record Nr. NYU-004993214
[Berstel, Jean, 1941-]  
Materiale a stampa
Lo trovi qui: New York University
A short introduction to quantum information and quantum computation / Michel Le Bellac ; translated by Patricia de Forcrand-Millard
A short introduction to quantum information and quantum computation / Michel Le Bellac ; translated by Patricia de Forcrand-Millard
Creatore [Le Bellac, Michel]
Estensione 1 online resource (x, 167 pages) : illustrations
Disciplina 004.1
Genere/Forma Electronic books
ISBN 0511219415
9780511219412
0521860563
9780521860567
051122009X
9780511220098
9780511648465
0511648464
9780511755361
0511755368
Classificazione 54.51
33.23
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foreword -- Preface -- 1. Introduction -- 2. What is a qubit? -- 2.1. The polarization of light -- 2.2 Photon polarization -- 2.3. Mathematical formulation -- 2.4. Principles of quantum mechanics -- 2.5. Quantum cryptography -- 2.6. Exercises -- 2.7. Further reading -- 3. Manipulating qubits -- 3.1. The Bloch sphere, spin 1/2 -- 3.2. Dynamical evolution -- 3.3. Manipulating qubits : Rabi oscillations -- 3.4. Principles of NMR and MRI -- 3.5. Exercises -- 3.6. Further reading -- 4. Quantum correlations -- 4.1. Two-qubit states -- 4.2. The state operator (or density operator) -- 4.3. The quantum no-cloning theorem -- 4.4. Decoherence -- 4.5. The Bell inequalities -- 4.6. Exercises -- 4.7. Further reading.
5. Introduction to quantum computing -- 5.1. General remarks -- 5.2. Reversible calculation -- 5.3. Quantum logic gates -- 5.4. The Deutsch algorithm -- 5.5. Generalization to n + m qubits -- 5.6. The Grover search algorithm -- 5.7. The quantum Fourier transform -- 5.8. The period of a function -- 5.9. Classical algorithms and quantum algorithms -- 5.10. Exercises -- 5.11. Further reading -- 6. Physical realizations -- 6.1. NMR as a quantum computer -- 6.2. Trapped ions -- 6.3. Superconducting qubits -- 6.4. Quantum dots -- 6.5. Exercises -- 6.6. Further reading -- 7. Quantum information -- 7.1. Teleportation -- 7.2. Shannon entropy -- 7.3. von Neumann entropy -- 7.4. Quantum error correction -- 7.5. Exercises -- 7.6. Further reading -- References -- Index.
Record Nr. NYU-004968397
[Le Bellac, Michel]  
Materiale a stampa
Lo trovi qui: New York University
Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings. Part II / Luca Aceto, Monika Henzinger, Jiří Sgall (eds.).
Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings. Part II / Luca Aceto, Monika Henzinger, Jiří Sgall (eds.).
Creatore [International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)]
Estensione 1 online resource (xxvi, 666 pages).
Disciplina 004
Accesso persona Aceto, Luca
Henzinger, Monika
Sgall, Jiří, 1965-
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642220128
3642220126
3642220118
9783642220111
Classificazione 54.10
54.50
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-005709569
[International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)]  
Materiale a stampa
Lo trovi qui: New York University
Automata / David Hopkin [and] Barbara Moss
Automata / David Hopkin [and] Barbara Moss
Creatore [Hopkin, V. David]
Estensione 1 online resource.
Disciplina 629.8/92/01
Accesso persona Moss, Barbara, author
ISBN 9781349156917
1349156914
0333153987
9780333153987
0333212177
9780333212172
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-8731527
[Hopkin, V. David]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings / A. Fuhrmann, M. Morreau, eds.
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings / A. Fuhrmann, M. Morreau, eds.
Estensione 1 online resource (x, 334 pages) : illustrations.
Disciplina 004/.01/5113
Accesso persona Fuhrmann, A. (André), 1958-
Morreau, M. (Michael)
ISBN 9783540468172
354046817X
0387535675
9780387535678
3540535675
9783540535676
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7978114
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
Estensione 1 online resource (vii, 452 pages) : illustrations.
Disciplina 511.3
Accesso persona Ehrig, Hartmut
Nagl, Manfred, 1944-
Rozenberg, Grzegorz
Accesso ente European Association for Theoretical Computer Science
ISBN 9783540398974
354039897X
0387123105
9780387123103
3540123105
9783540123101
Classificazione 54.10
DAT 554f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7983197
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Organized adaption in multi-agent systems : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited papers / George Vouros [and others]
Organized adaption in multi-agent systems : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited papers / George Vouros [and others]
Creatore [OAMAS 2008 (2008 : Estoril, Portugal)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Vouros, George A.
ISBN 9783642023774
3642023770
9783642023767
3642023762
Classificazione 54.10
54.72
TP18-532
TP31-532
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9109960
[OAMAS 2008 (2008 : Estoril, Portugal)]  
Materiale a stampa
Lo trovi qui: Stanford University
Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers / Margaret Archibald [and others]
Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers / Margaret Archibald [and others]
Creatore [ILC 2007 (2007 : Cape Town, South Africa)]
Estensione 1 online resource (xi, 137 pages) : color illustrations.
Disciplina 006.3/1
Accesso persona Archibald, Margaret
ISBN 9783642030925
3642030920
9783642030918
3642030912
Classificazione 54.10
004
DAT 500f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Nadia Busi (1968-2007) -- Symbolic Model Checking of Tense Logics on Rational Kripke Models -- Genetic Systems without Inhibition Rules -- Probabilistic Systems with LimSup and LimInf Objectives -- A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata -- Towards Model-Checking Programs with Lists -- Representations of Numbers as :A Saddle Point Approach -- Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata -- Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions -- Is P?=?PSPACE for Infinite Time Turing Machines?
Record Nr. STANFORD-a9110859
[ILC 2007 (2007 : Cape Town, South Africa)]  
Materiale a stampa
Lo trovi qui: Stanford University