Please find the pre-print online:
https://hal.inria.fr/hal-01334851
Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally expensive procedures have been developed to model check, test, configure, debug, or compute relevant information of feature models. In this paper we explore the possible improvement of relying on the enumeration of all configurations when performing automated analysis operations. The key idea is to pre-compile configurations so that reasoning operations (queries and transformations) can then be performed in polytime. We tackle the challenge of how to scale the existing enu-meration techniques. We show that the use of distributed computing techniques might offer practical solutions to previously unsolvable problems and opens new perspectives for the automated analysis of software product lines.
Methods for Improving Organizational Website IA by Barbora Batokova at World IA Day in Pittsburgh, PA.
This presentation will provide a brief overview of a 3-stage
design process for improving a site IA and will introduce you to tree testing and how to analyze the results.
Making NICUs Breastfeeding-Friendly: Meena JoshiLeith Greenslade
India is home to the world's largest number of preterm births and deaths. Ensuring all sick and vulnerable babies have access to breastmilk in the days and weeks after they are born is critical to keeping these babies alive. But as leading research group AIIMS discovered in its own hospital, a minority of NICU babies were being fed breastmilk. Meena Joshi describes how they turned that situation around.
Please find the pre-print online:
https://hal.inria.fr/hal-01334851
Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally expensive procedures have been developed to model check, test, configure, debug, or compute relevant information of feature models. In this paper we explore the possible improvement of relying on the enumeration of all configurations when performing automated analysis operations. The key idea is to pre-compile configurations so that reasoning operations (queries and transformations) can then be performed in polytime. We tackle the challenge of how to scale the existing enu-meration techniques. We show that the use of distributed computing techniques might offer practical solutions to previously unsolvable problems and opens new perspectives for the automated analysis of software product lines.
Methods for Improving Organizational Website IA by Barbora Batokova at World IA Day in Pittsburgh, PA.
This presentation will provide a brief overview of a 3-stage
design process for improving a site IA and will introduce you to tree testing and how to analyze the results.
Making NICUs Breastfeeding-Friendly: Meena JoshiLeith Greenslade
India is home to the world's largest number of preterm births and deaths. Ensuring all sick and vulnerable babies have access to breastmilk in the days and weeks after they are born is critical to keeping these babies alive. But as leading research group AIIMS discovered in its own hospital, a minority of NICU babies were being fed breastmilk. Meena Joshi describes how they turned that situation around.
SiriusCon2016 - Document Generation with M2DocObeo
Not everyone uses modeling tools and the awesome work one can do with these tools must be conveyed to the outside world, for instance, in the form of documents.
The M2Doc technology enables the generation of Office Open XML documents from Ecore models and Sirius representations.
The overall approach M2Doc implements consists in creating templates in the OOX format where static text authoring benefit from the WYSIWYG capabilities of the usual tools (e.g. Microsoft Word, Libre Office, Open Office). Dynamic parts are inserted using a dedicated vocabulary of OOX fields code. Fields are mainly used to insert page numbers, references, etc. M2Doc makes use them to describe documentation generation directives. This allows a total separation between the document and the M2Doc directives.
The template language makes an extensive use of the Acceleo Query Language which provides a full fledged, extensible model query language and engine.
In this talk, I will present the M2Doc technology and talk about the way it is integrated with Sirius.
Christmas 2015 proved to be a difficult one for UK retail. What happened? We identified four themes that are key to understanding the dynamics of the current retail market and provide a framework for realising exactly the disruption caused by the growth of online
MetaScience: Holistic Approach for Research Modeling and AnalysisJordi Cabot
This article (presented at the ER2016 conference) proposes a conceptual schema providing a holistic view of conference-related information (e.g., authors, papers, committees and topics). This schema is automatically and incrementally populated with data available online.
A number of data analysis and visualization algorithms are applied on top of this data to provide meaningful information to prospective authors, PC members and conference steering committeees
Growing up with agile - how the Spotify 'model' has evolved Peter Antman
Spotify is known for its agile organization. But how did we end up with it, what are the founding principles and how has it evolved? Speech held at the Bay Area Agile Leadership Network 3/15 2016.
How to identify customer pain points and create agile solutions that will ensure long term health for your brand? Alasdair Lennox walk us through innovation in retail at the 2016 Online & Offline Retail forum in Moscow.
Na sequência das Eleições Europeias realizadas em 26 de maio de 2019, Portugal elegeu 21 eurodeputados ao Parlamento Europeu para um mandato de cinco ano (2019-2024).
Desde essa data, alguns eurodeputados saíram e foram substituídos, pelo que esta é a nova lista atualizada em maio de 2024.
Para mais informações, consulte o dossiê temático Eleições Europeias no portal Eurocid:
https://eurocid.mne.gov.pt/eleicoes-europeias
Autor: Centro de Informação Europeia Jacques Delors
Fonte: https://infoeuropa.mne.gov.pt/Nyron/Library/Catalog/winlibimg.aspx?doc=52295&img=11583
Data de conceção: maio 2019.
Data de atualização: maio 2024.
Slides Lição 9, Central Gospel, As Bodas Do Cordeiro, 1Tr24.pptxLuizHenriquedeAlmeid6
Slideshare Lição 9, Central Gospel, As Bodas Do Cordeiro, 1Tr24, Pr Henrique, EBD NA TV, Revista ano 11, nº 1, Revista Estudo Bíblico Jovens E Adultos, Central Gospel, 2º Trimestre de 2024, Professor, Tema, Os Grandes Temas Do Fim, Comentarista, Pr. Joá Caitano, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Com. Extra Pr. Luiz Henrique, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique
SiriusCon2016 - Document Generation with M2DocObeo
Not everyone uses modeling tools and the awesome work one can do with these tools must be conveyed to the outside world, for instance, in the form of documents.
The M2Doc technology enables the generation of Office Open XML documents from Ecore models and Sirius representations.
The overall approach M2Doc implements consists in creating templates in the OOX format where static text authoring benefit from the WYSIWYG capabilities of the usual tools (e.g. Microsoft Word, Libre Office, Open Office). Dynamic parts are inserted using a dedicated vocabulary of OOX fields code. Fields are mainly used to insert page numbers, references, etc. M2Doc makes use them to describe documentation generation directives. This allows a total separation between the document and the M2Doc directives.
The template language makes an extensive use of the Acceleo Query Language which provides a full fledged, extensible model query language and engine.
In this talk, I will present the M2Doc technology and talk about the way it is integrated with Sirius.
Christmas 2015 proved to be a difficult one for UK retail. What happened? We identified four themes that are key to understanding the dynamics of the current retail market and provide a framework for realising exactly the disruption caused by the growth of online
MetaScience: Holistic Approach for Research Modeling and AnalysisJordi Cabot
This article (presented at the ER2016 conference) proposes a conceptual schema providing a holistic view of conference-related information (e.g., authors, papers, committees and topics). This schema is automatically and incrementally populated with data available online.
A number of data analysis and visualization algorithms are applied on top of this data to provide meaningful information to prospective authors, PC members and conference steering committeees
Growing up with agile - how the Spotify 'model' has evolved Peter Antman
Spotify is known for its agile organization. But how did we end up with it, what are the founding principles and how has it evolved? Speech held at the Bay Area Agile Leadership Network 3/15 2016.
How to identify customer pain points and create agile solutions that will ensure long term health for your brand? Alasdair Lennox walk us through innovation in retail at the 2016 Online & Offline Retail forum in Moscow.
Na sequência das Eleições Europeias realizadas em 26 de maio de 2019, Portugal elegeu 21 eurodeputados ao Parlamento Europeu para um mandato de cinco ano (2019-2024).
Desde essa data, alguns eurodeputados saíram e foram substituídos, pelo que esta é a nova lista atualizada em maio de 2024.
Para mais informações, consulte o dossiê temático Eleições Europeias no portal Eurocid:
https://eurocid.mne.gov.pt/eleicoes-europeias
Autor: Centro de Informação Europeia Jacques Delors
Fonte: https://infoeuropa.mne.gov.pt/Nyron/Library/Catalog/winlibimg.aspx?doc=52295&img=11583
Data de conceção: maio 2019.
Data de atualização: maio 2024.
Slides Lição 9, Central Gospel, As Bodas Do Cordeiro, 1Tr24.pptxLuizHenriquedeAlmeid6
Slideshare Lição 9, Central Gospel, As Bodas Do Cordeiro, 1Tr24, Pr Henrique, EBD NA TV, Revista ano 11, nº 1, Revista Estudo Bíblico Jovens E Adultos, Central Gospel, 2º Trimestre de 2024, Professor, Tema, Os Grandes Temas Do Fim, Comentarista, Pr. Joá Caitano, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Com. Extra Pr. Luiz Henrique, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique
Slides Lição 9, Betel, Ordenança para uma vida de santificação, 2Tr24.pptxLuizHenriquedeAlmeid6
Slideshare Lição 9, Betel, Ordenança para uma vida de santificação, 2Tr24, Pr Henrique, EBD NA TV, 2° TRIMESTRE DE 2024, ADULTOS, EDITORA BETEL, TEMA, ORDENANÇAS BÍBLICAS, Doutrina Fundamentais Imperativas aos Cristãos para uma vida bem-sucedida e de Comunhão com DEUS, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Comentários, Bispo Abner Ferreira, Com. Extra Pr. Luiz Henrique, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique
CIDADANIA E PROFISSIONALIDADE 4 - PROCESSOS IDENTITÁRIOS.pptxMariaSantos298247
O presente manual foi concebido como instrumento de apoio à unidade de formação de curta duração – CP4 – Processos identitários, de acordo com o Catálogo Nacional de Qualificações.
América Latina: Da Independência à Consolidação dos Estados NacionaisValéria Shoujofan
Aula voltada para alunos do Ensino Médio focando nos processos de Independência da América Latina a partir dos antecedentes até a consolidação dos Estados Nacionais.
regulamento de uniformes do colegio da policia militar do estado do tocantins regulamento de uniformes do colegio da policia militar do estado do tocantins regulamento de uniformes do colegio da policia militar do estado do tocantins regulamento de uniformes do colegio da policia militar do estado do tocantins regulamento de uniformes do colegio da policia militar do estado do tocantins regulamento de uniformes do colegio da policia militar do estado do tocantins regulamento de uniformes do colegio da policia militar do estado do tocantins
