1,496 research outputs found

    La responsabilidad penal del menor [Texto impreso]: información y prevención para familia y alumnado

    Get PDF

    Familia y educación [Recurso electrónico] ] : guía práctica para escuelas de padres y madres eficaces

    Get PDF
    Datos tomados de la etiqueta del disc

    Lifted structural invariant analysis of Petri net product lines

    Full text link
    Petri nets are commonly used to represent concurrent systems. However, they lack support for modelling and analysing system families, like variants of controllers, different variations of a process model, or the possible configurations of a flexible assembly line. To facilitate modelling potentially large collections of similar systems, in this paper, we enrich Petri nets with variability mechanisms based on product line engineering. Moreover, we present methods for the efficient analysis of the place and transition invariants in all defined versions of a Petri net. Efficiency is achieved by analysing the system family as a whole, instead of analysing each possible net variant separately. For this purpose, we lift the notion of incidence matrix to the product line level, and rely on constraint solving techniques. We present tool support and evaluate the benefits of our techniques on synthetic and realistic examples, achieving in some cases speed-ups of two orders of magnitude with respect to analysing each net variant separatelyThis work has been funded by the Spanish Ministry of Science (PID2021-122270OB-I00) and the R&D programme of Madrid (P2018/TCS-4314

    Automated variability injection for graphical modelling languages

    Full text link
    © ACM 2020. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in International Conference on Generative Programming: Concepts and Experiences, https://doi.org/10.1145/3425898.3426957Model-based development approaches, such as Model-Driven Engineering (MDE), heavily rely on the use of modelling languages to achieve and automate software development tasks. To enable the definition of model variants (e.g., supporting the compact description of system families), one solution is to combine MDE with Software Product Lines. However, this is technically costly as it requires adapting many MDE artefacts associated to the modelling language -- especially the meta-models and graphical environments. To alleviate this situation, we propose a method for the automated injection of variability into graphical modelling languages. Given the meta-model and graphical environment of a particular language, our approach permits configuring the allowed model variability, and the graphical environment is automatically adapted to enable creating models with variability. Our solution is implemented atop the Eclipse Modeling Framework and Sirius, and synthesizes adapted graphical editors integrated with FeatureIDEWork funded by the R&D programme of Madrid (S2018/TCS4314), the Spanish Ministry of Science (RTI2018-095255-BI00), and the Austrian Science Fund (P 30525-N31

    Aplicación de la especificación Data Distribution Service (DDS) al control de glucosa en pacientes diabéticos

    Get PDF
    En este trabajo se ha investigado la posibilidad de utilizar el estándar DDS (Data Distribution Service) desarrollado por el OMG (Object Management Group) para la monitorización en tiempo real del nivel de glucosa en pacientes diabéticos. Dicho estándar sigue el patrón publicador/suscriptor de modo que, en la prueba de concepto desarrollada, los sensores del punto de cuidado son publicadores de los valores de glucosa de los pacientes y diferentes supervisores se suscriben a esa información. Estos supervisores reaccionan de la forma más adecuada a los valores y la evolución del nivel de glucosa en el paciente, por ejemplo, registrando el valor de la muestra o generando una alarma. El software de intermediación que soporta la comunicación de datos sigue el estándar DDS. Esto facilita por un lado la escalabilidad e interoperatividad de la solución desarrollada y por otro la monitorización de niveles de glucosa y la activación de protocolos predefinidos en tiempo real. La investigación se enmarca dentro del proyecto intramural PERSONA del CIBER-BBN, cuyo objetivo es el diseño de herramientas de soporte a la decisión para la monitorización continua de pacientes personalizadas e integradas en una plataforma tecnológica para diabetes

    Big Data en Educación III: recomendaciones personalizadas de actuación ante estudiantes en riesgo de abandono

    Get PDF
    En este proyecto se elaboran un conjunto de recomendaciones personalizadas para guiar la actuación del profesor con estudiantes que hayan sido detectados en riesgo de abandono de una asignatura o de la titulación en general. Con carácter previo, se desarrollan métodos estadísticos que permitan la detección del riesgo de abandono de un estudiante

    Aprendizaje cooperativo. Un recurso indispensable en la formación universitaria

    Get PDF
    El Libro “Aprendizaje cooperativo Un recurso indispensable en la formación universitaria”, se enmarca dentro del Proyecto de Innovación docente Finestra Oberta UV_ SFPIE GER 15-314671, bajo la dirección de la Profesora María Elena Cobas Cobiella, del Departamento de Derecho Civil, de la Facultad de Derecho de la Universidad de Valencia. Este libro contiene 19 artículos inéditos de un grupo importante de profesores y especialistas en la temática nacionales e internacionales, así como con la intervención como colaboradores de estudiantes de Grado en Derecho, de la doble titulación Derecho- ADE de la Universidad de Valencia, y de Universidades internacionales. También han intervenido en el mismo estudiantes del Master de Mediación y Arbitraje y solución de conflictos en Derecho Privado 2015/2016 y del Proyecto Unisocietat L’Eliana Curso 2015 – 2016. Constituye una obra que eleva la práctica del aula a la teoría. Altamente recomendable para aquellos que incursionen en el camino de la docencia.The Book "Cooperative learning: an indispensable resource in university education" is part of the Project for teaching innovation "Finestra Oberta,UV_ SFPIE GER 15-314671", under the direction of Professor Maria Elena Cobas Cobiella, from Civil Law department of the Faculty of Law of the University of Valencia. This book contains 19 new articles of a large group of professors and specialists in national and international topics, as well as with the intervention as collaborators of Law degree students from the double degree Law-Business Administration from the University of Valencia, and also from international universities. They have also intervened in the book some students from the Master of Mediation, Arbitration and resolution of conflicts in Private Law 2015/2016 and from the Unisocietat L'Eliana project 2015/2016. It is a work that elevates the classroom practice towards the theory. Highly recommended for those who want to progress in the way of teaching.Los siguientes estudiantes han colaborado en la Parte Especial del Libro, con los resúmenes de sus trabajos de mapas conceptuales y los prezi:Ylenia Martínez, María Gómez Escrivá,Julieta Campora Espí, Blanca Giner Zarranz, Mario Zúñiga Martínez, Alicia Martínez Ruiz, Sandra Gimeno Bascuñana, Héctor Martínez Soler, Amparo García Navarro,Joan De la Haba Herrera,Alberto José Fourrat Calatayud, Juan Ortega Talamantes, Vicente Vila Subiela, Cristina Blázquez Sánchez, Sara Monsalve Alemany, Paula Navarro Román, Carlos Reyes Hernández,Jesús Sanz Carnero,José Guillermo Gil, Aroa Gimeno, José Manuel Aznar, Teresa Pérez, Antonio Fernández, Cristina Martin, Rodrigo Climent, José Ángel Molina Sánchez, Daniel Cabanes Ferrando, David Escobar Haro, Diego Martínez Amor, Mari Carmen Arnau Gil, Raquel Jiménez Gago, Daniel March Quevedo, Laura Alapont Vidal, Gema Canós Ferrandis, Mónica Costa Isabel, Jesús Sanmartín Viturro, Eduardo José Tobio García, Pau Viñuelas LLoria, María del Mar Figueroa Hernández, Minerva Llagunes Picazo, Lucía Olmos, José Olmedo, Brynn De Houwer, Enrique Pla Marcos, Héctor Tabernero Más, Laura Payá González, Blanca Martínez Pons,Alejandro Grima Margarit, Belén Català, Mariam Pérez, David Sánchez, Jorge Seguí ,Sara Tamarit,Fernando Aparisi Escriba, Analía Carballo Quispe,José Luis Moreno Miguel,Candy Priscilla Rojas Campoverde, Ademar Lledó Monfort, Irene Belles Rubio, Clara Calomarde Esteban, Marta Marín de la Dueña, Sergio Pinel Castillo,Maria Simo Martin, Daniel Rocher Camps, Sandra Nicolás Mascarell, Teresa Bartret García, Maria Amparo Monasort Pérez,Joan Vicente Torres Moreno, Belén Cuñat Salavert, Carmen Rodríguez Bertos, Aníbal Sánchez Gómez, Sofía Morant Muñoz, Pedro Ballester Martínez,Akbar Khawar, David Ortíz Soler, Jonathan Pérez Gutiérrez.Jorge Amat Andrés, M.ª Antonia García Juncos, Jenny Maritza González Vergara,Juan José Tocón Torres,Pau Zurita Varela, Manuel Calvo Pereiro, Carolina Luis Tamarit,Beatriz Muñoz Moncholí,Marta Conejero Sarrió, Guillermo Juarez Ginestar, Carolina Más Trullás,Ramón Fernández Pares, Carlos Hervás García,Carolina Tamarit García, Jose Belloch Ortí,Danilo Terán Taborga,Manuel Castillo Martínez, Isabel Martínez Salas, Carlos Javier Castello Domenech, Silvia Juste Frechina, Cristina Barrado Franco, Noemi De Miguel Domingo, Elena Masegosa Laurí, Maryana Seniv, Paula Sanz Perez, Liney Paola Peiró Soriano, José Manuel Zahonero Ferrer,Paula Pons Guillem,Andrea Oviedo Millán,Arnaud Wustefeld, Alba Ruiz-Santa Quiteria Lara,Lydia García Céspedes,Antonio Gomar López,Eva Piqueras García, Claudia Salvador Pérez, Joel David Alvarez Remy, Sheila Jorge Muñoz,Virginia Mendoza Leal,David Benavides Arenas, Mario Perera Sánchez, Vladimir Sarmiento Paizán,Javier Mustelier Armiñán,Diamela Salina Ocaña, Edel Morales Salazar,Fortunato Dong Oñaña,María del Carmen Carvajal Balagué,María del Carmen Daries Coll, Catalina Olmo Brazales,Mª Teresa Sánchez, Julia Serra Figuerola,Mª Nieves Valdearcos Quintín,Carmen Moraga Martín,María José Moragues, Salvador Lluch,Maribel Moreno,José Luis Coello,José Cebriá,Matilde Argente,Consuelo Martínez,Rosi Hernández,Susi García,Graciela Garibotti,Susana Bianchi,Judith Steffan,Susan Humphreys,Jesús Castellano,Ana Preus,Mª José Figueroa,Mª Teresa Carbonell,Lola Lombrera,Luisa Martínez Gordillo,Roberto Soler,Pilar Bezares Martínez, Ramón González Ferrer,Raquel González Sainz,Sacra Martínez Alarcón, Emetério Mirálles Ribot, Ramón Pubill Rocaort,Conchin Ruiz Leal, Isabel Sucarrat Bermejo,Pepa San Román Moñino,InmaTarín Arfella, Maise Tarín Arfella, Pedro Montalban,Carmen Kroebel, Lydia González, Carlos Gómez, Amparo Cuellar,Pilar Navarro,Luisa Vallejo, Encarna Monzó,Carmen Conca,Pilar Alegría, Sonia Almonacil, Inma Fernández, María José García Marcelo,Clara Olivert Pavia, Ana Herrero Martínez, Rosana Crespo Martínez, Carmen Vidal Casañ,José Ramón Villagrasa Tort,Juan Carlos López Cubero,Paco Velayos Sánchez,María de la O Pérez,Carles Montagut Alvarez, José Leopoldo Rodríguez Pla, Amanda Bernat Tinoco,Marta García Montañana, Ioana Roxana Moraru, Jenifer Perujo Plumed,María Ribera Cebolla,Amparo Esteve Cervera, Iris Pla Sempere,Juan Rafael Aranda Perozo,Jesús Collado Mas, Cristina Grimalt Molina,Isabel Rojo Lora, María Teresa Peirats Casanova,Rosana Marin Rausell, Ricardo Mejía Hidalgo,Pablo Pastor Aguilera,Daniel Trujillo Villalba,Yolanda Fuster Llidó, Lucas Lamarca Pedemonte, Gabriel Rosa Felipe
    corecore