中文
相关论文

相关论文: Evo* 2020 -- Late-Breaking Abstracts Volume

200 篇论文

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…

编程语言 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

其他定量生物学 · 定量生物学 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…

计算机科学中的逻辑 · 计算机科学 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:…

天体物理仪器与方法 · 物理学 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…

计算机科学中的逻辑 · 计算机科学 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,…

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…

适应与自组织系统 · 物理学 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…

计算机与社会 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

范畴论 · 数学 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'…

编程语言 · 计算机科学 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…

数字图书馆 · 计算机科学 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…

计算机科学与博弈论 · 计算机科学 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…

神经与进化计算 · 计算机科学 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…

神经与进化计算 · 计算机科学 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…

信息检索 · 计算机科学 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…

神经与进化计算 · 计算机科学 2009-07-06 James M Whitacre