Results 41 to 50 of about 3,690,239 (301)

A Model Transformation Method Based on Simulink/Stateflow for Validation of UML Statechart Diagrams

Mathematics
A model transformation method based on state refinement and semantic mapping is proposed to address the challenges of high modeling complexity and resource consumption in symbolic validation of industrial software requirements.
Runfang Wu, Ye Du, Meihong Li
doaj   +1 more source

Checking Model Transformation Refinement [PDF]

, 2013
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-38883-5_15 Proceedings of 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013 Refinement is a central notion in computer science, meaning that some artefact S can be safely replaced by a refinement R, which preserves S’s properties.
Büttner, Fabian, Egea, Marina, Guerra, Esther, de Lara, Juan   +3 more
openaire   +3 more sources

Automating the transformation-based analysis of visual languages [PDF]

, 2009
The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-009-0114-yWe present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source ...
Lara, Juan de, Vangheluwe, Hans
core   +3 more sources

Transformer models in biomedicine [PDF]

BMC Medical Informatics and Decision Making
AbstractDeep neural networks (DNN) have fundamentally revolutionized the artificial intelligence (AI) field. The transformer model is a type of DNN that was originally used for the natural language processing tasks and has since gained more and more attention for processing various kinds of sequential data, including biological sequences and structured
Madan, Sumit, Lentzen, Manuel, Brandt, Johannes, Rueckert, Daniel, Hofmann-Apitius, Martin, Fröhlich, Holger   +5 more
openaire   +4 more sources

Robust Control Based on Adaptative Fuzzy Control of Double-Star Permanent Synchronous Motor Supplied by PWM Inverters for Electric Propulsion of Ships

Mathematics
This study presents the development of an adaptive fuzzy control strategy for double-star PMSM-PWM inverters used in ship electrical propulsion. The approach addresses the current and speed tracking challenges of double-star permanent magnet synchronous ...
Djamel Ziane, Samir Zeghlache, Mohamed Fouad Benkhoris, Ali Djerioui   +3 more
doaj   +1 more source

The TTC 2013 Flowgraphs Case

, 2013
This case for the Transformation Tool Contest 2013 is about evaluating the scope and usability of transformation languages and tools for a set of four tasks requiring very different capabilities.
Horn, Tassilo
core   +2 more sources

Stress-Induced Phase Transformations in Shape-Memory Polycrystals [PDF]

, 2008
Shape-memory alloys undergo a solid-to-solid phase transformation involving a change of crystal structure. We examine model problems in the scalar setting motivated by the situation when this transformation is induced by the application of stress in a ...
Bhattacharya, Kaushik, Schlömerkemper, Anja   +1 more
core   +2 more sources

Variability Model Transformations: Towards Unifying Variability Modeling

2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2020
A plethora of variability modeling approaches has been developed in the last 30 years. Feature modeling and decision modeling became the most common and well-known groups of variability modeling approaches. Even within these groups, however, there are many different variants of approaches.
Feichtinger, Kevin, Rabiser, Rick
openaire   +2 more sources

MANTra: Towards Model Transformation Testing [PDF]

2010 Seventh International Conference on the Quality of Information and Communications Technology, 2010
Model-driven development is gaining importance in software engineering practice. This increasing usage asks for a new generation of testing tools to verify correctness and suitability of model transformations. This paper presents a novel approach to unit testing QVT Operational (QVTO) transformations, which overcomes limitations of currently available ...
CIANCONE, ANDREA, FILIERI, ANTONIO, MIRANDOLA, RAFFAELA   +2 more
openaire   +2 more sources

Treatment Decision‐Making Roles and Preferences Among Adolescents and Young Adults With Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Decision‐making (DM) dynamics between adolescents and young adults (AYAs) with cancer, parents, and oncologists remain underexplored in diverse populations. We examined cancer treatment DM preferences among an ethnically and socioeconomically diverse group of AYAs and their parents.
Amanda M. Gutierrez, Jill O. Robinson, Wendy A. Allen‐Rhoades, Hadley S. Smith, Isabel Canfield, Rebecca L. Hsu, Sarah R. Scollon, Lauren R. Desrosiers‐Battu, Nicole M. Schneider, Frank Y. Lin, Donald Williams Parsons, Sharon E. Plon, Mary A. Majumder, Janet Malek, Amy L. McGuire   +14 more
wiley   +1 more source