English
Related papers

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

200 papers

This volume contains the proceedings of EXPRESS/SOS 2020: the Combined 27th International Workshop on Expressiveness in Concurrency and the 17th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop…

Logic in Computer Science · Computer Science 2020-08-31 Ornela Dardha , Jurriaan Rot

This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd…

Formal Languages and Automata Theory · Computer Science 2021-12-21 Berthold Hoffmann , Mark Minas

The goal of the Fast Abstracts track is to bring together researchers and practitioners working on dependable computing to discuss work in progress or opinion pieces. Contributions are welcome from academia and industry. Fast Abstracts aim…

Software Engineering · Computer Science 2024-05-09 Simona Bernardi , Tommaso Zoppi

This volume of EPTCS contains the proceedings of the Seventh Workshop on Proof Exchange for Theorem Proving (PxTP 2021), held on 11 July 2021 as part of the CADE-28 online conference in Pittsburgh, USA. The PxTP workshop series brings…

Logic in Computer Science · Computer Science 2021-07-06 Chantal Keller , Mathias Fleury

Recently, Low Earth Orbit (LEO) satellites experience rapid development and satellite edge computing emerges to address the limitation of bent-pipe architecture in existing satellite systems. Introducing energy-consuming computing…

Systems and Control · Electrical Eng. & Systems 2022-03-14 Qing Li , Shangguang Wang , Xiao Ma , Ao Zhou , Fangchun Yang

The contribution contains the preface to the Proceedings to the 23rd International Workshop "What Comes Beyond the Standard Models", July 04 -- July 12, 2020, Bled, Slovenia, [Virtual Workshop -- July 6.--10. 2020], Volume 1: Invited Talks…

General Physics · Physics 2022-12-16 N. S. Mankoč Borštnik , H. F. B. Nielsen , M. Y. Khlopov , D. Lukman

This volume contains the proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), which took place on 5th September 2011 in Aachen, as a satellite workshop of CONCUR 2011. The EXPRESS workshop series…

Logic in Computer Science · Computer Science 2011-08-23 Bas Luttik , Frank Valencia

Fast Abstracts are short presentations of work in progress or opinion pieces and aim to serve as a rapid and flexible mechanism to (i) Report on current work that may or may not be complete; (ii) Introduce new ideas to the community; (iii)…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-31 Naghmeh Ivaki

Recent work pairs LLMs with evolutionary search to iteratively generate, modify, and select code using task-specific feedback. These systems have produced strong results in mathematical discovery and algorithm design, yet a fundamental…

Neural and Evolutionary Computing · Computer Science 2026-05-20 Nico Pelleriti , Sree Harsha Nelaturu , Zhanke Zhou , Zongze Li , Max Zimmer , Bo Han , Sebastian Pokutta

These are the Proceedings of the 8th OMNeT++ Community Summit, which was held virtually on September 8-10, 2021.

Networking and Internet Architecture · Computer Science 2021-09-27 Marcel Marek , Giovanni Nardini , Vladimír Veselý

The design space of networked embedded systems is very large, posing challenges to the optimisation of such platforms when it comes to support applications with real-time guarantees. Recent research has shown that a number of inter-related…

Performance · Computer Science 2020-07-21 Leandro Soares Indrusiak , Robert I. Davis , Piotr Dziurzanski

In this third installment of SETI in 20xx, we very briefly and subjectively review developments in SETI in 2022. Our primary focus is 80 papers and books published or made public in 2022, which we sort into six broad categories: results…

Instrumentation and Methods for Astrophysics · Physics 2024-10-15 Jason T. Wright , Macy Huston , Aidan Groenendaal , Lennon Nichol , Nick Tusay

In the past 30 years, scientists have searched nature, including animals and insects, and biology in order to discover, understand, and model solutions for solving large-scale science challenges. The study of bionics reveals that how the…

Neural and Evolutionary Computing · Computer Science 2022-02-09 Farid Ghareh Mohammadi , Farzan Shenavarmasouleh , Khaled Rasheed , Thiab Taha , M. Hadi Amini , Hamid R. Arabnia

Mysterious citations are routinely appearing in peer-reviewed publications throughout the scientific community. In this paper, we developed an automated pipeline and examine the proceedings of four major high-performance computing…

Digital Libraries · Computer Science 2026-02-06 Amanda Bienz , Carl Pearson , Simon Garcia de Gonzalo

It is now five years since the launch of the International Journal of Bio-Inspired Computation (IJBIC). At the same time, significant new progress has been made in the area of bio-inspired computation. This review paper summarizes the…

Optimization and Control · Mathematics 2014-04-01 Xin-She Yang , Zhihua Cui

Recent advances in LLM-guided evolutionary computation, particularly AlphaEvolve (Novikov et al., 2025; Georgiev et al., 2025), have demonstrated remarkable success in discovering novel mathematical constructions and solving challenging…

Neural and Evolutionary Computing · Computer Science 2025-11-25 Valentin Khrulkov , Andrey Galichin , Denis Bashkirov , Dmitry Vinichenko , Oleg Travkin , Roman Alferov , Andrey Kuznetsov , Ivan Oseledets

Artificial life is a research field studying what processes and properties define life, based on a multidisciplinary approach spanning the physical, natural and computational sciences. Artificial life aims to foster a comprehensive study of…

Artificial Intelligence · Computer Science 2023-08-02 Manuel Baltieri , Hiroyuki Iizuka , Olaf Witkowski , Lana Sinapayen , Keisuke Suzuki

Transfer Optimization has gained a remarkable attention from the Swarm and Evolutionary Computation community in the recent years. It is undeniable that the concepts underlying Transfer Optimization are formulated on solid grounds. However,…

Neural and Evolutionary Computing · Computer Science 2022-11-14 Eneko Osaba , Javier Del Ser , Ponnuthurai N. Suganthan

The theory of evolutionary computation for discrete search spaces has made significant progress in the last ten years. This survey summarizes some of the most important recent results in this research area. It discusses fine-grained models…

Neural and Evolutionary Computing · Computer Science 2021-11-01 Benjamin Doerr , Frank Neumann

Many real-world optimization problems exhibit dynamic characteristics, posing significant challenges for traditional optimization techniques. Evolutionary Dynamic Optimization Algorithms (EDOAs) are designed to address these challenges…

Neural and Evolutionary Computing · Computer Science 2024-12-17 Mai Peng , Delaram Yazdani , Zeneng She , Danial Yazdani , Wenjian Luo , Changhe Li , Juergen Branke , Trung Thanh Nguyen , Amir H. Gandomi , Shengxiang Yang , Yaochu Jin , Xin Yao