Autor Policriti, Alberto
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsquedaComputational Intelligence Methods for Bioinformatics and Biostatistics / Bartoletti, Massimo ; Barla, Annalisa ; Bracciali, Andrea ; Klau, Gunnar W. ; Peterson, Leif ; Policriti, Alberto ; Tagliaferri, Roberto
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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : On Sets and Graphs : Perspectives on Logic and Combinatorics Tipo de documento: documento electrónico Autores: Omodeo, Eugenio G., Autor ; Policriti, Alberto, Autor ; Tomescu, Alexandru I., Autor 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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i On Sets and Graphs : Perspectives on Logic and Combinatorics [documento electrónico] / Omodeo, Eugenio G., Autor ; Policriti, Alberto, Autor ; Tomescu, Alexandru I., Autor . - 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
