English
Related papers

Related papers: Evo* 2020 -- Late-Breaking Abstracts Volume

200 papers

This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21. The ICE workshop series features a distinguishing review…

Programming Languages · Computer Science 2021-10-01 Julien Lange , Anastasia Mavridou , Larisa Safina , Alceste Scalas

This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing…

Logic in Computer Science · Computer Science 2010-11-30 Sibylle Fröschle , Frank D. Valencia

In an era of increasing societal fragmentation, political polarization, and erosion of public trust in institutions, representative deliberative assemblies are emerging as a promising democratic forum for developing effective policy…

Computers and Society · Computer Science 2025-09-18 Elinor Poole-Dayan , Deb Roy , Jad Kabbara

The Virtual Institute for Integrative Biology (VIIB) is a Latin American initiative for achieving global collaborative e-Science in the areas of bioinformatics, genome biology, systems biology, metagenomics, medical applications and…

Other Quantitative Biology · Quantitative Biology 2010-12-16 Gustavo Rivera , Fernando González-Nilo , Tomás Perez-Acle , Raul Isea , David S. Holmes

This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences…

Logic in Computer Science · Computer Science 2020-09-29 Grant Passmore , Ruben Gamboa

In the spirit of Trimble's "Astrophysics in XXXX' series, I very briefly and subjectively review developments in SETI in 2020. My primary focus is 75 papers and books published or made public in 2020, which I sort into six broad categories:…

Instrumentation and Methods for Astrophysics · Physics 2021-10-05 Jason T. Wright

This volume contains the proceedings of EXPRESS/SOS 2019: the Combined 26th International Workshop on Expressiveness in Concurrency and the 16th Workshop on Structural Operational Semantics, which was held on August 26, 2019, in Amsterdam…

Logic in Computer Science · Computer Science 2019-08-23 Jorge A. Pérez , Jurriaan Rot

We propose a half-day workshop at IEEE VIS 2025 on addressing the emerging challenges in data-rich multimodal remote collaboration. We focus on synchronous, remote, and hybrid settings where people take part in tasks such as data analysis,…

Human-Computer Interaction · Computer Science 2025-04-23 Wolfgang Büschel , Gabriela Molina León , Arnaud Prouzeau , Mahmood Jasim , Christophe Hurter , Maxime Cordeil , Matthew Brehmer

The evolution of complexity has been a central theme for Biology and Artificial Life (Bonner, 1988; Bedau et al., 2000). Complexification has been interpreted in different ways: as a process of diversification between evolving units…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Carlos Gershenson , Tom Lenaerts

Submissions accepted for The 8th International Conference on ICT for Sustainability (ICT4S 2022), Demonstrations and Posters Track Proceedings, Plovdiv, Bulgaria, Mon 13 - Fri 17 June 2022. Most of the submissions are included in the arXiv…

Computers and Society · Computer Science 2022-12-12 Rui Pereira , Gordana Rakić

This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an…

Formal Languages and Automata Theory · Computer Science 2024-11-21 Georgiana Caltais , Cinzia Di Giusto

The Eighth International Conference on Applied Category Theory took place at the University of Florida on June 2-6 2025. The conference consisted of 2 plenary invited talks, 28 contributed talks, an online community meeting, a general…

Category Theory · Mathematics 2026-03-11 Amar Hadzihasanovic , Jean-Simon Pacaud Lemay

This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers'…

Programming Languages · Computer Science 2021-09-01 Emanuele De Angelis , Wim Vanhoof

This document describes the ICFP 2020 virtual conference, including the planning process and the criteria that informed its design, plus feedback from the post-conference survey. It is intended to provide a record of the event and give…

Digital Libraries · Computer Science 2021-04-06 Stephanie Weirich , Benjamin Pierce

Online discussion platforms are a vital part of the public discourse in a deliberative democracy. However, how to interpret the outcomes of the discussions on these platforms is often unclear. In this paper, we propose a novel and…

Computer Science and Game Theory · Computer Science 2024-02-09 Michael Bernreiter , Jan Maly , Oliviero Nardi , Stefan Woltran

A model for artificial evolution in native x86 Windows systems has been developed at the end of 2010. In this text, further improvements and additional analogies to natural microbiologic processes are presented. Several experiments indicate…

Neural and Evolutionary Computing · Computer Science 2011-08-09 Thomas Sperl

Evolutionary and bioinspired computation are crucial for efficiently addressing complex optimization problems across diverse application domains. By mimicking processes observed in nature, like evolution itself, these algorithms offer…

Neural and Evolutionary Computing · Computer Science 2025-01-14 Daniel Molina , Javier Del Ser , Javier Poyatos , Francisco Herrera

The COVID-19 pandemic triggered a wave of novel scientific literature that is impossible to inspect and study in a reasonable time frame manually. Current machine learning methods offer to project such body of literature into the vector…

Information Retrieval · Computer Science 2021-10-19 Blaž Škrlj , Marko Jukič , Nika Eržen , Senja Pollak , Nada Lavrač

Abbreviated Abstract: The objective of Evolutionary Computation is to solve practical problems (e.g. optimization, data mining) by simulating the mechanisms of natural evolution. This thesis addresses several topics related to adaptation…

Neural and Evolutionary Computing · Computer Science 2009-07-06 James M Whitacre
‹ Prev 1 3 4 5 6 7 10 Next ›