[Universidad de Zaragoza]
         
DIIS
Por perfiles:  ESTUDIANTES  |  PDI *  |  PAS *
General
El Departamento
Organización
Situación
Personal
Contacto
Docencia
Ciclos 1º y 2º
Máster y Doctorado EEES
Estudios Propios
Seminarios
Horarios de tutoría
Investigación
Grupos
Aragón Investiga
Seminarios
Actividades
Publicaciones
Memorias Anuales
Docentes
de Investigación
Empleo y empresas
Listas de correo
Histórico
Noticias
Personas
DIIS... el origen
Interno (privado)
Web interna


Seminarios de Investigación

 

Charla de introducción a metodologías ágiles de desarrollo de software
Se ha organizado para la semana que viene una charla de introducción a metodologías ágiles de desarrollo de software. Es de particular interés para aquellos que están trabajando en pequeños grupos de desarrollo de I+D y profesores relacionados con asignaturas de Ingeniería del Software. La entrada es libre.:
¿Te suena Scrum y Extremme programing? ¿Sabes lo que esel Kanban? :
¿Has oído hablar de las metodologías ágiles?:
Si no has oído hablar de ellas es mejor que empieces, porque va a ser la forma más habitual de gestionar proyectos y equipos dentro de unos años.:
Al menos en parte del mundo ya lo es.:
Desde el grupo Agile Aragón se ha organizado un evento introductorio a las metodologías ágiles, para ayudarte a resolver todas esas dudas y muchas más.:
Será el martes 6 de Noviembre a las 19h en el Aula A.11 de la EINA (Edificio A) y se tratarán los siguientes temas en 4 pequeñas charlas::
• Agile Manifesto, por Dani Latorre (@dani_latorre):
• Scrum, por Fernando Pérez (@ferpega_):
• Extreme Programming, por Julio García (@papajulio):
• Kanban, por Teresa Oliver (@tolivern):

Modeling and Verification of Hybrid Systems
Recent technological innovations have caused a considerable interest in the study of dynamical processes of a mixed continuous and discrete nature. Such processes are called hybrid systems and are characterized by the interaction of time-continuous models (governed by differential or difference equations) on the one hand, and logic rules and discrete-event systems (described by, e.g., automata, finite state machines, etc.) on the other. In practise a hybrid system arises, e.g., when continuous physical processes are controlled via embedded software that intrinsically has a finite number of states.
An overview of the field of hybrid systems will be offered first. Then aspects related to modelling and verification through reachability methods and abstractions will be particularly emphasised.*

Prof. JANAN ZAYTOON
Professor of Automatic Control, Université de Reims Champagne-Ardenne, his main research area is Modelling, simulation, analysis, validation and control of discrete event and hybrid systems.
Director of CReSTIC (Centre de Recherche en Science et Techniques de l’Information et la Communication de l’Université de Reims), a center that groups 150 members (25 Professors, 60 Lecturers and Associate Professors, 50 PhD students, 10 Post-doc, 10 technical and administrative persons) and Director of GDR MACS (Groupement du Recherche en Modélisation, Analyse et Commande des Systèmes réactifs) of CNRS, a national research network in charge of the scientific acivity of the French Community in Automatic Control and Production Systems (about 2.000 researchers involved).
IFAC Council Member and Head of the IFAC French NMO (National Member Organizer), he has published more than 200 journal & conference papers, books, book chapters and patents. Editor of /Control Engineering Practice/ and /Nonlinear Analysis: Hybrid Systems/; Associate Editor of /Discrete Event Dynamic Systems/, /IET Control Theory and Applications/, and /International Review of Automatic Control/; is Member of the Publication Committee of IFAC, and editor of 20 special journal issues and 16 conferences.

TRES SESIONES (día, hora y lugar):
1. martes 10/02 de 16:00 a 19:00 (Seminario del Depto)
2. miércoles 11/02 de 11:00 a 14:00 (Seminario24, 2ªplanta)
3. jueves 12/02 de 16:00 a 19:00 (Seminario del Depto)

Aprendizaje a partir de flujos de datos: Teoría y Aplicaciones
Seminario impartido por el profesor Ricard Gavaldà, de la UPC, sobre el modelo de aprendizaje Data Stream, del que es un experto reconocido.

Fechas:
- miércoles 29 y jueves 30 de abril (antes del puente del 1 de mayo)
- quince días después: jueves 14 y viernes 15 de mayo

PROGRAMA RESUMIDO:

1. Modelos de flujos de datos y algorítmica
1.2. Flujos de datos: motivación
1.3. Recordatorio: estadística y probabilidad
1.4. Modelos de flujos de datos
1.5. Estimación de momento y entropía
1.6. Actualización de histogramas
1.7. Cotas inferiores
1.8. Procesamiento de consultas y transacciones
1.9. Detección y cuantificación de cambio de concepto

2. Aprendiendo a partir de flujos de datos
2.2. Contextualización del aprendizaje automático y de la minería de datos
2.3. Clasificación
2.4. Agrupamientos
2.5. Descubriendo ítems frecuentes
2.6. Ventanas adaptativas

3. Ejemplos de aplicación: monitorizando tráfico en Internet
3.2. Temas no cubiertos en el curso
3.3. Líneas de investigación actuales

Animación interactiva de contactos y deformaciones
Ponente: Miguel Angel Otaduy, Univ. Rey Juan Carlos
Hora: Lunes 1 de Diciembre a las 16:00h
Lugar: Seminario A13, Edificio Ada Byron

Abstract:
En el mundo que nos rodea, las leyes físicas hacen que los objetos choquen unos contra otros, se deformen, se rompan, y den lugar a efectos y movimientos de gran riqueza y difíciles de clasificar. El realismo de las aplicaciones de realidad virtual, animación y videojuegos depende en gran medida de la fidelidad con que se simulen los efectos de deformación y contacto entre objetos, pero la precisión de los algoritmos choca con las necesidades de eficiencia de las aplicaciones interactivas. Esta conferencia incluirá una breve descripción de los problemas técnicos presentes en la simulación de contacto y deformaciones, así como la exposición visual de distintos avances recientes.

Seminario válido para la asignatura optativa
62621 "Seminario de Linea de Investigación" (2 ECTS)

Aplicaciones de la Programación Entera en el área de Arquitectura de Computadores
Ponentes: Clemente Rodríguez (U. País Vasco) y Luis Carlos Aparicio (UZ, Teruel)

Fecha: Jueves 10 y Viernes 11, de 10h a 13h

Lugar: Seminario del departamento

Contenido:
1.- Soporte a los compiladores/optimizadores:
- Optimal Instruction Scheduling
- Dependence Analysis

2.- Introducción al análisis del Worst-Case Execution Time
- Métodos
- Herramientas

3.- Análisis del Worst-Case Execution Time de un programa
- Modelado de la Memoria Cache:
-Contenido: Instrucciones, datos
-Asociatividad
-Algoritmo de reemplazo
-Cache Miss Equations
-Anotación de falsos caminos
-Modelado del predictor de saltos y ejecución especulativa
-Modelo de ejeción del procesador: simple issue, multiple issue (in-order...)

4.- Worst-Case Energy Consumption


Seminario Investigación. Interoperabilidad de Sistemas de Información en Internet
Título: "Issues concerned with the development of a European Spatial Data Infrastructure" Ponente: Dr. Ioannis Kanellopoulos, Spatial Data Infrastructures Unit, Institute of Environment and Sustainability, Joint Research Centre, European Commission (Italy) Fecha: Lunes 26 de marzo de 2007 Hora: 9:30 h. Lugar: Seminario 25 del Edificio Ada Byron Duración: 60 min Resumen: La presentación tratará sobre el estado actual de las Infraestructuras de Datos Espaciales en Europa y en especial sobre las implicaciones tecnológicas derivadas de la aprobación de la Directiva Europea INSPIRE (Infrastructure for Spatial Information in Europe). El Dr. Ioannis Kanellopoulos describirá además los objetivos y areas de investigación abordadas actualmente dentro del Instituto de Medio Ambiente y Sostenibilidad del Centro de Investigación Conjunto (JRC) de la Comisión Europea.

Seminario de Investigación del DIIS
Título: "Software Demand, Hardware Supply"
Ponente: Jesús Alastruey Benedé (Profesor DIIS, Investigador GaZ)
Viernes 15 de diciembre de 2006, 12:00h, SemDIIS

Seminario de investigación del DIIS
"On controllability in timed continuous Petri net systems",
Renato Vázquez (Becario del GISED, DIIS),
Viernes 1 de diciembre de 2006, 11:00h, SemDIIS.

Más información «

Seminario de investigación del DIIS
"Tailoring Robot Actions to Task Contexts using Action
Prediction Models", PhD Freek Stulp (Intelligent Autonomous
Systems Group, TUM, Munich, Germany),
2 de noviembre de 2006, 12:00h, SemDIIS.

Más información «

[26-06-06] Dr. J. M. M. Montiel (Profesor Titular del DIIS) y J. Civera (Profesor Ayudante del DIIS)
SLAM con cámara monocular.

[02-06-06] Dr. D. Josep Solé i Pareta (Catedrático de Arquitectura y Tecnología de Computadores, UPC)
Características de funcionamiento de las redes de conmutación de paquetes ópticos.

[15-05-06] D. Antonio Ruiz-Cortés (Universidad de Sevilla)
Improving the automatic procurement of web services using constraint programming.

[18-04-06] Dr. Ian Reid (University Lecturer in Engineering Science and Fellow of Exeter College University of Oxford, UK)
Real-time Visual SLAM.

[11-04-06] Dr. Ouri Wolfson (Richard and Loan Hill Professor, Computer Science Department at University of Illinois, Chicago)
A new PhD program in Computational Transportation Science.

[07-04-06] Dr. Jack Lutz (Professor of Computer Science at Iowa State University, USA)
New dimensions in the Theory of Computing.

[05-04-06] Dr. Robyn Lutz (Professor at Iowa State University and Senior Engineer at Jet Propulsion Laboratory, NASA)
Identifying Contingency Requirements using Obstacle Analysis.

[20-03-06] Dr. Xu Jing (Visitante Postdoctoral)
Tracking Control of Join-Free Timed Continuous Petri Net Systems.

[08-03-06] Dr. Carlos Sagüés (Profesor Titular del DIIS)
Localization with Omnidirectional Images using the Radial Trifocal Tensor.

[02-03-06] John. M. Hitchcock (University of Wyoming, USA)
Online Learning and Resource-Bounded Dimension: Winnow Yields New Lower Bounds for Hard S.

[01-03-06] Alejandro Mosteo (PhD Student Robotics, DIIS)
Planificación y asignación de tareas en equipos multi-robot.

[22-02-06] Claudine Chaouiya Chantegrel (Ecole Superieure d’Ingenieurs de Luminy, Marseille, France)
Modelling of biological networks.

[08-02-06] Gonzalo López (PhD Student Robotics, DIIS)
Matriz Fundamental y Visual Servoing.

[19-01-06] Javier Civera (PhD Student Robotics, DIIS)
Homografías y paralaje.

[16-12-05] Dr. Steven LaValle (Department of Computer Science, Univ. Illinois)
Information Spaces: They’re Everywhere.

[13-12-05] Dr. Philippe Moser (Visitante Postdoctoral)
Recent results in derandomization.

[02-12-05] María Villarroya Gaudó (Profesor Ayudante del DIIS)
Sistemas micro/nano-electromecánicos: Como la nanotecnología mejora las prestaciones de muchos dispositivos.

[23-11-05] Lina María Paz (PhD Student Robotics, DIIS)
Single Value Decomposition (SVD).

[16-11-05] Rubén Martínez-Cantín, (PhD Student Robotics, DIIS)
Filtros Gaussianos: EKF y UKF.

[09-11-05] Pedro Piniés and Luis Montesano (PhD Students Robotics, DIIS)
Estimación de parámetros: Efecto de la linealidad.

[28-10-05] Iñaki Raño (Profesor Ayudante Doctor del DIIS)
Evitación de obstáculos usando agresión de Braitenberg y fusión motríz.
©2005 Departamento de Informática e Ingeniería de Sistemas.
©2005 Universidad de Zaragoza (Pedro Cerbuna 12, 50009 ZARAGOZA-ESPAÑA | Tfno. información: (34) 976-761001)