Results 131 to 140 of about 1,475,237 (325)
Weighted and unweighted trace automata [PDF]
, 2009 We reprove Droste & Gastin's characterisation from [3] of the behaviors of weighted trace automata by certain rational expressions. This proof shows how to derive their result on weighted trace automata as a corollary to the unweighted counterpart shown ...
Kuske Dietrich
core
Arthritis Care &Research, Accepted Article.Objective For cartilage morphology to serve as a scalable endpoint in clinical trials, analyses should be performed automatically without human interaction. To clinically validate artificial intelligence (AI)‐based analysis, we studied cartilage loss from MRI prior to knee replacement.
Felix Eckstein +3 more
wiley +1 more source
Equations and Coequations for Weighted Automata [PDF]
, 2015 We study weighted automata from both an algebraic and a coalgebraic perspective. In particular, we consider equations and coequations for weighted automata. We prove a duality result that relates sets of equations (congruences) with (certain) subsets of coequations.
J.R. Salamanca Tellez (Julian) +2 more
openaire +3 more sources
Arthritis Care &Research, EarlyView.Objective The aim of this study was to characterize the prevalence and correlates of dietary supplement use, identify commonly used supplements, and evaluate potential supplement–medication interactions among adults with systemic lupus erythematosus (SLE).
Sarah L. Patterson +7 more
wiley +1 more source
dynoGP: Deep Gaussian Processes for Dynamic System Identification
International Journal of Adaptive Control and Signal Processing, EarlyView.This work introduces a novel class of deep models for system identification, dynamical deep Gaussian processes, which combine the strengths of data‐driven methods, such as those based on neural network architectures, with the ability to output a probability distribution for uncertainty representation.
Alessio Benavoli +3 more
wiley +1 more source
Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA
IJCCS (Indonesian Journal of Computing and Cybernetics Systems), 2016 Information and Communication Technology systems is a most important part of society. These systems are becoming more and more complex and are massively encroaching on daily life via the Internet and all kinds of embedded systems.
Rachmat Wahid Saleh Insani +1 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.This article presents the design, modeling, and characterization of air‐pressure–actuated programmable vibroacoustic metamaterials (PVAMM). The study focuses on leveraging air pressure to dynamically tune resonance frequencies for effective noise attenuation.
William Kaal +2 more
wiley +1 more source
International Journal of Interactive Multimedia and Artificial Intelligence, 2017 The major challenge with fractal image/video coding technique is that, it requires more encoding time. Therefore, how to reduce the encoding time is the research component remains in the fractal coding.
Shailesh Kamble +2 more
doaj +1 more source
Morphology, Transport, and Dynamics of Protein Adsorption in Open‐Cell Metal Foam
Advanced Engineering Materials, EarlyView.Stainless steel (SS) open‐cell foams are shown to adsorb more protein per unit area than previously reported 316L SS and chromium oxide surfaces under static and flow conditions. An integrated approach combining 3D pore imaging, flow simulation, and protein adsorption experiments characterizes the foam’s performance.
Chinmaya Prerana Inguva +2 more
wiley +1 more source
A Novel Approach to Estimate the Transition Temperature via Dynamic Nanoindentation
Advanced Engineering Materials, EarlyView.A new dynamic nanoindentation‐based method was developed that uses the stiffness ratio as an indicator of the elastic–plastic deformation contributions at different temperatures. The approach successfully identified transition temperatures in ferritic steel and distinguished them from continuously ductile austenitic steel.
Stefan Zeiler +4 more
wiley +1 more source