中文
相关论文

相关论文: Proceedings of the 14th International Computationa…

200 篇论文

This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as a satellite workshop to UCNC 2016, the 15th International…

新兴技术 · 计算机科学 2016-06-22 Alastair A. Abbott , Dominic C. Horsman

This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…

编程语言 · 计算机科学 2024-04-08 Diana Costa , Raymond Hu

The 9th International Workshop on Physics and Computation (PC 2018) was held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which was…

计算复杂性 · 计算机科学 2018-07-30 Michael Cuffaro , Philippos Papayannopoulos

Proceedings of 16th International Conference on Mathematical and Numerical Aspects of Wave Propagation held at the Harnack House, Berlin, Germany, 30 June - 5 July, 2024.

数值分析 · 数学 2025-03-14 Laurent Gizon

This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…

计算工程、金融与科学 · 计算机科学 2012-07-31 Elham Kashefi , Jean Krivine , Femke van Raamsdonk

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

编程语言 · 计算机科学 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…

计算机科学中的逻辑 · 计算机科学 2015-04-09 Ugo Dal Lago , Russ Harmer

The Fourteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024) was held in G\"ottingen, Germany, on August 12 and 13, 2024, at the historic Georg-Augustus-Universit\"at, organized by the Theoretical…

形式语言与自动机理论 · 计算机科学 2024-09-11 Florin Manea , Giovanni Pighizzini

This volume contains the proceedings of the Second International Workshop on Developments in Implicit Computational complExity (DICE 2011), which took place on April 2-3 2011 in Saarbruecken, Germany, as a satellite event of the Joint…

计算机科学中的逻辑 · 计算机科学 2012-01-04 Jean-Yves Marion

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…

计算机科学中的逻辑 · 计算机科学 2026-01-05 Martin Gebser , Daniela Inclezan , Francesco Ricca , Manuel Carro , Miroslaw Truszczynski

This volume contains the proceedings of the 14th International Conference on Quantum Physics and Logic (QPL 2017), which was held July 3-7, 2017 at the LUX Cinema Nijmegen, the Netherlands, and was hosted by Radboud University. QPL is a…

计算机科学中的逻辑 · 计算机科学 2018-02-28 Bob Coecke , Aleks Kissinger

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 technical…

计算机科学中的逻辑 · 计算机科学 2025-02-13 Pedro Cabalar , Francesco Fabiano , Martin Gebser , Gopal Gupta , Theresa Swift

This volume contains the post-proceedings of the Sixteenth International Workshop on Graph Computation Models (GCM 2025). The workshops took place in Koblenz, Germany on June 10 as part of STAF (Software Technologies: Applications and…

计算机科学中的逻辑 · 计算机科学 2026-01-07 Leen Lambers , Oszkár Semeráth

This volume contains the proceedings of the International Workshop on Developments in Implicit Computational complExity (DICE 2010), which took place on March 27-28 2010 in Paphos, Cyprus, as a satellite event of the Joint European…

计算机科学中的逻辑 · 计算机科学 2010-05-20 Patrick Baillot

This White Paper documents the discussion and consensus conclusions of the workshop "Software Infrastructure for Advanced Nuclear Physics Computing" (SANPC 24), which was held at Jefferson Lab on June 20-22, 2024. The workshop brought…

The European Workshop on Photocathodes for (particle) Accelerator Applications (EWPAA) brings together experts in the field of photocathode based electron sources for use in particle accelerators, with the aim of sharing their knowledge and…

加速器物理 · 物理学 2023-04-21 L. Monaco , D. Sertore , M. Baylac , L. B. Jones , T. C. Q. Noakes , J. Kühn , R. Xiang

This is the proceedings of the 1st International Workshop on Low Carbon Computing (LOCO 2024).

分布式、并行与集群计算 · 计算机科学 2026-01-07 Wim Vanderbauwhede , Lauritz Thamsen , José Cano

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace…

计算机科学中的逻辑 · 计算机科学 2017-04-19 Guillaume Bonfante , Georg Moser

These proceedings collate lectures given at the twenty-eighth specialized course organised by the CERN Accelerator School (CAS). The course was held at the Hotel du Parc, Baden, Switzerland from 7 - 14 May 2014, in collaboration with the…

加速器物理 · 物理学 2016-07-12 R. Bailey

The International Symposium on Computational Sensing (ISCS) brings together researchers from optical microscopy, electron microscopy, RADAR, astronomical imaging, biomedical imaging, remote sensing, and signal processing. With a particular…

信号处理 · 电气工程与系统科学 2025-10-27 Thomas Feuillen , Amirafshar Moshtaghpour
‹ 上一页 1 2 3 10 下一页 ›