Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 - The WorkShop - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-06-13 06:07:43 Theoretical computer science Formal methods Temporal logic Software engineering Alloy Massachusetts Institute of Technology Z notation Concurrency Model checking TLA+ Linear temporal logic Computation tree logic		Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 & May 1, 2018, MIT. Add to Reading List Source URL: alloytools.org Download Document from Source Website File Size: 421,78 KB Share Document on Facebook

	Estimating the strength of unlabeled information during semi-supervised learning Brenden M. Lake () Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology James L. McClelland (m DocID: 1xVKT - View Document
	Changes in the Wage Structure, Family Income, and Children’s Education¤ Daron Acemoglu Massachusetts Institute of Technology Jörn-Ste¤en Pischke DocID: 1xUxr - View Document
	One shot learning of simple visual concepts Brenden M. Lake, Ruslan Salakhutdinov, Jason Gross, and Joshua B. Tenenbaum Department of Brain and Cognitive Sciences Massachusetts Institute of Technology Abstract DocID: 1xU3w - View Document
	Discovering Structure by Learning Sparse Graphs Brenden M. Lake and Joshua B. Tenenbaum Department of Brain and Cognitive Sciences Massachusetts Institute of Technology {brenden, jbt}@mit.edu Abstract DocID: 1xTYe - View Document
	Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri DocID: 1xTdC - View Document