Results 71 to 80 of about 638,600 (248)
<!--[if gte mso 9]><xml> Normal 0 false false false MicrosoftInternetExplorer4 </xml><![endif]--><!--[if gte mso 9]><xml> </xml><![endif]--> <!--[if gte mso 10]> <style> /* Style ...
Naveed Nilforushan +3 more
doaj
Automated verification of termination certificates [PDF]
In order to increase user confidence, many automated theorem provers provide certificates that can be independently verified. In this paper, we report on our progress in developing a standalone tool for checking the correctness of certificates for the ...
Blanqui, Frédéric, Ly, Kim Quyen
core +2 more sources
This roadmap offers a forward‐looking perspective on spin enhancement in the oxygen evolution reaction. It highlights how combining systematic experiments, advanced computational modeling, and novel magnetic, chiral, or hybrid materials can deepen the understanding of spin‐dependent catalytic mechanisms.
Emma van der Minne +29 more
wiley +1 more source
Amniotic Membrane Transplantation
<!--[if gte mso 9]><xml> Normal 0 false false false MicrosoftInternetExplorer4 </xml><![endif]--><!--[if gte mso 9]><xml> </xml><![endif]--> <!--[if gte mso 10]> <style> /* Style ...
Alireza Baradaran-Rafii +3 more
doaj
Concentration–QTc Modeling to Support Clinical Development of Fezolinetant
Abstract Fezolinetant is a non‐hormonal, selective neurokinin‐3 receptor antagonist that blocks neurokinin B activation of kisspeptin/neurokinin B/dynorphin neurons to thereby modulate neuronal activity in the thermoregulatory center. Fezolinetant has been approved in many regions, including North America, Europe, Asia, and Australia for the treatment ...
Jace C. Nielsen +6 more
wiley +1 more source
Cataracts in Diabetic Patients: A Review Article
<!--[if gte mso 9]><xml> Normal 0 false false false MicrosoftInternetExplorer4 </xml><![endif]--><!--[if gte mso 9]><xml> </xml><![endif]--> <!--[if gte mso 10]> <style> /* Style ...
Mohammad-Ali Javadi +1 more
doaj
Planificación de trayectorias mediante Programación Dinámica
En este trabajo se realiza un análisis de dos métodos de PD utilizados en la planificación de trayectorias de robots móviles: uno propuesto por Kwok y Driessen (1999) y el otro el algoritmo de Bellman-Ford.
Valery Moreno Vega +1 more
doaj +1 more source
Abstract Milvexian is an oral factor XIa inhibitor in development for prevention of major thromboembolic conditions. This randomized, double‐blind, placebo‐ and positive‐controlled, multiple‐dose, four‐period crossover study assessed the cardic safety of milvexian (including effects on the QT interval of the electrocardiogram), with a supporting in ...
Peter Zannikos +10 more
wiley +1 more source
Da realidade a ser mediada à realidade midiática: status ontológico e epistemológico
Há um mundo que independe de um sujeito conhecedor para existir? É possível conhecê-lo? Sob quais condições? Até que ponto? Estas questões assumem uma importância central no trabalho de mediação da realidade feito por jornalistas.
Liriam Sponholz
doaj
Noncommutative Sp(2,R) Gauge Theories - A Field Theory Approach to Two-Time Physics [PDF]
Phase-space and its relativistic extension is a natural space for realizing Sp(2,R) symmetry through canonical transformations. On a Dx2 dimensional covariant phase-space, we formulate noncommutative field theories, where Sp(2,R) plays a role as either a
A. Connes +32 more
core +3 more sources

