Results 31 to 40 of about 858,963 (269)

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

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

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

Adherence to Protocol Recommendations for Children With Wilms Tumour in Two Consecutive Studies in the United Kingdom and Ireland—Does Variation Matter?

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background and Aims Wilms tumour (WT) has excellent event‐free and overall survival (OS). However, small differences exist between countries participating in the same international study. This led us to examine variation in adherence to protocol recommendations as a potential contributing factor.
Suzanne Tugnait, R. Al‐Saadi, A. Lopez‐Cortes, K. Dzhuma, M. Oostveen, J. Brok, S. Irtan, M. Weeks, J. Bate, S. Baker, R. Williams, M. Powis, D. Saunders, O. Olsen, T. Watson, S. Shelmerdine, S. Vaidya, L. Howell, C. Duncan, G. M. Vujanic, C. Stiller, G. P. Balchin, T. Chowdhury, K. Pritchard‐Jones   +23 more
wiley   +1 more source

Financial Burden Associated With Hospitalisation Among Families of Childhood Brain Tumours in Australia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Families of children with cancer experience significant financial strain, even with universal healthcare. Indirect costs, such as productivity losses and non‐medical expenses, are rarely included in economic evaluations, and little is known about how effectively financial aid programmes alleviate this burden. Childhood brain tumours
Megumi Lim, Natalie Bradford, David Brain, Sameera Senanayake, Sanjeewa Kularatna, Kate Young, Christine Cashion, Tim Hassall, Susanna Cramb   +8 more
wiley   +1 more source

Conceptual data systems architecture principles for information systems

Frontiers in Computer Science, 2023
Information systems alignment with enterprise evolution affects the performance of enterprises. The systems conceptual and data quality, development time and sustainable life cycle management, are issues for enterprise competitiveness.
Tomas Jonsson
doaj   +1 more source

The Fate (Outcome) of Clinically Apparent Single Lesion and Oligofocal Nephroblastomatosis Treated According to SIOP/GPOH Protocols for Wilms Tumor

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background The management of clinically apparent single lesions or oligofocal nephroblastomatosis, a facultative precursor of nephroblastoma, remains debated. Methods We retrospectively analyzed 37 patients with clinically apparent single or oligofocal nephroblastomatosis (two to three lesions per kidney) among 2347 patients registered between
Nils Welter, Jens‐Peter Schenk, Jenny Wegert, Manfred Gessler, Leo Kager, Stefan Wagenpfeil, Marina Müller, Jean‐Michel Wolff, Joerg Fuchs, Steven W. Warmann, Clemens‐Magnus Meier, Jochen Hubertus, Christian Rübe, Christian Vokuhl, Patrick Melchior, Lena Tschirner, Norbert Graf, Rhoikos Furtwängler   +17 more
wiley   +1 more source