Search

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2016, held in Stirling, UK, in September 2016. The 19 revised full papers and 6 keynotes abstracts presented were carefully reviewed and selected from 61 submissions. The papers deal with the application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, medicalinformatics, computational approaches to life sciences in general

Normal 0 false false false EN-US X-NONE X-NONE /• Style Definitions •/ table.MsoNormalTable {mso-style-name:'Table Normal'; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:''; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:'Calibri','sans-serif'; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:'Times New Roman'; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:'Times New Roman'; mso-bidi-theme-font:minor-bidi;} This book constitutes the revised selected papers of the First International Workshop on Machine Learning in Medical Imaging, MLMMI 2015, held in July 2015 in Lille, France, in conjunction with the 32nd International Conference on Machine Learning, ICML 2015. The 10 papers presented in this volume were carefully reviewed and selected for inclusion in the book. The papers communicate the specific needs and nuances of medical imaging to the machine learning community while exposing the medical imaging community to current trends in machine learning.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2014, held in Cambridge, UK, in June 2014.The 25 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers focus problems concerning computational techniques in bioinformatics, systems biology, medical informatics and biostatistics.

This book constitutes the thoroughly refereed post-conferenceproceedings of the 10th International Meeting on ComputationalIntelligence Methods for Bioinformatics and Biostatistics, CIBB 2013, held in Nice, France in June 2013.The 19 revised full papers presented were carefully reviewed andselected from 35 submissions. The papers are organized in topicalsections on bioinformatics, biostatistics, knowledge based medicine, and data integration and analysis in omic-science.

This book constitutes the refereed proceedings of the 9th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2012, held in Houston, TX, USA during in July 2012. The 16 revised full papers presented were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on relativistic heavy ions and DNA damage; image segmentation; proteomics; RNA and DNA sequence analysis; RNA, DNA, and SNP microarrays; semi-supervised/unsupervised cluster analysis.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2015, held in Naples, Italy, in September, 2015. The 21 revised full papers presented were carefully reviewed and selected from 24 submissions. They present problems concerning computational techniques in bioinformatics, systems biology and medical informatics discussing cutting edge methodologies and accelerate life science discoveries, as well as novel challenges with an high impact on molecular biology and translational medicine.

This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in Biology with an emphasis on hybrid approaches — by no means restricted to a narrow class of mathematical models — and taking advantage of techniques developed separately in different areas.

This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. The conference is a follow up of the AB Conference. The 10 papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, artificial intelligence, sequence analysis, automated reasoning, formal language and hybrid symbolic numerical methods.

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014. This volume presents 8 full papers together with 2 invited tutorials/surveys from 21 submissions. The HSB 2013 workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments. The scope of the HSB 2014 workshop is the general area of dynamical models in biology with an emphasis on hybrid approaches, which are not restricted to a narrow class of mathematical models, and which take advantage of techniques developed separately in different sub-fields.<

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Membrane Computing, CMC11, held in Jena, Germany, in August 2010 - continuing the fruitful tradition of 10 previous editions of the International Workshop on Membrane Computing (WMC).The 23 revised full papers presented together with 4 invited papers and the abstracts of 2 keynote lectures were carefully reviewed and selected from numerous submissions. The papers address in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues. A special attention was paid to the interaction of membrane computing with biology and computer science, focusing both on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based and bioinspired implementations.

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on DNA Computing and Molecular Programming, DNA16, held in Hong Kong, China, in June 2010. The 16 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 59 submissions. The papers are well balanced between theoretical and experimental work and address all areas that relate to biomolecular computing, including demonstrations of biomolecular computing, theoretical models of biomolecular computing, biomolecular algorithms, computational processes in vitro and in vivo, analysis and theoretical models of laboratory techniques, biotechnological and other applications of DNA computing, DNA nanostructures, DNA devices such as DNA motors, DNA error evaluation and correction, in vitro evolution, molecular design, self-assembled systems, nucleic acid chemistry, and simulation tools.

Biomolecular/DNA computing is now well established as an interdisciplinary field where chemistry, computer science, molecular biology, physics, and mathematics come together with the common purpose of fundamental scientific understanding of biology and chemistry and its applications. This international meeting has been the premier forum where scientists with different backgrounds and a common focus meet to present their latest results and entertain visions of the future. In this tradition, about 100 participants converged in Memphis, Tennessee to hold the 13th International Meeting on DNA Computing during June 4–8, 2007, under the auspices of the International Society for Nanoscale Science, Computation and Engineering (ISNSCE) and The University of Memphis. The call for papers encouraged submissions of original, recent, and promising experimental and theoretical results in the field. The Call for Papers elicited some 62 submissions, almost perfectly balanced among the major theoretical and experimental categories. It is evidence of how well the interdisciplinary nature of the conference has truly matured that the major criterion of quality, agreed upon in advance by the Program Committee (PC), produced a nearly balanced program as well across the two major categories, full papers and talks with an abstract only. The program with the greatest perceived impact consisted of 24 papers for plenary oral talks; in addition, 15 full-paper posters and 10 poster abstracts were accepted, of which 5 authors were invited to give five short demos in a new submission category this year. The conference program retained the structure now customary for this meeting.

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.

Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations of Genetic Algorithms, FOGA 2007, held in Mexico City in January 2007. The 11 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and improvement from 22 submissions. The papers address all current topics in the field of theoretical evolutionary computation and also depict the continuing growth in interactions with other fields such as mathematics, physics, and biology

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on DNA Based Computers, DNA11, held in London, ON, Canada, in June 2005. The 34 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 79 submissions. The wide-ranging topics include in vitro and in vivo biomolecular computation, algorithmic self-assembly, DNA device design, DNA coding theory, and membrane computing.

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.•The 13 full papers and 5 tool papers were carefully reviewed and selected from 32 submissions. The topics of interest include biological process modelling; biological system model verification, validation, analysis, and simulation; high-performance computational systems biology; model inference from experimental data; multi-scale modeling and analysis methods; computational approaches for synthetic biology; machine learning and data-driven approaches; microbial ecology modelling and analysis; methods and protocols for populations and their variability; models, applications, and case studies in systems and synthetic biology. The chapters'Microbial Community Decision Making Models in Batch','Population design for synthetic gene circuits','BioFVM-X: An MPI+OpenMP 3-D Simulator for Biological Systems'are published open access under a CC BY license (Creative Commons Attribution 4.0 International License). • The conference was held in a hybrid mode due to the COVID-19 pandemic.

This book constitutes the refereed joint proceedings of the 4th International Workshop on Interpretability of Machine Intelligence in Medical Image Computing, iMIMIC 2020, and the First International Workshop on Topological Data Analysis and Its Applications for Medical Data, TDA4MedicalData 2021, held on September 27, 2021, in conjunction with the 24th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2021.The 7 full papers presented at iMIMIC 2021 and 5 full papers held at TDA4MedicalData 2021 were carefully reviewed and selected from 12 submissions each. The iMIMIC papers focus on introducing the challenges and opportunities related to the topic of interpretability of machine learning systems in the context of medical imaging and computer assisted intervention. TDA4MedicalData is focusing on using TDA techniques to enhance the performance, generalizability, efficiency, and explainability of the current methods applied to medical data.

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.•The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology. • The conference was held virtually due to the COVID-19 pandemic.

This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed proceedings of the 15th International Conference on Intelligent Computing, ICIC 2019, held in Nanchang, China, in August 2019. The 217 full papers of the three proceedings volumes were carefully reviewed and selected from 609 submissions.The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, including theories, methodologies, and applications in science and technology.

This book constitutes the refereed conference proceedings of the 11th International Conference on Bio-Inspired Information and Communications Technologies, held in Pittsburgh, PA, USA, in March 2019. The 13 revised full papers and 2 short papers were selected from 29 submissions. Past iterations of the conference have attracted contributions in Direct Bioinspiration (physical biological materials and systems used within technology) as well as Indirect Bioinspiration (biological principles, processes and mechanisms used within the design and application of technology). This year, the scope has expanded to include a third thrust: Foundational Bioinspiration (bioinspired aspects of game theory, evolution, information theory, and philosophy of science).

This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. The 212 full papers and 20 short papers of the three proceedings volumes were carefully reviewed and selected from 612 submissions. This first volume of the set comprises 71 papers. The papers are organized in topical sections such as Evolutionary Computation and Learning; Neural Networks; Nature Inspired Computing and Optimization; Signal Processing; Pattern Recognition; Biometrics Recognition; Image Processing; Information Security; Virtual Reality and Human-Computer Interaction; Business Intelligence and Multimedia Technology; Genetic Algorithms; Biomedical Informatics Theory and Methods; Particle Swarm Optimization and Niche Technology; Swarm Intelligence and Optimization; Independent Component Analysis; Compressed Sensing and Sparse Coding; Natural Computing; Intelligent Computing in Computer Vision; Computational Intelligence and Security for Image Applications in Social Network; Neural Networks: Theory and Application.

​This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. The 221 full papers and 15 short papers of the three proceedings volumes were carefully reviewed and selected from 639 submissions. This second volume of the set comprises 74 papers. The papers are organized in topical sections such as Pattern Recognition; Image Processing; Virtual Reality and Human-Computer Interaction; Healthcare Informatics Theory and Methods; Genetic Algorithms; Blind Source Separation; Intelligent Fault Diagnosis; Machine Learning; Knowledge Discovery and Data Mining; Gene Expression Array Analysis; Systems Biology; Modeling, Simulation, and Optimization of Biological Systems; Intelligent Computing in Computational Biology; Computational Genomics; Computational Proteomics; Gene Regulation Modeling and Analysis; SNPs and Haplotype Analysis; Protein-Protein Interaction Prediction; Protein Structure and Function Prediction; Next-Gen Sequencing and Metagenomics; Structure Prediction and Folding; Biomarker Discovery; Applications of Machine Learning Techniques to Computational Proteomics, Genomics, and Biological Sequence Analysis; Biomedical Image Analysis; Human-Machine Interaction: Shaping Tools Which Will Shape Us; Protein and Gene Bioinformatics: Analysis, Algorithms and Applications; Special Session on Computer Vision based Navigation; Neural Networks: Theory and Application.

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this double volume were carefully reviewed and selected from 199 submissions. The papers are organized in topical sections on Bio-inspired Computing; E-Health and Computational Biology; Human Computer Interaction; Image and Signal Processing; Mathematics for Neural Networks; Self-organizing Networks; Spiking Neurons; Artificial Neural Networks in Industry ANNI'17; Computational Intelligence Tools and Techniques for Biomedical Applications; Assistive Rehabilitation Technology; Computational Intelligence Methods for Time Series; Machine Learning Applied to Vision and Robotics; Human Activity Recognition for Health and Well-Being Applications; Software Testing and Intelligent Systems; Real World Applications of BCI Systems; Machine Learning in Imbalanced Domains; Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles; End-User Development for Social Robotics; Artificial Intelligence and Games; and Supervised, Non-Supervised, Reinforcement and Statistical Algorithms.

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this double volume were carefully reviewed and selected from 199 submissions. The papers are organized in topical sections on Bio-inspired Computing; E-Health and Computational Biology; Human Computer Interaction; Image and Signal Processing; Mathematics for Neural Networks; Self-organizing Networks; Spiking Neurons; Artificial Neural Networks in Industry ANNI'17; Computational Intelligence Tools and Techniques for Biomedical Applications; Assistive Rehabilitation Technology; Computational Intelligence Methods for Time Series; Machine Learning Applied to Vision and Robotics; Human Activity Recognition for Health and Well-Being Applications; Software Testing and Intelligent Systems; Real World Applications of BCI Systems; Machine Learning in Imbalanced Domains; Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles; End-User Development for Social Robotics; Artificial Intelligence and Games; and Supervised, Non-Supervised, Reinforcement and Statistical Algorithms.

This book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, in September 2017. The 15 full papers, 4 tool papers and 4 posters presented together with 1 invited talk were carefully reviewed and selected from 41 regular paper submissions. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verication, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; and computational approaches for synthetic biology.

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017. The 16 full papers presented were carefully selected from 23 submissions. Research in DNA computing aims to draw together mathematics, computerscience, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. The papers address all areas related to biomolecular computing such as: algorithms and models for computation with biomolecular systems; computational processes in vitro and in vivo; molecular motors and molecular robotics; studies of fault-tolerance and error correction; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications in engineering, physics, chemistry, biology, and medicine.

This two-volume set LNCS 9771 and LNCS 9772 constitutes - in conjunction with the volume LNAI 9773 - the refereed proceedings of the 12th International Conference on Intelligent Computing, ICIC 2016, held in Lanzhou, China, in August 2016. The 221 full papers and 15 short papers of the three proceedings volumes were carefully reviewed and selected from 639 submissions. The papers are organized in topical sections such as signal processing and image processing; information security, knowledge discovery, and data mining; systems biology and intelligent computing in computational biology; intelligent computing in scheduling; information security; advances in swarm intelligence: algorithms and applications; machine learning and data analysis for medical and engineering applications; evolutionary computation and learning; independent component analysis; compressed sensing, sparse coding; social computing; neural networks; nature inspired computing and optimization; genetic algorithms; signal processing; pattern recognition; biometrics recognition; image processing; information security; virtual reality and human-computer interaction; healthcare informatics theory and methods; artificial bee colony algorithms; differential evolution; memetic algorithms; swarm intelligence and optimization; soft computing; protein structure and function prediction; advances in swarm intelligence: algorithms and applications; optimization, neural network, and signal processing; biomedical informatics and image processing; machine learning; knowledge discovery and natural language processing; nature inspired computing and optimization; intelligent control and automation; intelligent data analysis and prediction; computer vision; knowledge representation and expert system; bioinformatics.

This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full papers, 3 tool papers and 9 posters presented were carefully reviewed and selected from 37 regular paper submissions. The topics include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; and computational approaches for synthetic biology.

This book constitutes the refereed proceedings of the 14th International Conference on Parallel Problem Solving from Nature, PPSN 2016, held in Edinburgh, UK, in September 2016. The total of 93 revised full papers were carefully reviewed and selected from 224 submissions. The meeting began with four workshops which offered an ideal opportunity to explore specific topics in intelligent transportation Workshop, landscape-aware heuristic search, natural computing in scheduling and timetabling, and advances in multi-modal optimization. PPSN XIV also included sixteen free tutorials to give us all the opportunity to learn about new aspects: gray box optimization in theory; theory of evolutionary computation; graph-based and cartesian genetic programming; theory of parallel evolutionary algorithms; promoting diversity in evolutionary optimization: why and how; evolutionary multi-objective optimization; intelligent systems for smart cities; advances on multi-modal optimization; evolutionary computation in cryptography; evolutionary robotics - a practical guide to experiment with real hardware; evolutionary algorithms and hyper-heuristics; a bridge between optimization over manifolds and evolutionary computation; implementing evolutionary algorithms in the cloud; the attainment function approach to performance evaluation in EMO; runtime analysis of evolutionary algorithms: basic introduction; meta-model assisted (evolutionary) optimization. The papers are organized in topical sections on adaption, self-adaption and parameter tuning; differential evolution and swarm intelligence; dynamic, uncertain and constrained environments; genetic programming; multi-objective, many-objective and multi-level optimization; parallel algorithms and hardware issues; real-word applications and modeling; theory; diversity and landscape analysis.

This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic dynamics, are organized for the first time in the conference series. In addition to this new developments in areas frequently covered in the CiE conference series were addressed in the following sessions: computable and constructive analysis; computation in biological systems; history and philosophy of computing; weak arithmetic.

This two-volume set LNCS 9771 and LNCS 9772 constitutes - in conjunction with the volume LNAI 9773 - the refereed proceedings of the 12th International Conference on Intelligent Computing, ICIC 2016, held in Lanzhou, China, in August 2016. The 221 full papers and 15 short papers of the three proceedings volumes were carefully reviewed and selected from 639 submissions. The papers are organized in topical sections such as signal processing and image processing; information security, knowledge discovery, and data mining; systems biology and intelligent computing in computational biology; intelligent computing in scheduling; information security; advances in swarm intelligence: algorithms and applications; machine learning and data analysis for medical and engineering applications; evolutionary computation and learning; independent component analysis; compressed sensing, sparse coding; social computing; neural networks; nature inspired computing and optimization; genetic algorithms; signal processing; pattern recognition; biometrics recognition; image processing; information security; virtual reality and human-computer interaction; healthcare informatics theory and methods; artificial bee colony algorithms; differential evolution; memetic algorithms; swarm intelligence and optimization; soft computing; protein structure and function prediction; advances in swarm intelligence: algorithms and applications; optimization, neural network, and signal processing; biomedical informatics and image processing; machine learning; knowledge discovery and natural language processing; nature inspired computing and optimization; intelligent control and automation; intelligent data analysis and prediction; computer vision; knowledge representation and expert system; bioinformatics.

This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 43 full and 4 short paper submissions. The papers cover a wide range of topics in the analysis of biological systems, networks and data such as model checking, stochastic analysis, hybrid systems, circadian clock, time series data, logic programming, and constraints solving ranging from intercellular to multiscale.

This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015.The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams and Reverse Mathematics, were introduced for the first time in the conference series. In addition to this, new developments in areas frequently covered in the CiE conference series were addressed in the further special sessions on Automata, Logic and Infinite Games; Bio-inspired Computation; Classical Computability Theory; as well as History and Philosophy of Computing.

This book constitutes the proceedings of the 6th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2015, held in Warsaw, Poland, in June/July 2015. The total of 53 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: foundations of machine learning; image processing; image retrieval; image tracking; pattern recognition; data mining techniques for large scale data; fuzzy computing; rough sets; bioinformatics; and applications of artificial intelligence.

This two-volume set LNCS 9094 and LNCS 9095 constitutes the thoroughly refereed proceedings of the 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, held in Palma de Mallorca, Spain, in June 2013. The 99 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 195 submissions. The papers are organized in topical sections on brain-computer interfaces: applications and tele-services; multi-robot systems: applications and theory (MRSAT); video and image processing; transfer learning; structures, algorithms and methods in artificial intelligence; interactive and cognitive environments; mathematical and theoretical methods in fuzzy systems; pattern recognition; embedded intelligent systems; expert systems; advances in computational intelligence; and applications of computational intelligence.

This two-volume set LNCS 9094 and LNCS 9095 constitutes the thoroughly refereed proceedings of the 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, held in Palma de Mallorca, Spain, in June 2013. The 99 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 195 submissions. The papers are organized in topical sections on brain-computer interfaces: applications and tele-services; multi-robot systems: applications and theory (MRSAT); video and image processing; transfer learning; structures, algorithms and methods in artificial intelligence; interactive and cognitive environments; mathematical and theoretical methods in fuzzy systems; pattern recognition; embedded intelligent systems; expert systems; advances in computational intelligence; and applications of computational intelligence.

This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular Programming, DNA 21, held in Boston and Cambridge, MA, USA, in August 2015.The 13 full papers presented were carefully selected from 63 submissions. The papers address all current issues related to biomolecular computing, such as: algorithms and models for computation on biomolecular systems; computational processes in vitro and in vivo; molecular switches, gates, devices, and circuits; molecular folding and self-assembly of nanostructures; analysis and theoretical models of laboratory techniques; molecular motors and molecular robotics; studies of fault-tolerance and error correction; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications in engineering, physics, chemistry, biology, and medicine.

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.

This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. The total of 191 full and 42 short papers presented in the three ICIC 2015 volumes was carefully reviewed and selected from 671 submissions. The papers are organized in topical sections such as evolutionary computation and learning; compressed sensing, sparse coding and social computing; neural networks, nature inspired computing and optimization; pattern recognition and signal processing; image processing; biomedical informatics theory and methods; differential evolution, particle swarm optimization and niche technology; intelligent computing and knowledge discovery and data mining; soft computing and machine learning; computational biology, protein structure and function prediction; genetic algorithms; artificial bee colony algorithms; swarm intelligence and optimization; social computing; information security; virtual reality and human-computer interaction; healthcare informatics theory and methods; unsupervised learning; collective intelligence; intelligent computing in robotics; intelligent computing in communication networks; intelligent control and automation; intelligent data analysis and prediction; gene expression array analysis; gene regulation modeling and analysis; protein-protein interaction prediction; biology inspired computing and optimization; analysis and visualization of large biological data sets; motif detection; biomarker discovery; modeling; simulation; and optimization of biological systems; biomedical data modeling and mining; intelligent computing in biomedical signal/image analysis; intelligent computing in brain imaging; neuroinformatics; cheminformatics; intelligent computing in computational biology; computational genomics; special session on biomedical dataintegration and mining in the era of big data; special session on big data analytics; special session on artificial intelligence for ambient assisted living; and special session on swarm intelligence with discrete dynamics.

This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. The total of 191 full and 42 short papers presented in the three ICIC 2015 volumes was carefully reviewed and selected from 671 submissions. The papers are organized in topical sections such as evolutionary computation and learning; compressed sensing, sparse coding and social computing; neural networks, nature inspired computing and optimization; pattern recognition and signal processing; image processing; biomedical informatics theory and methods; differential evolution, particle swarm optimization and niche technology; intelligent computing and knowledge discovery and data mining; soft computing and machine learning; computational biology, protein structure and function prediction; genetic algorithms; artificial bee colony algorithms; swarm intelligence and optimization; social computing; information security; virtual reality and human-computer interaction; healthcare informatics theory and methods; unsupervised learning; collective intelligence; intelligent computing in robotics; intelligent computing in communication networks; intelligent control and automation; intelligent data analysis and prediction; gene expression array analysis; gene regulation modeling and analysis; protein-protein interaction prediction; biology inspired computing and optimization; analysis and visualization of large biological data sets; motif detection; biomarker discovery; modeling; simulation; and optimization of biological systems; biomedical data modeling and mining; intelligent computing in biomedical signal/image analysis; intelligent computing in brain imaging; neuroinformatics; cheminformatics; intelligent computing in computational biology; computational genomics; special session on biomedical data integration and mining in the era of big data; special session on big data analytics; special session on artificial intelligence for ambient assisted living; and special session on swarm intelligence with discrete dynamics.

This book constitutes the proceedings of the 12th International Conference on Computational Methods in Systems Biology, CMSB 2014, held in Manchester, UK, in November 2014. The 16 regular papers presented together with 6 poster papers were carefully reviewed and selected from 31 regular and 18 poster submissions. The papers are organized in topical sections on formalisms for modeling biological processes, model inference from experimental data, frameworks for model verification, validation, and analysis of biological systems, models and their biological applications, computational approaches for synthetic biology, and flash posters.

This book constitutes the refereed proceedings of the 13th International Conference on Parallel Problem Solving from Nature, PPSN 2013, held in Ljubljana, Slovenia, in September 2014. The total of 90 revised full papers were carefully reviewed and selected from 217 submissions. The meeting began with 7 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN XIII also included 9 tutorials. The papers are organized in topical sections on adaption, self-adaption and parameter tuning; classifier system, differential evolution and swarm intelligence; coevolution and artificial immune systems; constraint handling; dynamic and uncertain environments; estimation of distribution algorithms and metamodelling; genetic programming; multi-objective optimisation; parallel algorithms and hardware implementations; real world applications; and theory.

This book constitutes the refereed proceedings of the 19thInternational Conference on Implementation and Application of Automata, CIAA 2014, held in Giessen, Germany, in July/August 2014. The 21 revised full papers presented together with 4 invited papers were carefully selected from 36 submissions. The papers cover all aspects of implementation, application, and theory of automata and related structures such as algorithms on automata, automata and logic, bioinformatics, complexity of automata operations, compilers,computer-aided verification, concurrency, data structure design forautomata, data and image compression, design and architecture ofautomata software, digital libraries, DNA/molecular/membrane computing, document engineering, editors, environments, experimental studies and practical experience, implementation of verification methods and model checking, industrial applications, natural language and speech processing, networking, new algorithms for manipulating automata, object-oriented modeling, pattern-matching, pushdown automata and context-free grammars, quantum computing, structured and semi-structured documents, symbolic manipulation environments for automata, transducers and multi-tape automata, techniques for graphical display of automata, VLSI, viruses and related phenomena, and world-wide Web.

This book – in conjunction with the volumes LNAI 8589 and LNBI 8590 – constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. The 92 papers of this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections such as evolutionary computation and learning; swarm intelligence and optimization; machine learning; social and natural computing; neural networks; biometrics recognition; image processing; information security; virtual reality and human-computer interaction; knowledge discovery and data mining; signal processing; pattern recognition; biometric system and security for intelligent computing.

This book constitutes the refereed proceedings of the 20th International Conference on DNA Computing and Molecular Programming, DNA 20, held in Kyoto, Japan, in September 2014. The 10 full papers presented were carefully selected from 55 submissions. The papers are organized in many disciplines (including mathematics, computer science, physics, chemistry, material science and biology) to address the analysis, design, and synthesis of information-based molecular systems.

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014.The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.

This two-volume set LNCS 7902 and 7903 constitutes the refereed proceedings of the 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, held in Puerto de la Cruz, Tenerife, Spain, in June 2013. The 116 revised papers were carefully reviewed and selected from numerous submissions for presentation in two volumes. The papers explore sections on mathematical and theoretical methods in computational intelligence, neurocomputational formulations, learning and adaptation emulation of cognitive functions, bio-inspired systems and neuro-engineering, advanced topics in computational intelligence and applications

This two-volume set LNCS 7902 and 7903 constitutes the refereed proceedings of the 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, held in Puerto de la Cruz, Tenerife, Spain, in June 2013. The 116 revised papers were carefully reviewed and selected from numerous submissions for presentation in two volumes. The papers explore sections on mathematical and theoretical methods in computational intelligence, neurocomputational formulations, learning and adaptation emulation of cognitive functions, bio-inspired systems and neuro-engineering, advanced topics in computational intelligence and applications.

This book constitutes the refereed proceedings of the 13th International Workshop on Algorithms in Bioinformatics, WABI 2013, held in Sophia Antipolis, France, in September 2013. WABI 2013 is one of seven workshops which, along with the European Symposium on Algorithms (ESA), constitute the ALGO annual meeting and highlights research in algorithmic work for bioinformatics, computational biology and systems biology. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions of future research. The 27 full papers presented were carefully reviewed and selected from 61 submissions. The papers cover all aspects of algorithms in bioinformatics, computational biology and systems biology.