Arto Salomaa – författare
Visar alla böcker från författaren Arto Salomaa. Handla med fri frakt och snabb leverans.
51 produkter
51 produkter
Inbunden, Engelska, 2009
2 076 kr
Skickas inom 5-8 vardagar
Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It studies models of computation (known as P systems) inspired by the biochemistry of cells, in particular by the role of membranes in the compartmentalization of living cells into "protected reactors".This handbook provides both a comprehensive survey of available knowledge and established research topics, and a guide to recent developments in the field, covering the subject from theory to applications. The handbook is suitable both for introducing novices to this area of research, and as a main source of reference for active researchers. It sets out the necessary biological and formal background, with the introductory chapter serving as a gentle introduction to and overview of membrane computing. Individual chapters, written by leading researchers in membrane computing, present the state of the art of all main research trends and include extensive bibliographies.
Del 25 - Encyclopedia of Mathematics and its Applications
Computation and Automata
Häftad, Engelska, 2011
950 kr
Skickas inom 7-10 vardagar
In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.
Del 25 - Encyclopedia of Mathematics and its Applications
Computation and Automata
Inbunden, Engelska, 1985
1 892 kr
Skickas inom 7-10 vardagar
In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.
Häftad, Engelska, 2011
561 kr
Skickas inom 10-15 vardagar
This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 196O-apart from some scattered work done earlier in connection with free groups-by M. P. Schutzenberger to whom also belong some of the main results. So far there is no book in existence concerning this theory. This lack has had the unfortunate effect that formal power series have not been known and used by theoretical computer scientists to the extent they in our estimation should have been. As with most mathematical formalisms, the formalism of power series is capable of unifying and generalizing known results. However, it is also capable of establishing specific results which are difficult if not impossible to establish by other means. This is a point we hope to be able to make in this book. That formal power series constitute a powerful tool in automata and language theory depends on the fact that they in a sense lead to the arithmetization of automata and language theory. We invite the reader to prove, for instance, Theorem IV. 5. 3 or Corollaries III. 7. 8 and III. 7.- all specific results in language theory-by some other means. Although this book is mostly self-contained, the reader is assumed to have some background in algebra and analysis, as well as in automata and formal language theory.
Del 11270 - Lecture Notes in Computer Science
Enjoying Natural Computing
Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Häftad, Engelska, 2018
558 kr
Skickas inom 10-15 vardagar
This Festschrift is in honor of Mario de Jesús Pérez-Jiménez, Professor in the Department of Computer Science of University of Seville, Spain, on the occasion of his 70th birthday. The title of this volume reflects both his main research area, viz., Natural Computing, and the guiding principle of his functioning: “once you choose to do something, enjoy doing it".The respect that Professor Mario de Jesús Pérez-Jiménez enjoys in the scientific community was well demonstrated by the enthusiastic response received to the request to contribute to this book. The contributions by more than 70 authors from 15 countries cover a wide spectrum of research areas and reflect well the broad range of research interests of Professor Mario de Jesús Pérez-Jiménez. The research areas presented in this Festschrift include membrane computing, spiking neural networks, phylogenetic networks, ant colonies optimization, workbench for biocomputing, reaction systems, entropy of computation, rewriting systems, and insertion-deletion systems.
Del 11399 - Lecture Notes in Computer Science
Membrane Computing
19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Häftad, Engelska, 2019
558 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 19th International Conference on Membrane Computing (CMC19), CMC 2018, which was held in Dresden, Germany, in September 2018.
Häftad, Engelska, 2021
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The papers deal with all aspects on membrane computing and related areas.
Del 8961 - Lecture Notes in Computer Science
Membrane Computing
15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Häftad, Engelska, 2015
558 kr
Skickas inom 10-15 vardagar
In addition, two papers selected from the 22 papers presented at the regional version of CMC, the Asian Conference on Membrane Computing , ACMC 2014, held in Coimbatore, India, are included.
Del 9504 - Lecture Notes in Computer Science
Membrane Computing
16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Häftad, Engelska, 2016
558 kr
Skickas inom 10-15 vardagar
This bookconstitutes revised selected papers from the International Conference onMembrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 fullpapers presented in this volume were carefully reviewed and selected from 34submissions. The volume also contains 3 invited talks in full-paper length.
Del 10105 - Lecture Notes in Computer Science
Membrane Computing
17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
Häftad, Engelska, 2017
558 kr
Skickas inom 10-15 vardagar
This book contains revised selected papers from the 17th International Conference on Membrane Computing, CMC 2017, held in Milan, Italy, in July 2016. The 19 full papers presented in this volume were carefully reviewed and selected from 28 submissions.
Del 10725 - Lecture Notes in Computer Science
Membrane Computing
18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Häftad, Engelska, 2018
558 kr
Skickas inom 10-15 vardagar
This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017.The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They deal with membrane computing (P systems theory), an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. The volume also contains 2 invited talks.
Häftad, Engelska, 2003
558 kr
Skickas inom 10-15 vardagar
This volume originated in the Workshop on Membrane Computing, WMC- CdeA 2002, which took place in Curtea de Arge, s, Romania, during August 19- 23, 2002.This was the third annual workshop held in Curtea de Arge,s.The ?rst one, Workshop on Multiset Processing, WMP-CdeA 2000, took place in August 2000, and the proceedings were published in Lecture Notes in Computer Science, volume 2235.The second one, Workshop on Membrane Comp- ing, WMC-CdeA 2001, took place in August 2001, and selected papers were published as a special issue of Fundamenta Informaticae, volume 49, numbers 1-3, 2002. The aim of these workshops is to provide a stimulating environment for - searchers working in the area covered by a given workshop, so that existing sci- ti?c collaborations can be strengthened, and new collaborations (and friendships) can be initiated.Indeed, all three workshops held up to now were of such ch- acter, with very international attendance and collaboration taking place across national and scienti?c boundaries.
Häftad, Engelska, 1988
1 076 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics.
Häftad, Engelska, 2004
558 kr
Skickas inom 10-15 vardagar
This volume is based on papers presented at the Workshop on Membrane Computing, WMC 2003, which took place in Tarragona, Spain, in the - riod July 17-July 22, 2003. This was the Fourth Annual Membrane Computing Workshop, and the ?rst one held outside Romania. The ?rst three meetings were organized in Curtea de Arge, s, Romania - they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2235), in August 2001 (with a selection of papers published as a special issue of F- damenta Informaticae, Vol. 49, Nos. 1-3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2597). The 2003 workshop was the second workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in the Fifth Framework Program Information Society Technologies (project number IST-2001-32008). The preproceedings of WMC 2003 were published as Technical Report 28/03 of theResearchGrouponMathematicalLinguisticsfromRoviraiVirgiliUniversity, Tarragona, and they were available during the workshop.
Häftad, Engelska, 2005
558 kr
Skickas inom 10-15 vardagar
This volume is based on papers presented at the5thWorkshoponM- brane Computing, WMC5, which took place in Milan, Italy, in the period June 14-16, 2004, as a satellite event of DNA10 (10th International Workshop on DNA-Based Computing). The ?rst three workshops were organized in Curtea de Arge, s, Romania - they took place in August 2000 (with the proceedings p- lished in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue ofFundamenta Inform- icae, volume 49, numbers 1-3, 2002), and in August 2002 (with the proceedings publishedinLectureNotesinComputerScience,volume2597).Thefourthwo- shop took place in Tarragona, Spain, in July 2003 (the proceedings appeared as volume 2933 of Lecture Notes in Computer Science). Like the previous two meetings, also WMC5 was an o?cial workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in theFifthFrameworkprogramInformationSocietyTechnologies(projectnumber IST-2001-32008). The preproceedings of WMC5 were published as a MolCoNet report, and they were available during the workshop.This volume contains only a selection of the papers from the preproceedings.
Häftad, Engelska, 2006
558 kr
Skickas inom 10-15 vardagar
The present volume is based on papers presented at the 6th Workshop on M- brane Computing, WMC6, which took place in Vienna, Austria, in the period July 18-21, 2005. The ?rst three workshops were organized in Curtea de Arge, s, Romania - they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume 2235),in August 2001 (with a sel- tion of papers published as a special issue of Fundamenta Informaticae,volume 49, numbers 1-3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The fourth and the ?fth workshopswereorganizedinTarragona,Spain,in July2003,andin Milan,Italy, in June 2004, with the proceedings published as volumes 2933 and 3365, resp- tively, of Lecture Notes in Computer Science. The pre-proceedingsof WMC6 were published by the Institute for Computer Languages of the Vienna University of Technology, and they were available d- ing the workshop. Conforming with tradition, this workshop, too, was a lively scienti?c event, with many questions and engaged discussions following pres- tations of papers. Thecurrentvolumeisbasedonaselectionofpapersfromthepre-proceedings.These papers were signi?cantly modi?ed according to the discussions that took placeduringtheworkshop,andalltheselectedpaperswereadditionallyrefereed.
Häftad, Engelska, 2001
542 kr
Skickas inom 10-15 vardagar
Themultiset (a set with multiplicities associated with its elements, in the form of natural numbers) is a notion which has appeared again and again in many areas of mathematics and computer science, sometimes called abag (some h- torical information appears in the enclosed paper by A. Syropoulos). As a data structure, this notion stands "in-between"strings/lists, where a linear ordering of symbols/items is present, andsets, where no ordering and no multiplicity is considered;inamultiset,onlythemultiplicityofelementsmatters,nottheir ordering. Actually, in between lists and multisets we also havepomsets, partially ordered multisets. Con?ning ourselves to computer science, we may mention many areas where multisets are used: formal power series, Petri nets, data bases, logics, formal language theory (in relation with Parikh mapping, commutative grammars, etc), concurrency, and so on. In the last few years, the notion has occurred in a rather natural way in the molecular computing area. An aqueous solution of chemical compounds, swimming together in a given space, without any given spatial relation between individual elements, is just a multiset.Actually, this chemical metaphor was used several years before the occurrence of what is now called molecular computing, as the basic ingredient of the Gamma language and the Chemical Abstract Machine (a comprehensive survey of these ideas is provided by J. -P. Ban atre, P. Fradet, D. Le Metayer).
Häftad, Engelska, 2002
542 kr
Skickas inom 10-15 vardagar
DLT 2001 was the ?fth Conference on Developments in Language Theory. It was a broadly based conference covering all aspects of Language Theory: grammars and - ceptorsforstrings,graphs,arrays,etc.;ef?cientalgorithmsforlanguages;combinatorial andalgebraicpropertiesoflanguages;decisionproblems;relationstocomplexitytheory; logic; picture description and analysis; DNA computing; cryptography; concurrency. DLT 2001 was held at Technische Universitat .. Wien from July 16 to July 21, 2001. The OrganizingCommitteeconsistedofRudolfFreund,WernerKuich(chairman),Christiane Nikoll, Margarethe Soukup, Friedrich Urbanek. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessalonike (1997), Aachen (1999). The Program Committee of DLT 2001 consisted of Christian Choffrut (Paris), J.. urgen Dassow (Magdeburg), Masami Ito (Kyoto), Werner Kuich (Wien, chairman),GiancarloMauri(Milano),GheorghePaun ? (Bucuresti), , GrzegorzRozenberg (Leiden), Arto Salomaa (Turku), Wolfgang Thomas (Aachen). It selected 24 papers from 64 papers submitted in response to the call for papers.These papers came from the following countries: Australia, Austria, Belgium, Brazil, Bulgaria, Canada, Czech Republic, Estonia, Finland, France, Germany, Hungary, India, Italy, Japan, Moldova, The Netherlands, Phillipines, Poland, Romania, Russia, Slovakia, Spain, United Kingdom, USA. Each submitted paper was evaluated by at least four members of the Program Committee. Together with 10 invited presentations all 24 selected papers are contained in this volume. The papers in this volume are printed according to the order of presentation at DLT 2001 and thus grouped into sessions, most of which are thematic. It is a pleasure for the editors to thank the members of the Program Committee for the evaluation of the papers, and the many referees who assisted in this process.
Inbunden, Engelska, 1992
1 825 kr
Skickas inom 10-15 vardagar
L systems are language-theoretic models for developmentalbiology. They wereintroduced in 1968 by Aristid Lindenmayer(1925-1989) and have proved to be among the most beautifulexamples of interdisciplinary science, where work in onearea induces fruitful ideas and results in other areas. Lsystemsare based on relational and set-theoretic concepts,which are more suitable for the discrete and combinatorialstructures of biology than mathematical models based oncalculus or statistics. L systems have stimulated new worknot only in the realistic simulation of developing organismsbut also in the theory of automata and formal languages,formal power series, computer graphics, and combinatorics ofwords. This book contains research papers by almost all leadingauthorities and by many of the most promising youngresearchers in the field. The 28 contributions are organizedin sections on basic L systems, computer graphics, graphgrammars and map L systems, biological aspects and models,and variations and generalizations of L systems. Theintroductory paper by Lindenmayer and Jrgensen was writtenfor a wide audience and is accessible to the non-specialistreader.The volume documents the state of the art in the theory of Lsystems and their applications. It will interest researchersand advanced students in theoretical computer science anddevelopmental biology as well as professionals in computergraphics.
Inbunden, Engelska, 1997
2 466 kr
Skickas inom 10-15 vardagar
This second volume of the Handbook of Formal Languages contains the most fundamental applications of language theory. Various aspects of linguistics and parsing, both natural and programming languages, symbolic manipulation, and pattern matching are discussed. A special feature is the recently very active field of DNA computing.
Inbunden, Engelska, 1996
888 kr
Skickas inom 10-15 vardagar
This third volume of the Handbook of Formal Languages discusses language theory beyond linear or string models: trees, graphs, grids, pictures, computer graphics. Many chapters offer an authoritative self-contained exposition of an entire area. Special emphasis is on interconnections with logic.
Inbunden, Engelska, 1996
558 kr
Skickas inom 10-15 vardagar
Cryptography, secret writing, is enjoying a scientific renaissance following the seminal discovery in 1977 of public-key cryptography and applications in computers and communications. This book gives a broad overview of public-key cryptography - its essence and advantages, various public-key cryptosystems, and protocols - as well as a comprehensive introduction to classical cryptography and cryptoanalysis. The second edition has been revised and enlarged especially in its treatment of cryptographic protocols. From a review of the first edition: "This is a comprehensive review ... there can be no doubt that this will be accepted as a standard text. At the same time, it is clearly and entertainingly written ... and can certainly stand alone." Alex M. Andrew, Kybernetes, March 1992
Häftad, Engelska, 1997
558 kr
Skickas inom 10-15 vardagar
This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jurgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems.The volume comprises 33 revised full papers organized in sections on regulated rewriting, cooperating distributed grammar systems, parallel communicating grammar systems, splicing systems, infinite words, and algebraic approaches to languages.
Häftad, Engelska, 1997
542 kr
Skickas inom 10-15 vardagar
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work.The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology.
Inbunden, Engelska, 1998
915 kr
Skickas inom 10-15 vardagar
This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory. It then brings the reader to the most advanced theories develop thus far in this emerging research area.
Häftad, Engelska, 2006
558 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed extended postproceedings of the 7th International Workshop on Membrane Computing, WMC 2006, held in Leiden, Netherlands in July 2006. The 27 revised full papers presented together with 7 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, and to application issues. Special attention was paid to the interaction of membrane computing with biology, focusing both on the biological roots of membrane computing and on applications of membrane computing in biology and medicine.
Häftad, Engelska, 2007
542 kr
Skickas inom 10-15 vardagar
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25–28, 2008. The ?rst three workshops on membrane computing were organized in Curtea de Arge¸ s, Romania – they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science,volume 2235), in August 2001 (with a selection of papers published as a special issue of Fundamenta Informaticae, volume 49, numbers 1–3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The next four workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, in Vienna, Austria, in July 2005, and in Leiden, The Netherlands, in July 2006, with the proceedings published as volumes 2933, 3365, 3850, and 4361, respectively, of Lecture Notes in Computer Science. The 2007 edition of WMC was organized by the South-East European - search Centre in Thessaloniki, under the auspices of the European Molecular Computing Consortium (EMCC). Special attention was paid to the interaction of membrane computing with biology and computer science, focusing on the - ological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations. The pre-proceedings of WMC8 were published by the South-East European Research Centre, Thessaloniki, and they were available during the workshop. Each paper was refereed by two members of the Program Committee.
Inbunden, Engelska, 2009
2 145 kr
Skickas inom 10-15 vardagar
A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in nature at the cell level. The field is concerned with the interactions between computer science on the one hand and biology, chemistry, and DNA-oriented nanoscience on the other. In particular, this book offers a comprehensive overview of research into algorithmic self-assembly, RNA folding, the algorithmic foundations for biochemical reactions, and the algorithmic nature of developmental processes.The editors of the book invited 36 chapters, written by the leading researchers in this area, and their contributions include detailed tutorials on the main topics, surveys of the state of the art in research, experimental results, and discussions of specific research goals. The main subjects addressed are sequence discovery, generation, and analysis; nanoconstructions and self-assembly; membrane computing; formal models and analysis; process calculi and automata; biochemical reactions; and other topics from natural computing, including molecular evolution, regulation of gene expression, light-based computing, cellular automata, realistic modelling of biological systems, and evolutionary computing. This subject is inherently interdisciplinary, and this book will be of value to researchers in computer science and biology who study the impact of the exciting mutual interaction between our understanding of bioprocesses and our understanding of computation.
Häftad, Engelska, 2009
542 kr
Skickas inom 10-15 vardagar
This volume contains a selection of papers presented at the 9th Workshop on Membrane Computing, WMC9, which took place in Edinburgh, UK, during July 28–31,2008. The ?rst three workshopson membrane computing were or- nized in Curtea de Arge¸ s, Romania – they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue of Fun- menta Informaticae, volume 49, numbers 1–3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The next ?ve workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, in Vienna, Austria, in July 2005, in Leiden, The Netherlands, in July 2006, and in Thessaloniki, Greece, in June 2007, with the proceedings published as volumes 2933, 3365, 3850, 4361, and 4860 of Lecture Notes in Computer Science.
Häftad, Engelska, 2010
2 466 kr
Skickas inom 10-15 vardagar
This second volume of the Handbook of Formal Languages contains the most fundamental applications of language theory. Various aspects of linguistics and parsing, both natural and programming languages, symbolic manipulation, and pattern matching are discussed. A special feature is the recently very active field of DNA computing.