| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465311003316 |
|
|
Titolo |
Unconventional Computation [[electronic resource] ] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings / / edited by Christian S. Calude, Jose Felix Gomes da Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXI, 293 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5715 |
|
|
|
|
|
|
Classificazione |
|
BIO 110f |
DAT 500f |
DAT 719f |
SS 4800 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Life sciences |
Algorithms |
Bioinformatics |
Theory of Computation |
Life Sciences |
Computational and Systems Biology |
Models of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks and Tutorials -- Using Physical Experiments as Oracles -- A Tutorial on Analog Computation: Computing Functions over the Reals -- Computational Mechanics: Natural Computation and Self-organization -- Diophantine Equations and Computation -- Structure of Reversible Cellular Automata -- Brain Dynamics Promotes Function -- Awakening the Analogue Computer: Rubel’s Extended Analog Computer Workshop -- Artifice, Interpretation and Nature: Key Categories in Radiology Work -- Developmental Computing -- Evolvable Hardware: From Applications to Implications for the Theory of Computation -- Relativistic Computers and Transfinite Computation -- |
|
|
|
|
|
|
|
|
|
|
|
Regular Contributions -- Turing Completeness Using Three Mobile Membranes -- Resource-Competing Oscillator Network as a Model of Amoeba-Based Neurocomputer -- Networks of Evolutionary Picture Processors with Filtered Connections -- Mapping Computation with No Memory -- Real Computable Manifolds and Homotopy Groups -- Distributed Quantum Programming -- Foundations of Optical Encryption: Formal Modeling and Achieving Shannon Secrecy -- Random Number Selection in Self-assembly -- Abstract Geometrical Computation and Computable Analysis -- Descriptional Complexity of Tissue-Like P Systems with Cell Division -- Computing Domains of Attraction for Planar Dynamics -- Approximating the Behaviours of Physarum polycephalum for the Construction and Minimisation of Synthetic Transport Networks -- Simulation of Neurocomputing Based on Photophobic Reactions of Euglena: Toward Microbe–Based Neural Network Computing -- Reasoning about Entanglement and Separability in Quantum Higher-Order Functions -- On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory -- Advances in I/O, Speedup, and Universality on Colossus, an Unconventional Computer -- Membrane Dissolution and Division in P -- Computing Naturally in the Billiard Ball Model -- Posters -- Water as a Quantum Computing Device -- Cloning for Heteroscedasticity Elimination in GMDH Learning Procedure -- Tug-Of-War Model for Two-Bandit Problem -- Intrusion Detection in Circular Frustrated Systems: An Eminently Parallel Processing Algorithm -- NMR-Based Encoding and Processing of Alphanumeric Information. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and selected from 40 submissions. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum; cellular, molecular, neural and evolutionary computing; chaos and dynamical system-based computing; and various proposals for computational mechanisms that go beyond the Turing model. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484765603321 |
|
|
Titolo |
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings / / edited by Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 387 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 4789 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer science |
Compilers (Computer programs) |
Software Engineering |
Programming Techniques |
Models of Computation |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management -- Formal Engineering of XACML Access Control Policies in VDM++ -- A Verification Framework for Agent Knowledge -- Embedded Systems -- From Model-Based Design to Formal Verification of Adaptive Embedded Systems -- Machine-Assisted Proof Support for Validation Beyond Simulink -- VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System -- Testing -- Integrating Specification-Based Review and Testing for Detecting Errors in Programs -- Testing for Refinement in CSP -- Reducing Test Sequence Length Using Invertible Sequences -- Automated Analysis -- Model |
|
|
|
|
|
|
|
|
|
|
|
Checking with SAT-Based Characterization of ACTL Formulas -- Automating Refinement Checking in Probabilistic System Design -- Model Checking in Practice: Analysis of Generic Bootloader Using SPIN -- Model Checking Propositional Projection Temporal Logic Based on SPIN -- Hardware -- A Denotational Semantics for Handel-C Hardware Compilation -- Automatic Generation of Verified Concurrent Hardware -- Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking -- Concurrency -- Efficient Symbolic Execution of Large Quantifications in a Process Algebra -- Formalizing SANE Virtual Processor in Thread Algebra -- Calculating and Composing Progress Properties in Terms of the Leads-to Relation -- Erratum -- Erratum to: Challenges in Software Certification. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections. |
|
|
|
|
|
|
|
| |