Results 61 to 70 of about 2,335,361 (286)
Arthritis Care &Research, EarlyView.Objective Hydroxychloroquine (HCQ) is a cornerstone therapy in systemic lupus erythematosus (SLE), but the weight‐based dosing does not account for clinical factors that can introduce individual variability in drug metabolism and clearance. We leveraged longitudinal data from a prospective SLE cohort to identify clinical factors that predict ...
Jay J. Patel +6 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt +8 more
wiley +1 more source
Leveraging ChatGPT for Enhanced Logical Analysis in the Theory of Constraints Thinking Process
OrganizacijaArtificial intelligence (AI) has traditionally been used for quantitative analysis using explicit data. However, much of the information critical to decision making remains undocumented and is not stored in a structured way.
Aljaž Tomaž
doaj +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Logical approximation for program analysis [PDF]
Higher-Order and Symbolic Computation, 2011 The abstract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying operational semantics in a specification framework based on bottom-up logic programming in ordered logic – a technique we call substructural operational semantics (SSOS) –
Robert J. Simmons, Frank Pfenning
openaire +2 more sources
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
Analysis of Logical Consequence in Islamic Logic, and its Compatibility with Metaphysical Realism [PDF]
حکمت سینویThe relationship of logical consequence can be understood through at least two primary perspectives: proof-theoretic and model-theoretic. From a proof-theoretic standpoint, the existence of a proof that derives a conclusion from premises indicates that ...
Hamid Alaeinejad
doaj +1 more source
Semantical Analysis of Specification Logic
Information and Computation, 1985 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Deterministic Detection of Single Ion Implantation
Advanced Engineering Materials, EarlyView.Focused ion beam implantation with high detection efficiencies will enable the rapid and scalable fabrication of advanced spin‐based technologies such as qubits. This work presents the detection efficiencies of a wide range of ions implanted into solid‐state hosts, with efficiencies of >90% recorded for ion species and substrate combinations of ...
Mason Adshead +6 more
wiley +1 more source
Exact minimal-state system reliability analysis [PDF]
, 1969 System reliability equation, an exact function of component reliabilities, for a system with a finite number of points is derived from the minimal states which are found by logical analysis of the configuration.
Locks, M. O.
core +1 more source