Results 11 to 20 of about 48,774 (262)

The Use of Language Projection for Compositional Verification of Discrete Event Systems

, 2008
This paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety property.
Simon Ware, Malik, Robi, Robi Malik, Ware, Simon   +3 more
core   +1 more source

Analysing the significance of small conformational changes and low occupancy states in serial crystallographic data

FEBS Open Bio, EarlyView.
This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill, Yelyzaveta Pulnova, Elke De Zitter, Helen M. Ginn, Briony A. Yorke   +4 more
wiley   +1 more source

Estimating the benefit of the parallelisation of discrete event simulation

, 1995
This paper presents a technique which attempts to aid the simulationist in the decision as to whether or not simulation should be implemented on a multiprocessing computer.
Simon J. E. Taylor, Thierry Delaitre, Delaitre, T, Fatin, A, Farshad Fatin, Taylor, SJE   +5 more
core   +1 more source

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

Adaptive Observer for Coupled Wave PDE and Infinite ODE With Sampled Data and Unknown Input: Application to Brain Hemodynamics Estimation

International Journal of Adaptive Control and Signal Processing, EarlyView.
This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir, Sarah Mechhoud, Taous‐Meriem Laleg‐Kirati   +2 more
wiley   +1 more source

Laser Powder Bed Fusion of Alumina: Effects of Scanning Strategies on External and Internal Defects

Advanced Engineering Materials, EarlyView.
This study investigates how scanning strategies affect pure alumina in laser powder bed fusion. Linear 45° scanning yields uniform surfaces but high porosity, while the island‐concentric strategy provides higher density with through‐holes favorable for infiltration. Findings highlight pathways toward optimizing defect‐free alumina parts.
Mohamed Abdelmoula, Gökhan Küçüktürk, Duran Kaya, David Grossin, Christophe Tenailleau, Benjamin Duployer, Enrique Juste, Fabrice Petit   +7 more
wiley   +1 more source

A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions

Advanced Engineering Materials, EarlyView.
This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice, Krzysztof S. Stopka, Michael D. Sangid   +2 more
wiley   +1 more source

Generation of synthetic manufacturing datasets for machine learning using discrete-event simulation [PDF]

, 2022
Recent advances in computing power have seen machine learning becoming an area of significant interest in manufacturing for scholars attempting to realise its full potential.
Chan, K. C., Rabaev, Marsel, Pratama, Handy   +2 more
core   +1 more source

A Thermodynamic 3D Model for the Simulation of Diffusion‐Controlled Alloying Processes in Heterogeneous Material Structures

Advanced Engineering Materials, EarlyView.
A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer, Leonhard Holländer, André Langohr, Hans Jürgen Maier   +3 more
wiley   +1 more source

A Numerical–Experimental Approach for Multi‐Matrix Fiber‐Reinforced Plastics Characterization Using Finite Element Model Updating

Advanced Engineering Materials, EarlyView.
A numerical–experimental framework is developed for characterizing multi‐matrix fiber‐reinforced polymers (MM‐FRPs) combining epoxy and polyurethane matrices. Harmonic bending tests are integrated with finite element model updating (FEMU) to simultaneously identify elastic and viscoelastic material parameters.
Rodrigo M. Dartora, Tales V. Lisbôa, Axel Spickenheuer, Rogério J. Marczak, Jakson M. Vassoler   +4 more
wiley   +1 more source