Concept
UML (informatique)
Publications associées (165)
Text-to-Microstructure Generation Using Generative Deep Learning
Designing novel materials is greatly dependent on understanding the design principles, physical mechanisms, and modeling methods of material microstructures, requiring experienced designers with expertise and several rounds of trial and error. Although rec ...
Wiley-V C H Verlag Gmbh2024General and Unified Model of the Power Flow Problem in Multiterminal AC/DC Networks
Mario Paolone, Willem Lambrichts
This paper proposes a generic and unified model of the power flow (PF) problem for multiterminal hybrid AC/DC networks. The proposed model is an extension of the standard AC-PF. The DC network is treated as an AC one and, in addition to the Slack, PV and P ...
2024Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971
Mihai Adrian Ionescu, David Atienza Alonso
The integration of information technologies into medical systems has led to an increase in digitalization, which results in enormous possibilities, but also challenges in system development. The ever-growing complexity of modern medical devices (MD) requir ...
2023An end-to-end pipeline for historical censuses processing
Lucas Arnaud André Rappo, Rémi Guillaume Petitpierre, Marion Kramer
Censuses are structured documents of great value for social and demographic history, which became widespread from the nineteenth century on. However, the plurality of formats and the natural variability of historical data make their extraction arduous and ...
2023REFINER: Reasoning Feedback on Intermediate Representations
Boi Faltings, Robert West, Maxime Jean Julien Peyrard, Antoine Bosselut, Beatriz Maria Borges Ribeiro, Debjit Paul, Mahammad Ismayilzada
Language models (LMs) have recently shown remarkable performance on reasoning tasks by explicitly generating intermediate inferences, e.g., chain-of-thought prompting. However, these intermediate inference steps may be in- appropriate deductions from the i ...
2023Direct Model-checking of SysML Models
Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...
SCITEPRESS2021