English
Related papers

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

200 papers

This volume contains a selection of the papers presented at the XIV Jornadas sobre Programaci\'on y Lenguajes (PROLE 2014), held at C\'adiz, Spain, during September 17th-19th, 2014. Previous editions of the workshop were held in Madrid…

Programming Languages · Computer Science 2015-01-09 Santiago Escobar

This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018…

Logic in Computer Science · Computer Science 2019-04-23 Michele Pagani , Sandra Alves

These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2014 in Vienna, Austria, as a satellite workshop of the…

Logic in Computer Science · Computer Science 2014-09-09 Maurice H. ter Beek , António Ravara

Talk given at the XLVIII Rencontres de Moriond, Electroweak Interactions and Unified Theories, La Thuile, Italy, 2-9 March 2013, to appear in the Proceedings.

High Energy Physics - Phenomenology · Physics 2013-10-15 Fabio Zwirner

This is the proceedings of the 1st International Workshop on Low Carbon Computing (LOCO 2024).

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-07 Wim Vanderbauwhede , Lauritz Thamsen , José Cano

This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conference series is to bring together researchers and developers…

Software Engineering · Computer Science 2012-11-27 Franck Cassez , Ralf Huuck , Gerwin Klein , Bastian Schlich

The volume comprises the proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), held alongside the 26th European Conference on Artificial Intelligence (ECAI 2023). It explores the convergence of…

Multiagent Systems · Computer Science 2023-10-03 Angelo Ferrando , Rafael Cardoso

This volume contains the papers accepted at the first DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA 2021), held virtually on February 5, 2021. SLOHA 2021 was co-located with the…

Hardware Architecture · Computer Science 2021-02-02 Frank Hannig , Paolo Meloni , Matteo Spallanzani , Matthias Ziegler

This is a survey of open problems in different parts of combinatorial and additive number theory. The paper is based on lectures at the Centre de Recerca Matematica in Barcelona on January 23 and January 25, 2008.

Number Theory · Mathematics 2016-12-30 Melvyn B. Nathanson

This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. WLPE aims at providing an informal meeting for researchers…

Logic in Computer Science · Computer Science 2010-02-25 Rafael Caballero , John Gallagher

This volume contains the proceedings of the 18th International workshop AUTOMATA and the 3rd international symposium JAC. AUTOMATA workshop series aims at gathering researchers from all over the world working in fundamental aspects of…

Formal Languages and Automata Theory · Computer Science 2012-08-14 Enrico Formenti

This volume contains the proceedings of the Second International Workshop Hybrid Systems and Biology (HSB 2013) held in Taormina (Italy), on September 2th, 2013. The workshop is affiliated to the 12th European Conference on Artificial Life…

Computational Engineering, Finance, and Science · Computer Science 2013-08-28 Thao Dang , Carla Piazza

This volume contains the papers presented at the 6th Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012), a satellite workshop of the 23rd International Conference on Concurrency Theory (CONCUR) held on 8th September…

Programming Languages · Computer Science 2012-11-16 Gabriel Ciobanu

This compendium gathers all the accepted extended abstracts from the Second International Conference on Medical Imaging with Deep Learning (MIDL 2019), held in London, UK, 8-10 July 2019. Note that only accepted extended abstracts are…

Image and Video Processing · Electrical Eng. & Systems 2019-07-23 M. Jorge Cardoso , Aasa Feragen , Ben Glocker , Ender Konukoglu , Ipek Oguz , Gozde Unal , Tom Vercauteren

This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…

Logic in Computer Science · Computer Science 2015-04-09 Ugo Dal Lago , Russ Harmer

This is the proceedings of PLACES'10, the 3rd Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, held in Pathos, Cyprus, on 21st Mach, 2010, co-located with the ETAPS federated conferences. PLACES…

Programming Languages · Computer Science 2011-10-19 Kohei Honda , Alan Mycroft

We introduce \textbf{Evo}, a duality latent trajectory model that bridges autoregressive (AR) and diffusion-based language generation within a continuous evolutionary generative framework. Rather than treating AR decoding and diffusion…

Machine Learning · Computer Science 2026-03-10 Junde Wu , Minhao Hu , Jiayuan Zhu , Yuyuan Liu , Tianyi Zhang , Kang Li , Jingkun Chen , Jiazhen Pan , Min Xu , Yueming Jin

Summary of the 16th Applied Antineutrino Physics Workshop 2023, held in the historic Guildhall in York in the UK from the 18th - 21st September 2023.

High Energy Physics - Phenomenology · Physics 2024-11-21 Liz Kneale , Viacheslav Li

This volume contains the proceedings of BEAT 2014, the third Workshop on Behavioural Types. The workshop took place in Rome, Italy, on September 1st 2014, as a satellite even of CONCUR 2014, the 25th International Conference on Concurrency…

Programming Languages · Computer Science 2014-08-26 Marco Carbone
‹ Prev 1 3 4 5 6 7 10 Next ›