-
[MH13a]
-
Susana Muñoz-Hernández.
Comunicación y relación interpersonal: las claves del
éxito profesional.
Conferencia organizada en el Instituto Cervantes de Fez, December
2013.
[ bib ]
-
[MH13e]
-
Susana Muñoz-Hernández.
Financing projects, how to build a business model for technology
enhanced education.
Technology Enhanced Cities Summit, November 2013.
[ bib ]
-
[MH13b]
-
Susana Muñoz-Hernández.
Conferenciante invitado en la mesa redonda “i+d en cooperación
para el desarrollo y organizaciones no gubernamentales”.
celebraciones del 25 aniversario de la Agencia de Cooperación
Española al Desarrollo, November 2013.
[ bib ]
-
[Mar13b]
-
Julio Mariño.
Euclidean interpolation: from mathematical structures to types and
back.
In Laura Castro and Lars-Åke Fredlund, editors, XII Jornadas
sobre Programación y Lenguajes PROLE 2013 y V Taller de
Programación Funcional TPF 2013, September 2013.
[ bib ]
-
[Mar13a]
-
Julio Mariño.
A course in algorithm design based on higher-order patterns.
In Laura Castro and Lars-Åke Fredlund, editors, XII Jornadas
sobre Programación y Lenguajes PROLE 2013 y V Taller de
Programación Funcional TPF 2013, September 2013.
[ bib ]
-
[GN13a]
-
Álvaro García-Pérez and Pablo Nogueira.
Derivación de intérpretes del cálculo lambda con
tipos graduales.
In L.-Å. Fredlund and L. Castro, editors, Actas de las XIII
Jornadas sobre Programación y Lenguajes - PROLE'13, IV
Congreso Español de Informática - CEDI'13, pages 24--25,
Madrid, September 2013. Sistedes.
[ bib |
.pdf ]
-
[PCMH13]
-
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández.
Getting answers to fuzzy and flexible searches by easy modelling of
real-world knowledge.
In IJCCI 2013 - Proceedings of the 5th International Joint
Conference on Computational Intelligence, Vilamoura, Algarve, Portugal,
September 2013. SCITEPRESS Digital Library.
Proceedings of the 5th International Conference on Fuzzy Computation
Theory and Applications (FCTA'2013).
[ bib |
DOI |
http ]
-
[Nog13a]
-
Pablo Nogueira.
El problema de la parada de los programas y de las personas.
Blog del Año Turing 2012 del periódico El País,
June 27 2013.
[ bib |
http ]
-
[Nog13b]
-
Pablo Nogueira.
John tiene razón.
Blog del Año Turing 2012 del periódico El País,
June 20 2013.
[ bib |
http ]
-
[MH13f]
-
Susana Muñoz-Hernández.
Moderadora del panel “technological innovations in management and
entrepreneurship education”.
2013 Annual Conference and 10th Anniversary Celebration “Education,
Employment and Enterpreneurship”, June 2013.
[ bib ]
-
[MH13c]
-
Susana Muñoz-Hernández.
Conferenciante invitado y facilitador de la mesa redonda sobre
educación.
Technology, Innovation and Social Change.
http://sec2013.etsii.upm.es, April 2013.
[ bib ]
-
[MH13d]
-
Susana Muñoz-Hernández.
Cooperación internacional y justicia social en la facultad de
informática.
Jornadas Try it. Facultad de Informática (UPM), March 2013.
[ bib ]
-
[Gar13]
-
Álvaro García-Pérez.
A syntactic and functional correspondence between reduction semantics
and reduction-free full normalisers.
Talk at the weakly PL Entropy Meeting, February 7 2013.
[ bib ]
-
[MH13g]
-
Susana Muñoz-Hernández.
Uburyo (ofreciendo oportunidades) un programa transparente de
microcréditos universitarios.
Jornadas de Innovación itdUPM - Ongawa, February 2013.
[ bib ]
-
[RFHM13]
-
Ricardo J. Rodríguez, L-Å. Fredlund, A. Herranz, and Julio
Mariño.
UMErL: Verification of UML Diagrams through Model Checking.
Unpublished UPM-BABEL-2013-001, Universidad Politécnica de
Madrid, 2013.
Submitted to ACM TECS. Available at
https://www.dropbox.com/s/kquuirvtstid1v0/RFHM-TR-01-13_unpublished.pdf.
[ bib |
.pdf ]
-
[OMH13]
-
Carlos Badenes Olmedo and Susana Muñoz-Hernández.
Dammopd: Data analysis and mining of mobile phone dataset.
In Proceeding of NetMob 2013. Mayo 1, 2013, Boston, EEUU, 2013.
Poster at Special session of the Orange D4D challenge.
[ bib ]
-
[MMH13a]
-
María Auxiliadora Montes and Susana Muñoz-Hernández.
Metodología para determinar la distribución de puntos de
acceso a gobierno electrónico.
In Actas del VI Congreso Universidad y Cooperación al
Desarrollo, Junio 24-26, 2013, Valencia, España, 2013.
[ bib ]
-
[GNM13]
-
Álvaro García-Pérez, Pablo Nogueira, and Juan José
Moreno Navarro.
Deriving the full-reducing krivine machine from the small-step
operational semantics of normal order.
In Proceedings of the 15th International Symposium on
Principles and Practice of Declarative Programming - PPDP'13,
pages 85--96, New York, NY, USA, 2013. ACM Press.
[ bib |
DOI |
http ]
We derive by program transformation Pierre Crégut's
full-reducing Krivine machine KN from the structural
operational semantics of the normal order reduction strategy
in a closure-converted pure lambda calculus. We thus
establish the correspondence between the strategy and the
machine, and showcase our technique for deriving
full-reducing abstract machines. Actually, the machine we
obtain is a slightly optimised version that can work with
open terms and may be used in implementations of proof
assistants.
-
[CES+13]
-
Clara Benac Earle, Elena Gómez-Martínez, Stefano Tonetta,
Stefano Puri, Silvia Mazzini, Jean Louis Gilbert, Olivier Hachet,
Ramón Serna Oliver, Cecilia Ekelin, and Katiusca Zedda.
Languages for Safety-Certification Related Properties.
In Proc. Work in Progress Session at 39th Euromicro Conf. on
Software Engineering and Advanced Applications (SEAA'13), 2013.
[ bib |
.pdf ]
-
[CHM13]
-
Manuel Carro, Ángel Herranz, and Julio Mariño.
A model-driven approach to teaching concurrency.
Trans. Comput. Educ., 13(1):5:1--5:19, January 2013.
[ bib |
DOI |
http ]
Keywords: Ada95, Java, Model-driven engineering, coding idiom, concurrency, correct-by-construction, formal specifications, teaching
-
[GN13b]
-
Álvaro García-Pérez and Pablo Nogueira.
A syntactic and functional correspondence between reduction semantics
and reduction-free full normalisers.
In Proceedings of the ACM SIGPLAN 2013 Symposium on
Partial Evaluation and Program Manipulation - PEPM'13, pages
107--116, New York, NY, USA, 2013. ACM Press.
[ bib |
DOI |
http ]
Olivier Danvy and others have shown the syntactic
correspondence between reduction semantics (a small-step
semantics) and abstract machines, as well as the functional
correspondence between reduction-free normalisers (a
big-step semantics) and abstract machines. The
correspondences are established by program transformation
(so-called interderivation) techniques. A reduction
semantics and a reduction-free normaliser are interderivable
when the abstract machine obtained from them is the
same. However, the correspondences fail when the underlying
reduction strategy is hybrid, i.e., relies on another
sub-strategy. Hybridisation is an essential structural
property of full-reducing and complete
strategies. Hybridisation is unproblematic in the functional
correspondence. But in the syntactic correspondence the
refocusing and inlining-of-iterate-function steps become
context sensitive, preventing the refunctionalisation of the
abstract machine. We show how to solve the problem and
showcase the interderivation of normalisers for normal
order, the standard, full-reducing and complete strategy of
the pure lambda calculus. Our solution makes it possible to
interderive, rather than contrive, full-reducing abstract
machines. As expected, the machine we obtain is a variant of
Pierre Crégut's full Krivine machine KN.
-
[GLM13]
-
Emilio Jesús Gallego Arias, James Lipton, and Julio Mariño.
Constraint logic programming with a relational machine.
Technical report, University of Pennsylvannia, Wesleyan University,
and Universidad Politécnica de Madrid, 2013.
In preparation.
[ bib ]
-
[BMH13]
-
Carlos Badenes and Susana Muñoz-Hernández.
Dammopd: Data analysis and mining of mobile phone dataset.
In Mobile Phone Data for Development. Analysis of mobile phone
datasets for the development of Ivory Coast, pages 240--261, Boston, EEUU,
2013.
[ bib ]
We analyze these four mobile phone datasets provided by Orange, along another information to discover
knowledge that contributing to the socio-economic development of the Ivory Coast population.
This analysis has focused on a development primarily descriptive, but a predictive model would be built to
complete a sustainable solution based on previous results.
So we start discovering different communication patterns and then we'll try to associate these patterns to
geographic locations with enough accuracy to be relevant. With these results we 'll analyze the specific situation on
these places to get a useful knowledge that explains why these patterns occur and find solutions to improve
communications.
Once it is completed, we would need to build a system able to learn of alarms or events that have been found in
that first study, and detect similar situations before that it occur. On that moment we will have built a complete system
to fix communication errors.
-
[MMH13b]
-
Mariuxi Montes Chunga and Susana Muñoz-Hernández.
Metodología para determinar la distribución de puntos de
acceso a gobierno electrónico.
In VI Congreso Universidad y Cooperación al Desarrollo,
pages 701--712, Valencia, España, 2013.
[ bib ]
Este trabajo es de interés para territorios en países en vías de desarrollo que tengan información
escasa o limitada sobre la cual planificar Puntos de Acceso a Servicios (PAS). Está pensado para territorios
que actualmente no cuenten con ningún o con escasos PAS y que estén interesados en aplicar esta estrategia
para proveer de servicios a los ciudadanos de su territorio. Aquí se dan claves para tener una respuesta
con base técnica para decidir cuántos PAS poner en el territorio y dónde ubicarlos.
Ante la pregunta de ?`cómo realizar una distribución de puntos de acceso a servicios de gobierno electrónico
sobre un territorio determinado?, este trabajo toma en cuenta tres variables: tamaño de la población, distancia
entre poblaciones y costo de implantación de los puntos de acceso. Este proceso se basa en la teoría
de localización de instalaciones y usa algoritmos genéticos como herramienta técnica.
Se ha hecho la aplicación de esta metodología en dos contextos: el Municipio de Santa Elena (Ecuador) y
en la provincia de Asturias (España). La selección de estos dos territorios se ha planteado para resaltar las
diferencias de esfuerzos en la aplicación de una misma metodología en ambos contextos.
This file was generated by
bibtex2html 1.98.