Results 131 to 140 of about 117,160 (165)
Different feed efficiency modeling approaches for the prediction of genomic breeding values in lactating dairy cows. [PDF]
Front GenetChegini A +3 more
europepmc +1 more source
Cardiopulmonary exercise testing before lung resection surgery: still indicated? Evaluating predictive utility using machine learning. [PDF]
ThoraxFilakovszky Á +7 more
europepmc +1 more source
VISIOCPR: Monocular Vision-Based CPR Training System with Human-Computer Collaborative Feedback. [PDF]
Sensors (Basel)Li A, Lu W.
europepmc +1 more source
Planar Black Holes and Entanglement Entropy in Analog Gravity Models. [PDF]
Entropy (Basel)Bilic N, Zingg T.
europepmc +1 more source
Performance of Large Language Models vs Conventional Machine Learning for Predicting Clinical Outcomes With Limited Data: Comparative Study. [PDF]
JMIR AIBigan E, Dufour S.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Annals of the New York Academy of Sciences, 1994
ABSTRACT: Metric spaces are inevitably Hausdorff and so cannot, for example, be used to study non‐Hausdorff topologies such as those required in the Tarskian approach to programming language semantics. This paper presents a symmetric generalised metric for such topologies, an approach which sheds new light on how metric tools such as Banach's Theorem ...
exaly +2 more sources
ABSTRACT: Metric spaces are inevitably Hausdorff and so cannot, for example, be used to study non‐Hausdorff topologies such as those required in the Tarskian approach to programming language semantics. This paper presents a symmetric generalised metric for such topologies, an approach which sheds new light on how metric tools such as Banach's Theorem ...
exaly +2 more sources
The American Mathematical Monthly, 2009
Scott models are topological models of complete partial orders used for Tarskian fixed point semantics of the lambda calculus. As of yet there are no methods for deriving Scott models from specifications of the "complete" objects beyond an arbitrary choice.
Michael A. Bukatin +3 more
openaire +2 more sources
Scott models are topological models of complete partial orders used for Tarskian fixed point semantics of the lambda calculus. As of yet there are no methods for deriving Scott models from specifications of the "complete" objects beyond an arbitrary choice.
Michael A. Bukatin +3 more
openaire +2 more sources
Partial closure grasps: Metrics and computation
2011 IEEE International Conference on Robotics and Automation, 2011We extend the notion of grasp metrics to partial force-closure grasps. We describe two metrics which measure the maximum and sum, respectively, of the forces that need to be applied at the contacts involved in a grasp, in order to exert some given unit wrench on the grasped object. For a given object P of complexity O(n) and a pure force T, we describe
Heinrich Krüger +1 more
openaire +2 more sources