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.
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
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642030925
3642030920
9783642030918
3642030912
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004356792
[ILC 2007 (2007 : Cape Town, South Africa)]  
Materiale a stampa
Lo trovi qui: New York University
Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings / Anuj Dawar, Ruy de Queiroz (eds.).
Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings / Anuj Dawar, Ruy de Queiroz (eds.).
Creatore [Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasilia, Distrito Federal, Brazil)]
Estensione 1 online resource (x, 258 pages) : illustrations.
Disciplina 004.015113
Accesso persona Dawar, Anuj
Queiroz, Ruy J. G. B. de.
Genere/Forma Congresses
Conference papers and proceedings
ISBN 9783642138249
3642138241
9783642138232
3642138233
Classificazione 54.10
31.10
17.46
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey -- The Two-Variable Fragment with Counting Revisited -- Intuitionistic Logic and Computability Theory -- Foundations of Satisfiability Modulo Theories -- Logical Form as a Determinant of Cognitive Processes -- Formal Lifetime Reliability Analysis Using Continuous Random Variables -- Modal Logics with Counting -- Verification of the Completeness of Unification Algorithms à la Robinson -- Mechanisation of PDA and Grammar Equivalence for Context-Free Languages -- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations -- Decidability and Undecidability Results on the Modal?-Calculus with a Natural Number-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties -- On Anaphora and the Binding Principles in Categorial Grammar -- Feasible Functions over Co-inductive Data -- Interval Valued Fuzzy Coimplication -- Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures -- Intersection Type Systems and Explicit Substitutions Calculi -- Generalising Conservativity.
Record Nr. NYU-004363698
[Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasilia, Distrito Federal, Brazil)]  
Materiale a stampa
Lo trovi qui: New York University
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter [and others] (eds.).
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter [and others] (eds.).
Creatore [International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard, Germany)]
Estensione 1 online resource (xi, 376 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Hutter, Dieter
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 3540482571
9783540482574
3540664629
9783540664628
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto High Level System Design and Analysis Using Abstract State Machines / Egon Borger -- Enriching the Software Development Process by Formal Methods / Manfred Broy and Oscar Slotosch -- Formal Program Development in Geometric Modeling / Francois Puitg and Jean-Francois Dufourd -- Design of Distributed Multimedia Applications (DAMD) / Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio and Jean-Marie Farines / [and others] -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip / Alfons Geser and Wolfgang Kuchlin -- Automated Test Set Generation for Statecharts / K. Bogdanov, M. Holcombe and H. Singh -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct / Wolfgang Goerigk and Ulrich Hoffmann -- Translation Validation: From DC+ to C / A. Pnueli, O. Shtrichman and M. Siegel -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems / Satoshi Yamane -- A Lightweight Approach to Formal Methods / Sten Agerholm and Peter Gorm Larsen -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools / Robert Bussow, Wolfgang Grieskamp and Winfried Heicking / [and others] -- Integrating Domain Specific Language Design in the Software Life Cycle / Philipp W. Kutter, Daniel Schweizer and Lothar Thiele -- Flexible and Reliable Process Model Properties: An Integrated Approach / Tiziana Margaria and Volker Gruhn -- A Symbolic Model Checker for ACTL / A. Fantechi, S. Gnesi and F. Mazzanti / [et al.] -- Critical Systems Validation and Verification with CSP and FDR / Michael Goldsmith and Irfan Zakiuddin -- UniForM Perspectives for Formal Methods / Bernd Krieg-Bruckner -- The UniForM WorkBench -- A Higher Order Tool Integration Framework / Einar W. Karlsen -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol / Masahiro Fujita, Sree P. Rajan and Alan Hu -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier / Meinc van der Meulen and Tim Clement -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process / Frank Koob, Markus Ullmann and Stefan Wittmann -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture / Giuseppe Del Castillo -- The IFAD VDM Tools: Lightweight Formal Methods / Sten Agerholm and Peter Gorm Larsen -- KIV 3.0 for Provably Correct Systems / Michael Balser, Wolfgang Reif and Gerhard Schellhorn / [et al.] -- PVS: An Experience Report / S. Owre, J.M. Rushby and N. Shankar / [et al.] -- QUEST: Overview over the Project / Oscar Slotosch -- VSE: Controlling the Complexity in Formal Software Developments / Dieter Hutter, Heiko Mantel and Georg Rock / [et al.] -- The wHOLe System / Mark E. Woodcock -- Z/EVES Version 1.5: An Overview / ORA Canada.
Record Nr. NYU-004340460
[International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Foundations of software science and computational structures : 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings / Martin Hofmann (ed.).
Foundations of software science and computational structures : 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings / Martin Hofmann (ed.).
Creatore [FOSSACS (Conference) (14th : 2011 : Saarbrücken, Germany)]
Estensione 1 online resource (xv, 472 pages) : illustrations.
Disciplina 005.1
Accesso persona Hofmann, Martin
Accesso convegno ETAPS (Conference) (2011 : Saarbrücken, Germany)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642198052
3642198058
9783642198045
364219804X
Classificazione 54.50
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004368732
[FOSSACS (Conference) (14th : 2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Process algebra / J.C.M. Baeten and W.P. Weijland
Process algebra / J.C.M. Baeten and W.P. Weijland
Creatore [Baeten, J. C. M.]
Estensione 1 online resource (248 pages).
Disciplina 511.3
Accesso persona Weijland, W. P.
ISBN 0521400430
9780521400435
Classificazione 31.10
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004959485
[Baeten, J. C. M.]  
Materiale a stampa
Lo trovi qui: New York University
Advances in Swarm Intelligence : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings
Advances in Swarm Intelligence : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings
Creatore [Tan, Ying]
Estensione 1 online resource (487 pages).
Disciplina 006.3
Accesso persona Shi, Yuhui
Coello Coello, Carlos A.
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319118970
3319118978
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro; Preface; Organization; Table of Contents -- Part II; Classification Methods; Semi-supervised Ant Evolutionary Classification; 1 Introduction; 2 Ant Evolutionary Classification Model; 3 Experiments; 3.1 Synthetic Dataset; 3.2 Real-World Dataset; 4 Conclusion; References; Evolutionary Ensemble Model for Breast Cancer Classification; 1 Introduction; 2 Related Work; 3 Methodology; 4 Simulation Results; 5 Conclusion and Future Work; References; Empirical Analysis of Assessments Metrics for Multi-class Imbalance Learning on the Back-Propagation Context; 1 Introduction.
2 Assessments Metrics for Multi-class Imbalance Learning3 Experimental Protocols; 3.1 Database Description; 3.2 Neural Network Configuration; 4 Experimental Results; 5 Conclusions; References; A Novel Rough Set Reduct Algorithm to Feature Selection Based on Artificial Fish Swarm Algorithm; 1 Introduction; 2 Rough Set Theory; 3 Swarm Intelligence Based Rough Set Reduct Algorithm; 3.1 Ant Colony Optimization Based Reduct Algorithm (ACORS); 3.2 Particle Swarm Optimization Based Reduct Algorithm (PSORS); 4 Artificial Fish Swarm Based Reduct Algorithm (AFSARS); 5 Experiments and Results.
5.1 Datasets and Parameters Setting5.2 Results and Analysis; 6 Conclusion; References; Hand Gesture Shape Descriptor Based on Energy-Ratio and Normalized Fourier Transform Coefficients; 1 Introduction; 2 Contour of Hand Gesture Extraction; 3 Shape Descriptor of Hand Gesture; 3.1 Normalized Fourier Transform Coefficients; 3.2 Fourier Coefficients Selection Based on Energy-Ratio; 4 Experiments and Discussion; 5 Conclusions; References; A New Evolutionary Support Vector Machine with Application to Parkinson's Disease Diagnosis; 1 Introduction; 2 Related Works on Detection of PD.
3 The Proposed BFO-SVM Model4 Experimental Setup; 5 Experimental Results and Discussions; 6 Conclusions and Future Work; References; GPU-Based Methods; Parallel Bees Swarm Optimization for Association Rules Mining Using GPU Architecture; 1 Introduction; 2 Related Works; 3 BSO-ARM Algorithm; 4 Parallel Single Evaluation of Solution Algorithm; 5 Performance Evaluation; 6 Conclusion; References; A Method for Ripple Simulation Based on GPU; 1 Introduction; 2 Related Work; 3 Vector Algebra Operation; 3.1 Data Structures; 3.2 Data Operation; 4 Ripple Rendering; 4.1 Conjugate Gradient Method.
4.2 Wave Equation5 Experiment; 6 Conclusion; References; cuROB: A GPU-Based Test Suit for Real-Parameter Optimization; 1 Introduction; 1.1 Symbol Conventions and Definitions; 1.2 General Setup; 1.3 CUDA Interface and Implementation; 1.4 Test Suite Summary; 2 Speedup; 3 Unimodal Functions; 3.1 Shifted and Rotated Sphere Function; 3.2 Shifted and Rotated Ellipsoid Function; 3.3 Shifted and Rotated High Conditioned Elliptic Function; 3.4 Shifted and Rotated Discus Function; 3.5 Shifted and Rotated Bent Cigar Function; 3.6 Shifted and Rotated Different Powers Function.
Record Nr. NYU-006490229
[Tan, Ying]  
Materiale a stampa
Lo trovi qui: New York University
Elements of combinatorial computing / by Mark B. Wells
Elements of combinatorial computing / by Mark B. Wells
Creatore [Wells, Mark B.]
Edizione [First edition].]
Estensione 1 online resource (xiv, 258 pages)
Disciplina 511/.6/02854
Genere/Forma Electronic books
ISBN 9781483186665
1483186660
0080160913
9780080160917
Classificazione 54.50
54.10
31.12
ST 130
ST 315
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Dedication; Elements of Combinatorial Computing; Copyright Page; Table of Contents; PREFACE; CHAPTER 1. A LANGUAGE FOR COMBINATORIAL COMPUTING; 1.1. Fundamentals; 1.2. Set Manipulation; 1.3. Transfer of Control-Conditional Statements; 1.4. Notation for Iteration and Recursion; 1.5. Nested Iteration and Recursive Programming; CHAPTER 2. LANGUAGE IMPLEMENTATION AND PROGRAM EFFICIENCY; 2.1. Data Representation; 2.2. Operations; 2.3. Program Optimization; 2.4. System Organization-Procedures; CHAPTER 3. COMPUTER REPRESENTATION OF MATHEMATICAL OBJECTS; 3.1. Natural Numbers.
3.2. Sets and Vectors3.3. Elementary Combinatorial Configurations; 3.4. Linear Graphs and Networks; 3.5. The n-Cube; 3.6. Geometric Configurations; CHAPTER 4. SEARCH AND ENUMERATION-BACKTRACKP ROGRAMMING; 4.1. Introduction to Backtrack Programming-The Search Tree; 4.2. Basic Backtracking and Impasse Detection; 4.3. Optimization Backtracking; 4.4 Branch Merging; CHAPTER 5. GENERATION OF ELEMENTARY CONFIGURATIONS; 5.1. Subsets and Combinations; 5.2. Permutations of Distinct Objects; 5.3. Permutations with Repeated Objects; 5.4. Compositions; 5.5. Partitions.
CHAPTER 6. ADDITIONAL BASIC TECHNIQUES AND MANIPULATIONS6.1. Sieving Processes; 6.2. Sorting Techniques; 6.3. Procedures Concerned with Connectedness; 6.4. Finite Set Covering; 6.5. Transformations; 6.6. Isomorph Rejection; CHAPTER 7. APPLICATIONS-ADVANCED ALGORITHMS; 7.1. Incidence Matrix Equivalence; 7.2. The Steinhaus Sorting Problem; 7.3. A Computer Study of the Four-color Problem; 7.4. Parker's Orthogonal Latin Square Generation; APPENDIX I: TABLES OF IMPORTANT NUMBERS; APPENDIX II: TABLES OF INTERESTING NUMBERS; APPENDIX III: COMPENDIUM OF FOUR-COLOR REDUCIBLE CONFIGURATIONS.
Record Nr. NYU-004789936
[Wells, Mark B.]  
Materiale a stampa
Lo trovi qui: New York University
Algorithm design / Jon Kleinberg, Éva Tardos
Algorithm design / Jon Kleinberg, Éva Tardos
Creatore [Kleinberg, Jon.]
Estensione xxiii, 838 pages : illustrations ; 24 cm
Disciplina 005.1
Accesso persona Tardos, Éva.
Tardos, �Eva
ISBN 0321295358
9780321295354
9788131703106
813170310X
0321372913
9780321372918
Classificazione 54.10
ST 134
68W01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction: Some representative problems -- Basics of algorithms analysis -- Graphs -- Greedy algorithms -- Divide and conquer -- Dynamic programming -- Network flow -- NP and computational intractability -- PSPACE: A class of problems beyond NP -- Extending the limits of tractability -- Approximation algorithms -- Local search -- Randomized algorithms -- Epilogue: algorithms that run forever.
Record Nr. NYU-006549903
[Kleinberg, Jon.]  
Materiale a stampa
Lo trovi qui: New York University
Theoretical computer science / 3rd GI conference, Darmstadt, March 28-30, 1977 ; edited by H. Tzschach, H. Waldschmidt and H.K.-G. Walter on behalf of the GI.
Theoretical computer science / 3rd GI conference, Darmstadt, March 28-30, 1977 ; edited by H. Tzschach, H. Waldschmidt and H.K.-G. Walter on behalf of the GI.
Creatore [GI-Fachtagung Theoretische Informatik. (3rd : 1977 : Darmstadt)]
Estensione 1 online resource (418 pages) : illustrations.
Disciplina 001.6/42/01
Accesso persona Tzschach, H. G.
Waldschmidt, H. (Helmut)
Walter, H. K.-G. (Hermann K.-G.), 1942-
ISBN 9783540373896
3540373896
0387081380
9780387081380
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
fre
eng
Record Nr. UALBERTA-7977631
[GI-Fachtagung Theoretische Informatik. (3rd : 1977 : Darmstadt)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
On the computational geometry of pocket machining / Martin Held
On the computational geometry of pocket machining / Martin Held
Creatore [Held, Martin, 1965-]
Estensione 1 online resource (xii, 178 pages) : illustrations.
Disciplina 671.3/5
ISBN 9783540474135
3540474137
3540541039
9783540541035
0387541039
9780387541037
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7978125
[Held, Martin, 1965-]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium