English
Related papers

Related papers: Proceedings Sixth Workshop on Developments in Comp…

200 papers

The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) is organized in Jena as a satellite event of the Eleventh International Conference on Membrane Computing (CMC11). Biological membranes play a…

Logic in Computer Science · Computer Science 2010-11-02 Gabriel Ciobanu , Maciej Koutny

The use of graphics processing units for scientific computations is an emerging strategy that can significantly speed up various different algorithms. In this review, we discuss advances made in the field of computational physics, focusing…

Computational Physics · Physics 2013-03-07 Ari Harju , Topi Siro , Filippo Federici-Canova , Samuli Hakala , Teemu Rantalaiho

Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of existing high-performance supercomputing centers, consuming…

Quantum Physics · Physics 2024-09-20 Yuri Alexeev , Maximilian Amsler , Paul Baity , Marco Antonio Barroca , Sanzio Bassini , Torey Battelle , Daan Camps , David Casanova , Young Jai Choi , Frederic T. Chong , Charles Chung , Chris Codella , Antonio D. Corcoles , James Cruise , Alberto Di Meglio , Jonathan Dubois , Ivan Duran , Thomas Eckl , Sophia Economou , Stephan Eidenbenz , Bruce Elmegreen , Clyde Fare , Ismael Faro , Cristina Sanz Fernández , Rodrigo Neumann Barros Ferreira , Keisuke Fuji , Bryce Fuller , Laura Gagliardi , Giulia Galli , Jennifer R. Glick , Isacco Gobbi , Pranav Gokhale , Salvador de la Puente Gonzalez , Johannes Greiner , Bill Gropp , Michele Grossi , Emanuel Gull , Burns Healy , Benchen Huang , Travis S. Humble , Nobuyasu Ito , Artur F. Izmaylov , Ali Javadi-Abhari , Douglas Jennewein , Shantenu Jha , Liang Jiang , Barbara Jones , Wibe Albert de Jong , Petar Jurcevic , William Kirby , Stefan Kister , Masahiro Kitagawa , Joel Klassen , Katherine Klymko , Kwangwon Koh , Masaaki Kondo , Doga Murat Kurkcuoglu , Krzysztof Kurowski , Teodoro Laino , Ryan Landfield , Matt Leininger , Vicente Leyton-Ortega , Ang Li , Meifeng Lin , Junyu Liu , Nicolas Lorente , Andre Luckow , Simon Martiel , Francisco Martin-Fernandez , Margaret Martonosi , Claire Marvinney , Arcesio Castaneda Medina , Dirk Merten , Antonio Mezzacapo , Kristel Michielsen , Abhishek Mitra , Tushar Mittal , Kyungsun Moon , Joel Moore , Mario Motta , Young-Hye Na , Yunseong Nam , Prineha Narang , Yu-ya Ohnishi , Daniele Ottaviani , Matthew Otten , Scott Pakin , Vincent R. Pascuzzi , Ed Penault , Tomasz Piontek , Jed Pitera , Patrick Rall , Gokul Subramanian Ravi , Niall Robertson , Matteo Rossi , Piotr Rydlichowski , Hoon Ryu , Georgy Samsonidze , Mitsuhisa Sato , Nishant Saurabh , Vidushi Sharma , Kunal Sharma , Soyoung Shin , George Slessman , Mathias Steiner , Iskandar Sitdikov , In-Saeng Suh , Eric Switzer , Wei Tang , Joel Thompson , Synge Todo , Minh Tran , Dimitar Trenev , Christian Trott , Huan-Hsin Tseng , Esin Tureci , David García Valinas , Sofia Vallecorsa , Christopher Wever , Konrad Wojciechowski , Xiaodi Wu , Shinjae Yoo , Nobuyuki Yoshioka , Victor Wen-zhe Yu , Seiji Yunoki , Sergiy Zhuk , Dmitry Zubarev

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in…

Logic in Computer Science · Computer Science 2021-12-28 Ana Sokolova

The Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) was co-located with ETAPS 2009 in the city of York, England. The workshop took place on Sunday 22nd March 2009.…

Programming Languages · Computer Science 2010-02-09 Alastair R. Beresford , Simon Gay

The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated…

Software Engineering · Computer Science 2014-04-03 Bara Buhnova , Lucia Happe , Jan Kofroň

This volume contains the proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), which was held July 15-17, 2015 at Oxford University. The goal of this workshop series is to bring together researchers working…

Quantum Physics · Physics 2015-11-05 Chris Heunen , Peter Selinger , Jamie Vicary

We report recent research on computing with biology-based neural network models by means of physics-based opto-electronic hardware. New technology provides opportunities for very-high-speed computation and uncovers problems obstructing the…

Neural and Evolutionary Computing · Computer Science 2010-06-09 A. Steven Younger , Emmett Redd

Modern science, technology, and politics are all permeated by data that comes from people, measurements, or computational processes. While this data is often incomplete, corrupt, or lacking in sufficient accuracy and precision, explicit…

This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held in Paris, France on July 30th, 2010 as a satellite event of…

Software Engineering · Computer Science 2010-07-29 MohammadReza Mousavi , Gwen Salaün

Large language models (LLMs) are changing how we interact with computers. As they become capable of generating software dynamically, they invite a fundamental rethinking of the computer's role in human activity. In this conceptual paper, we…

Human-Computer Interaction · Computer Science 2026-04-14 Mattias Rost

Computation is a central aspect of 21st century physics practice; it is used to model complicated systems, to simulate impossible experiments, and to analyze mountains of data. Physics departments and their faculty are increasingly…

Physics Education · Physics 2021-10-12 Nicholas T. Young , Grant Allen , John M. Aiken , Rachel Henderson , Marcos D. Caballero

The D0 experiment faces many challenges enabling access to large datasets for physicists on four continents. The new concepts for distributed large scale computing implemented in D0 aim for an optimal use of the available computing…

High Energy Physics - Experiment · Physics 2010-04-22 Daniel Wicke

Materials with thickness ranging from a few nanometers to a single atomic layer present unprecedented opportunities to investigate new phases of matter constrained to the two-dimensional plane.Particle-particle Coulomb interaction is…

Mesoscale and Nanoscale Physics · Physics 2021-10-27 A. Carvalho , P. E. Trevisanutto , S. Taioli , A. H. Castro Neto

Computation has become an integral part of physics research. However, little is known about how students learn to productively use computation as a tool beyond the introductory level, especially as they transition into physics research. In…

Physics Education · Physics 2026-01-27 Karl Henrik Fredly , Tor Ole B. Odden , Benjamin M. Zwickl

Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational…

Logic in Computer Science · Computer Science 2019-08-13 Daniel Kirchner , Christoph Benzmüller , Edward N. Zalta

Nearly all practical applications of the theory of characteristic modes (CMs) involve the use of computational tools. Here in Paper 2 of this Series on CMs, we review the general transformations that move CMs from a continuous theoretical…

Numerical Analysis · Mathematics 2022-04-13 Miloslav Capek , Kurt Schab

Undergraduate physics education has greatly benefited from the introduction of computational activities. However, despite the benefits computation has delivered, we still lack a complete understanding of the computationally integrated…

Physics Education · Physics 2021-12-13 W. Brian Lane , Cortney Headley

I describe my path to unconventionality in my exploration of theoretical and applied aspects of computation towards revealing the algorithmic and reprogrammable properties and capabilities of the world, in particular related to applications…

General Literature · Computer Science 2017-06-28 Hector Zenil

Classical Logic and Computation (CL&C) 2014 is the fifth edition of this workshop series. The workshop series intends to cover all work aiming to explore computational aspects of classical logic and mathematics. Its focus is on the…

Logic in Computer Science · Computer Science 2014-09-10 Paulo Oliva