Proposals for hosting STSM stays Programme for hosting STSMs in Spain at the University of Carlos III de Madrid, Universidad Politécnica de Madrid and Universidad de Murcia September, 21-25, 2015 UPM: Meeting place: Uni

Source URL: www.bestprac.eu

• University of Murcia
• Grand Prix de Futsal
• Public universities
• Charles III University of Madrid
• Leganés

Purchase of 100% recycled paper Environmental protection and energy efficiency fund of the Republic of Croatia • CO2 and energy savings through purchase of 100% recycled paper • Eco-friendly office products demand in

Source URL: www.gpp2020.eu

• Visual arts
• Paper
• UPM
• Myllykoski Corporation
• Recycling
• Pulp
• Papermaking
• Printing
• Packaging materials

The application of joint consideration of indicators: Some practical examples Enrique J. Calderón, Ph.D (UPM); M.Sc (London) Visiting Professor Politecnico di Torino, Italy

Source URL: cost356.inrets.fr

• Polytechnic University of Turin
• Life-cycle assessment
• Politecnico di Milano

DOCX Document

Source URL: www.rmc.upm.edu.my

• Data
• Agriculture in Malaysia
• Association of Commonwealth Universities
• Universiti Putra Malaysia
• Peer review
• Evaluation
• Statistics
• Research
• Institutional Animal Care and Use Committee
• Information
• Science
• Scientific method

PDF Document

Source URL: www.upm.es

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

Source URL: www.clip.dia.fi.upm.es

• Prolog
• XSB
• Logic programming
• Logic
• Continuation
• Scheme
• Software engineering
• Programming language theory
• Computer programming

PDF Document

Source URL: www.upm.es

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

Source URL: clip.dia.fi.upm.es

• Prolog
• XSB
• Logic programming
• Logic
• Continuation
• Scheme
• Software engineering
• Programming language theory
• Computer programming

A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization? Jos´e F. Morales1 , Manuel Carro1 , Germ´ an Puebla1 , and 1,2

Source URL: www.clip.dia.fi.upm.es

• Virtual machines
• Computing
• Emulator
• Bytecode
• Machine code
• Instruction set
• Interpreter
• Terminal emulator
• Executable
• System software
• Software
• Programming language implementation

UNCERTAINTY PROPAGATION IN ACTIVATION AND INVENTORY CALCULATIONS Carlos J. Díez*, O. Cabellos, J.S. Martínez Universidad Politécnica de Madrid (UPM)

Source URL: www.andes-nd.eu

• Numerical analysis
• Algebra of random variables
• Propagation of uncertainty
• Nuclear technology
• Normal distribution
• N1
• Nuclear fission product
• Statistics
• Chemistry
• Spaceflight