Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu

Source URL: homes.cs.washington.edu

A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit

Source URL: homes.cs.washington.edu

SYNCHROTRON-BASED SPECTROSCOPIC TECHNIQUES: UOSSBAUER AND HIGH.RESOLUTION INELASTIC SCATTERING JENNIFER M. JACKSON Seisnrological Laboratory, Division of Geological and

Source URL: web.gps.caltech.edu

Maine InfoNet Board October 30, 2015 Jackson Laboratory, Bar Harbor Lunch at 12:30pm Meeting begins at 1:30pm Tour of Jackson Laboratory after meeting ends

Source URL: www.maineinfonet.org

Geophysical applications of nuclear resonant spectroscopy Wolfgang Sturhahn and Jennifer M. Jackson* 17th August 2007 Advanced Photon Source, Argonne National Laboratory, 9700 South Cass Ave, Argonne, IL 60439, USA; *Sei

Source URL: web.gps.caltech.edu

• Physics
• Chemistry
• Spectroscopy
• Nature
• X-ray scattering
• Scattering
• Atomic physics
• Bosons
• Nuclear resonance vibrational spectroscopy
• Resonant inelastic X-ray scattering
• Light scattering
• X-ray scattering techniques

SummitAgenda 2014 FINAL.indd

Source URL: mainestem.org

• Science and technology
• Science education
• University of Maine System
• Education policy
• Experiential learning
• Science
• technology
• engineering
• and mathematics
• Maine School of Science and Mathematics
• Maine
• Kennebunk High School
• Mike Michaud
• Bangor High School
• Jackson Laboratory

TRAVEL STIPENDS – Call for Applications 18th Annual Genes, Brain and Behavior Meeting of IBANGS The Jackson Laboratory, Bar Harbor, Maine USA, 12-16 May 2016 With the generous support of a grant from the National Insti

Source URL: www.ibngs.org

Towards a Theory of Conceptual Design for Software Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology, USA Abstract

Source URL: sdg.csail.mit.edu

TRAVEL STIPENDS – Call for Applications 18th Annual Genes, Brain and Behavior Meeting of IBANGS The Jackson Laboratory, Bar Harbor, Maine USA, 12-16 May 2016 With the generous support of a grant from the National Insti

Source URL: www.ibangs.org