Results 31 to 40 of about 9,844 (253)

Denotational trace: a category-theoretic solution to the practical problems of software execution tracing [PDF]

, 2015
Here, the use of category theory, long advocated as applicable for manipulating many abstractions found in computer programming, is extended to serve additionally as a meta-level design tool to address a practical, software engineering problem: the design and use of effective software execution tracing systems.
openaire   +3 more sources

SPG4 and Dementia: Expanding the Clinical Spectrum

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Hereditary spastic paraplegia (HSP) is a group of disorders characterized by progressive spasticity and lower limb weakness, with mutations in SPG4/SPAST being the most common cause. Detailed studies and clinical and molecular comparisons across different populations are missing.
Emanuele Panza, Arun Meyyazhagan, Eliseo Picchi, Gustavo Ribas, Ingrid Faber, Ryosuke Miyamoto, Preethi Basavaraju, Paolo Eusebi, Haripriya Kuchi Bhotla, Mario Stasi, Fabrizio Gaudiello, Francesco Patti, Filippo Maria Santorelli, Marcondes Cavalcante França Jr, José Luiz Pedroso, Orlando Graziani Povoas Barsottini, Hélio Afonso Ghizoni Teive, Peter Henry St George‐Hyslop, Toshitaka Kawarai, Antonio Orlacchio   +19 more
wiley   +1 more source

Field Report from Collaborative Research Center 1625: Heterogeneous Research Data Management Using Ontology Representations

Advanced Engineering Materials, EarlyView.
A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed, Samuel García Vázquez, Behnam Mardani, Victor Dudarev, Alfred Ludwig, Maribel Acosta, Markus Stricker   +6 more
wiley   +1 more source

Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows

Advanced Engineering Materials, EarlyView.
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba, Sang‐Hyeok Lee, Christina Gasper, Martina Freund, Sandra Korte‐Kerzel, Ulrich Kerzel   +5 more
wiley   +1 more source

A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann, Sarath Menon, Raphael Röske, Johannes Steinhülb, Michael Selzer, Jan Janssen, Tilmann Hickel, Ruth Schwaiger, Jörg Neugebauer   +8 more
wiley   +1 more source

Program Anomalies Detection by Fuzzy Conceptual Learning From Correct Traces in a Bounded Domain

IEEE Access
In this paper, we present an original method for anomaly detection in a program during execution based on a fuzzy context representation of its traces. A trace is a sequence of bounded values of program variables.
Fahad Islam, Ahmad Qadeib Alban, Qutaibah Malluhi, Ali Jaoua   +3 more
doaj   +1 more source

A survey of methods and tools to detect recent and strong positive selection

Journal of Biological Research - Thessaloniki, 2017
Positive selection occurs when an allele is favored by natural selection. The frequency of the favored allele increases in the population and due to genetic hitchhiking the neighboring linked variation diminishes, creating so-called selective sweeps ...
Pavlos Pavlidis, Nikolaos Alachiotis
doaj   +1 more source

PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science

Advanced Engineering Materials, EarlyView.
Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley   +1 more source

Semi-Automatic Locating of Cryptographic Operations in Side-Channel Traces

Transactions on Cryptographic Hardware and Embedded Systems, 2021
Locating a cryptographic operation in a side-channel trace, i.e. finding out where it is in the time domain, without having a template, can be a tedious task even for unprotected implementations. The sheer amount of data can be overwhelming.
Jens Trautmann, Arthur Beckers, Lennert Wouters, Stefan Wildermann, Ingrid Verbauwhede, Jürgen Teich   +5 more
doaj   +1 more source

Inverse Identification of Energy‐Dependent Laser Absorptivity in NiTi Laser Powder‐Bed Fusion via Calibrated Melt Pool Simulation

Advanced Engineering Materials, EarlyView.
A combined experimental–computational framework identifies energy‐dependent laser absorptivity for NiTi in laser powder‐bed fusion, applicable to conduction and transition modes. Single‐track experiments and thermofluid smoothed particle hydrodynamics simulations are coupled through inverse analysis of melt pool geometry.
Mohamadreza Afrasiabi, Hadi Moutablaleh, Ignatius A. Setiawan, Mehrshad Mehrpouya   +3 more
wiley   +1 more source