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.
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 | |
