Filters








7 Hits in 3.9 sec

LIPIcs, Volume 136, SNAPL'19, Complete Volume [article]

Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
2019
Finally, the authors would like to thank the organizers of SNAPL for creating a venue for visionary papers on programming languages.  ...  We also thank the anonymous referees for their helpful feedback.  ...  Consistency-aware theory solvers would be usable from existing solver-aided languages like Liquid Haskell, and they would dovetail with Rosette's support for building new solver-aided DSLs.  ... 
doi:10.4230/lipics.snapl.2019 fatcat:bcqs46cqtvfmfjjj6icdg5jc5e

LIPIcs, Volume 32, SNAPL'15, Complete Volume [article]

Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett
2015
We thank Josef Widder for the fruitful discussions on this subject, Heather Miller and Philipp Haller for their help with the pickling library, and the anonymous reviewers for their comments.  ...  The Need for Language Support for Fault-Tolerant Distributed Systems Robin Milner, Joachim Parrow, and David Walker Toward a Dependability Case Language and Workflow for a Radiation Therapy System Acknowledgments  ...  Solver-aided verification and synthesis for accelerating code reviews and revisions of DSL applications.  ... 
doi:10.4230/lipics.snapl.2015 fatcat:ljoxwa7wp5achn2tbrmpriez7y

Electronic Markets and Auctions (Dagstuhl Seminar 13461) Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462) Synchronous Programming (Dagstuhl Seminar 13471) Global Measurement Framework (Dagstuhl Seminar 13472) Unleashing Operational Process Mining (Dagstuhl Seminar 13481) Forensic Computing (Dagstuhl Seminar 13482)

Saul Greenberg, Kasper Hornbaek, Aaron Quigley, Harald Reiterer, Roman, Yishay Mansour, Benny Moldovanu, Noam Nisan, Berthold, Hans Kamp, Alessandro Lenci, James (+14 others)
2013 unpublished
The challenges it raises are many fold.  ...  I propose synthesizing it from the functional language Haskell.  ...  discovery.  ... 
fatcat:fl5xhx4dpbeklg6o6xhmuvuety

Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue [article]

2019
We thank Dagstuhl for their extensive support, and all the participants who contributed. Participants  ...  A design tool to support this protocol has been implemented and some initial designs synthesised and imaged.  ...  The metaphor helps in the discovery, documentation, and communication of sustainability issues in requirements engineering.  ... 
doi:10.4230/dagrep.8.8 fatcat:fqrend6usnhefgg745ixiqw6ue

(Re)searching sculpted A/r/tography : (Re)learning subverted-knowing through aporetic praxis

Alex F. De Cosson
2003
A need for a whole body/mind/spirit connection for a grounded artistic understanding is also made evident through a reading of this text.  ...  Since artistic engagement is not easily explained I take the reader for a pedagogical journey utilizing writing as a metonym for building a sculpture.  ...  The images are singular instances, caught for all time, of a synthesis of what the dissertation has struggled to unpack. The how, the why and the what for?  ... 
doi:10.14288/1.0091201 fatcat:uir7isb2m5fs7lovg46ivd4oj4

Germ layer patterning via morphogen crosstalk [article]

Gary Hui Ming Soh, Universitaet Tuebingen, Müller, Patrick (Prof. Dr. )
2020
I also generated an in-vitro tool for benchmarking fluorescence recovery after photobleaching protocols.  ...  Fabian Fröhlich for discussions and suggestions, and Sarah Keim and Katherine Rogers for testing PyFRAP.  ...  Acknowledgements We thank Ekkehard Kröwerath (University Hospital Tübingen, Centre for Dentistry, Oral Medicine, and Maxillofacial Surgery) for the preparation of plexiglass holes, Katherine Rogers and  ... 
doi:10.15496/publikation-49895 fatcat:pe4ve3ykybgpxc2f3igshj73eq

Interplay of authority and expertise in online self-improvement communities [article]

Timothy John Martin Squirrell, University Of Edinburgh, Steven Yearley, Fadhila Mazanderani
2020
The thesis concludes that users of these communities do not look for objectivity in experts, instead exhibiting 'aspirational subjectivity'.  ...  As well as creating evidence for themselves, they listen to those who have walked the path they themselves wish to walk or appear to have diminishe [...]  ...  This last observation lays the groundwork for one further piece of synthesis.  ... 
doi:10.7488/era/569 fatcat:r5eof2ug4baqhiddcjuefrzt4q