Nuno - PDFSEARCH.IO - Document Search Engine

Nuno
Results: 356

#	Item
1	Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Formal methods Computing Alloy Massachusetts Institute of Technology Z notation Software engineering Modeling languages Object Process Methodology Economic model
2	On Extending Kodkod to Support Temporal Features and Scenario Exploration Nuno Macedo and Alcino Cunha et al HASLab, INESC TEC & Universidade do Minho Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Formal methods Theoretical computer science Mathematics Artificial intelligence Educational psychology Neuropsychological assessment Problem solving Solver Equation solving Alloy
3	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 Language: English - 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
4	THE GLOBAL CARBON BALANCE OF FORESTS BASED ON FLUX TOWERS AND FOREST AGE DATA Philippe Ciais, Yitong Yao, Simon Besnard, Chao Yue, Nuno Carvalhais, Ben Poulter, Jerome Chave, Paul Stoy, Martin Jung, Martin Herold, Robin Add to Reading List Source URL: conference.icos-ri.eu Language: English - Date: 2018-04-20 08:07:02
5	Board Game Studies Journal ISSNhttp://bgsj.ludus-opuscula.org Editorial Board Jorge Nuno Silva Add to Reading List Source URL: bgsj.ludus-opuscula.org Language: English - Date: 2015-12-07 18:59:12
6	Under the carbon spell_Nuno Figueiredo_2011 Add to Reading List Source URL: repositorio.ul.pt Language: Portuguese - Date: 2015-10-02 02:16:50
7	Board Game Studies Journal ISSNhttp://bgsj.ludus-opuscula.org Editorial Board Jorge Nuno Silva Add to Reading List Source URL: bgsj.ludus-opuscula.org Language: English - Date: 2015-12-06 20:11:10
8	Board Game Studies Journal ISSNhttp://bgsj.ludus-opuscula.org Editorial Board Jorge Nuno Silva Add to Reading List Source URL: bgsj.ludus-opuscula.org Language: English - Date: 2015-12-06 19:57:52
9	Nota de abertura Nuno Jerónimo É com imensa alegria que apresento este primeiro dossier da Kairos dedicado ao Professor Manuel António dos Santos LourençoTrata-se, na verdade, de um eco ou (melhor) de u Add to Reading List Source URL: kairos.fc.ul.pt - Date: 2013-01-07 10:28:33
10	Scene Recognition on the Semantic Manifold Roland Kwitt, Nuno Vasconcelos, and Nikhil Rasiwasia 1 2 Add to Reading List Source URL: svcl.ucsd.edu - Date: 2012-10-09 18:37:58