English
Related papers

Related papers: Proceedings Fourth Interaction and Concurrency Exp…

200 papers

ACAC 2009 is organized by the Athens University of Economics and Business (AUEB) and it is the fourth in a series of meetings that aim to bring together researchers working on all areas of the theory of algorithms and computational…

Computational Complexity · Computer Science 2009-10-01 Evangelos Markakis , Ioannis Milis

The integration of generative AI in education is expanding, yet empirical analyses of large-scale and real-world interactions between students and AI systems still remain limited. Addressing this gap, we present RECIPE4U (RECIPE for…

Computation and Language · Computer Science 2024-03-14 Jieun Han , Haneul Yoo , Junho Myung , Minsun Kim , Tak Yeon Lee , So-Yeon Ahn , Alice Oh

The study of interactive proofs in the context of distributed network computing is a novel topic, recently introduced by Kol, Oshman, and Saxena [PODC 2018]. In the spirit of sequential interactive proofs theory, we study the power of…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-12 Pierluigi Crescenzi , Pierre Fraigniaud , Ami Paz

The International Workshop for Autonomous System Safety (IWASS) is a joint effort by the B. John Garrick Institute for the Risk Sciences at the University of California Los Angeles (UCLA-GIRS) and the Norwegian University of Science and…

Systems and Control · Electrical Eng. & Systems 2023-04-28 Christoph Thieme , Marilia Ramos , Ingrid B. Utne , Ali Mosleh

The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their…

Logic in Computer Science · Computer Science 2014-04-01 Benedikt Löwe , Glynn Winskel

Reproducibility of computational research is critical for ensuring transparency, reliability and reusability. Challenges with computational reproducibility have been documented in several fields, but healthcare discrete-event simulation…

Other Quantitative Biology · Quantitative Biology 2025-09-17 Amy Heather , Thomas Monks , Alison Harper , Navonil Mustafee , Andrew Mayne

We propose a half-day workshop at IEEE VIS 2023 on the topic of communication and collaboration around data. Specifically, we aim to gather researchers interested on multimodal, synchronous, and remote or hybrid forms of communication and…

Human-Computer Interaction · Computer Science 2023-04-13 Matthew Brehmer , Maxime Cordeil , Christophe Hurter , Takayuki Itoh

We have organized Workshop III entitled "Cited References Analysis Using CRExplorer" at ISSI2021. Here, we report and reflect on this workshop. The aim of this workshop was to bring beginners, practitioners, and experts in cited references…

Digital Libraries · Computer Science 2021-08-26 Robin Haunschild , Lutz Bornmann

Since fall 2012, several National Centers of Academic Excellence in Cyber Defense Research (CAE-Rs) fielded a collaborative course to engage students in solving applied cybersecurity research problems. We describe our experiences with this…

Computers and Society · Computer Science 2017-03-28 Alan Sherman , M. Dark , A. Chan , R. Chong , T. Morris , L. Oliva , J. Springer , B. Thuraisingham , C. Vatcher , R. Verma , S. Wetzel

This article summarizes motivations, organization, and activities of the Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE5.1) held in Manchester, UK in September 2017. The WSSSPE series promotes sustainable…

Software Engineering · Computer Science 2019-09-13 Daniel S. Katz , Stephan Druskat , Robert Haines , Caroline Jay , Alexander Struck

This paper introduces CORAE, a novel web-based open-source tool for COntinuous Retrospective Affect Evaluation, designed to capture continuous affect data about interpersonal perceptions in dyadic interactions. Grounded in behavioral…

Human-Computer Interaction · Computer Science 2023-06-30 Michael J. Sack , Maria Teresa Parreira , Jenny Fu , Asher Lipman , Hifza Javed , Nawid Jamali , Malte Jung

Reactive systems are composed of a well defined set of input events that the system reacts with by executing an associated handler to each event. In concurrent environments, event handlers can interact with the execution of other programs…

Software Engineering · Computer Science 2018-10-19 Yongwang Zhao , David Sanan , Fuyuan Zhang , Yang Liu

This volume contains the proceedings of FOCLASA 2015, the 14th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems. FOCLASA 2015 was held in Madrid, Spain, on September 5, 2015 as a satellite event…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-12-23 José Proença , Massimo Tivoli

This paper analyzes how interaction effects can be consistently estimated under economically plausible assumptions in linear panel models with a fixed $T$-dimension. We advocate for a \emph{correlated interaction term estimator} (CITE) and…

Econometrics · Economics 2025-03-18 Chris Muris , Konstantin Wacker

This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS and ITP conferences in Brasilia, Brazil. The PxTP workshop…

Logic in Computer Science · Computer Science 2017-12-05 Catherine Dubois , Bruno Woltzenlogel Paleo

Web conferencing tools have entered the mainstream of business applications. Using web conferencing for IEEE conferences has a good potential of adding value to both organizers and participants. Authors propose a concept of Truly Integrated…

Multimedia · Computer Science 2010-01-13 Alexei Botchkarev , Lian Zhao , Hamed Rasouli

This paper presents a reproducibility study and extension of "Cooperation, Competition, and Maliciousness: LLM-Stakeholders Interactive Negotiation." We validate the original findings using a range of open-weight models (1.5B-70B…

Artificial Intelligence · Computer Science 2025-02-25 Jose L. Garcia , Karolina Hajkova , Maria Marchenko , Carlos Miguel Patiño

This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was organized as a one-day satellite event of the 12th…

Logic in Computer Science · Computer Science 2016-03-03 César A. Muñoz , Jorge A. Pérez

The ICDAR Robust Reading Competition (RRC), initiated in 2003 and re-established in 2011, has become a de-facto evaluation standard for robust reading systems and algorithms. Concurrent with its second incarnation in 2011, a continuous…

Computer Vision and Pattern Recognition · Computer Science 2018-05-22 Dimosthenis Karatzas , Lluis Gómez , Anguelos Nicolaou , Marçal Rusiñol

This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2 keynote talks and 9 contributed presentations on themes of…

Logic in Computer Science · Computer Science 2016-07-12 Alessio Lomuscio , Moshe Y. Vardi