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.
Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon
Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon
Creatore [Garzon, Max, 1953-]
Estensione 1 online resource (xiv, 272 pages) : illustrations.
Disciplina 004/.35
Genere/Forma Electronic books
ISBN 9783642779053
3642779050
9783642779077
3642779077
0387561498
9780387561493
3540561498
9783540561491
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Turing Computability and Complexity -- 1.1 Models of Sequential Computation -- 1.2 Complexity -- 1.3 Cellular Machines -- 1.4 Prerequisites -- References -- 2. Cellular Automata -- 2.1 Finite-State Automata -- 2.2 Regular Graphs -- 2.3 Local Rules and Global Maps -- 2.4 Fundamental Questions -- 2.5 Notation -- 2.6 Problems -- 2.7 Notes -- References -- 3. Linear Cellular Automata -- 3.1 Linear Rules -- 3.2 Basic Properties -- 3.3 Global Dynamics via Fractals -- 3.4 The Role of Linear Rules -- 3.5 Problems -- 3.6 Notes -- References -- 4. Semi-totalistic Automata -- 4.1 Semi-totalistic Rules -- 4.2 Construction and Computation Universality -- 4.3 Restricted Totalistic Rules -- 4.4 Threshold Automata -- 4.5 Problems -- 4.6 Notes -- References -- 5. Decision Problems -- 5.1 Algorithmic and Dynetic Problems -- 5.2 ID Euclidean Automata -- 5.3 2D Euclidean Automata -- 5.4 Noneuclidean Automata -- 5.5 Complexity Questions -- 5.6 Problems -- 5.7 Notes -- References -- 6. Neural and Random Boolean Networks -- 6.1 Types of Generalizations -- 6.2 Other Parallel Models -- 6.3 Summary of Results -- 6.4 Proofs -- 6.5 Problems -- 6.6 Notes -- References -- 7. General Properties -- 7.1 Metric Preliminaries -- 7.2 Basic Results -- 7.3 Injeetivity, Surjectivity and Local Reversibility -- 7.4 Some Generalizations -- 7.5 Problems -- 7.6 Notes -- References -- 8. Classification -- 8.1 Finite Networks -- 8.2 Wolfram Classification -- 8.3 Classification via Limit Sets -- 8.4 Mean Field Theory -- 8.5 Local Structure Theory -- 8.6 Other Classifications -- 8.7 Problems -- 8.8 Notes -- References -- 9. Asymptotic Behavior -- 9.1 Linear Rules -- 9.2 Exact Solution -- 9.3 Simulation in Continuous Systems -- 9.4 Observability -- 9.5 Problems -- 9.6 Notes -- References -- 10. Some Inverse Problems -- 10.1 Signals and Synchronization -- 10.2 Formal Language Recognition -- 10.3 Picture Languages -- 10.4 Problems -- 10.5 Notes -- References -- 11. Real Computation -- 11.1 Representation and Primitives -- 11.2 Exact Computation -- 11.3 Approximate Computation by Neural Nets -- 11.4 Problems -- 11.5 Notes -- References -- 12. A Bibliography of Applications -- 12.1 Physics -- 12.2 Chemistry -- 12.3 Biology -- 12.4 Computer Science -- 12.5 Artificial Intelligence and Cognitive Science -- 12.6 Miscellaneous -- References -- Author Index -- Symbol Index.
Record Nr. NYU-004359123
[Garzon, Max, 1953-]  
Materiale a stampa
Lo trovi qui: New York University
Canonical equational proofs / Leo Bachmair
Canonical equational proofs / Leo Bachmair
Creatore [Bachmair, Leo.]
Estensione 1 online resource (x, 135 pages) : illustrations.
Disciplina 511.3
Genere/Forma Electronic books
ISBN 9781468471182
146847118X
0817635556
9780817635558
3764335556
9783764335557
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1 Equational Proofs -- 1.1. Introduction -- 1.2. Terms -- 1.3. Equations -- 1.4. Orderings -- 1.5. Proofs -- 2 Standard Completion -- 2.1. Basic Completion -- 2.2. Proof Transformation -- 2.3. Proof Simplification -- 2.4. Fairness and Correctness -- 2.5. Standard Completion -- 2.6. Critical Pair Criteria -- 3 Extended Completion -- 3.1. Rewriting Modulo a Congruence -- 3.2. The Left-Linear Rule Method -- 3.3. Church-Rosser Systems -- 3.4. Extended Completion -- 3.5. The Extended Rule Method -- 3.6. Associative-Commutative Completion -- 3.7. The Protected Rule Method -- 3.8. Extended Critical Pair Criteria -- 4 Ordered Completion -- 4.1. Ordered Completion -- 4.2. Construction of Convergent Rewrite Systems -- 4.3. Refutational Theorem Proving -- 4.4. Horn Clauses with Equality -- 5 Proof by Consistency -- 5.1. Consistency and Ground Reducibility -- 5.2. Proof by Consistency -- 5.3. Refutation Completeness -- 5.4. Covering Sets.
Record Nr. NYU-004357451
[Bachmair, Leo.]  
Materiale a stampa
Lo trovi qui: New York University
Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni, ed.
Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni, ed.
Creatore [International Symposium ISSAC '88 (1988 : Rome, Italy)]
Estensione 1 online resource (xi, 543 pages) : illustrations.
Disciplina 004/.01/51
Accesso persona Gianni, P. (Patrizia), 1952-
Accesso convegno AAECC-6 (1988 : Rome, Italy)
Genere/Forma Conference papers and proceedings
Congressen (vorm)
ISBN 3540510842
9783540510840
0387510842
9780387510842
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004357494
[International Symposium ISSAC '88 (1988 : Rome, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Reliable and autonomous computational science : international conference, RACS 2010, Atlanta, Ga, USA, October 27-30, 2010 / Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong, editors
Reliable and autonomous computational science : international conference, RACS 2010, Atlanta, Ga, USA, October 27-30, 2010 / Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong, editors
Estensione 1 online resource (408 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Shin, Sung Y.
Gantenbein, Rex.
Kuo, Tei-Wei
Hong, Jiman
Accesso ente Birkhäuser (Firm)
Accesso convegno International Conference on Reliable and Autonomous Computational Science, RACS (2010 : Atlanta, GA)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 3034800312
9783034800310
9783034800303
3034800304
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface; Contents; List of Contributors; Part I Embedded & Computer Systems; A Distributed Two-Version Multi-Granularity Locking Protocol for Multi-Controller Storage Systems; Chih-Chung Tsai, Ya-Shu Chen Tei-Wei Kuo; A Medical Device Safety Supervision over Wireless ; Cheolgi Kim Mu Sun Heechul Yun Lui Sha; A Novel Memory-Aware CPU Allocation Policy for Multicore NUMA Architecture; Dongwoo KangHeekwon ParkJongmoo Choi; Power-Aware EDZL Scheduling upon Identical Multiprocessor Platforms; Xuefeng PiaoHeeheon KimYookun ChoSangchul HanMinkyu ParkMonju ParkSeongje Cho.
Thermalaware Register File based on Heat TransferJungwook KimSeong Tae JhangChu Shik Jhon; Analysis of Autonomous Bandwidth-Delay-Balancing Characteristic in the Decay Usage Scheduler; Kyeongho ParkJu Hyun LeeHoyoung HwangChang-Gun LeeSang Lyul MinHyo-Joong Suh ; A Reliable Nested Transaction Model with Extension of Real-Time Characteristics; Seung-Jin MoonSanghoon Lee; Part II Network Computing & Security; PDF: A Novel Probability-based Data Forwarding Scheme in Lossy Wireless Sensor Networks; Dang Tu Nguyen, Wook Choi, Hyunseung Choo.
A New Green-Scheduling Approach to Maximize Wireless Multimedia Networking Lifetime via Packet and Path DiversityWei Wang Sung Shin; Design of a reliability enhancement scheme for the grid-topology mesh network; Junghoon Lee Gyung-Leen Park; A Reliable Watchdog Protocol with Two-way Mutual Confirmation in Wireless Multi-Hop Networks; Dongseung ShinDongkyun Kim and Jinwook Lee; Energy Efficient Power Management for Multi-Mode Wireless Network Devices; Bongjae KimBoncheol Gu Jeongki Kim Chaedeok Lim Jiman Hong ; An Efficient and Reliable flooding in MANETs.
Jinman JungYookun Cho Yeongkwun Kim Sangho YiHyungbae ParkA Fast Agreement Protocol for Underwater Wireless Sensor Networks ; Hong Min, Sangil Eo, Joonhyouk Jang, Junyoung Heo and Gwangil Jeon; Autonomous traffic management for CDMA-based real-time services in in-building environments; Woon-Young YeoHyukjun Oh; Protection against Buffer Overflow Attacks via Dynamic Binary Translation ; Chun-Chung Chen Shih-Hao Hung Chen-Pang Lee ; Part III Applications; XA2C Framework for XML Alteration/Adaptation; Gilbert TekliRichard ChbeirJacques Fayolle.
An Automatic Method for WordNet Concept Enrichment using Wikipedia TitlesMyunggwon HwangDongjin ChoiByeongkyu KoJunho ChoiPankoo Kim; Design of Interval Type-2 Fuzzy Set-based Fuzzy Neural Networks Using Successive Tuning Method; Keon-Jun ParkSung-Kwun OhYong-Kab Kim; Part IV Multimedia; Improving Image Segmentation Algorithms with Differential Evolution; Chih-Cheng HungZiwei Ren Wenfan Li Qing Yang ; TOF Camera based 3D Fingertip Location Estimation; Yangkeun AhnMinwook KimKwangmo JungTaehyoung KimJaehoon AhnSukil Hong ; Index.
Record Nr. NYU-006178864
Materiale a stampa
Lo trovi qui: New York University
Combinatorics, automata, and number theory / edited by Valérie Berthé, Michel Rigo
Combinatorics, automata, and number theory / edited by Valérie Berthé, Michel Rigo
Estensione 1 online resource.
Disciplina 511.6
Accesso persona Berthé, V. (Valérie), 1957-
Rigo, Michel
Accesso ente Cambridge University Press
ISBN 9780511777653 (electronic bk.)
0511777655 (electronic bk.)
9780521515979
0521515971
Classificazione 31.12
31.14
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preliminaries / V. Berthé, M. Rigo -- Number representation and finite automata / Ch. Frougny, J. Sakarovitch -- Abstract numeration systems / P. Lecomte, M. Rigo -- Factor complexity / J. Cassaigne, F. Nicolas -- Substitutions, Rauzy fractals and tilings / V. Berthé, A. Siegel, J. Thuswaldner -- Combinatorics on Bratteli diagrams and dynamical systems / F. Durand -- Infinite words with uniform frequencies, and invariant measures / S. Ferenczi, T. Monteil -- Transcendence and Diophantine approximation / B. Adamczewski, Y. Bugeaud -- Analysis of digital functions and applications / M. Drmota, P.J. Grabner -- The equality problem for purely substitutive words / J. Honkala -- Long products of matrices / V.D. Blondel, R.M. Jungers.
Record Nr. NYU-004992783
Materiale a stampa
Lo trovi qui: New York University
Semantic techniques in quantum computation / edited by Simon Gay, Ian Mackie
Semantic techniques in quantum computation / edited by Simon Gay, Ian Mackie
Estensione 1 online resource.
Disciplina 004.1
Accesso persona Gay, Simon, 1969-
Mackie, I. (Ian)
Accesso ente Cambridge University Press
ISBN 9781139193313 (electronic bk.)
1139193317 (electronic bk.)
9780521513746 (hardback)
052151374X (hardback)
Classificazione 54.10
ST 152
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto No-cloning in categorical quantum mechanics / Samson Abramsky -- Classical and quantum structuralism / Bob Coecke, Éric Oliver Paquette, and Dusko Pavlovic -- Generalized proof-nets for compact categories with biproducts / Ross Duncan --Quantum lambda calculus / Peter Selinger and Benoît Valiron -- The quantum IO monad / Thorsten Altenkirch and Alexander S. Green -- Abstract interpretation techniques for quantum computation / Philippe Jorrand and Simon Perdrix -- Extended measurement calculus / Cincent Danos [and others] -- Predicate transformer semantics of quantum programs / Minsheng Ying [and others] -- The structure of partial isometries / Peter Hines and Samuel L. Braunstein -- Temporal logics for reasoning about quantum systems / Paulo Mateus [and others] -- Specification and verification of quantum protocols / Simon J. Gay, Rajagopal Nagarajan, and Nikolaos Papanikolaou.
Record Nr. NYU-004993195
Materiale a stampa
Lo trovi qui: New York University
Learning and intelligent optimization : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected papers / Carlos A. Coello Coello (ed.).
Learning and intelligent optimization : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected papers / Carlos A. Coello Coello (ed.).
Creatore [LION (Conference) (5th : 2011 : Rome, Italy)]
Estensione 1 online resource (xvii, 636 pages).
Disciplina 006.3/1
Accesso persona Coello Coello, Carlos A.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
ISBN 9783642255663
3642255663
3642255655
9783642255656
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006478993
[LION (Conference) (5th : 2011 : Rome, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Arithmetic and logic in computer systems / Mi Lu.
Arithmetic and logic in computer systems / Mi Lu.
Creatore [Lu, Mi.]
Estensione 1 online resource (xxi, 246 pages) : illustrations
Disciplina 004/.01/51
Genere/Forma Electronic books
Soggetto non controllato Computer Science (general)
FACsci
ER Internet Book Full text
ISBN 0471469459
9780471469452
0471726214
9780471726210
9780471728511
0471728519
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computer number systems -- Addition and subtraction -- High-speed adder -- Sequential multiplication -- Parallel multiplication -- Sequential division -- Fast array dividers -- Floating point operations -- Residue number operations -- Operations through logarithms -- Signed-digit number operations.
Record Nr. NYU-006064527
[Lu, Mi.]  
Materiale a stampa
Lo trovi qui: New York University
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt (eds.).
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt (eds.).
Estensione 1 online resource (viii, 332 pages) : illustrations.
Accesso persona Brewka, Gerhard
Janke, K. P. (Klaus P.)
Schmitt, P. H. (Peter H.), 1948-
Accesso convegno International Workshop on Nonmonotonic and Inductive Logic, NIL '91 (2nd : 1991 : Reinhardsbrunn Castle)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540475576
3540475575
3540564330
9783540564331
0387564330
9780387564333
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A tutorial on nonmonotonic reasoning / Gerd Brewka, Jurgen Dix, Kurt Konolige -- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms / Naoki Abe -- More about learning elementary formal systems / Setsuo Arikawa [and others] -- A polynomial time algorithm for finding finite unions of tree pattern languages / Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki -- Towards efficient inductive synthesis: rapid construction of local regularities / Janis Barzdins, Guntis Barzdins -- Deductive generalization in a default logic setting / Ph. Besnard, E. Gregoire -- Deduction with supernormal defaults / Stefan Brass -- Multi-agent learning: theoretical and empirical studies / Robert Daley -- Predicate synthesis from formal specifications: using mathematical induction for finding the preconditions of theorems / Marta Franova, Yves Kodratoff -- Dual types of hypotheses in inductive inference / Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen -- All I know about Tweety / Gerhard Lakemeyer -- Monotonic versus nonmonotonic language learning / Steffen Lange, Thomas Zeugmann -- Normal form results for default logic / V. Wiktor Marek, Miroslaw Truszczynski -- Retrieval in case-based reasoning using preferred subtheories / Michael Mehl -- Interactive synthesis of process flowcharts / Yuji Takada -- Probabilistic inference of approximations / Juris Viksna.
Record Nr. UCHICAGO-11075365
Materiale a stampa
Lo trovi qui: University of Chicago
Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings / edited by Kesav V. Nori
Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings / edited by Kesav V. Nori
Estensione 1 online resource (xii, 518 pages).
Accesso persona Nori, Kesav V.
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540472391
3540472398
0387171797
9780387171791
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11075411
Materiale a stampa
Lo trovi qui: University of Chicago