| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484946703321 |
|
|
Titolo |
Membrane Computing : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / / edited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38549-9 |
9786613563415 |
3-642-11467-9 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 487 p. 86 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5957 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
PaunGheorghe <1950-> |
Perez-JimenezMario J |
Riscos-NunezAugustin |
RozenbergGrzegoz |
SalomaaArto |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Machine theory |
Computer simulation |
Bioinformatics |
Theory of Computation |
Formal Languages and Automata Theory |
Computer Modelling |
Computational and Systems Biology |
|
|
|
|
|
|
|
|
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 Presentations -- P Automata: Concepts, Results, and New Aspects -- Computational Nature of Processes Induced by Biochemical Reactions -- Transition and Halting Modes in (Tissue) P Systems -- Conformon P Systems and Topology of Information Flow -- Formal |
|
|
|
|
|
|
|
|
|
|
|
Verification and Testing Based on P Systems -- A Look Back at Some Early Results in Membrane Computing -- From P to MP Systems -- The Biological Cell in Spectacle -- Energy-Based Models of P Systems -- A Computational Complexity Theory in Membrane Computing -- Regular Presentations -- Evolving by Maximizing the Number of Rules: Complexity Study -- On Reversibility and Determinism in P Systems -- Typed Membrane Systems -- A P System Based Model of an Ecosystem of Some Scavenger Birds -- Metabolic P System Flux Regulation by Artificial Neural Networks -- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems -- Implementing P Systems Parallelism by Means of GPUs -- Regulation and Covering Problems in MP Systems -- (Tissue) P Systems with Hybrid Transition Modes -- An Overview of P-Lingua 2.0 -- Characterizing Tractability by Tissue-Like P Systems -- Searching Previous Configurations in Membrane Computing -- Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator -- Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules -- Tuning P Systems for Solving the Broadcasting Problem -- An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition -- A Region-Oriented Hardware Implementation for Membrane Computing Applications -- Discovering the Membrane Topology of Hyperdag P Systems -- A Note on Small Universal Spiking Neural P Systems -- On the Power of Computing with Proteins on Membranes -- An EfficientSimulation of Polynomial-Space Turing Machines by P Systems with Active Membranes -- Look-Ahead Evolution for P Systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Membrane Computing, WMC 2009, held in Curtea de Arges, Romania, during August 24 to 27, 2009 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society. The 22 revised full papers presented together with 10 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues; the invited lectures present fundamental contributions to membrane computing; thus highlighting important directions of current research in this area. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484424503321 |
|
|
Autore |
Hanus Michael <1959-> |
|
|
Titolo |
Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings / / edited by Michael Hanus |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-85308-5 |
9786610853083 |
3-540-69611-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (343 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 4354 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Computer programming |
Computer science |
Software engineering |
Compilers and Interpreters |
Programming Techniques |
Computer Science Logic and Foundations of Programming |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
International conference proceedings. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
QuickCheck Testing for Fun and Profit -- A Constraint Programming Approach to Bioinformatics Structural Problems -- Rewriting Haskell Strings -- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning -- Algebraic Knowledge Discovery Using Haskell -- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang -- Automatic Incrementalization of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation -- Compiling Constraint Handling Rules for Efficient Tabled Evaluation -- Prolog Performance on Larger Datasets -- BAD, a |
|
|
|
|
|
|
|
|
|
|
|
Declarative Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming by Instance Patterns -- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement -- The Joins Concurrency Library -- HPorter: Using Arrows to Compose Parallel Processes -- Coupled Schema Transformation and Data Conversion for XML and SQL -- Aspect-Oriented Programming in Higher-Order and Linear Logic -- Partial Evaluation of Pointcuts. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming. |
|
|
|
|
|
|
|
| |