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.
Simulation: statistical foundations and methodology [by] G. Arthur Mihram
Simulation: statistical foundations and methodology [by] G. Arthur Mihram
Creatore [Mihram, G. Arthur (George Arthur), 1939-]
Estensione 1 online resource (xv, 526 pages) illustrations.
Disciplina 511/.8
Genere/Forma Electronic books
Soggetto non controllato Mathematical models: Simulations
ISBN 9780080956015
0080956017
0124959504
9780124959507
Classificazione 31.73
83.03
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Models -- Stochastic variate -- Time series -- Monte Carlo method -- Modeling -- Fundamentals of simular experimentation -- Experimental designs for qualitative factors -- Experimental designs for quantitative factors -- Search for optimal system conditions -- Simulation as a stochastic process -- Vistas in simulation.
Record Nr. NYU-005318256
[Mihram, G. Arthur (George Arthur), 1939-]  
Materiale a stampa
Lo trovi qui: New York University
L systems / edited by Grzegorz Rozenberg and Arto Salomaa
L systems / edited by Grzegorz Rozenberg and Arto Salomaa
Estensione 1 online resource (vi, 338 pages) illustrations.
Disciplina 574/.028/5424
Accesso persona Rozenberg, Grzegorz
Salomaa, Arto
Genere/Forma Electronic books
Congressen (vorm)
ISBN 9783540378235
3540378235
3540068678
9783540068679
0387068678
9780387068671
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004354388
Materiale a stampa
Lo trovi qui: New York University
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
Creatore [International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland)]
Estensione 1 online resource (xi, 542 pages) : illustrations.
Disciplina 511/.3
Accesso persona Karpiński, Marek, 1948-
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540370840
3540370846
9783540084426
3540084428
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004354394
[International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland)]  
Materiale a stampa
Lo trovi qui: New York University
Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings / Celso C. Ribeiro, Simone L. Martins (eds.).
Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings / Celso C. Ribeiro, Simone L. Martins (eds.).
Creatore [WEA (Workshop) (3rd : 2004 : Angra dos Reis, Brazil)]
Estensione 1 online resource (x, 586 pages) : illustrations.
Disciplina 005.1
Accesso persona Ribeiro, Celso C.
Martins, Simone L.
Accesso ente European Association for Theoretical Computer Science
Genere/Forma Electronic books
Conference papers and proceedings
Kongress
ISBN 3540248382
9783540248385
3540220674
9783540220671
Classificazione 54.52
31.12
85.03
31.76
54.10
DAT 530f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004339300
[WEA (Workshop) (3rd : 2004 : Angra dos Reis, Brazil)]  
Materiale a stampa
Lo trovi qui: New York University
Introduction to algorithms / Thomas H. Cormen [and others]
Introduction to algorithms / Thomas H. Cormen [and others]
Edizione [3rd ed.]
Estensione 1 online resource (xix, 1292 pages) : illustrations
Disciplina 005.1
Accesso persona Cormen, Thomas H.
Genere/Forma Electronic books
ISBN 9780262270830
0262270838
9781628709131
1628709138
9780262033848
0262033844
9780262533058
0262533057
Classificazione 54.10
DAT 530f
ST 130
ST 134
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto I. Foundations. The role of algorithms in computing -- Getting started -- Growth of functions -- Divide-and-conquer -- Probabilistic analysis and randomized algorithms -- II. Sorting and order statistics. Heapsort -- Quicksort -- Sorting in linear time -- Medians and order statistics -- III. Data structures. Elementary data structures -- Hash tables -- Binary search trees -- Red-black trees -- Augmenting data structures -- IV. Advanced design and analysis techniques. Dynamic programming -- Greedy algorithms -- Amortized analysis -- V. Advanced data structures. B-trees -- Fibonacci heaps -- van Emde Boas trees -- Data structures for disjoint sets -- VI. Graph algorithms. Elementary graph algorithms -- Minimum spanning trees -- Single-source shortest paths -- All-pairs shortest paths -- Maximun flow -- VII. Selected topics. Multithreaded algorithms -- Matrix operations -- Linear programming -- Polynomials and the FFT -- Number-theoretic algorithms -- String matching -- Computational geometry -- NP-completeness -- Approximation algorithms -- VIII. Appendix: Mathematical background. Summations -- Sets, etc. -- Counting and probability -- Matrices.
Record Nr. NYU-004305744
Materiale a stampa
Lo trovi qui: New York University
Handbook of neuroevolution through Erlang / Gene I. Sher
Handbook of neuroevolution through Erlang / Gene I. Sher
Creatore [Sher, Gene I.]
Estensione 1 online resource
Disciplina 570.285
Genere/Forma Handbooks
Electronic books
Handbooks and manuals
Soggetto non controllato Computer science
Software engineering
Artificial intelligence
Bioinformatics
Software Engineering/Programming and Operating Systems
Computational Biology/Bioinformatics
ISBN 9781461444633
1461444632
1461444624
9781461444626
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. FOUNDATIONS -- Introduction to Neural Networks -- Introduction to Evolutionary Computation -- Introduction to Neuroevolutionary Methods -- The Unintentional Neural Network Programming Language -- Introduction: Applications & Motivations -- Part 2. NEUROEVOLUTION: TAKING THE FIRST STEP -- Developing a Feed Forward Neural Network -- Adding the "Stochastic Hill-Climber" Learning Algorithm -- Developing a Simple Neuroevolutionary Platform -- Testing the Neuroevolutionary System -- Part 3. A Case Study -- DXNN: A Case Study -- Part 4. Advanced Neuroevolution: Creating the Cutting Edge -- Decoupling & Modularizing Our Neuroevolutionary Platform -- Keeping Track of Important Population and Evolutionary Stats -- The Benchmarker -- Creating the Two Slightly More Complex Benchmarks -- Neural Plasticity -- Substrate Encoding -- Substrate Plasticity -- Part 5. Applications -- Artificial Life -- Evolving Currency Trading Agents -- Part 6. Promises Kept -- Conclusion.
Record Nr. NYU-004388749
[Sher, Gene I.]  
Materiale a stampa
Lo trovi qui: New York University
Mathematical foundations of computer science, 1990 [electronic resource] : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Mathematical foundations of computer science, 1990 [electronic resource] : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Estensione 1 online resource (viii, 544 pages) : illustrations.
Disciplina 004/.01/51
Accesso persona Rovan, B. (Branislav)
Accesso convegno Symposium on Mathematical Foundations of Computer Science (1972- ) (15th : 1990 : Banská Bystrica, Czechoslovakia)
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540471851
3540471855
3540529535
9783540529538
0387529535
9780387529530
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004368195
Materiale a stampa
Lo trovi qui: New York University
Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday / Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg (eds.).
Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday / Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg (eds.).
Estensione 1 online resource (xi, 389 pages) : illustrations.
Disciplina 511.3
Accesso persona Head, Thomas J., 1934-
Jonoska, Nataša, 1961-
Păun, Gheorghe, 1950-
Rozenberg, Grzegorz
Genere/Forma Electronic books
ISBN 3540246355
9783540246350
1280306661
9781280306662
3540207813
9783540207818
Classificazione 54.10
31.10
44.99
DAT 168f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Solving Graph Problems by P Systems with Restricted Elementary Active Membranes -- Writing Information into DNA -- Balance Machines: Computing = Balancing -- Eilenberg P Systems with Symbol-Objects -- Molecular Tiling and DNA Self-assembly -- On Some Classes of Splicing Languages -- The Power of Networks of Watson-Crick D0L Systems -- Fixed Point Approach to Commutation of Languages -- Remarks on Relativisations and DNA Encodings -- Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems -- Digital Information Encoding on DNA -- DNA-based Cryptography -- Splicing to the Limit -- Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs -- n-Insertion on Languages -- Transducers with Programmable Input by DNA Self-assembly -- Methods for Constructing Coded DNA Languages -- On the Universality of P Systems with Minimal Symport/Antiport Rules -- An Algorithm for Testing Structure Freeness of Biomolecular Sequences -- On Languages of Cyclic Words -- A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems -- Formal Languages Arising from Gene Repeated Duplication -- A Proof of Regularity for Finite Splicing -- The Duality of Patterning in Molecular Genetics -- Membrane Computing: Some Non-standard Ideas -- The P Versus NP Problem Through Cellular Computing with Membranes -- Realizing Switching Functions Using Peptide-Antibody Interactions -- Plasmids to Solve #3SAT -- Communicating Distributed H Systems with Alternating Filters.
Record Nr. NYU-004338703
Materiale a stampa
Lo trovi qui: New York University
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.).
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.).
Creatore [Conference on Developments in Language Theory (17th : 2013 : Marne-la-Vallée, France)]
Estensione 1 online resource (xiii, 460 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Béal, Marie-Pierre
Carton, Olivier
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
ISBN 9783642387715
3642387713
3642387705
9783642387708
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. Ultrametric Finite Automata and Turing Machines / Rūsiņš Freivalds -- Recompression: Word Equations and Beyond / Artur Jeż -- Joint Spectral Characteristics: A Tale of Three Disciplines / Raphaël M. Jungers -- Unambiguous Finite Automata / Christof Löding -- An Explicit Formula for the Intersection of Two Polynomials of Regular Languages / Jean-Éric Pin.
Regular Papers. Two Dimensional Prefix Codes of Pictures / Marcella Anselmo, Dora Giammarresi, Maria Madonia -- Adjacent Ordered Multi-Pushdown Systems / Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan -- Cuts in Regular Expressions / Martin Berglund, Henrik Björklund, Frank Drewes, Brink van der Merwe, Bruce Watson -- Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem / Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro -- On the Asymptotic Abelian Complexity of Morphic Words / Francine Blanchet-Sadri, Nathan Fox -- Strict Bounds for Pattern Avoidance / Francine Blanchet-Sadri, Brent Woodhouse -- A Fresh Approach to Learning Register Automata / Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege -- Suffixes, Conjugates and Lyndon Words / Silvia Bonomo, Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino -- Extremal Words in the Shift Orbit Closure of a Morphic Sequence / James D. Currie, Narad Rampersad, Kalle Saari -- Inner Palindromic Closure / Jürgen Dassow, Florin Manea, Robert Mercaş, Mike Müller -- On the Dual Post Correspondence Problem / Joel D. Day, Daniel Reidenbach, Johannes C. Schneider.
One-Way Multi-Head Finite Automata with Pebbles But No States / Martin Kutrib, Andreas Malcher, Matthias Wendlandt -- Regular Expressions with Binding over Data Words for Querying Graph Databases / Leonid Libkin, Tony Tan, Domagoj Vrgoč -- Factorizations and Universal Automaton of Omega Languages / Vincent Carnino, Sylvain Lombardy -- Deciding Determinism of Unary Languages Is coNP-Complete / Ping Lu, Feifei Peng, Haiming Chen -- Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure / Victor Marsault, Jacques Sakarovitch -- 3-Abelian Cubes Are Avoidable on Binary Alphabets / Robert Mercaş, Aleksi Saarela -- Repetition Avoidance in Circular Factors / Hamoon Mousavi, Jeffrey Shallit -- Operator Precedence ω-Languages / Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli -- New Results on Deterministic Sgraffito Automata / Daniel Průša, František Mráz, Friedrich Otto -- On the Number of Abelian Bordered Words / Narad Rampersad, Michel Rigo, Pavel Salimov -- Proof of a Phase Transition in Probabilistic Cellular Automata / Damien Regnault -- Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth / Arseny M. Shur.
Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata / Sven De Felice, Cyril Nicaud -- A Coloring Problem for Sturmian and Episturmian Words / Aldo de Luca, Elena V. Pribavkina, Luca Q. Zamboni -- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages / Manfred Droste, Heiko Vogler -- Operational Characterization of Scattered MCFLs / Zoltán Ésik, Szabolcs Iván -- Abelian Repetitions in Sturmian Words / Gabriele Fici, Alessio Langiu, Thierry Lecroq, Arnaud Lefebvre, Filippo Mignosi -- Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers / Zoltán Fülöp, Andreas Maletti -- Subword Complexity and k-Synchronization / Daniel Goč, Luke Schaeffer, Jeffrey Shallit -- Some Decision Questions Concerning the Time Complexity of Language Acceptors / Oscar H. Ibarra, Bala Ravikumar -- Unambiguous Conjunctive Grammars over a One-Letter Alphabet / Artur Jeż, Alexander Okhotin -- Alternative Automata Characterization of Piecewise Testable Languages / Ondřej Klíma, Libor Polák -- Finite Automata with Advice Tapes / Uğur Küçük, A.C. Cem Say, Abuzer Yakaryılmaz.
Record Nr. NYU-004402759
[Conference on Developments in Language Theory (17th : 2013 : Marne-la-Vallée, France)]  
Materiale a stampa
Lo trovi qui: New York University
Applied algebra, algebraic algorithms, and error-correcting codes [electronic resource] : 10th international symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993 : proceedings / Gérard Cohen, Teo Mora, Oscar Moreno (eds.).
Applied algebra, algebraic algorithms, and error-correcting codes [electronic resource] : 10th international symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993 : proceedings / Gérard Cohen, Teo Mora, Oscar Moreno (eds.).
Creatore [AAECC-10 (1993 : San Juan, P.R.)]
Estensione 1 online resource (x, 354 pages) : illustrations.
Disciplina 005.7/2
Accesso persona Cohen, G. (Gérard), 1951-
Mora, Teo.
Moreno, Oscar, 1946-
Genere/Forma Kongress -- San Juan, Puerto Rico -- 1993
Kongreß -- San Juan (Puerto Rico) -- 1993
Conference papers and proceedings
San Juan (Puerto Rico, 1993)
ISBN 9783540476306
354047630X
3540566864
9783540566861
0387566864
9780387566863
Classificazione 54.10
DAT 530f
DAT 580f
SS 4800
*00B25
53.71
54.62
54.71
68-06
94-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Sequence based methods for data transmission and source compression / A.R. Calderbank, P.C. Fishburn, A. Rabinovich -- On the apparent duality of the Kerdock and Preparata codes / A.R. Hammons [and others] -- Bounds for codes as solutions of extremum problems for systems of orthogonal polynomials / V. Levenshtein -- Systems of algebraic equations solved by means of endomorphisms / H.M. Moller -- Criteria for sequence set design in CDMA communications / R.A. Scholtz -- Using Groebner bases to determine the algebraic and transcendental nature of field extensions: return of the killer tag variables / M. Sweedler -- A "divide and conquer" algorithm for Hilbert-Poincare series, multiplicity and dimension of monomial ideals / A.M. Bigatti [and others] -- An efficient algorithm for the sparse mixed resultant / J.F. Canny, I. Emiris -- Some features of binary block codes for correcting asymmetric errors / G. Fang [and others] -- Fixed-parameter complexity and cryptography / M.R. Fellows, N. Koblitz -- A class of algebraic geometric codes from curves in high-dimensional projective spaces / G.L. Feng, T.R.N. Rao -- A new class of sequences / G. Gong -- A zero-test and an interpolation algorithm for the shifted sparse polynomials / D. Grigoriev, M. Karpinski -- Parallelization of quantifier elimination on a workstation network / H Hong -- Hyperplane sections of fermat varieties in P³ in char. 2 and some applications to cyclic codes / H. Janwa, R.M. Wilson -- Analysis of Coppersmith's block Wiedemann algorithm for the parallel solution of sparse linear systems / E. Kaltofen -- Relations among lie formal series and construction of symplectic integrators / P.-V. Koseleff -- Exponential sums as discrete Fourier transform with invariant phase functions / G. Lachaud -- Application of finite fields to memory interleaving / A. Lempel, G. Seroussi -- An elementary proof of a partial improvement to the Ax-Katz theorem / O. Moreno, C.J. Moreno -- Energy functions associated with error-correcting codes / C. Renteria, H. Tapia-Recillas -- On determining all codes in semi-simple group rings / R.E. Sabin -- On hyperbolic cascaded Reed-Solomon codes / K. Saints, C. Heegard -- Peak-shift and bit error-correction with channel side information in runlength-limited sequences / Y. Saitoh, I. Ibe, H. Imai -- On a third order differential equation whose differential galois group is the simple group of 168 elements / M.F. Singer, F. Ulmer -- Approximating the number of error locations within a constant ratio is NP-complete / J. Stern -- Two chosen plaintext attacks on the Li-wang joint authentication and encryption scheme / J. van Tilburg -- Some constructions of perfect binary codes / A. Vardy, T. Etzion.
Record Nr. NYU-004388742
[AAECC-10 (1993 : San Juan, P.R.)]  
Materiale a stampa
Lo trovi qui: New York University