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.
Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms [electronic resource]
Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms [electronic resource]
Creatore [ACM-SIAM Symposium on Discrete Algorithms (7th : 1996 : Atlanta, Ga.)]
Estensione 586 p. : ill.
Accesso ente ACM Digital Library
ACM Special Interest Group for Algorithms and Computation Theory
SIAM Activity Group on Discrete Mathematics
ISBN 0898713668
9780898713664
Classificazione 54.10
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9945754573503681
[ACM-SIAM Symposium on Discrete Algorithms (7th : 1996 : Atlanta, Ga.)]  
Risorse elettroniche
Lo trovi qui: University of Pennsylvania
Automata implementation [electronic resource]: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers / Darrell Raymond, Derick Wood, Sheng Yu (eds.).
Automata implementation [electronic resource]: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers / Darrell Raymond, Derick Wood, Sheng Yu (eds.).
Creatore [International Workshop on Implementing Automata (1st : 1996 : London, Ont.)]
Estensione viii, 188 p. : ill.
Disciplina 511.3
Accesso persona Raymond, Darrell Ronald
Wood, Derick, 1940-
Yu, Sheng
ISBN 3540631747 (pbk. : alk. paper)
9783540631743 (pbk. : alk. paper)
Classificazione 54.10
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto WIA and the practice of theory in computer science / D.R. Raymond -- Algorithms for guided tree automata / M. Biehl, N. Klarlund, and T. Rauhe -- Time series forecasting by finite-state automata / R. Boné ... [et al.] -- Dynamical implementation of nondeterministic automata and concurrent systems / M. Garzon and E. Eberbach -- Implementing WS1S via finite automata / J. Glenn and W. Gasarch -- Instruction computation in subset construction / J.H. Johnson and D. Wood -- Building automata on schemata and acceptability tables : application to French data adverbials / D. Maurel -- FSA utilities : a toolbox to manipulate finite-state automata / G. van Noord -- A new quadratic algorithm to convert a regular expression into an automaton / J.-L. Ponty, D. Ziadi, and J.-M. Champarnaud -- Implementing sequential and parallel programs for the homing sequence problem / B. Ravikumar and X. Xiong -- Integrating hands-on work into the formal languages course via tools and programming / S.H. Rodger -- NFA to DFA transformation for finite languages / K. Salomaa and S. Yu -- How to use sorting procedures to minimize DFA / B. Schubert -- FIRE lite : FAs and REs in C++ / B.W. Watson.
Record Nr. UPENN-9943975883503681
[International Workshop on Implementing Automata (1st : 1996 : London, Ont.)]  
Risorse elettroniche
Lo trovi qui: University of Pennsylvania
Data structures : theory and practice / A.T. Berztiss
Data structures : theory and practice / A.T. Berztiss
Creatore [Berztiss, Alfs T.]
Estensione 1 online resource (xiii, 442 pages) : illustrations.
Disciplina 001.6/42
ISBN 9781483264721
1483264726
0120935503
9780120935505
Classificazione 54.10
ST 265
ST 270
SK 940
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7403982
[Berztiss, Alfs T.]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Transactions on computational science VIII / Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Transactions on computational science VIII / Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Estensione 1 online resource (xiv, 166 pages) : illustrations (some color).
Disciplina 004.01/51
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
ISBN 9783642162367
3642162363
9783642162350
3642162355
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Environmental Modeling and Identification Based on Changes in Sensory Information -- Polymorphic Particle Swarm Optimization -- C-Strategy: A Dynamic Adaptive Strategy for the CLONALG Algorithm -- A Comparison of Genotype Representations to Acquire Stock Trading Strategy Using Genetic Algorithms -- Automatic Adaptive Modeling of Fuzzy Systems Using Particle Swarm Optimization -- Computational Algorithm for Some Problems with Variable Geometrical Structure -- In-Place Linear-Time Algorithms for Euclidean Distance Transform -- A Foundation of Demand-Side Resource Management in Distributed Systems -- Modified Bias Field Fuzzy C-Means for Effective Segmentation of Brain MRI -- Visualization of Monotone Data by Rational Bi-cubic Interpolation -- C1 Monotone Scattered Data Interpolation.
Record Nr. NYU-006175869
Materiale a stampa
Lo trovi qui: New York University
Transactions on computational science XIII / Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Transactions on computational science XIII / Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Estensione 1 online resource (xx, 204 pages).
Disciplina 004.072
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Genere/Forma Electronic books
ISBN 9783642226199
3642226191
9783642226182
3642226183
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006177972
Materiale a stampa
Lo trovi qui: New York University
Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.).
Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.).
Creatore [IFIP International Conference on Theoretical Computer Science (8th : 2014 : Rome, Italy)]
Estensione 1 online resource (xvi, 355 pages) : illustrations.
Disciplina 004
Accesso persona Díaz, J. (Josep), 1950-editor.
Lanese, Ivan, editor
Sangiorgi, Davide, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783662446027
3662446022
3662446014
9783662446010
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults -- On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks -- The Shortest Path Game: Complexity and Algorithms -- Online Scheduling of Unit Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic -- Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions -- Subshifts, MSO Logic, and Collapsing Hierarchies -- Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' Algorithm -- Not All Multi-valued Partial CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus -- A Hoare-Like Calculus Using the SROIQ[sigma] Logic on Transformations of Graphs -- Termination Analysis for Graph Transformation Systems -- Tropical Two-Way Automata -- Parametric LTL on Markov Chains -- Specifying and Verifying Properties of Space -- Primal Infon Logic with Conjunctions as Sets -- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic -- Towards a Coalgebraic Chomsky Hierarchy (Extended Abstract) -- Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics -- Quantitative Types for the Linear Substitution Calculus -- Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata -- Looking at Separation Algebras with Boolean BI-eyes -- The Inhabitation Problem for Non-idempotent Intersection Types.
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults -- On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks -- The Shortest Path Game: Complexity and Algorithms -- Online Scheduling of Unit Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic -- Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions -- Subshifts, MSO Logic, and Collapsing Hierarchies -- Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' Algorithm -- Not All Multi-valued Partial CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus -- A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs -- Termination Analysis for Graph Transformation Systems -- Tropical Two-Way Automata -- Parametric LTL on Markov Chains -- Specifying and Verifying Properties of Space -- Primal Infon Logic with Conjunctions as Sets -- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic -- Towards a Coalgebraic Chomsky Hierarchy (Extended Abstract) -- Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics -- Quantitative Types for the Linear Substitution Calculus -- Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata -- Looking at Separation Algebras with Boolean BI-eyes -- The Inhabitation Problem for Non-idempotent Intersection Types.
Record Nr. NYU-006479519
[IFIP International Conference on Theoretical Computer Science (8th : 2014 : Rome, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Scientific computing : an introduction with parallel computing / Gene Golub, Department of Computer Science, Stanford University, Stanford, California, James M. Ortega, School of Engineering & Applied Science, University of Virginia, Charlottesville, Virginia
Scientific computing : an introduction with parallel computing / Gene Golub, Department of Computer Science, Stanford University, Stanford, California, James M. Ortega, School of Engineering & Applied Science, University of Virginia, Charlottesville, Virginia
Creatore [Golub, Gene H. (Gene Howard), 1932-2007, author]
Estensione 1 online resource (x, 442 pages) : illustrations
Disciplina 004.01/51
Accesso persona Ortega, James M., 1932-author.
Genere/Forma Electronic books
ISBN 9781483296043
1483296040
0122892534
9780122892530
Classificazione 31.76
54.80
DAT 516f
MAT 650f
*65-01
54.10
65D18
65Dxx
65Fxx
65Hxx
65Lxx
65Y05
65Y10
68W30
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004789904
[Golub, Gene H. (Gene Howard), 1932-2007, author]  
Materiale a stampa
Lo trovi qui: New York University
Neural network models : an analysis / Philippe De Wilde
Neural network models : an analysis / Philippe De Wilde
Creatore [De Wilde, Philippe, 1958-]
Estensione 1 online resource (153 pages) : illustrations.
Disciplina 006.3
Genere/Forma Electronic books
Soggetto non controllato Intelligent networks
ISBN 9783540708193
3540708197
9783540199953
3540199950
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004359291
[De Wilde, Philippe, 1958-]  
Materiale a stampa
Lo trovi qui: New York University
Number theory for computing / Song Y. Yan.
Number theory for computing / Song Y. Yan.
Creatore [Yan, Song Y.]
Estensione 1 online resource (xviii, 381 pages) : illustrations
Disciplina 512/.7
Genere/Forma Electronic books
ISBN 9783662040539
3662040530
3540654720
9783540654728
9783662040553
3662040557
Classificazione 31.14
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface -- Notations -- Elementary Number Theory: Introduction. Theory of Divisibility. Diophantine Equations. Arithmetical Functions. Theory of Congruences. Arithmetic of Elliptic Curves. Bibliographic Notes and Further Reading -- Algorithmic Number Theory: Introduction. Algorithms for Primality Testing. Algorithms for Integer Factorization. Algorithms for Discrete Logarithms. Quantum Algorithmic Number Theory. Bibliographic Notes and Further Reading -- Applied Number Theory: Why Applied Number Theory. Computer Systems Design. Cryptology and Information Security -- Bibliographic Notes and Further Reading -- Bibliography -- Index.
Record Nr. NYU-004359477
[Yan, Song Y.]  
Materiale a stampa
Lo trovi qui: New York University
Structure in complexity theory [electronic resource] : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / edited by Alan L. Selman
Structure in complexity theory [electronic resource] : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / edited by Alan L. Selman
Estensione 1 online resource (vi, 400 pages) : illustrations.
Disciplina 511
Accesso persona Selman, Alan L.
Accesso convegno Structure in Complexity Theory Conference (1st : 1986 : Berkeley, Calif.)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540398257
3540398252
0387164863
9780387164861
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004357858
Materiale a stampa
Lo trovi qui: New York University