Results 71 to 80 of about 27,151 (281)
Efficient Dynamics: Reduced‐Order Modeling of the Time‐Dependent Schrödinger Equation
Advanced Physics Research, EarlyView.Reduced‐order modeling (ROM) approaches for the time‐dependent Schrödinger equation are investigated, highlighting their ability to simulate quantum dynamics efficiently. Proper Orthogonal Decomposition, Dynamic Mode Decomposition, and Reduced Basis Methods are compared across canonical systems and extended to higher dimensions.
Kolade M. Owolabi
wiley +1 more source
A Criticism of Kripke’s Semantic for Intuitionistic Logic
O Que Nos Faz Pensar, 2016 This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj
Investigations on a Pedagogical Calculus of Constructions
, 2012 In the last few years appeared pedagogical propositional natural deduction systems. In these systems, one must satisfy the pedagogical constraint: the user must give an example of any introduced notion.
Colson, Loïc, Demange, Vincent
core +4 more sources
Predicting ecology and hearing sensitivities in Parapontoporia—An extinct long‐snouted dolphin
The Anatomical Record, EarlyView.Abstract Analyses of the cetacean (whale and dolphin) inner ear provide glimpses into the ecology and evolution of extinct and extant groups. The paleoecology of the long‐snouted odontocete (toothed whale) group, Parapontoporia, is primarily marine with its depositional context also suggesting freshwater tolerance.
Joyce Sanks, Rachel Racicot
wiley +1 more source
Partial cut elimination for propositional discrete linear time temporal logic
Lietuvos Matematikos Rinkinys, 2010 We consider propositional discrete linear time temporal logic with future and past operators of time. For each formula ϕ of this logic, we present Gentzen-type sequent calculus Gr(ϕ) with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
The relationship between form and function of the carnivore mandible
The Anatomical Record, EarlyView.Abstract Dietary morphology diversified extensively in Carnivoraformes (living Carnivora and their stem relatives) during the Cenozoic (the last 66 million years) as they evolved to capture, handle, and process new animal and plant diets. We used 3D geometric morphometrics, mechanical advantage, and finite element analysis to test the evolutionary ...
Charles J. Salcido, P. David Polly
wiley +1 more source
The Anatomical Record, EarlyView.Abstract Analysis of the variation in the bony structures of the inner and middle ear provides critical insights into functional morphology, as well as adaptive morphology across primates. In this study, we investigated whether ear morphology patterns are related to the ecological characteristics of species and their habitats to test two acoustic ...
Myriam Marsot +4 more
wiley +1 more source
The Anatomical Record, EarlyView.Abstract Last year, we challenged the view that large‐bodied theropod dinosaurs such as Tyrannosaurus rex resembled primates in cognition and behavior, a proposition made by Herculano‐Houzel in 2023. More recently, Jensen et al. have criticized our work on this topic, raising methodological and conceptual issues.
Kai R. Caspar +5 more
wiley +1 more source
Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop-Checking [PDF]
, 1996 this paper the history mechanism is developed in two ways and applied ...
Howe, Jacob M.
core +1 more source
Risk‐aware safe reinforcement learning for control of stochastic linear systems
Asian Journal of Control, EarlyView.Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili +2 more
wiley +1 more source