Results 71 to 80 of about 1,591,753 (376)
Exact Reconstruction of Euclidean Distance Geometry Problem Using Low-Rank Matrix Completion [PDF]
IEEE Transactions on Information Theory, 2018 The Euclidean distance geometry problem arises in a wide variety of applications, from determining molecular conformations in computational chemistry to localization in sensor networks.
Abiy Tasissa, Rongjie Lai
semanticscholar +1 more source
Mathematical Proof and Discovery Reductio ad Absurdum
Informal Logic, 2008 The uses and interpretation of reductio ad absurdum argumentation in mathematical proof and discovery are examined, illustrated with elementary and progressively sophisticated examples, and explained.
Dale Jacquette
doaj +1 more source
lrSVD: An efficient imputation algorithm for incomplete high‐throughput compositional data
Journal of Chemometrics, Volume 36, Issue 12, December 2022., 2022 Abstract Compositional methods have been successfully integrated into the chemometric toolkit to analyse and model different types of data generated by modern high‐throughput technologies. Within this compositional framework, the focus is put on the relative information conveyed in the data by using log‐ratio coordinate representations.
Javier Palarea‐Albaladejo +3 more
wiley +1 more source
Lattice-Based Generation of Euclidean Geometry Figures
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceWe present a user-guided method to generate geometry figures appropriate for high school Euclidean geometry courses: a useful starting point for an intelligent tutoring system to provide meaningful, realistic figures for study.
Jonathan Henning +6 more
doaj +1 more source
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry
International Symposium on Symbolic Computation in Software Science, 2016 This paper describes the formalization of the arithmetization of Euclidean geometry in the Coq proof assistant. As a basis for this work, Tarski's system of geometry was chosen for its well-known metamathematical properties.
P. Boutry, Gabriel Braun, Julien Narboux
semanticscholar +1 more source
From Free Fields to AdS -- Thermal Case
, 2005 We analyze the reorganization of free field theory correlators to closed string amplitudes investigated in hep-th/0308184 hep-th/0402063 hep-th/0409233 hep-th/0504229 in the case of Euclidean thermal field theory and study how the dual bulk geometry is ...
C. Itzykson +12 more
core +5 more sources
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose Studies on deep learning dose prediction increasingly focus on 3D models with multiple input channels and data augmentation, which increases the training time and thus also the environmental burden and hampers the ease of re‐training. Here we compare 2D and 3D U‐Net models with clinical accepted plans to evaluate the appropriateness of
Rosalie Klarenberg +2 more
wiley +1 more source
Journal of High Energy Physics, 2020 We propose a Euclidean preparation of an asymptotically AdS2 spacetime that contains an inflating dS2 bubble. The setup can be embedded in a four dimensional theory with a Minkowski vacuum and a false vacuum.
Mehrdad Mirbabayi
doaj +1 more source
The Implementation of the Polya Method in Solving Euclidean Geometry Problems
, 2014 This research is aimed at analyzing the solutions of Euclidean Geometry problems using the Polya method. This present study was made through qualitative and quantitative approaches with 85 respondents of the second semester students at the Department of ...
Akhsanul In ' am
semanticscholar +2 more sources
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose Due to the tight curvature in their design, ring applicators are usually associated with large positioning errors. The standard practice to correct for these deviations based on global offsets may not be sufficient to comply with the recommended tolerance.
Leon G. Aldrovandi +3 more
wiley +1 more source