Computational Intelligence Methods for Bioinformatics and Biostatistics / Bartoletti, Massimo ; Barla, Annalisa ; Bracciali, Andrea ; Klau, Gunnar W. ; Peterson, Leif ; Policriti, Alberto ; Tagliaferri, Roberto  

Público ISBD Ningún comentario para este registro. Título : Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bartoletti, Massimo, ; Barla, Annalisa, ; Bracciali, Andrea, ; Klau, Gunnar W., ; Peterson, Leif, ; Policriti, Alberto, ; Tagliaferri, Roberto, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 213 p. 70 ilustraciones, 43 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-14160-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Bioinformática  Inteligencia artificial  Teoría de las máquinas  Algoritmos  Ordenadores  Biología Computacional y de Sistemas  Lenguajes formales y teoría de los autómatas  Entornos informáticos Clasificación: 570.285 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 14ª Reunión Internacional sobre Computación. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, celebrado en Cagliari, Italia, en septiembre de 2017. Los 19 artículos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 44 presentaciones. Los artículos abordan la aplicación de la inteligencia computacional a problemas abiertos en bioinformática, bioestadística, biología sintética y de sistemas, informática médica y enfoques computacionales de las ciencias de la vida en general. Nota de contenido: An open-source tool for managing time-evolving variant annotation -- Extracting few representative reconciliations with host-switches -- A quantitative and qualitative characterization of k-mer based alignment-free phylogeny construction -- Cancer mutational signatures identification with sparse dictionary learning -- Icing: Large-scale inference of immunoglobulin clonotypes -- Adenine: a HPC-oriented tool for biological data exploration -- Disease-genes must guide fata dource integration in the gen prioritization process -- Ensembling fescendant term classifiers to improve gene – Abnormal phenotype predictions -- GP-based grammatical inference for classification of amyloidogenic sequences -- Estimation of kinetic reaction constants: Exploiting reboot strategies to improve PSO's performance -- Haplotype and repeat separation in long reads -- Tumor subclonal progression model for cancer hallmark acquisition -- GIMLET: Identifying biological modulators in context-specific gene regulation using local energy statistics -- Structural features of a DPPG liposome layer adsorbed on a rough surface -- Chemical exchanges and actuation in liposome-based synthetic cells: Interaction with biological cells -- A nano communication system for CTC detection in blood vessels -- Experimental evidences suggest high between-vesicle diversity of articial vesicle populations: Results, models and implications -- Towards the synthesis of photo-autotrophic protocells -- Hierarchical block matrix approach for multi-view clustering. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, held in Cagliari, Italy, in September 2017. The 19 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers deal with the application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, medical informatics, computational approaches to life sciences in general. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers [documento electrónico] / Bartoletti, Massimo, ; Barla, Annalisa, ; Bracciali, Andrea, ; Klau, Gunnar W., ; Peterson, Leif, ; Policriti, Alberto, ; Tagliaferri, Roberto,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - X, 213 p. 70 ilustraciones, 43 ilustraciones en color. ISBN : 978-3-030-14160-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Bioinformática  Inteligencia artificial  Teoría de las máquinas  Algoritmos  Ordenadores  Biología Computacional y de Sistemas  Lenguajes formales y teoría de los autómatas  Entornos informáticos Clasificación: 570.285 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 14ª Reunión Internacional sobre Computación. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, celebrado en Cagliari, Italia, en septiembre de 2017. Los 19 artículos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 44 presentaciones. Los artículos abordan la aplicación de la inteligencia computacional a problemas abiertos en bioinformática, bioestadística, biología sintética y de sistemas, informática médica y enfoques computacionales de las ciencias de la vida en general. Nota de contenido: An open-source tool for managing time-evolving variant annotation -- Extracting few representative reconciliations with host-switches -- A quantitative and qualitative characterization of k-mer based alignment-free phylogeny construction -- Cancer mutational signatures identification with sparse dictionary learning -- Icing: Large-scale inference of immunoglobulin clonotypes -- Adenine: a HPC-oriented tool for biological data exploration -- Disease-genes must guide fata dource integration in the gen prioritization process -- Ensembling fescendant term classifiers to improve gene – Abnormal phenotype predictions -- GP-based grammatical inference for classification of amyloidogenic sequences -- Estimation of kinetic reaction constants: Exploiting reboot strategies to improve PSO's performance -- Haplotype and repeat separation in long reads -- Tumor subclonal progression model for cancer hallmark acquisition -- GIMLET: Identifying biological modulators in context-specific gene regulation using local energy statistics -- Structural features of a DPPG liposome layer adsorbed on a rough surface -- Chemical exchanges and actuation in liposome-based synthetic cells: Interaction with biological cells -- A nano communication system for CTC detection in blood vessels -- Experimental evidences suggest high between-vesicle diversity of articial vesicle populations: Results, models and implications -- Towards the synthesis of photo-autotrophic protocells -- Hierarchical block matrix approach for multi-view clustering. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, held in Cagliari, Italy, in September 2017. The 19 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers deal with the application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, medical informatics, computational approaches to life sciences in general. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

On Sets and Graphs / Omodeo, Eugenio G.  

Público ISBD Ningún comentario para este registro. Título : On Sets and Graphs : Perspectives on Logic and Combinatorics Tipo de documento: documento electrónico Autores: Omodeo, Eugenio G., ; Policriti, Alberto, ; Tomescu, Alexandru I., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 275 p. 150 ilustraciones ISBN/ISSN/DL: 978-3-319-54981-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación  Algoritmos  Teoría de grafos  Matemáticas discretas  Lógica informática y fundamentos de la programación. Clasificación: 40.151 Resumen: Este tratado único presenta una perspectiva integrada sobre la relación y la interacción de la teoría de conjuntos y la teoría de grafos, proporcionando una amplia selección de ejemplos que resaltan cómo los métodos de una teoría pueden usarse para resolver mejor problemas originados en la otra. Este punto de vista combinado no sólo simplifica la manipulación de conjuntos y enriquece el potencial de los gráficos, sino que también permite una comprensión más profunda de la naturaleza multifacética de los conjuntos y los gráficos. Temas y características: Explora las interrelaciones entre conjuntos y gráficos y sus aplicaciones a la combinatoria finita, con un enfoque en métodos de prueba y tecnología de prueba. Presenta las nociones fundamentales de la teoría de grafos desde el punto de vista de la teoría de conjuntos y la lógica diádica, y presenta una breve discusión. sobre universos establecidos Explica cómo y bajo qué circunstancias los conjuntos pueden modelar gráficos de manera conveniente, discutiendo gráficos de conjuntos y representaciones teóricas de conjuntos de gráficos sin garras Investiga cuándo es conveniente representar conjuntos mediante gráficos, abarcando problemas de conteo y codificación, la generación aleatoria de conjuntos y el análisis de conjuntos infinitos Presenta extractos de pruebas formales relativas a gráficas, cuya exactitud se verificó mediante un asistente de prueba automatizado Contiene numerosos ejercicios, ejemplos, definiciones, problemas y paneles de información a lo largo del texto Este libro de texto/referencia accesible ofrece una lectura esclarecedora para estudiantes graduados de informática y matemáticas. El trabajo también es ideal como recurso de autoaprendizaje para otros no especialistas que buscan una comprensión más profunda del tema. Dr. Eugenio G. Omodeo es profesor del Departamento de Matemáticas y Geociencias de la Universidad de Trieste, Italia. Sus otras publicaciones incluyen el título de Springer Computational Logic and Set Theory. El Dr. Alberto Policriti es profesor de Ciencias de la Computación en el Departamento de Matemáticas, Ciencias de la Computación y Física de la Universidad de Udine, Italia. Junto con el Dr. Eugenio G. Omodeo, es coautor del título de Springer Set Theory for Computing. El Dr. Alexandru I. Tomescu es investigador postdoctoral en el Departamento de Ciencias de la Computación de la Universidad de Helsinki, Finlandia. Nota de contenido: Introduction -- Part I: Basics -- Membership and Edge Relations -- Sets, Graphs, and Set Universes -- Part II: Graphs as Sets -- The Undirected Structure Underlying Sets -- Graphs as Transitive Sets -- Part III: Sets as Graphs -- Counting and Encoding Sets -- Random Generation of Sets -- Infinite Sets and Finite Combinatorics -- Appendix: Excerpts from a Referee-Checked Proof-Script. Tipo de medio : Computadora Summary : This unique treatise presents an integrated perspective on the relationship and interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. This combined viewpoint not only simplifies the manipulation of sets and enriches the potential of graphs, but also permits a more profound understanding of the multi-faceted nature of sets and graphs. Topics and features: Explores the interrelationships between sets and graphs and their applications to finite combinatorics, with a focus on proof methods and proof technology Introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a short discussion on set universes Explains how, and under what circumstances, sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs Investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets Presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant Contains numerous exercises, examples, definitions, problems and insight panels throughout the text This accessible textbook/reference offers an illuminating read for graduate students of computer science and mathematics. The work is also ideal as a self-study resource for other non-specialists pursuing a deeper understanding of the subject matter. Dr. Eugenio G. Omodeo is a professor in the Department of Mathematics and Geosciences at the University of Trieste, Italy. His other publications include the Springer title Computational Logic and Set Theory. Dr. Alberto Policriti is a Professor of Computer Science in the Department of Mathematics, Computer Science, and Physics at the University of Udine, Italy. Together with Dr. Eugenio G. Omodeo, he is co-author of the Springer title Set Theory for Computing. Dr. Alexandru I. Tomescu is postdoctoral researcher in the Department of Computer Science at the University of Helsinki, Finland. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] On Sets and Graphs : Perspectives on Logic and Combinatorics [documento electrónico] / Omodeo, Eugenio G., ; Policriti, Alberto, ; Tomescu, Alexandru I.,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XIX, 275 p. 150 ilustraciones. ISBN : 978-3-319-54981-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación  Algoritmos  Teoría de grafos  Matemáticas discretas  Lógica informática y fundamentos de la programación. Clasificación: 40.151 Resumen: Este tratado único presenta una perspectiva integrada sobre la relación y la interacción de la teoría de conjuntos y la teoría de grafos, proporcionando una amplia selección de ejemplos que resaltan cómo los métodos de una teoría pueden usarse para resolver mejor problemas originados en la otra. Este punto de vista combinado no sólo simplifica la manipulación de conjuntos y enriquece el potencial de los gráficos, sino que también permite una comprensión más profunda de la naturaleza multifacética de los conjuntos y los gráficos. Temas y características: Explora las interrelaciones entre conjuntos y gráficos y sus aplicaciones a la combinatoria finita, con un enfoque en métodos de prueba y tecnología de prueba. Presenta las nociones fundamentales de la teoría de grafos desde el punto de vista de la teoría de conjuntos y la lógica diádica, y presenta una breve discusión. sobre universos establecidos Explica cómo y bajo qué circunstancias los conjuntos pueden modelar gráficos de manera conveniente, discutiendo gráficos de conjuntos y representaciones teóricas de conjuntos de gráficos sin garras Investiga cuándo es conveniente representar conjuntos mediante gráficos, abarcando problemas de conteo y codificación, la generación aleatoria de conjuntos y el análisis de conjuntos infinitos Presenta extractos de pruebas formales relativas a gráficas, cuya exactitud se verificó mediante un asistente de prueba automatizado Contiene numerosos ejercicios, ejemplos, definiciones, problemas y paneles de información a lo largo del texto Este libro de texto/referencia accesible ofrece una lectura esclarecedora para estudiantes graduados de informática y matemáticas. El trabajo también es ideal como recurso de autoaprendizaje para otros no especialistas que buscan una comprensión más profunda del tema. Dr. Eugenio G. Omodeo es profesor del Departamento de Matemáticas y Geociencias de la Universidad de Trieste, Italia. Sus otras publicaciones incluyen el título de Springer Computational Logic and Set Theory. El Dr. Alberto Policriti es profesor de Ciencias de la Computación en el Departamento de Matemáticas, Ciencias de la Computación y Física de la Universidad de Udine, Italia. Junto con el Dr. Eugenio G. Omodeo, es coautor del título de Springer Set Theory for Computing. El Dr. Alexandru I. Tomescu es investigador postdoctoral en el Departamento de Ciencias de la Computación de la Universidad de Helsinki, Finlandia. Nota de contenido: Introduction -- Part I: Basics -- Membership and Edge Relations -- Sets, Graphs, and Set Universes -- Part II: Graphs as Sets -- The Undirected Structure Underlying Sets -- Graphs as Transitive Sets -- Part III: Sets as Graphs -- Counting and Encoding Sets -- Random Generation of Sets -- Infinite Sets and Finite Combinatorics -- Appendix: Excerpts from a Referee-Checked Proof-Script. Tipo de medio : Computadora Summary : This unique treatise presents an integrated perspective on the relationship and interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. This combined viewpoint not only simplifies the manipulation of sets and enriches the potential of graphs, but also permits a more profound understanding of the multi-faceted nature of sets and graphs. Topics and features: Explores the interrelationships between sets and graphs and their applications to finite combinatorics, with a focus on proof methods and proof technology Introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a short discussion on set universes Explains how, and under what circumstances, sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs Investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets Presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant Contains numerous exercises, examples, definitions, problems and insight panels throughout the text This accessible textbook/reference offers an illuminating read for graduate students of computer science and mathematics. The work is also ideal as a self-study resource for other non-specialists pursuing a deeper understanding of the subject matter. Dr. Eugenio G. Omodeo is a professor in the Department of Mathematics and Geosciences at the University of Trieste, Italy. His other publications include the Springer title Computational Logic and Set Theory. Dr. Alberto Policriti is a Professor of Computer Science in the Department of Mathematics, Computer Science, and Physics at the University of Udine, Italy. Together with Dr. Eugenio G. Omodeo, he is co-author of the Springer title Set Theory for Computing. Dr. Alexandru I. Tomescu is postdoctoral researcher in the Department of Computer Science at the University of Helsinki, Finland. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200