相关论文: 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…

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

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

人机交互 · 计算机科学 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…

物理与社会 · 物理学 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…

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

高能天体物理现象 · 物理学 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…

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

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

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

仪器与探测器 · 物理学 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…

编程语言 · 计算机科学 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…

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

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

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

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

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

计算与语言 · 计算机科学 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…

高能天体物理现象 · 物理学 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…

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

天体物理学 · 物理学 2007-06-01 I. Kravchenko