English
Related papers

Related papers: Working with Stephen

200 papers

This is the Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence, which was held in Edinburgh, Scotland July 26 - 29 2005.

Artificial Intelligence · Computer Science 2014-08-29 Fahiem Bacchus , Tommi Jaakkola

This is the Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2018, which was held in Oxford, UK, July 18th, 2018.

Artificial Intelligence · Computer Science 2019-11-22 Jorge Fandinno , Johannes Fichte

We are proud to present the papers from the 17th Refinement Workshop, co-located with FM 2015 held in Oslo, Norway on June 22nd, 2015. Refinement is one of the cornerstones of a formal approach to software engineering: the process of…

Logic in Computer Science · Computer Science 2016-06-07 John Derrick , Eerke Boiten , Steve Reeves

Software engineers need to manage both technical and professional skills in order to be successful. Our university offers a 5.5 year program that mixes computer science, software and computer engineering, where the first two years are…

Computers and Society · Computer Science 2018-04-11 Jocelyn Simmonds , Maíra Marques Samary , Milenko Tomic , Francisco Madrid , Constanza Escobar

This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2 keynote talks and 9 contributed presentations on themes of…

Logic in Computer Science · Computer Science 2016-07-12 Alessio Lomuscio , Moshe Y. Vardi

The 10th Asia-Europe workshop in "Concepts in Information Theory and Communications" AEW10 was held in Boppard, Germany on June 21-23, 2017. It is based on a longstanding cooperation between Asian and European scientists. The first workshop…

Program synthesis is an active research field in academia, national labs, and industry. Yet, work directly applicable to scientific computing, while having some impressive successes, has been limited. This report reviews the relevant areas…

Machine Learning · Computer Science 2021-02-03 Hal Finkel , Ignacio Laguna

ACAC 2009 is organized by the Athens University of Economics and Business (AUEB) and it is the fourth in a series of meetings that aim to bring together researchers working on all areas of the theory of algorithms and computational…

Computational Complexity · Computer Science 2009-10-01 Evangelos Markakis , Ioannis Milis

While walking meetings offer a healthy alternative to sit-down meetings, they also pose practical challenges. Taking notes is difficult while walking, which limits the potential of walking meetings. To address this, we designed the Walking…

Human-Computer Interaction · Computer Science 2023-04-06 Luke Haliburton , Natalia Bartłomiejczyk , Paweł W. Woźniak , Albrecht Schmidt , Jasmin Niess

The Workshop on Biobanking Informatics in NSW 2013 (WBIN13) was held on Friday, 10 May 2013 at The Wallace Wurth Building in the University of New South Wales. This report summarises the keynotes, presentations and discussions in WBIN13…

Tissues and Organs · Quantitative Biology 2015-05-29 Jitendra Jonnagaddala , Damian Sue

This volume contains the proceedings of the First Workshop on Synthesis (SYNT 2012). The workshop is held is held in Berkeley, California, on June 6th and 7th, as a satellite event to the 24th International Conference on Computer Aided…

Logic in Computer Science · Computer Science 2012-07-04 Doron Peled , Sven Schewe

This paper gives an overview of Fred Cohen's work and is a summary of the talk which I gave during his 60th birthday conference, held at the University of Tokyo in July 2005.

Algebraic Topology · Mathematics 2009-04-09 Ran Levi

Celebrating fifty years of collaboration and friendship with Chris Isham.

History and Philosophy of Physics · Physics 2022-01-17 M. J. Duff

Gender is a hot topic in the field of human-computer interaction (HCI). Work has run the gamut, from assessing how we embed gender in our computational creations to correcting systemic sexism, online and off. While gender is often framed…

Human-Computer Interaction · Computer Science 2023-04-27 Katie Seaborn

Gardening is an activity that involves a number of dimensions of increasing interest to HCI and CSCW researchers, including recreation, sustainability, and engagement with nature. This paper considers the garden setting in order to…

Human-Computer Interaction · Computer Science 2022-11-22 Hanuma Teja Maddali , Amanda Lazar

This record contains the proceedings of the 2020 Workshop on Assessing, Explaining, and Conveying Robot Proficiency for Human-Robot Teaming, which was held in conjunction with the 2020 ACM/IEEE International Conference on Human-Robot…

Robotics · Computer Science 2020-05-14 Aaron Steinfeld , Michael Goodrich

As an increasing number of academic conferences transition to the online sphere, new event paradigms must be explored and developed to better utilise the unique multimedia opportunities offered by the virtual world. With this in mind, we…

Here we report on the Women in Astronomy Workshop (http://asawomeninastronomy.org/meetings/wia2011/), which was held on 13 May 2011 in Sydney, Australia. The workshop was organised by the Astronomical Society of Australia's Chapter on Women…

Instrumentation and Methods for Astrophysics · Physics 2011-07-01 Sarah Brough , Amanda E. Bauer , Kate Brooks , Andrew Hopkins , Sarah Maddison

This is a set of notes on phase transitions and critical phenomena prepared to accompany my lectures for the RHIC '97 summer school, held at Brookhaven from July 6 to 16, 1997.

High Energy Physics - Lattice · Physics 2008-02-03 Michael Creutz

With the ever-increasing carbon footprint associated with conferences, scientists can learn to refine their conference experiences when they do need to travel. We offer insight on how to optimize the conference experience through attending…

Popular Physics · Physics 2020-06-19 Ruth Johnson , Andrada Fiscutean , Serghei Mangul
‹ Prev 1 4 5 6 7 8 10 Next ›