Related papers: Proceedings 10th Interaction and Concurrency Exper…

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second workshop on Formal and Model-Driven Techniques for Developing…

Logic in Computer Science · Computer Science 2018-05-15 Régine Laleau , Dominique Méry , Shin Nakajima , Elena Troubitsyna

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems

This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023. FMAS 2023 was co-located with 18th International…

Artificial Intelligence · Computer Science 2023-11-16 Marie Farrell , Matt Luckcuck , Mario Gleirscher , Maike Schwammberger

ICE: Identify and Compare Event Sequence Sets through Multi-Scale Matrix and Unit Visualizations

Comparative analysis of event sequence data is essential in many application domains, such as website design and medical care. However, analysts often face two challenges: they may not always know which sets of event sequences in the data…

Human-Computer Interaction · Computer Science 2020-06-24 Siwei Fu , Jian Zhao , Linping Yuan , Zhicheng Liu , Kwan-Liu Ma , Huamin Qu

An interactive city choice model and its application for measuring the intercity interaction

Measuring the interaction between cities is an important research topic in many disciplines, such as sociology, geography, economics and transportation science. The traditional and most widely used spatial interaction model is the gravity…

Physics and Society · Physics 2021-03-25 Xiang-Yu Jia , Er-Jian Liu , Chun-Yan Chen , Xiao-Yong Yan

Grand Challenges of Traceability: The Next Ten Years

In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous…

Software Engineering · Computer Science 2017-10-10 Giuliano Antoniol , Jane Cleland-Huang , Jane Huffman Hayes , Michael Vierhauser

The IceCube-Gen2 Collaboration -- Contributions to the 39th International Cosmic Ray Conference (ICRC2025)

IceCube-Gen2 is a planned next-generation neutrino observatory at the South Pole that builds upon the successful design of IceCube. Integrating two complementary detection technologies for neutrinos, optical and radio Cherenkov emission, in…

High Energy Astrophysical Phenomena · Physics 2025-07-22 R. Abbasi , M. Ackermann , J. Adams , S. K. Agarwalla , J. A. Aguilar , M. Ahlers , J. M. Alameddine , S. Ali , N. M. Amin , K. Andeen , G. Anton , C. Argüelles , Y. Ashida , S. Athanasiadou , J. Audehm , S. N. Axani , R. Babu , X. Bai , A. Balagopal V. , M. Baricevic , S. W. Barwick , V. Basu , R. Bay , J. Becker Tjus , P. Behrens , J. Beise , C. Bellenghi , B. Benkel , S. BenZvi , D. Berley , E. Bernardini , D. Z. Besson , A. Bishop , E. Blaufuss , L. Bloom , S. Blot , M. Bohmer , F. Bontempo , J. Y. Book Motzkin , J. Borowka , C. Boscolo Meneguolo , S. Böser , O. Botner , J. Böttcher , S. Bouma , J. Braun , B. Brinson , Z. Brisson-Tsavoussis , R. T. Burley , M. Bustamante , D. Butterfield , M. A. Campana , K. Carloni , M. Cataldo , S. Chattopadhyay , N. Chau , Z. Chen , D. Chirkin , S. Choi , B. A. Clark , R. Clark , A. Coleman , P. Coleman , G. H. Collin , D. A. Coloma Borja , J. M. Conrad , R. Corley , D. F. Cowen , C. Deaconu , C. De Clercq , S. De Kockere , J. J. DeLaunay , D. Delgado , T. Delmeulle , S. Deng , A. Desai , P. Desiati , K. D. de Vries , G. de Wasseige , J. C. Díaz-Vélez , S. DiKerby , M. Dittmer , G. Do , A. Domi , L. Draper , L. Dueser , H. Dujmovic , D. Durnford , K. Dutta , M. A. DuVernois , T. Egby , T. Ehrhardt , L. Eidenschink , A. Eimer , P. Eller , E. Ellinger , D. Elsässer , R. Engel , H. Erpenbeck , W. Esmail , S. Eulig , J. Evans , J. J. Evans , P. A. Evenson , K. L. Fan , K. Fang , K. Farrag , A. R. Fazely , A. Fedynitch , N. Feigl , C. Finley , L. Fischer , B. Flaggs , D. Fox , A. Franckowiak , T. Fujii , S. Fukami , P. Fürst , J. Gallagher , E. Ganster , A. Garcia , G. Garg , E. Genton , L. Gerhardt , A. Ghadimi , P. Giri , C. Glaser , T. Glüsenkamp , S. Goswami , A. Granados , D. Grant , S. J. Gray , S. Griffin , S. Griswold , D. Guevel , C. Günther , P. Gutjahr , C. Ha , C. Haack , A. Hallgren , S. Hallmann , L. Halve , F. Halzen , L. Hamacher , M. Ha Minh , M. Handt , K. Hanson , J. Hardin , A. A. Harnisch , P. Hatch , A. Haungs , J. Häußler , D. Heinen , K. Helbing , J. Hellrung , B. Hendricks , B. Henke , L. Hennig , F. Henningsen , J. Henrichs , L. Heuermann , N. Heyer , S. Hickford , A. Hidvegi , C. Hill , G. C. Hill , K. D. Hoffman , B. Hoffmann , D. Hooper , S. Hori , K. Hoshina , M. Hostert , W. Hou , T. Huber , T. Huege , E. Huesca Santiago , K. Hultqvist , R. Hussain , K. Hymon , A. Ishihara , T. Ishii , W. Iwakiri , M. Jacquart , S. Jain , A. Jaitly , O. Janik , M. Jansson , M. Jeong , M. Jin , O. Kalekin , N. Kamp , D. Kang , W. Kang , X. Kang , A. Kappes , L. Kardum , T. Karg , M. Karl , A. Karle , A. Katil , T. Katori , U. Katz , M. Kauer , J. L. Kelley , M. Khanal , A. Khatee Zathul , A. Kheirandish , J. Kiryluk , M. Kleifges , C. Klein , S. R. Klein , T. Kobayashi , Y. Kobayashi , A. Kochocki , H. Kolanoski , T. Kontrimas , L. Köpke , C. Kopper , D. J. Koskinen , P. Koundal , M. Kowalski , T. Kozynets , I. Kravchenko , N. Krieger , J. Krishnamoorthi , T. Krishnan , E. Krupczak , A. Kumar , E. Kun , N. Kurahashi , N. Lad , L. Lallement Arnaud , M. J. Larson , F. Lauber , K. Leonard DeHolton , A. Leszczyńska , J. Liao , M. Liu , M. Liubarska , M. Lohan , J. LoSecco , C. Love , L. Lu , F. Lucarelli , Y. Lyu , J. Madsen , E. Magnus , K. B. M. Mahn , Y. Makino , E. Manao , S. Mancina , S. Mandalia , W. Marie Sainte , I. C. Mariş , S. Marka , Z. Marka , M. Marsee , L. Marten , I. Martinez-Soler , R. Maruyama , F. Mayhew , F. McNally , J. V. Mead , K. Meagher , S. Mechbal , A. Medina , M. Meier , Y. Merckx , L. Merten , Z. Meyers , M. Mikhailova , A. Millsop , J. Mitchell , T. Montaruli , R. W. Moore , Y. Morii , R. Morse , A. Mosbrugger , M. Moulai , D. Mousadi , T. Mukherjee , M. Muzio , R. Naab , M. Nakos , A. Narayan , U. Naumann , J. Necker , A. Nelles , L. Neste , M. Neumann , H. Niederhausen , M. U. Nisa , K. Noda , A. Noell , A. Novikov , E. Oberla , A. Obertacke Pollmann , V. O'Dell , A. Olivas , R. Orsoe , J. Osborn , E. O'Sullivan , V. Palusova , L. Papp , A. Parenti , N. Park , E. N. Paudel , L. Paul , C. Pérez de los Heros , T. Pernice , T. C. Petersen , J. Peterson , A. Pizzuto , M. Plum , A. Pontén , Y. Popovych , M. Prado Rodriguez , B. Pries , R. Procter-Murphy , G. T. Przybylski , L. Pyras , J. Rack-Helleis , N. Rad , M. Rameez , M. Ravn , K. Rawlins , Z. Rechav , A. Rehman , E. Resconi , S. Reusch , C. D. Rho , W. Rhode , B. Riedel , M. Riegel , A. Rifaie , E. J. Roberts , S. Robertson , M. Rongen , C. Rott , T. Ruhe , L. Ruohan , D. Ryckbosch , I. Safa , J. Saffer , D. Salazar-Gallegos , P. Sampathkumar , A. Sandrock , P. Sandstrom , G. Sanger-Johnson , M. Santander , S. Sarkar , J. Savelberg , P. Savina , P. Schaile , M. Schaufel , H. Schieler , S. Schindler , L. Schlickmann , B. Schlüter , F. Schlüter , N. Schmeisser , T. Schmidt , F. G. Schröder , L. Schumacher , S. Schwirn , S. Sclafani , D. Seckel , L. Seen , M. Seikh , Z. Selcuk , S. Seunarine , M. H. Shaevitz , R. Shah , S. Shefali , N. Shimizu , M. Silva , B. Skrzypek , R. Snihur , J. Soedingrekso , A. Søgaard , D. Soldin , P. Soldin , G. Sommani , C. Spannfellner , G. M. Spiczak , C. Spiering , J. Stachurska , M. Stamatikos , T. Stanev , T. Stezelberger , J. Stoffels , T. Stürwald , T. Stuttard , G. W. Sullivan , I. Taboada , A. Taketa , T. Tamang , H. K. M. Tanaka , S. Ter-Antonyan , A. Terliuk , M. Thiesmeyer , W. G. Thompson , J. Thwaites , S. Tilav , K. Tollefson , J. Torres , S. Toscano , D. Tosi , A. Trettin , Y. Tsunesada , J. P. Twagirayezu , A. K. Upadhyay , K. Upshaw , A. Vaidyanathan , N. Valtonen-Mattila , J. Valverde , J. Vandenbroucke , T. van Eeden , N. van Eijndhoven , L. van Rootselaar , J. van Santen , F. J. Vara Carbonell , F. Varsi , D. Veberic , J. Veitch-Michaelis , M. Venugopal , S. Vergara Carrasco , S. Verpoest , A. Vieregg , A. Vijai , J. Villarreal , C. Walck , A. Wang , D. Washington , C. Weaver , P. Weigel , A. Weindl , J. Weldert , A. Y. Wen , C. Wendt , J. Werthebach , M. Weyrauch , N. Whitehorn , C. H. Wiebusch , D. R. Williams , S. Wissel , L. Witthaus , M. Wolf , G. Wörner , G. Wrede , S. Wren , X. W. Xu , J. P. Yañez , Y. Yao , E. Yildizci , S. Yoshida , R. Young , F. Yu , S. Yu , T. Yuan , A. Zegarelli , S. Zhang , Z. Zhang , P. Zhelnin , S. Zierke , P. Zilberman , M. Zimmerman , IceCube-Gen2 Collaboration

Proceedings Seventh Workshop on Proof eXchange for Theorem Proving

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

What Have We Learned from OpenReview?

Anonymous peer review is used by the great majority of computer science conferences. OpenReview is such a platform that aims to promote openness in peer review process. The paper, (meta) reviews, rebuttals, and final decisions are all…

Digital Libraries · Computer Science 2021-04-07 Gang Wang , Qi Peng , Yanfeng Zhang , Mingyang Zhang

The State of Open Science in Software Engineering Research: A Case Study of ICSE Artifacts

Replication packages are crucial for enabling transparency, validation, and reuse in software engineering (SE) research. While artifact sharing is now a standard practice and even expected at premier SE venues such as ICSE, the practical…

Software Engineering · Computer Science 2026-03-24 Al Muttakin , Saikat Mondal , Chanchal K. Roy

The upgrade of the ALICE Inner Tracking System

ALICE is a general purpose experiment dedicated to the study of nucleus-nucleus collisions at LHC. After more than 3 years of successful operation, an upgrade of the apparatus during the second long shutdown of LHC (LS2) in 2017/18 is in…

Instrumentation and Detectors · Physics 2019-08-14 Serhiy Senyukov

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest. The program included 1 invited talk, 9…

Programming Languages · Computer Science 2013-02-04 Nicos Angelopoulos , Roberto Bagnara

Proceedings Fifth International Workshop on Verification and Program Transformation

This volume contains the proceedings of the Fifth International Workshop on Verification and Program Transformation (VPT 2017). The workshop took place in Uppsala, Sweden, on April 29th, 2017, affiliated with the European Joint Conferences…

Logic in Computer Science · Computer Science 2017-08-24 Alexei Lisitsa , Andrei P. Nemytykh , Maurizio Proietti

Proceedings of the Third International Conference on Cloud and Robotics (ICCR2016)

The 3rd International conference on Cloud and Robotics (ICCR2016) was held November 23-23, 2016 in Saint Quentin (France). ICCR is the premier gathering of practitioners and researchers interested in how to bring the power of Cloud…

Robotics · Computer Science 2017-06-20 Lei Zhang , Huaxi , Zhang

Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics

This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014) which was held on 1st September 2014 in Rome,…

Logic in Computer Science · Computer Science 2014-08-07 Johannes Borgström , Silvia Crafa

CyberChair: A Web-Based Groupware Application to Facilitate the Paper Reviewing Process

In this paper we describe CyberChair, a web-based groupware application that supports the review process for technical contributions to conferences. CyberChair deals with most administrative tasks that are involved in the review process,…

Digital Libraries · Computer Science 2012-06-11 Richard van de Stadt

Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation

Welcome to the proceedings of FOCLASA 2012, the 11th International Workshop on the Foundations of Coordination Languages and Self-Adaptation. FOCLASA 2012 was held in Newcastle upon Tyne, UK, on September 8, 2012 as a satellite event of…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-08-22 Natallia Kokash , António Ravara

Enhancing Complex Causality Extraction via Improved Subtask Interaction and Knowledge Fusion

Event Causality Extraction (ECE) aims at extracting causal event pairs from texts. Despite ChatGPT's recent success, fine-tuning small models remains the best approach for the ECE task. However, existing fine-tuning based ECE methods cannot…

Computation and Language · Computer Science 2024-08-07 Jinglong Gao , Chen Lu , Xiao Ding , Zhongyang Li , Ting Liu , Bing Qin

Public Kaggle Competition "IceCube -- Neutrinos in Deep Ice"

The reconstruction of neutrino events in the IceCube experiment is crucial for many scientific analyses, including searches for cosmic neutrino sources. The Kaggle competition "IceCube -- Neutrinos in Deep ice" was a public machine learning…

High Energy Astrophysical Phenomena · Physics 2023-07-31 Philipp Eller

Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems

This volume contains the accepted papers of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13), which took place in Florence, Italy, on June 6, as a satellite event of the 8th International…

Logic in Computer Science · Computer Science 2013-08-02 António Ravara , Josep Silva

Event Reconstruction and Data Acquisition for the RICE Experiment at the South Pole

The RICE experiment seeks to measure ultra-high energy neutrinos (E(nu)>10 PeV) by detection of the radio wavelength Cherenkov radiation produced by neutrino-ice collisions within Antarctic ice. An array of 16 dipole antennas, buried at…

Astrophysics · Physics 2007-06-01 I. Kravchenko