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-]
![]() |
|
![]() | |
Lo trovi qui: New York University | |
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 |
![]() | |
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 |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
Lo trovi qui: New York University | |
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 |
![]() | |
Lo trovi qui: New York University | |
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.]
![]() |
|
![]() | |
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. |
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 |
![]() | |
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.). |
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 |
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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.)]
![]() |
|
![]() | |
Lo trovi qui: New York University | |