English
Related papers

Related papers: Proceedings 10th Interaction and Concurrency Exper…

200 papers

This volume contains the papers accepted at the 6th International Symposium on Attention in Cognitive Systems (ISACS 2013), held in Beijing, August 5, 2013. The aim of this symposium is to highlight the central role of attention on various…

Computer Vision and Pattern Recognition · Computer Science 2013-07-31 Lucas Paletta , Laurent Itti , Björn Schuller , Fang Fang

Argumentation is a major topic in the study of Artificial Intelligence. Since the first edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed in competition events, similar to other closely related…

Artificial Intelligence · Computer Science 2019-09-04 Sarah A. Gaggl , Thomas Linsbichler , Marco Maratea , Stefan Woltran

We introduce and evaluate Stated Preference for Interaction and Continued Engagement (SPICE), a simple diagnostic signal elicited by asking a Large Language Model a YES or NO question about its willingness to re-engage with a user's…

Computation and Language · Computer Science 2025-09-23 Thomas Manuel Rost , Martina Figlia , Bernd Wallraff

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

Context: Pre-publication peer review of scientific articles is considered a key element of the research process in software engineering, yet it is often perceived as not to work fully well. Objective: We aim at understanding the perceptions…

Software Engineering · Computer Science 2017-10-31 Lutz Prechelt , Daniel Graziotin , Daniel Méndez Fernández

This volume contains the proceedings of F-IDE 2018, the fourth international workshop on Formal Integrated Development Environment, which was held as a FLoC 2018 satellite event, on July 14, 2018, in Oxford, England. High levels of safety,…

Programming Languages · Computer Science 2018-11-26 Paolo Masci , Rosemary Monahan , Virgile Prevosto

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 objective of this report is to present a list of proceedings (conferences, workshops, symposia, meetings) in the areas of Computer Science, Electrical & Electronic Engineering, and Communications covered by Google Scholar Metrics and…

Digital Libraries · Computer Science 2015-01-09 Alberto Martin-Martin , Enrique Ordunna-Malea , Juan Manuel Ayllon , Emilio Delgado Lopez-Cozar

Inspired by Costa's pioneering work on dirty paper coding (DPC), this paper proposes a novel scheme for integrated communication and computing (ICC), named Computing on Dirty Paper, whereby the transmission of discrete data symbols for…

Signal Processing · Electrical Eng. & Systems 2025-10-03 Kuranage Roche Rayan Ranasinghe , Giuseppe Thadeu Freitas de Abreu , David González G. , Carlo Fischione

This paper proposes two new open-source iris recognition algorithms, providing both Python and IREX-compliant C++ implementations to be submitted to the official IREX X program. This work has two primary goals: (a) to conduct the first-ever…

Computer Vision and Pattern Recognition · Computer Science 2026-05-21 Siamul Karim Khan , Patrick J. Flynn , Adam Czajka

This volume contains the proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY 2009). The workshop was held in Bologna, Italy on August 31, 2009, as a satellite event to the 20th International…

Logic in Computer Science · Computer Science 2009-11-19 Axel Legay

This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of August 2012 as a satellite event of FM'12. The aim of the…

Logic in Computer Science · Computer Science 2013-02-14 Mohamed Faouzi Atig , Ahmed Rezine

As an increasing number of academic conferences transition to the online sphere, new event paradigms must be explored and developed to better utilise the unique multimedia opportunities offered by the virtual world. With this in mind, we…

The IceCube Observatory at the South Pole has been operating in its full configuration since May 2011 with a duty cycle of about 99%. Its main component consists of a cubic-kilometer array of optical sensors deployed deep in the Glacial ice…

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 , C. Argüelles , Y. Ashida , S. Athanasiadou , S. N. Axani , R. Babu , X. Bai , J. Baines-Holmes , A. Balagopal V. , S. W. Barwick , S. Bash , V. Basu , R. Bay , J. J. Beatty , J. Becker Tjus , P. Behrens , J. Beise , C. Bellenghi , B. Benkel , S. BenZvi , D. Berley , E. Bernardini , D. Z. Besson , E. Blaufuss , L. Bloom , S. Blot , I. Bodo , F. Bontempo , J. Y. Book Motzkin , C. Boscolo Meneguolo , S. Böser , O. Botner , J. Böttcher , J. Braun , B. Brinson , Z. Brisson-Tsavoussis , R. T. Burley , D. Butterfield , M. A. Campana , K. Carloni , J. Carpio , S. Chattopadhyay , N. Chau , Z. Chen , D. Chirkin , S. Choi , B. A. Clark , A. Coleman , P. Coleman , G. H. Collin , D. A. Coloma Borja , A. Connolly , J. M. Conrad , R. Corley , D. F. Cowen , C. De Clercq , J. J. DeLaunay , D. Delgado , T. Delmeulle , S. Deng , P. Desiati , K. D. de Vries , G. de Wasseige , T. DeYoung , J. C. Díaz-Vélez , S. DiKerby , M. Dittmer , A. Domi , L. Draper , L. Dueser , D. Durnford , K. Dutta , M. A. DuVernois , T. Ehrhardt , L. Eidenschink , A. Eimer , P. Eller , E. Ellinger , D. Elsässer , R. Engel , H. Erpenbeck , W. Esmail , S. Eulig , J. Evans , P. A. Evenson , K. L. Fan , K. Fang , K. Farrag , A. R. Fazely , A. Fedynitch , N. Feigl , C. Finley , L. Fischer , D. Fox , A. Franckowiak , S. Fukami , P. Fürst , J. Gallagher , E. Ganster , A. Garcia , M. Garcia , G. Garg , E. Genton , L. Gerhardt , A. Ghadimi , C. Glaser , T. Glüsenkamp , J. G. Gonzalez , S. Goswami , A. Granados , D. Grant , S. J. Gray , S. Griffin , S. Griswold , K. M. Groth , D. Guevel , C. Günther , P. Gutjahr , C. Ha , C. Haack , A. Hallgren , 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 , K. Helbing , J. Hellrung , B. Henke , L. Hennig , F. Henningsen , L. Heuermann , R. Hewett , N. Heyer , S. Hickford , A. Hidvegi , C. Hill , G. C. Hill , R. Hmaid , K. D. Hoffman , D. Hooper , S. Hori , K. Hoshina , M. Hostert , W. Hou , T. Huber , K. Hultqvist , K. Hymon , A. Ishihara , W. Iwakiri , M. Jacquart , S. Jain , O. Janik , M. Jansson , M. Jeong , M. Jin , N. Kamp , D. Kang , W. Kang , X. Kang , A. Kappes , L. Kardum , T. Karg , M. Karl , A. Karle , A. Katil , M. Kauer , J. L. Kelley , M. Khanal , A. Khatee Zathul , A. Kheirandish , H. Kimku , J. Kiryluk , C. Klein , S. R. Klein , Y. Kobayashi , A. Kochocki , R. Koirala , H. Kolanoski , T. Kontrimas , L. Köpke , C. Kopper , D. J. Koskinen , P. Koundal , M. Kowalski , T. Kozynets , N. Krieger , J. Krishnamoorthi , T. Krishnan , K. Kruiswijk , E. Krupczak , A. Kumar , E. Kun , N. Kurahashi , N. Lad , C. Lagunas Gualda , L. Lallement Arnaud , M. Lamoureux , M. J. Larson , F. Lauber , J. P. Lazar , K. Leonard DeHolton , A. Leszczyńska , J. Liao , C. Lin , Y. T. Liu , M. Liubarska , C. Love , L. Lu , F. Lucarelli , W. Luszczak , Y. Lyu , J. Madsen , E. Magnus , K. B. M. Mahn , Y. Makino , E. Manao , S. Mancina , A. Mand , I. C. Mariş , S. Marka , Z. Marka , L. Marten , I. Martinez-Soler , R. Maruyama , J. Mauro , F. Mayhew , F. McNally , J. V. Mead , K. Meagher , S. Mechbal , A. Medina , M. Meier , Y. Merckx , L. Merten , J. Mitchell , L. Molchany , T. Montaruli , R. W. Moore , Y. Morii , A. Mosbrugger , M. Moulai , D. Mousadi , E. Moyaux , T. Mukherjee , R. Naab , M. Nakos , U. Naumann , J. Necker , L. Neste , M. Neumann , H. Niederhausen , M. U. Nisa , K. Noda , A. Noell , A. Novikov , A. Obertacke Pollmann , V. O'Dell , A. Olivas , R. Orsoe , J. Osborn , E. O'Sullivan , V. Palusova , H. Pandya , A. Parenti , N. Park , V. Parrish , E. N. Paudel , L. Paul , C. Pérez de los Heros , T. Pernice , J. Peterson , M. Plum , A. Pontén , V. Poojyam , Y. Popovych , M. Prado Rodriguez , B. Pries , R. Procter-Murphy , G. T. Przybylski , L. Pyras , C. Raab , J. Rack-Helleis , N. Rad , M. Ravn , K. Rawlins , Z. Rechav , A. Rehman , I. Reistroffer , E. Resconi , S. Reusch , C. D. Rho , W. Rhode , L. Ricca , B. Riedel , A. Rifaie , E. J. Roberts , S. Robertson , M. Rongen , A. Rosted , C. Rott , T. Ruhe , L. Ruohan , D. Ryckbosch , J. Saffer , D. Salazar-Gallegos , P. Sampathkumar , A. Sandrock , G. Sanger-Johnson , M. Santander , S. Sarkar , J. Savelberg , M. Scarnera , 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 , S. Seunarine , P. A. Sevle Myhr , R. Shah , S. Shefali , N. Shimizu , 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 , T. Stürwald , T. Stuttard , G. W. Sullivan , I. Taboada , S. Ter-Antonyan , A. Terliuk , A. Thakuri , M. Thiesmeyer , W. G. Thompson , J. Thwaites , S. Tilav , K. Tollefson , S. Toscano , D. Tosi , A. Trettin , 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 , M. Venugopal , M. Vereecken , S. Vergara Carrasco , S. Verpoest , D. Veske , A. Vijai , J. Villarreal , C. Walck , A. Wang , E. Warrick , 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 , L. Witthaus , M. Wolf , G. Wrede , 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 , P. Zilberman , IceCube Collaboration

ICE-Talk is an open source web-based GUI that allows the use of a TTS system with controllable parameters via a text field and a clickable 2D plot. It enables the study of latent spaces for controllable TTS. Moreover it is implemented as a…

Audio and Speech Processing · Electrical Eng. & Systems 2020-08-26 Noé Tits , Kevin El Haddad , Thierry Dutoit

This paper presents a comprehensive documentation of RenCon 2025, the revival of the expressive performance rendering competition which took place at ISMIR 2025 in Daejeon, Korea. The competition attracted 9 entries from international…

This EPTCS volume contains the papers from the Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), which was held between the 17th and 19th of November 2025. The goal of the FMAS workshop series is to bring…

Logic in Computer Science · Computer Science 2025-11-18 Matt Luckcuck , Maike Schwammberger , Mengwei Xu

The exchange of personal information in digital environments poses significant risks, including identity theft, privacy breaches, and data misuse. Addressing these challenges requires a deep understanding of user behavior and mental models…

Human-Computer Interaction · Computer Science 2025-09-22 Reza Shahriari , Eric D. Ragan

This list of contributions to the 37th International Cosmic Ray Conference in Berlin, Germany (12-23 July 2021) summarizes the latest results from the IceCube Neutrino Observatory. IceCube, completed 10 years ago at the geographic South…

High Energy Astrophysical Phenomena · Physics 2021-07-16 IceCube Collaboration , R. Abbasi , M. Ackermann , J. Adams , J. A. Aguilar , M. Ahlers , M. Ahrens , C. Alispach , A. A. Alves , N. M. Amin , R. An , K. Andeen , T. Anderson , G. Anton , C. Argüelles , Y. Ashida , S. Axani , X. Bai , A. Balagopal V. , A. Barbano , S. W. Barwick , B. Bastian , V. Basu , S. Baur , R. Bay , J. J. Beatty , K. -H. Becker , J. Becker Tjus , C. Bellenghi , S. BenZvi , D. Berley , E. Bernardini , D. Z. Besson , G. Binder , D. Bindig , E. Blaufuss , S. Blot , M. Boddenberg , F. Bontempo , J. Borowka , S. Böser , O. Botner , J. Böttcher , E. Bourbeau , F. Bradascio , J. Braun , S. Bron , J. Brostean-Kaiser , S. Browne , A. Burgman , R. T. Burley , R. S. Busse , M. A. Campana , E. G. Carnie-Bronca , C. Chen , D. Chirkin , K. Choi , B. A. Clark , K. Clark , L. Classen , A. Coleman , G. H. Collin , J. M. Conrad , P. Coppin , P. Correa , D. F. Cowen , R. Cross , C. Dappen , P. Dave , C. De Clercq , J. J. DeLaunay , H. Dembinski , K. Deoskar , S. De Ridder , A. Desai , P. Desiati , K. D. de Vries , G. de Wasseige , M. de With , T. DeYoung , S. Dharani , A. Diaz , J. C. Díaz-Vélez , M. Dittmer , H. Dujmovic , M. Dunkman , M. A. DuVernois , E. Dvorak , T. Ehrhardt , P. Eller , R. Engel , H. Erpenbeck , J. Evans , P. A. Evenson , K. L. Fan , A. R. Fazely , S. Fiedlschuster , A. T. Fienberg , K. Filimonov , C. Finley , L. Fischer , D. Fox , A. Franckowiak , E. Friedman , A. Fritz , P. Fürst , T. K. Gaisser , J. Gallagher , E. Ganster , A. Garcia , S. Garrappa , L. Gerhardt , A. Ghadimi , C. Glaser , T. Glauch , T. Glüsenkamp , A. Goldschmidt , J. G. Gonzalez , S. Goswami , D. Grant , T. Grégoire , S. Griswold , M. Gündüz , C. Günther , C. Haack , A. Hallgren , R. Halliday , L. Halve , F. Halzen , M. Ha Minh , K. Hanson , J. Hardin , A. A. Harnisch , A. Haungs , S. Hauser , D. Hebecker , K. Helbing , F. Henningsen , E. C. Hettinger , S. Hickford , J. Hignight , C. Hill , G. C. Hill , K. D. Hoffman , R. Hoffmann , T. Hoinka , B. Hokanson-Fasig , K. Hoshina , F. Huang , M. Huber , T. Huber , K. Hultqvist , M. Hünnefeld , R. Hussain , S. In , N. Iovine , A. Ishihara , M. Jansson , G. S. Japaridze , M. Jeong , B. J. P. Jones , D. Kang , W. Kang , X. Kang , A. Kappes , D. Kappesser , T. Karg , M. Karl , A. Karle , U. Katz , M. Kauer , M. Kellermann , J. L. Kelley , A. Kheirandish , K. Kin , T. Kintscher , J. Kiryluk , S. R. Klein , R. Koirala , H. Kolanoski , T. Kontrimas , L. Köpke , C. Kopper , S. Kopper , D. J. Koskinen , P. Koundal , M. Kovacevich , M. Kowalski , T. Kozynets , E. Kun , N. Kurahashi , N. Lad , C. Lagunas Gualda , J. L. Lanfranchi , M. J. Larson , F. Lauber , J. P. Lazar , J. W. Lee , K. Leonard , A. Leszczyńska , Y. Li , M. Lincetto , Q. R. Liu , M. Liubarska , E. Lohfink , C. J. Lozano Mariscal , L. Lu , F. Lucarelli , A. Ludwig , W. Luszczak , Y. Lyu , W. Y. Ma , J. Madsen , K. B. M. Mahn , Y. Makino , S. Mancina , I. C. Mariş , R. Maruyama , K. Mase , T. McElroy , F. McNally , J. V. Mead , K. Meagher , A. Medina , M. Meier , S. Meighen-Berger , J. Micallef , D. Mockler , T. Montaruli , R. W. Moore , R. Morse , M. Moulai , R. Naab , R. Nagai , U. Naumann , J. Necker , L. V. Nguyên , H. Niederhausen , M. U. Nisa , S. C. Nowicki , D. R. Nygren , A. Obertacke Pollmann , M. Oehler , A. Olivas , E. O'Sullivan , H. Pandya , D. V. Pankova , N. Park , G. K. Parker , E. N. Paudel , L. Paul , C. Pérez de los Heros , L. Peters , J. Peterson , S. Philippen , D. Pieloth , S. Pieper , M. Pittermann , A. Pizzuto , M. Plum , Y. Popovych , A. Porcelli , M. Prado Rodriguez , P. B. Price , B. Pries , G. T. Przybylski , C. Raab , A. Raissi , M. Rameez , K. Rawlins , I. C. Rea , A. Rehman , P. Reichherzer , R. Reimann , G. Renzi , E. Resconi , S. Reusch , W. Rhode , M. Richman , B. Riedel , E. J. Roberts , S. Robertson , G. Roellinghoff , M. Rongen , C. Rott , T. Ruhe , D. Ryckbosch , D. Rysewyk Cantu , I. Safa , J. Saffer , S. E. Sanchez Herrera , A. Sandrock , J. Sandroos , M. Santander , S. Sarkar , S. Sarkar , K. Satalecka , M. Scharf , M. Schaufel , H. Schieler , S. Schindler , P. Schlunder , T. Schmidt , A. Schneider , J. Schneider , F. G. Schröder , L. Schumacher , G. Schwefer , S. Sclafani , D. Seckel , S. Seunarine , A. Sharma , S. Shefali , M. Silva , B. Skrzypek , B. Smithers , R. Snihur , J. Soedingrekso , D. Soldin , C. Spannfellner , G. M. Spiczak , C. Spiering , J. Stachurska , M. Stamatikos , T. Stanev , R. Stein , J. Stettner , A. Steuer , T. Stezelberger , T. Stürwald , T. Stuttard , G. W. Sullivan , I. Taboada , F. Tenholt , S. Ter-Antonyan , S. Tilav , F. Tischbein , K. Tollefson , L. Tomankova , C. Tönnis , S. Toscano , D. Tosi , A. Trettin , M. Tselengidou , C. F. Tung , A. Turcati , R. Turcotte , C. F. Turley , J. P. Twagirayezu , B. Ty , M. A. Unland Elorrieta , N. Valtonen-Mattila , J. Vandenbroucke , N. van Eijndhoven , D. Vannerom , J. van Santen , S. Verpoest , M. Vraeghe , C. Walck , T. B. Watson , C. Weaver , P. Weigel , A. Weindl , M. J. Weiss , J. Weldert , C. Wendt , J. Werthebach , M. Weyrauch , N. Whitehorn , C. H. Wiebusch , D. R. Williams , M. Wolf , K. Woschnagg , G. Wrede , J. Wulff , X. W. Xu , Y. Xu , J. P. Yanez , S. Yoshida , S. Yu , T. Yuan , Z. Zhang

This special issue brings together eight papers from experts of communities which often have been perceived as different once: bibliometrics, scientometrics and informetrics on the one side and information retrieval on the other. The idea…

Information Retrieval · Computer Science 2019-01-15 Philipp Mayr , Andrea Scharnhorst