Results 291 to 300 of about 1,501,622 (351)

A Case Study on Formal Sequential Equivalence Checking based Hierarchical Flow Setup towards Faster Convergence of Complex SOC Designs

Anantharaj Thalaimalai Vanaraj, Reshi Razdan   +1 more
openalex   +2 more sources

Machine Learning‐Enabled Polymer Discovery for Enhanced Pulmonary siRNA Delivery

Advanced Functional Materials, EarlyView.
This study provides an efficient approach to train a machine learning model by merging heterogeneous literature data to predict suitable polymers for siRNA delivery. Without the need for extensive laboratory synthesis, the machine learning enabled a virtual screening and successfully predicted a polymer that is validated for effective gene silencing in
Felix Sieber‐Schäfer, Min Jiang, Adrian Kromer, Anny Nguyen, Müge Molbay, Simone Pinto Carneiro, David Jürgens, Gerald Burgstaller, Bastian Popper, Benjamin Winkeljann, Olivia Monika Merkel   +10 more
wiley   +1 more source

Fractional order tracking control of a disturbed differential mobile robot. [PDF]

PLoS One
Aguilar-Pérez JI, Duarte-Mermoud MA, Velasco-Villa M, Castro-Linares R.   +3 more
europepmc   +1 more source

Combined Neuromuscular Electrical Stimulation and Elastic Taping Improves Ankle Range of Motion Equivalent to Static Stretching in Untrained Subjects. [PDF]

J Funct Morphol Kinesiol
Ito R, Igawa T, Urata R, Ito S, Suzuki K, Takahashi H, Toda M, Fujita M, Kubo A.   +8 more
europepmc   +1 more source

Efficacy and Safety of a Fixed-Dose Combination of Etoricoxib-Tramadol Biphasic Tablet in Moderate-to-Severe Acute Pain: A Randomized, Double-Blind, Parallel-Group, Active-Controlled Trial. [PDF]

J Clin Med
Sibaja TA, Espinoza GA, Dávila YI, Salinas EM, Venegas JJ, Batista D, Delgado-Roche L.   +6 more
europepmc   +1 more source

Efficacy and safety of rituximab biosimilar (DRL_RI) versus MabThera^® in low-tumor-burden follicular lymphoma: the FLINTER study. [PDF]

Ther Adv Med Oncol
Maharaj N, Uppada DR, Eswaraiah A, Kakkattu R, Reddy P, Kalenik VA, Belada D, Ramos AO, Kim JS, Baranau YV.   +9 more
europepmc   +1 more source

Agreement and Reliability Between Tele-Assessment and In-Person Assessment of the One-Minute Sit-to-Stand Test in Patients with Chronic Respiratory Diseases. [PDF]

J Clin Med
Larrateguy S, Otto-Yáñez M, Bogado J, Larrateguy L, Barros-Poblete M, Mazzucco G, Blanco I, Gimeno-Santos E, Torres-Castro R.   +8 more
europepmc   +1 more source

Further <i>N</i>-Frame networking dynamics of conscious observer-self agents via a functional contextual interface: predictive coding, double-slit quantum mechanical experiment, and decision-making fallacy modeling as applied to the measurement problem in humans and AI. [PDF]

Front Comput Neurosci
Edwards DJ.
europepmc   +1 more source

Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence.

, 2007
Stéphane Le Roux
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

On the Convergence of Formal Equivalence between Embeddings

The Annals of Mathematics, 1981
Let j: X --* W denote the morphism embedding the compact complex manifold X into the manifold W. The formal principle holds (for j) if, given any other embedding j': X'-W' together with a formal isomorphism between j and j', there is an actual ...
A. Hirschowitz
semanticscholar   +3 more sources