Related papers: Proceedings 8th Interaction and Concurrency Experi…

Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics

This volume contains the proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency and the 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017) which was held on 04 September 2017 in Berlin,…

Logic in Computer Science · Computer Science 2017-09-04 Kirstin Peters , Simone Tini

Proceedings 41st International Conference on Logic Programming

Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include the Technical…

Logic in Computer Science · Computer Science 2026-01-05 Martin Gebser , Daniela Inclezan , Francesco Ricca , Manuel Carro , Miroslaw Truszczynski

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey

This volume contains the papers presented at the sixth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013) held on August 25th, 2013 in Istanbul, co-located with the 29th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-12-31 Michael Fink , Yuliya Lierler

Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification

This volume contains the proceedings of the Fifth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2014). The symposium took place in Verona, Italy, from 10th to 12th of September 2014. The proceedings of…

Computer Science and Game Theory · Computer Science 2014-08-26 Adriano Peron , Carla Piazza

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

This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). The workshop was held in Reykjavik, Iceland, on June 9,…

Software Engineering · Computer Science 2011-08-11 Laura Kovacs , Rosario Pugliese , Francesco Tiezzi

Proceedings 13th International Workshop on Developments in Computational Models

This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th…

Logic in Computer Science · Computer Science 2024-10-01 Sandra Alves , Ian Mackie

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

Proceedings of the Access InContext Workshop @ CHI'25 Conference on Human Factors in Computing Systems

This is the Proceedings of the Access InContext Workshop, which was held at the CHI'25 Conference on Human Factors in Computing Systems, in Yokohama, Japan, on April 26th 2025.

Human-Computer Interaction · Computer Science 2025-10-31 Patricia Piedade

Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics

This volume contains the proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and the 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013) which was held on 26th August, 2013 in Buenos…

Programming Languages · Computer Science 2013-07-29 Johannes Borgström , Bas Luttik

The IceCube Neutrino Observatory - Contributions to ICRC 2015 Part V: Neutrino Oscillations and Supernova Searches

Papers on neutrino oscillations and supernova searches submitted to the 34th International Cosmic Ray Conference (ICRC 2015, The Hague) by the IceCube Collaboration.

High Energy Astrophysical Phenomena · Physics 2015-11-10 The IceCube Collaboration , M. G. Aartsen , K. Abraham , M. Ackermann , J. Adams , J. A. Aguilar , M. Ahlers , M. Ahrens , D. Altmann , T. Anderson , I. Ansseau , M. Archinger , C. Arguelles , T. C. Arlen , J. Auffenberg , X. Bai , S. W. Barwick , V. Baum , R. Bay , J. J. Beatty , J. Becker Tjus , K. -H. Becker , E. Beiser , S. BenZvi , P. Berghaus , D. Berley , E. Bernardini , A. Bernhard , D. Z. Besson , G. Binder , D. Bindig , M. Bissok , E. Blaufuss , J. Blumenthal , D. J. Boersma , C. Bohm , M. Börner , F. Bos , D. Bose , S. Böser , O. Botner , J. Braun , L. Brayeur , H. -P. Bretz , N. Buzinsky , J. Casey , M. Casier , E. Cheung , D. Chirkin , A. Christov , K. Clark , L. Classen , S. Coenders , D. F. Cowen , A. H. Cruz Silva , J. Daughhetee , J. C. Davis , M. Day , J. P. A. M. de André , C. De Clercq , E. del Pino Rosendo , H. Dembinski , S. De Ridder , P. Desiati , K. D. de Vries , G. de Wasseige , M. de With , T. DeYoung , J. C. Diaz-Vélez , V. di Lorenzo , J. P. Dumm , M. Dunkman , R. Eagan , B. Eberhardt , T. Ehrhardt , B. Eichmann , S. Euler , P. A. Evenson , O. Fadiran , S. Fahey , A. R. Fazely , A. Fedynitch , J. Feintzeig , J. Felde , K. Filimonov , C. Finley , T. Fischer-Wasels , S. Flis , C. -C. Fösig , T. Fuchs , T. K. Gaisser , R. Gaior , J. Gallagher , L. Gerhardt , K. Ghorbani , D. Gier , L. Gladstone , M. Glagla , T. Glüsenkamp , A. Goldschmidt , G. Golup , J. G. Gonzalez , D. Góra , D. Grant , J. C. Groh , A. Groß , C. Ha , C. Haack , A. Haj Ismail , A. Hallgren , F. Halzen , B. Hansmann , K. Hanson , D. Hebecker , D. Heereman , K. Helbing , R. Hellauer , D. Hellwig , S. Hickford , J. Hignight , G. C. Hill , K. D. Hoffman , R. Hoffmann , K. Holzapfel , A. Homeier , K. Hoshina , F. Huang , M. Huber , W. Huelsnitz , P. O. Hulth , K. Hultqvist , S. In , A. Ishihara , E. Jacobi , G. S. Japaridze , K. Jero , M. Jurkovic , B. Kaminsky , A. Kappes , T. Karg , A. Karle , M. Kauer , A. Keivani , J. L. Kelley , J. Kemp , A. Kheirandish , J. Kiryluk , J. Kläs , S. R. Klein , G. Kohnen , R. Koirala , H. Kolanoski , R. Konietz , A. Koob , L. Köpke , C. Kopper , S. Kopper , D. J. Koskinen , M. Kowalski , K. Krings , G. Kroll , M. Kroll , J. Kunnen , N. Kurahashi , T. Kuwabara , M. Labare , J. L. Lanfranchi , M. J. Larson , M. Lesiak-Bzdak , M. Leuermann , J. Leuner , L. Lu , J. Lünemann , J. Madsen , G. Maggi , K. B. M. Mahn , R. Maruyama , K. Mase , H. S. Matis , R. Maunu , F. McNally , K. Meagher , M. Medici , A. Meli , T. Menne , G. Merino , T. Meures , S. Miarecki , E. Middell , E. Middlemas , L. Mohrmann , T. Montaruli , R. Morse , R. Nahnhauer , U. Naumann , G. Neer , H. Niederhausen , S. C. Nowicki , D. R. Nygren , A. Obertacke , A. Olivas , A. Omairat , A. O'Murchadha , T. Palczewski , H. Pandya , L. Paul , J. A. Pepper , C. Pérez de los Heros , C. Pfendner , D. Pieloth , E. Pinat , J. Posselt , P. B. Price , G. T. Przybylski , J. Pütz , M. Quinnan , C. Raab , L. Rädel , M. Rameez , K. Rawlins , R. Reimann , M. Relich , E. Resconi , W. Rhode , M. Richman , S. Richter , B. Riedel , S. Robertson , M. Rongen , C. Rott , T. Ruhe , D. Ryckbosch , S. M. Saba , L. Sabbatini , H. -G. Sander , A. Sandrock , J. Sandroos , S. Sarkar , K. Schatto , F. Scheriau , M. Schimp , T. Schmidt , M. Schmitz , S. Schoenen , S. Schöneberg , A. Schönwald , L. Schulte , D. Seckel , S. Seunarine , R. Shanidze , M. W. E. Smith , D. Soldin , M. Song , G. M. Spiczak , C. Spiering , M. Stahlberg , M. Stamatikos , T. Stanev , N. A. Stanisha , A. Stasik , T. Stezelberger , R. G. Stokstad , A. Stößl , R. Ström , N. L. Strotjohann , G. W. Sullivan , M. Sutherland , H. Taavola , I. Taboada , S. Ter-Antonyan , A. Terliuk , G. Tešić , S. Tilav , P. A. Toale , M. N. Tobin , S. Toscano , D. Tosi , M. Tselengidou , A. Turcati , E. Unger , M. Usner , S. Vallecorsa , J. Vandenbroucke , N. van Eijndhoven , S. Vanheule , J. van Santen , J. Veenkamp , M. Vehring , M. Voge , M. Vraeghe , C. Walck , A. Wallace , M. Wallraff , N. Wandkowsky , Ch. Weaver , C. Wendt , S. Westerhoff , B. J. Whelan , N. Whitehorn , C. Wichary , K. Wiebe , C. H. Wiebusch , L. Wille , D. R. Williams , H. Wissing , M. Wolf , T. R. Wood , K. Woschnagg , D. L. Xu , X. W. Xu , Y. Xu , J. P. Yanez , G. Yodh , S. Yoshida , M. Zoll

The IceCube Neutrino Observatory - Contributions to ICRC 2015 Part II: Atmospheric and Astrophysical Diffuse Neutrino Searches of All Flavors

Papers on atmospheric and astrophysical diffuse neutrino searches of all flavors submitted to the 34th International Cosmic Ray Conference (ICRC 2015, The Hague) by the IceCube Collaboration.

High Energy Astrophysical Phenomena · Physics 2015-11-10 The IceCube Collaboration , M. G. Aartsen , K. Abraham , M. Ackermann , J. Adams , J. A. Aguilar , M. Ahlers , M. Ahrens , D. Altmann , T. Anderson , I. Ansseau , M. Archinger , C. Arguelles , T. C. Arlen , J. Auffenberg , X. Bai , S. W. Barwick , V. Baum , R. Bay , J. J. Beatty , J. Becker Tjus , K. -H. Becker , E. Beiser , S. BenZvi , P. Berghaus , D. Berley , E. Bernardini , A. Bernhard , D. Z. Besson , G. Binder , D. Bindig , M. Bissok , E. Blaufuss , J. Blumenthal , D. J. Boersma , C. Bohm , M. Börner , F. Bos , D. Bose , S. Böser , O. Botner , J. Braun , L. Brayeur , H. -P. Bretz , N. Buzinsky , J. Casey , M. Casier , E. Cheung , D. Chirkin , A. Christov , K. Clark , L. Classen , S. Coenders , D. F. Cowen , A. H. Cruz Silva , J. Daughhetee , J. C. Davis , M. Day , J. P. A. M. de André , C. De Clercq , E. del Pino Rosendo , H. Dembinski , S. De Ridder , P. Desiati , K. D. de Vries , G. de Wasseige , M. de With , T. DeYoung , J. C. Diaz-Vélez , V. di Lorenzo , J. P. Dumm , M. Dunkman , R. Eagan , B. Eberhardt , T. Ehrhardt , B. Eichmann , S. Euler , P. A. Evenson , O. Fadiran , S. Fahey , A. R. Fazely , A. Fedynitch , J. Feintzeig , J. Felde , K. Filimonov , C. Finley , T. Fischer-Wasels , S. Flis , C. -C. Fösig , T. Fuchs , T. K. Gaisser , R. Gaior , J. Gallagher , L. Gerhardt , K. Ghorbani , D. Gier , L. Gladstone , M. Glagla , T. Glüsenkamp , A. Goldschmidt , G. Golup , J. G. Gonzalez , D. Góra , D. Grant , J. C. Groh , A. Groß , C. Ha , C. Haack , A. Haj Ismail , A. Hallgren , F. Halzen , B. Hansmann , K. Hanson , D. Hebecker , D. Heereman , K. Helbing , R. Hellauer , D. Hellwig , S. Hickford , J. Hignight , G. C. Hill , K. D. Hoffman , R. Hoffmann , K. Holzapfel , A. Homeier , K. Hoshina , F. Huang , M. Huber , W. Huelsnitz , P. O. Hulth , K. Hultqvist , S. In , A. Ishihara , E. Jacobi , G. S. Japaridze , K. Jero , M. Jurkovic , B. Kaminsky , A. Kappes , T. Karg , A. Karle , M. Kauer , A. Keivani , J. L. Kelley , J. Kemp , A. Kheirandish , J. Kiryluk , J. Kläs , S. R. Klein , G. Kohnen , R. Koirala , H. Kolanoski , R. Konietz , A. Koob , L. Köpke , C. Kopper , S. Kopper , D. J. Koskinen , M. Kowalski , K. Krings , G. Kroll , M. Kroll , J. Kunnen , N. Kurahashi , T. Kuwabara , M. Labare , J. L. Lanfranchi , M. J. Larson , M. Lesiak-Bzdak , M. Leuermann , J. Leuner , L. Lu , J. Lünemann , J. Madsen , G. Maggi , K. B. M. Mahn , R. Maruyama , K. Mase , H. S. Matis , R. Maunu , F. McNally , K. Meagher , M. Medici , A. Meli , T. Menne , G. Merino , T. Meures , S. Miarecki , E. Middell , E. Middlemas , L. Mohrmann , T. Montaruli , R. Morse , R. Nahnhauer , U. Naumann , G. Neer , H. Niederhausen , S. C. Nowicki , D. R. Nygren , A. Obertacke , A. Olivas , A. Omairat , A. O'Murchadha , T. Palczewski , H. Pandya , L. Paul , J. A. Pepper , C. Pérez de los Heros , C. Pfendner , D. Pieloth , E. Pinat , J. Posselt , P. B. Price , G. T. Przybylski , J. Pütz , M. Quinnan , C. Raab , L. Rädel , M. Rameez , K. Rawlins , R. Reimann , M. Relich , E. Resconi , W. Rhode , M. Richman , S. Richter , B. Riedel , S. Robertson , M. Rongen , C. Rott , T. Ruhe , D. Ryckbosch , S. M. Saba , L. Sabbatini , H. -G. Sander , A. Sandrock , J. Sandroos , S. Sarkar , K. Schatto , F. Scheriau , M. Schimp , T. Schmidt , M. Schmitz , S. Schoenen , S. Schöneberg , A. Schönwald , L. Schulte , D. Seckel , S. Seunarine , R. Shanidze , M. W. E. Smith , D. Soldin , M. Song , G. M. Spiczak , C. Spiering , M. Stahlberg , M. Stamatikos , T. Stanev , N. A. Stanisha , A. Stasik , T. Stezelberger , R. G. Stokstad , A. Stößl , R. Ström , N. L. Strotjohann , G. W. Sullivan , M. Sutherland , H. Taavola , I. Taboada , S. Ter-Antonyan , A. Terliuk , G. Tešić , S. Tilav , P. A. Toale , M. N. Tobin , S. Toscano , D. Tosi , M. Tselengidou , A. Turcati , E. Unger , M. Usner , S. Vallecorsa , J. Vandenbroucke , N. van Eijndhoven , S. Vanheule , J. van Santen , J. Veenkamp , M. Vehring , M. Voge , M. Vraeghe , C. Walck , A. Wallace , M. Wallraff , N. Wandkowsky , Ch. Weaver , C. Wendt , S. Westerhoff , B. J. Whelan , N. Whitehorn , C. Wichary , K. Wiebe , C. H. Wiebusch , L. Wille , D. R. Williams , H. Wissing , M. Wolf , T. R. Wood , K. Woschnagg , D. L. Xu , X. W. Xu , Y. Xu , J. P. Yanez , G. Yodh , S. Yoshida , M. Zoll

Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)

This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016. In addition to the main conference itself, ICLP hosted four pre-conference…

Programming Languages · Computer Science 2016-08-22 Manuel Carro , Andy King

Proceedings of the 2025 XCSP3 Competition

This document represents the proceedings of the 2025 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'25 (31st International Conference on Principles and Practice of Constraint Programming).

Artificial Intelligence · Computer Science 2025-11-11 Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca

RenCon 2025: Revival of the Expressive Performance Rendering Competition

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…

Multimedia · Computer Science 2026-05-07 Huan Zhang , Taegyun Kwon , Anders Friberg , Junyan Jiang , Hayeon Bang , Hyeyoon Cho , Gus Xia , Akira Maezawa , Simon Dixon , Dasaem Jeong

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

This volume contains the proceedings of the Fifteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2018), a two-day workshop held in Austin, Texas, USA, on November 5-6, 2018, immediately after FMCAD'18. The…

Symbolic Computation · Computer Science 2018-10-30 Shilpi Goel , Matt Kaufmann

The IceCube Neutrino Observatory - Contributions to ICRC 2015 Part IV: Searches for Dark Matter and Exotic Particles

Papers on searches for dark matter and exotic particles submitted to the 34th International Cosmic Ray Conference (ICRC 2015, The Hague) by the IceCube Collaboration.

High Energy Astrophysical Phenomena · Physics 2015-11-10 The IceCube Collaboration , M. G. Aartsen , K. Abraham , M. Ackermann , J. Adams , J. A. Aguilar , M. Ahlers , M. Ahrens , D. Altmann , T. Anderson , I. Ansseau , M. Archinger , C. Arguelles , T. C. Arlen , J. Auffenberg , X. Bai , S. W. Barwick , V. Baum , R. Bay , J. J. Beatty , J. Becker Tjus , K. -H. Becker , E. Beiser , S. BenZvi , P. Berghaus , D. Berley , E. Bernardini , A. Bernhard , D. Z. Besson , G. Binder , D. Bindig , M. Bissok , E. Blaufuss , J. Blumenthal , D. J. Boersma , C. Bohm , M. Börner , F. Bos , D. Bose , S. Böser , O. Botner , J. Braun , L. Brayeur , H. -P. Bretz , N. Buzinsky , J. Casey , M. Casier , E. Cheung , D. Chirkin , A. Christov , K. Clark , L. Classen , S. Coenders , D. F. Cowen , A. H. Cruz Silva , J. Daughhetee , J. C. Davis , M. Day , J. P. A. M. de André , C. De Clercq , E. del Pino Rosendo , H. Dembinski , S. De Ridder , P. Desiati , K. D. de Vries , G. de Wasseige , M. de With , T. DeYoung , J. C. Diaz-Vélez , V. di Lorenzo , J. P. Dumm , M. Dunkman , R. Eagan , B. Eberhardt , T. Ehrhardt , B. Eichmann , S. Euler , P. A. Evenson , O. Fadiran , S. Fahey , A. R. Fazely , A. Fedynitch , J. Feintzeig , J. Felde , K. Filimonov , C. Finley , T. Fischer-Wasels , S. Flis , C. -C. Fösig , T. Fuchs , T. K. Gaisser , R. Gaior , J. Gallagher , L. Gerhardt , K. Ghorbani , D. Gier , L. Gladstone , M. Glagla , T. Glüsenkamp , A. Goldschmidt , G. Golup , J. G. Gonzalez , D. Góra , D. Grant , J. C. Groh , A. Groß , C. Ha , C. Haack , A. Haj Ismail , A. Hallgren , F. Halzen , B. Hansmann , K. Hanson , D. Hebecker , D. Heereman , K. Helbing , R. Hellauer , D. Hellwig , S. Hickford , J. Hignight , G. C. Hill , K. D. Hoffman , R. Hoffmann , K. Holzapfel , A. Homeier , K. Hoshina , F. Huang , M. Huber , W. Huelsnitz , P. O. Hulth , K. Hultqvist , S. In , A. Ishihara , E. Jacobi , G. S. Japaridze , K. Jero , M. Jurkovic , B. Kaminsky , A. Kappes , T. Karg , A. Karle , M. Kauer , A. Keivani , J. L. Kelley , J. Kemp , A. Kheirandish , J. Kiryluk , J. Kläs , S. R. Klein , G. Kohnen , R. Koirala , H. Kolanoski , R. Konietz , A. Koob , L. Köpke , C. Kopper , S. Kopper , D. J. Koskinen , M. Kowalski , K. Krings , G. Kroll , M. Kroll , J. Kunnen , N. Kurahashi , T. Kuwabara , M. Labare , J. L. Lanfranchi , M. J. Larson , M. Lesiak-Bzdak , M. Leuermann , J. Leuner , L. Lu , J. Lünemann , J. Madsen , G. Maggi , K. B. M. Mahn , R. Maruyama , K. Mase , H. S. Matis , R. Maunu , F. McNally , K. Meagher , M. Medici , A. Meli , T. Menne , G. Merino , T. Meures , S. Miarecki , E. Middell , E. Middlemas , L. Mohrmann , T. Montaruli , R. Morse , R. Nahnhauer , U. Naumann , G. Neer , H. Niederhausen , S. C. Nowicki , D. R. Nygren , A. Obertacke , A. Olivas , A. Omairat , A. O'Murchadha , T. Palczewski , H. Pandya , L. Paul , J. A. Pepper , C. Pérez de los Heros , C. Pfendner , D. Pieloth , E. Pinat , J. Posselt , P. B. Price , G. T. Przybylski , J. Pütz , M. Quinnan , C. Raab , L. Rädel , M. Rameez , K. Rawlins , R. Reimann , M. Relich , E. Resconi , W. Rhode , M. Richman , S. Richter , B. Riedel , S. Robertson , M. Rongen , C. Rott , T. Ruhe , D. Ryckbosch , S. M. Saba , L. Sabbatini , H. -G. Sander , A. Sandrock , J. Sandroos , S. Sarkar , K. Schatto , F. Scheriau , M. Schimp , T. Schmidt , M. Schmitz , S. Schoenen , S. Schöneberg , A. Schönwald , L. Schulte , D. Seckel , S. Seunarine , R. Shanidze , M. W. E. Smith , D. Soldin , M. Song , G. M. Spiczak , C. Spiering , M. Stahlberg , M. Stamatikos , T. Stanev , N. A. Stanisha , A. Stasik , T. Stezelberger , R. G. Stokstad , A. Stößl , R. Ström , N. L. Strotjohann , G. W. Sullivan , M. Sutherland , H. Taavola , I. Taboada , S. Ter-Antonyan , A. Terliuk , G. Tešić , S. Tilav , P. A. Toale , M. N. Tobin , S. Toscano , D. Tosi , M. Tselengidou , A. Turcati , E. Unger , M. Usner , S. Vallecorsa , J. Vandenbroucke , N. van Eijndhoven , S. Vanheule , J. van Santen , J. Veenkamp , M. Vehring , M. Voge , M. Vraeghe , C. Walck , A. Wallace , M. Wallraff , N. Wandkowsky , Ch. Weaver , C. Wendt , S. Westerhoff , B. J. Whelan , N. Whitehorn , C. Wichary , K. Wiebe , C. H. Wiebusch , L. Wille , D. R. Williams , H. Wissing , M. Wolf , T. R. Wood , K. Woschnagg , D. L. Xu , X. W. Xu , Y. Xu , J. P. Yanez , G. Yodh , S. Yoshida , M. Zoll

Report from Dagstuhl Seminar 23031: Frontiers of Information Access Experimentation for Research and Education

This report documents the program and the outcomes of Dagstuhl Seminar 23031 ``Frontiers of Information Access Experimentation for Research and Education'', which brought together 37 participants from 12 countries. The seminar addressed…

Information Retrieval · Computer Science 2023-09-26 Christine Bauer , Ben Carterette , Nicola Ferro , Norbert Fuhr

Fast Abstracts and Student Forum Proceedings, 18th European Dependable Computing Conference -- EDCC 2022

Collection of manuscripts accepted for presentation at the Student Forum and Fast Abstracts tracks of the 18th European Dependable Computing Conference (EDCC 2022).

Distributed, Parallel, and Cluster Computing · Computer Science 2022-10-25 Ibéria Medeiros , Geert Deconinck

The MERCADO Workshop at IEEE VIS 2023: Multimodal Experiences for Remote Communication Around Data Online

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

I4U System Description for NIST SRE'20 CTS Challenge

This manuscript describes the I4U submission to the 2020 NIST Speaker Recognition Evaluation (SRE'20) Conversational Telephone Speech (CTS) Challenge. The I4U's submission was resulted from active collaboration among researchers across…

Audio and Speech Processing · Electrical Eng. & Systems 2022-11-03 Kong Aik Lee , Tomi Kinnunen , Daniele Colibro , Claudio Vair , Andreas Nautsch , Hanwu Sun , Liang He , Tianyu Liang , Qiongqiong Wang , Mickael Rouvier , Pierre-Michel Bousquet , Rohan Kumar Das , Ignacio Viñals Bailo , Meng Liu , Héctor Deldago , Xuechen Liu , Md Sahidullah , Sandro Cumani , Boning Zhang , Koji Okabe , Hitoshi Yamamoto , Ruijie Tao , Haizhou Li , Alfonso Ortega Giménez , Longbiao Wang , Luis Buera