UPM - PDFSEARCH.IO - Document Search Engine

UPM
Results: 1894

#	Item
771	Artikelnummer: UPM Uterus-/Beckenmodell Für eine wirksame Schulung EINFACH ANZUWENDEN · OFFENES DESIGN · REALISTISCH Add to Reading List Source URL: www.womancareglobal.org Language: German - Date: 2014-02-13 21:37:27
772	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
773	COMPARISON OF MONTE CARLO UNCERTAINTY PROPAGATION APPROACHES IN ACTIVATION CALCULATIONS Carlos J. Díez, O. Cabellos, J.S. Martínez Universidad Politécnica de Madrid (UPM) Add to Reading List Source URL: www.ccfe.ac.uk Language: English* - Date: 2012-01-30 05:57:01 Numerical analysis Measurement Monte Carlo method Propagation of uncertainty Uncertainty Sensitivity analysis Statistics Probability and statistics Science
774	ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-05 05:51:42 Constraint programming Logic programming Programming paradigms Actor model Prolog Constraint logic programming Unification Variable Free variables and bound variables Software engineering Computing Computer programming
775	´ UNIVERSIDAD POLITECNICA DE MADRID ´ FACULTAD DE INFORMATICA Add to Reading List Source URL: clip.dia.fi.upm.es Language: Spanish - Date: 2003-12-17 06:59:06
776	Add to Reading List Source URL: clip.dia.fi.upm.es - Date: 2004-04-23 11:46:22
777	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
778	Published in Proceedings of EURO–PAR’95, Sweden Relating Data–Parallelism and (And–) Parallelism in Logic Programs? Manuel V. Hermenegildo and Manuel Carro Universidad Polit´ecnica de Madrid Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-05 06:01:04 Software engineering Compiler optimizations Data parallelism Prolog Automatic parallelization Parallelism Scalable parallelism Programming paradigms Task parallelism Computing Parallel computing Computer programming
779	January 24, 2013 AgMIP Maize-pilot Workshop February 5-7, 2013 Universidad Politécnica de Madrid ETS Ingenieros Agrónomos Add to Reading List Source URL: www.agmip.org Language: English - Date: 2014-05-15 23:53:54 Maize UPM Food and drink Agriculture Technical University of Madrid
780	Some Ideas and Examples to Evaluate Ontologies Asunción Gómez-Pérez Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Add to Reading List Source URL: oa.upm.es Language: English Semantic Web Information science Technical communication Knowledge Knowledge representation Definition Web Ontology Language Upper ontology Ontology Science Information

UPDATE