Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
Coupling recent imaging capabilities with microstructural finite element (microFE) analysis offers a powerful tool to determine bone stiffness and strength. It shows high potentia...
Constantine Bekas, Alessandro Curioni, Peter Arben...
IMS2 is an Integrated Medical Software system for the analysis of Ion Mobility Spectrometry (IMS) data. It assists medical staff with the following IMS data processing steps: acqu...
Jan Baumbach, Alexander Bunkowski, Sita Lange, Tim...
Local search algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. For SAT, some ...