English
Related papers

Related papers: Working with Stephen

200 papers

This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing…

Logic in Computer Science · Computer Science 2010-11-30 Sibylle Fröschle , Frank D. Valencia

This is the Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence, which was held in Seattle, WA, August 2-5 2001

Artificial Intelligence · Computer Science 2014-08-29 John Breese , Daphne Koller

Given at PiTP 2018 summer program entitled "From Qubits to Spacetime." The first lecture describes the meaning of quantum complexity, the analogy between entropy and complexity, and the second law of complexity. Lecture two reviews the…

High Energy Physics - Theory · Physics 2018-10-30 Leonard Susskind

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…

Logic in Computer Science · Computer Science 2015-09-29 Nathalie Bertrand , Mirco Tribastone

This is the Proceedings of the Third Conference on Uncertainty in Artificial Intelligence, which was held in Seattle, WA, July 10-12, 1987

Artificial Intelligence · Computer Science 2013-04-16 Laveen Kanal , John Lemmer , Tod Levitt

In July/August last year, a group of 50 galactic astronomers convened at Dunk Island, Australia to celebrate Prof. Ken Freeman's 60th birthday. The overarching theme of the meeting reflected Ken's wish to understand ``the chain of events…

Astrophysics · Physics 2007-05-23 J. Bland-Hawthorn

The 8th edition of the European Conference on Python in Science, EuroSciPy was held for the second time in the beautiful city of Cambridge, UK from August, 26th to 29th, 2014. More than 200 participants, both from academia and industry,…

Other Computer Science · Computer Science 2016-07-15 Nelle Varoquaux

This summary talk reviews the LHC 2003 Symposium, focusing on expectations as we prepare to leap over the current energy frontier into new territory. We may learn from what happened in the two most recent examples of leaping into new energy…

High Energy Physics - Experiment · Physics 2009-11-10 J. A. Appel

Here, we present a simple, low-cost format for structured speaking and listening on historical, cultural, and equity-related topics within a physics institute. In this article, we describe how we run hour-long Learning Together sessions,…

Physics Education · Physics 2026-03-09 James Day , Katherine R. Herperger , Kyle Monkman

PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

Programming Languages · Computer Science 2016-02-11 Simon Gay , Jade Alglave

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…

Programming Languages · Computer Science 2017-07-13 Herbert Wiklicky , Erik de Vink

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

PLACES 2017 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) is the tenth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

Programming Languages · Computer Science 2017-04-11 Vasco T. Vasconcelos , Philipp Haller

Software synthesis is rapidly developing into an important research area with vast potential for practical application. The SYNT Workshop on Synthesis aims to bringing together researchers interested in synthesis to present both ongoing and…

Logic in Computer Science · Computer Science 2014-03-31 Bernd Finkbeiner , Armando Solar-Lezama

High performance computing (HPC) has driven collaborative science discovery for decades. Exascale computing platforms, currently in the design stage, will be deployed around 2022. The next generation of supercomputers is expected to utilize…

Human-Computer Interaction · Computer Science 2015-10-22 Nan-Chen Chen , Sarah S. Poon , Lavanya Ramakrishnan , Cecilia R. Aragon

Between 1974 and 1975, Stephen Hawking revolutionized the world of physics by proposing that black holes have temperature, entropy, and evaporate gradually. The objective of this article is to offer a brief and updated introduction to these…

Popular Physics · Physics 2019-05-22 Jorge Pinochet

We present the results of a meeting on numerical simulations of ionized nebulae held at the University of Kentucky in conjunction with the celebration of the 70th birthdays of Profs. Donald Osterbrock and Michael Seaton.

Instrumentation and Methods for Astrophysics · Physics 2016-03-30 G. Ferland , L. Binette , M. Contini , J. Harrington , T. Kallman , H. Netzer , D. Péquignot , J. Raymond , R. Rubin , G. Shields , R. Sutherland , S. Viegas

This is a transcript of a debate on quantum computing that took place at 6:00pm, Wednesday, 4th June 2003, La Fonda Hotel, Santa Fe, USA. Transcript editor: Derek Abbott. Pro Team: Carlton M. Caves, Daniel Lidar, Howard Brandt, Alex…

Quantum Physics · Physics 2007-05-23 Derek Abbott

This paper is based on a talk given by the author in October, 1997 at a conference at Columbia University in celebration of Hyman Bass's 65th birthday. The paper details some of the history of Gorenstein rings and their uses.

Commutative Algebra · Mathematics 2007-05-23 Craig Huneke

The Sixth International Workshops on Trends in Functional Programming in Education, TFPIE 2017, was held on 22 June 2017 at the University of Kent, in Canterbury, UK, and was co-located with TFP, the Symposium on Trends in Functional…

Programming Languages · Computer Science 2018-05-14 Simon Thompson