Results 201 to 210 of about 1,494,052 (317)

Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods

, 2000
Michael Meyer zu Hörste, Srinivasan Parthasarathy, Eckehard Schnieder   +2 more
openalex   +1 more source

An integrating approach for developing distributed software systems-combining formal methods, software reuse, and the experience base [PDF]

, 2003
Raimund L. Feldmann, Birgit Geppert, Frank Rößler   +2 more
openalex   +1 more source

Mechanisms of Increasing Weld Depth during Temporal Power Modulation in High‐Power Laser Beam Welding

Advanced Engineering Materials, EarlyView.
Temporal power modulation increases weld depth in high‐power laser beam welding of dissimilar round bars by nearly 20% compared to same average continuously welded welding power. The mechanism of action also applies to sheet welding and depends on the inertia of keyhole depth for the modulated laser beam power.
Jan Grajczak, David Reynders, Christian Nowroth, Jens Twiefel, Jörg Wallaschek, Sarah Nothdurft, Jörg Hermsdorf, Stefan Kaierle   +7 more
wiley   +1 more source

Family Caregivers' Experiences of Formal Peer Support in a Finnish Setting - a Socioecological Understanding. [PDF]

Int J Integr Care
Åkerman S, Nyqvist F, Wentjärvi A, Coll-Planas L.   +3 more
europepmc   +1 more source

Anomaly Detection Method for Hybrid Workpieces Using Dynamic Time Warping

Advanced Engineering Materials, EarlyView.
Monitoring of hybrid workpieces: when machining hybrid workpieces, unavoidable axial deviations of the material transition zone cause temporal shifts in the process force signals. A new anomaly detection method based on dynamic time warping is proposed to detect material defects.
Berend Denkena, Benjamin Bergmann, Heinrich Klemme, Miriam Handrup   +3 more
wiley   +1 more source

Heterogeneity in internal medicine chief residency selection processes and role preparation: an opportunity for improvement. [PDF]

BMC Med Educ
Jones BLH, López L, Garg M.
europepmc   +1 more source

Non‐Destructive and Mechanical Characterization of the Bond Quality of Co‐Extruded Titanium‐Aluminum Profiles

Advanced Engineering Materials, EarlyView.
This study investigates the bond quality of co‐extruded aluminum–titanium hybrid profiles, focusing on the lateral angular co‐extrusion (LACE) process. It examines how heat treatments (HT) affect intermetallic phase formation, bond strength, and material properties.
Norman Mohnfeld, Ahmed Dewidar, Karim Qarbi, Hendrik Wester, Florian Patrick Schäfke, Alexej Verschinin, Hans Jürgen Maier, Sebastian Barton, Christian Klose, Johanna Uhe   +9 more
wiley   +1 more source

Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models. [PDF]

Sci Rep
Rehman A, Akhtar N, Alhazmi OH.
europepmc   +1 more source

Using formal methods to develop a paradigm for software design

, 1990
G.H. Chisholm, Barry Smith, A.S. Wojcik
openalex   +1 more source

Comparative Wear and Friction Analysis of Sliding Surface Materials for Hydrostatic Bearing under Oil Supply Failure Conditions

Advanced Engineering Materials, EarlyView.
Hydrostatic bearings excel in high‐precision applications, but their performance hinges on a continuous external supply. This study evaluates various material combinations for sliding surfaces to mitigate damage during supply failures or misalignment and to discover the most effective materials identified for enhancing the reliability and efficiency of
Michal Michalec, Lukáš Daněk, Jan Foltýn, Petr Svoboda, Carsten Gachot, Martin Hartl, Ivan Křupka   +6 more
wiley   +1 more source