Información del autor
Autor Byrski, Aleksander |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / Byrski, Aleksander ; Hughes, John
TÃtulo : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Byrski, Aleksander, ; Hughes, John, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 249 p. 781 ilustraciones, 45 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-57761-2 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: Programación de computadoras IngenierÃa Informática Red de computadoras Microprogramación Software de la aplicacion Inteligencia artificial Compiladores (programas informáticos) Técnicas de programación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: 005.11 Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 21º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2020, que se celebró en Cracovia, Polonia, del 13 al 14 de febrero de 2020. Los 11 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 22 presentaciones. Estaban organizados en secciones temáticas denominadas: idiomas de dominio especÃfico; depuración y pruebas; razonamiento y efectos; y paralelismo. Los siguientes capÃtulos están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com: CapÃtulo 3: Generación de sugerencias para el siguiente paso para programas orientados a tareas utilizando la ejecución simbólica de Nico Naus y Tim Steenvoorden, y CapÃtulo 5: Práctica de formalidad flexible Experiencia con métodos formales ágiles de Philipp Kant et al. Nota de contenido: Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com: Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant et al . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers [documento electrónico] / Byrski, Aleksander, ; Hughes, John, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 249 p. 781 ilustraciones, 45 ilustraciones en color.
ISBN : 978-3-030-57761-2
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: Programación de computadoras IngenierÃa Informática Red de computadoras Microprogramación Software de la aplicacion Inteligencia artificial Compiladores (programas informáticos) Técnicas de programación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: 005.11 Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 21º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2020, que se celebró en Cracovia, Polonia, del 13 al 14 de febrero de 2020. Los 11 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 22 presentaciones. Estaban organizados en secciones temáticas denominadas: idiomas de dominio especÃfico; depuración y pruebas; razonamiento y efectos; y paralelismo. Los siguientes capÃtulos están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com: CapÃtulo 3: Generación de sugerencias para el siguiente paso para programas orientados a tareas utilizando la ejecución simbólica de Nico Naus y Tim Steenvoorden, y CapÃtulo 5: Práctica de formalidad flexible Experiencia con métodos formales ágiles de Philipp Kant et al. Nota de contenido: Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com: Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant et al . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Evolutionary Multi-Agent Systems : From Inspirations to Applications Tipo de documento: documento electrónico Autores: Byrski, Aleksander, ; Kisiel-Dorohinicki, Marek, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 210 p. 77 ilustraciones ISBN/ISSN/DL: 978-3-319-51388-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: Inteligencia Computacional Inteligencia artificial Algoritmos Clasificación: 006.3 Resumen: Este libro aborda la computación basada en agentes, concentrándose en particular en los sistemas evolutivos de múltiples agentes (EMAS), que se han desarrollado desde 1996 en la Universidad de Ciencia y TecnologÃa AGH en Cracovia, Polonia. Proporciona información general relevante y una descripción detallada de este paradigma informático, junto con resultados experimentales clave. Los lectores se beneficiarán de la interesante discusión, que se refiere principalmente a la implementación eficiente de marcos informáticos para desarrollar EMAS y sistemas informáticos similares, asà como un modelo formal detallado. También se incluyen deliberaciones teóricas que demuestran que la informática con EMAS siempre ayuda a encontrar la solución óptima, completando la cobertura. Nota de contenido: Preface -- Part I Concept and formal model: Contemporary methods of computational intelligence -- Agent-based computing -- Formal aspects of agent-based metaheuristics -- Part II Design and implementation: Agent-based and component inspirations -- Implementation aspects of agent-based computing systems -- AgE Computing Environment -- Part III Experimental results: EMAS in optimization problems -- Tuning of EMAS parameters -- Final remarks -- References. Tipo de medio : Computadora Summary : This book addresses agent-based computing, concentrating in particular on evolutionary multi-agent systems (EMAS), which have been developed since 1996 at the AGH University of Science and Technology in Cracow, Poland. It provides the relevant background information on and a detailed description of this computing paradigm, along with key experimental results. Readers will benefit from the insightful discussion, which primarily concerns the efficient implementation of computing frameworks for developing EMAS and similar computing systems, as well as a detailed formal model. Theoretical deliberations demonstrating that computing with EMAS always helps to find the optimal solution are alsoincluded, rounding out the coverage. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Evolutionary Multi-Agent Systems : From Inspirations to Applications [documento electrónico] / Byrski, Aleksander, ; Kisiel-Dorohinicki, Marek, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 210 p. 77 ilustraciones.
ISBN : 978-3-319-51388-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: Inteligencia Computacional Inteligencia artificial Algoritmos Clasificación: 006.3 Resumen: Este libro aborda la computación basada en agentes, concentrándose en particular en los sistemas evolutivos de múltiples agentes (EMAS), que se han desarrollado desde 1996 en la Universidad de Ciencia y TecnologÃa AGH en Cracovia, Polonia. Proporciona información general relevante y una descripción detallada de este paradigma informático, junto con resultados experimentales clave. Los lectores se beneficiarán de la interesante discusión, que se refiere principalmente a la implementación eficiente de marcos informáticos para desarrollar EMAS y sistemas informáticos similares, asà como un modelo formal detallado. También se incluyen deliberaciones teóricas que demuestran que la informática con EMAS siempre ayuda a encontrar la solución óptima, completando la cobertura. Nota de contenido: Preface -- Part I Concept and formal model: Contemporary methods of computational intelligence -- Agent-based computing -- Formal aspects of agent-based metaheuristics -- Part II Design and implementation: Agent-based and component inspirations -- Implementation aspects of agent-based computing systems -- AgE Computing Environment -- Part III Experimental results: EMAS in optimization problems -- Tuning of EMAS parameters -- Final remarks -- References. Tipo de medio : Computadora Summary : This book addresses agent-based computing, concentrating in particular on evolutionary multi-agent systems (EMAS), which have been developed since 1996 at the AGH University of Science and Technology in Cracow, Poland. It provides the relevant background information on and a detailed description of this computing paradigm, along with key experimental results. Readers will benefit from the insightful discussion, which primarily concerns the efficient implementation of computing frameworks for developing EMAS and similar computing systems, as well as a detailed formal model. Theoretical deliberations demonstrating that computing with EMAS always helps to find the optimal solution are alsoincluded, rounding out the coverage. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : First IFIP TC 5 International Conference, ANTICOVID 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers Tipo de documento: documento electrónico Autores: Byrski, Aleksander, ; Czachórski, Tadeusz, ; Gelenbe, Erol, ; Grochla, Krzysztof, ; Murayama, Yuko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: IX, 127 p. 11 ilustraciones ISBN/ISSN/DL: 978-3-030-86582-5 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: Informática Médica Inteligencia artificial Software de la aplicacion Visión por computador Informática de la Salud Aplicaciones informáticas y de sistemas de información Clasificación: 610.285 Resumen: Este libro constituye las actas posteriores a la conferencia arbitradas de la Primera Conferencia Internacional IFIP TC 5 sobre Ciencias de la Computación que protegen a la sociedad humana contra las epidemias, ANTICOVID 2021, celebrada virtualmente en junio de 2021. Los 7 artÃculos completos y 4 breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 20 presentaciones. Los artÃculos se ocupan de un espectro muy amplio de problemas, que van desde la lingüÃstica para la traducción automática de términos médicos hasta una propuesta para un sistema mundial de reacción rápida ante una pandemia emergente. Nota de contenido: Bioinformatic and MD analysis of N501Y SARS-CoV-2 (UK) variant -- Ensuring interoperability of laboratory tests and results: A linguistic approach for mapping French laboratory terminologies with LOINC -- Volunteer computing project SiDock@home for virtual drug screening against SARS-CoV-2 -- An empirical investigation of the pandemic impact on IT students' educational schedules -- How Newspapers Portrayed COVID-19: A Study Based on United Kingdom and Bangladesh -- Approximate Solutions of the RSIR Model of COVID-19 Pandemic -- Information entropy contribution to COVID-19 waves analysis -- Computing the Death Rate of COVID-19 -- Towards a System to Monitor the Virus's Aerosol-Type Spreading -- Comparison between two systems for forecasting Covid-19 infected cases -- A Pandemic Digital Global Architecture. Tipo de medio : Computadora Summary : This book constitutes the refereed post-conference proceedings of the First IFIP TC 5 International Conference on Computer Science Protecting Human Society Against Epidemics, ANTICOVID 2021, held virtually in June 2021. The 7 full and 4 short papers presented were carefully reviewed and selected from 20 submissions. The papers are concerned with a very large spectrum of problems, ranging from linguistics for automatic translation of medical terms, to a proposition for a worldwide system of fast reaction to emerging pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] First IFIP TC 5 International Conference, ANTICOVID 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers [documento electrónico] / Byrski, Aleksander, ; Czachórski, Tadeusz, ; Gelenbe, Erol, ; Grochla, Krzysztof, ; Murayama, Yuko, . - 1 ed. . - [s.l.] : Springer, 2021 . - IX, 127 p. 11 ilustraciones.
ISBN : 978-3-030-86582-5
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: Informática Médica Inteligencia artificial Software de la aplicacion Visión por computador Informática de la Salud Aplicaciones informáticas y de sistemas de información Clasificación: 610.285 Resumen: Este libro constituye las actas posteriores a la conferencia arbitradas de la Primera Conferencia Internacional IFIP TC 5 sobre Ciencias de la Computación que protegen a la sociedad humana contra las epidemias, ANTICOVID 2021, celebrada virtualmente en junio de 2021. Los 7 artÃculos completos y 4 breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 20 presentaciones. Los artÃculos se ocupan de un espectro muy amplio de problemas, que van desde la lingüÃstica para la traducción automática de términos médicos hasta una propuesta para un sistema mundial de reacción rápida ante una pandemia emergente. Nota de contenido: Bioinformatic and MD analysis of N501Y SARS-CoV-2 (UK) variant -- Ensuring interoperability of laboratory tests and results: A linguistic approach for mapping French laboratory terminologies with LOINC -- Volunteer computing project SiDock@home for virtual drug screening against SARS-CoV-2 -- An empirical investigation of the pandemic impact on IT students' educational schedules -- How Newspapers Portrayed COVID-19: A Study Based on United Kingdom and Bangladesh -- Approximate Solutions of the RSIR Model of COVID-19 Pandemic -- Information entropy contribution to COVID-19 waves analysis -- Computing the Death Rate of COVID-19 -- Towards a System to Monitor the Virus's Aerosol-Type Spreading -- Comparison between two systems for forecasting Covid-19 infected cases -- A Pandemic Digital Global Architecture. Tipo de medio : Computadora Summary : This book constitutes the refereed post-conference proceedings of the First IFIP TC 5 International Conference on Computer Science Protecting Human Society Against Epidemics, ANTICOVID 2021, held virtually in June 2021. The 7 full and 4 short papers presented were carefully reviewed and selected from 20 submissions. The papers are concerned with a very large spectrum of problems, ranging from linguistics for automatic translation of medical terms, to a proposition for a worldwide system of fast reaction to emerging pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
