中文
相关论文

相关论文: Proceedings of the 39th Scandinavian Symposium on …

200 篇论文

The 42nd Scandinavian Symposium on Physical Acoustics was held at Geilo, Norway from January 27 to January 30, 2019. It was arranged by the Acoustics and Optics group of the Norwegian Physical Society, and was coordinated by Geir Pedersen…

经典物理 · 物理学 2019-06-04 Erlend Magnus Viggen , Lars Hoff

The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on June 22nd, 2015, as a satellite event of the 20th International…

软件工程 · 计算机科学 2015-06-11 Jun Pang , Yang Liu , Sjouke Mauw

Proceedings of the 'Hawking Radiation' conference in Stockholm, Sweden 2015. It includes a link to the video recording of the conference and all the talks, discussions, and communications, that took place during the week of the conference .…

高能物理 - 理论 · 物理学 2016-10-06 Laura Mersini-Houghton , Dillon N. Morse

The study of spatial audio and room acoustics aims to create immersive audio experiences by modeling the physics and psychoacoustics of how sound behaves in space. In the long history of this research area, various key technologies have…

音频与语音处理 · 电气工程与系统科学 2025-03-18 Shoichi Koyama , Enzo De Sena , Prasanga Samarasinghe , Mark R. P. Thomas , Fabio Antonacci

This volume contains the proceedings of the Seventh International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2016). The symposium took place in Catania, Italy, from the 14th to the 16th of September 2016. The…

计算机科学中的逻辑 · 计算机科学 2016-09-14 Domenico Cantone , Giorgio Delzanno

This report presents the proceedings of the Course on Advanced Accelerator Physics organized by the CERN Accelerator School. The course was held in Trondheim, Norway from 18 to 29 August 2013, in collaboration with the Norwegian University…

加速器物理 · 物理学 2016-01-28 W. Herr

This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on June 22, 2015, in Oslo (Norway). High levels of safety,…

编程语言 · 计算机科学 2015-08-17 Catherine Dubois , Paolo Masci , Dominique Méry

This volume contains the proceedings of ICE'19, the 12th Interaction and Concurrency Experience, which was held in Copenhagen, Denmark on the 20th and 21st of June 2019, as a satellite event of DisCoTec'19. The ICE workshop series features…

编程语言 · 计算机科学 2019-09-12 Massimo Bartoletti , Ludovic Henrio , Anastasia Mavridou , Alceste Scalas

An account is presented of the special session on "Gender and Sexual Diversity Issues in Physics" which took place at the American Physical Society March Meeting 2012. The opinions of those who attended this session were solicited via an…

This volume contains the Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science (SLPCS 2016), which was held on the 11th of June at the University of Strathclyde, Glasgow, and was…

计算与语言 · 计算机科学 2016-08-04 Dimitrios Kartsaklis , Martha Lewis , Laura Rimell

This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. QPL is a conference that brings together researchers working…

量子物理 · 物理学 2017-01-03 Ross Duncan , Chris Heunen

Summary of the 16th Applied Antineutrino Physics Workshop 2023, held in the historic Guildhall in York in the UK from the 18th - 21st September 2023.

高能物理 - 唯象学 · 物理学 2024-11-21 Liz Kneale , Viacheslav Li

This volume of the EPTCS contains the proceedings of the 15th international workshop on Qualitative Aspects of Programming Languages and Systems, QAPL 2017, held at April 23, 2017 in Uppsala, Sweden as a satellite event of ETAPS 2017, the…

编程语言 · 计算机科学 2017-07-13 Herbert Wiklicky , Erik de Vink

We describe the influence of environmental noise on LIGO detectors in the sixth science run (S6), from July 2009 to October 2010. We show results from experimental investigations testing the coupling level and mechanisms for acoustic,…

天体物理仪器与方法 · 物理学 2015-06-22 A. Effler , R. M. S. Schofield , V. V. Frolov , G. Gonzalez , K. Kawabe , J. R. Smith , J. Birch , R. McCarthy

This is the Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, which was held in Stockholm Sweden, July 30 - August 1, 1999

人工智能 · 计算机科学 2014-08-29 Kathryn Laskey , Henri Prade

This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite event of DisCoTec 2016. The ICE procedure for paper…

编程语言 · 计算机科学 2016-08-11 Massimo Bartoletti , Ludovic Henrio , Sophia Knight , Hugo Torres Vieira

This volume contains the proceedings of the Sixth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2015). The symposium took place in Genoa, Italy, on the 21st and 22nd of September 2015. The proceedings of…

计算机科学中的逻辑 · 计算机科学 2015-09-24 Javier Esparza , Enrico Tronci

This volume contains the proceedings of the 16th International Conference on Quantum Physics and Logic (QPL 2017), which was held June 10-14, 2019. Quantum Physics and Logic is an annual conference that brings together researchers working…

计算机科学中的逻辑 · 计算机科学 2020-05-01 Bob Coecke , Matthew Leifer
‹ 上一页 1 2 3 10 下一页 ›