25 papers · ranked by Valyu relevance
Juan Antonio Ruiz Ceniceros, José Alfonso Aguilar-Calderón, Roberto Espinosa, Carolina Tripp-Barba + 1 more
'Roberto Espinosa' 'Carolina Tripp-Barba' 'Andrea Omicini'] Integration of legacy and third-party software systems is almost mandatory for enterprises. This fact is based mainly on exchanging information with other entities (banks, suppliers, customers, partners, etc.). That is why it is necessary to guarantee the…
Anne-Christin Hauschild, Roman Martin, Sabrina Celine Holst, Joachim Wienbeck + 1 more
'Joachim Wienbeck' 'Dominik Heider'] Title: Summary The long-lasting trend of medical informatics is to adapt novel technologies in the medical context. In particular, incorporating artificial intelligence to support clinical decision-making can significantly improve monitoring, diagnostics, and prognostics for the…
Mehrdad Saadatmand
—Software systems typically consist of various interacting components and units. While these components can be tested and shown to work correctly in isolation, when integrated and start interacting with each other, they may fail to produce the desired behaviors and results. Integration testing plays an important role…
Katerina Paltoglou, Vassilis E. Zafeiris
We propose a method that employs static and dynamic analysis for augmenting a test suite with automatically generated unit tests. The method is most suitable for test suites where the stratification of unit, integration and system tests does not conform to the recommended test pyramid structure: numerous unit tests…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…
Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre + 1 more
'James C. Davis'] Abstract—Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose defects in actual implementations. For this purpose, engineers use code-level tools. However, such tools struggle…
Alexej Beresnev, Bernhard Rumpe⋆, Frank Schoven
—Automated and therefore repeatable tests are important in product lines to ensure and maintain quality of software functions as well as efficiency of the developers. This article shows methods for fully automated testing of SIMULINK models with the slUnit framework and techniques for the integration of slUnit tests in…
Ksenia Lavrichenko, Emilie Sofie Engdal, Rasmus L. Marvig, Anders Jemt + 30 more
Next Generation Sequencing (NGS) is increasingly used in clinical diagnostics, largely driven by the success and robustness of Whole Genome Sequencing (WGS). Whereas updated guidelines exist for how to interpret and report on variants that are identified from NGS using bioinformatics pipelines, there is a need for…
Rex A. Cardan, Elizabeth L. Covington, Richard A. Popple
3.4.1#### Unit testing As highlighted by Levenson,17 specification of software and isolation of safety-critical components is paramount to safe software practices. One practical way of both specifying the objective and isolating a part of the software from other parts is to design the entire application as a collection…
Niloofar Shahidi, Michael Pan, Kenneth Tran, Edmund J. Crampin + 1 more
Hierarchical modelling is essential to achieving complex, large-scale models. However, not all modelling schemes support hierarchical composition, and correctly mapping points of connection between models requires comprehensive knowledge of each model’s components and assumptions. To address these challenges in…
Matthias König
To address the issue of reproducibility in computational modeling we developed the concept of an executable simulation model (EXSIMO). An EXSIMO combines model, data and code with the execution environment to run the computational analysis in an automated manner using tools from software engineering. Key components are…
Hojeong Kim, Minjung Kim
We constructed a physiologically plausible computationally efficient model of a motor unit and developed simulation software that allows for integrative investigations of the input-output processing in the motor unit system. The model motor unit was first built by coupling the motoneuron model and muscle unit model to…
Gopal P. Sarma, Travis W. Jacobs, Mark D. Watts, S. Vahid Ghayoomie + 2 more
'Stephen D. Larson' 'Richard C. Gerkin'] The growth of the software industry has gone hand in hand with the development of tools and cultural practices for ensuring the reliability of complex pieces of software. These tools and practices are now acknowledged to be essential to the management of modern software. As…
Malcolm Sim, Mohammad Ghazi Vakili, Felix Strieth-Kalthoff, Han Hao + 4 more
Self-driving laboratories (SDLs), which combine automated experimental hardware with computational experiment planning, have emerged as powerful tools for accelerating materials discovery. The intrinsic complexity created by their multitude of components requires an effective orchestration platform to ensure the…
Fuzhan Rahmanian, Stefan Fuchs, Maximilian Fichtner, Helge Sören Stein
Discoveries of novel electrolyte-electrode combinations require comprehensive structure-propertyinterface correlations. Herein, we present an autonomous millimeter scale high-throughput battery research system (MISCHBARES) operated by hierarchical autonomous laboratory automation and orchestration (HELAO) which…
Authors not listed
The widespread adoption of open-source cheminformatics toolkits remains constrained by technical implementation barriers, including complex installation procedures, dependency management, and integration challenges. Here, we present Cheminformatics Microservice V3, a significant update to the existing platform that…
David Flater
International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC) 80000, the International System of Quantities, collects and organizes the most important physical quantities into a coherent system of quantities whose foundation for measurements is the International System of Units…
Michael Pan, Peter J. Gawthrop, Joseph Cursons, Edmund J. Crampin
It is widely acknowledged that the construction of large-scale dynamic models in systems biology requires complex modelling problems to be broken up into more manageable pieces. To this end, both modelling and software frameworks are required to enable modular modelling. While there has been consistent progress in the…
Youssef Bassil
– As per leading IT experts, today's large enterprises are going through business transformations. They are adopting service-based IT models such as SOA to develop their enterprise information systems and applications. In fact, SOA is an integration of loosely-coupled interoperable components, possibly built using…
Julien Rossato, François Hug, Kylie Tucker, Ciara Gibbs + 3 more
Decoding the activity of individual neural cells during natural behaviours allows neuroscientists to study how the nervous system generates and controls movements. Contrary to other neural cells, the activity of spinal motor neurons can be determined non-invasively (or minimally invasively) from the decomposition of…
Chuanfang Ning, Gabriel Bunke, Simon Lietar, Lukas van den Heuvel + 1 more
We developed a versatile lab-on-chip (LOC) workcell that enables the design and automatic execution of experiments on LOC devices, improving how we establish, optimize, and productionalize LOC processes. Key features include direct docking and cooling of native laboratory tubes, programmable reagent mixing and…
Richard C. Gerkin, Justas Birgiolas, Russell J. Jarvis, Cyrus Omar + 1 more
Validating a quantitative scientific model requires comparing its predictions against many experimental observations, ideally from many labs, using transparent, robust, statistical comparisons. Unfortunately, in rapidly-growing fields like neuroscience, this is becoming increasingly untenable, even for the most…
Ayush Pandey, Makena L. Rodriguez, William Poole, Richard M. Murray
We present a full-stack modeling, analysis, and parameter identification pipeline to guide the modeling and design of biological systems starting from specifications to circuit implementations and parameterizations. We demonstrate this pipeline by characterizing the integrase and excisionase activity in cell-free…
Dan Guevarra, Kevin Kan, Yungchieh Lai, Ryan Jones + 5 more
Advancements in artificial intelligence (AI) for science are continually expanding the value proposition for automation in materials and chemistry experiments. The advent of hierarchical decision-making also motivates automation of not only the individual measurements but also the coordination among multiple research…
Authors not listed
Scientific discovery relies on innovative software as much as experimental methods, especially in proteomics, where computational tools are essential for mass spectrometer setup, data analysis, and interpretation. Since the introduction of SEQUEST, proteomics software has grown into a complex ecosystem of algorithms…