中文
相关论文

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

200 篇论文

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…

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

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

软件工程 · 计算机科学 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…

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

系统与控制 · 电气工程与系统科学 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…

综合物理 · 物理学 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…

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

分布式、并行与集群计算 · 计算机科学 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…

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

网络与互联网体系结构 · 计算机科学 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…

性能 · 计算机科学 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…

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

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

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

最优化与控制 · 数学 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…

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…

人工智能 · 计算机科学 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,…

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

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