Results 171 to 180 of about 342,984 (310)

Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic

, 2002
Andreas Abel, Bor-Yuh Evan Chang, Frank Pfenning   +2 more
openalex   +2 more sources

The Flat Plane and a Constructive Proof of Minding's Theorem [PDF]

, 2019
Jr. Coll, Lee Whitt
openalex   +1 more source

SDFs from Unoriented Point Clouds using Neural Variational Heat Distances

Computer Graphics Forum, EarlyView.
We propose a novel variational approach for computing neural Signed Distance Fields (SDF) from unoriented point clouds. We first compute a small time step of heat flow (middle) and then use its gradient directions to solve for a neural SDF (right). Abstract We propose a novel variational approach for computing neural Signed Distance Fields (SDF) from ...
Samuel Weidemaier, Florine Hartwig, Josua Sassen, Sergio Conti, Mirela Ben‐Chen, Martin Rumpf   +5 more
wiley   +1 more source

Subword Complexes and Kalai's Conjecture on Reconstruction of Spheres. [PDF]

Discrete Comput Geom
Ceballos C, Doolittle J.
europepmc   +1 more source

A Constructive Proof of Existence and Mass Gap for Pure SU(3) Yang-Mills in Four-Dimensional Space-Time [PDF]

D. C. Jacobsen
openalex   +1 more source

Insights from equitable governance assessments in conservation areas around the world

Conservation Biology, EarlyView.
Abstract Global policy commitments to ensure that protected and conserved areas (PCAs) are equitably governed have increased interest in empirically assessing and analyzing social equity. Although numerous assessments have been conducted in individual PCAs, there is limited empirical insight into equity as a multidimensional concept beyond the site ...
Naira Dehmel, Kate Schreckenberg, Phil Franks, Nikoleta Jones, Francesca Booker, Cosmas Lambini, Ruth Pinto, Alejandra Cely‐Gómez, Ishmael Chaukura, Donald Chilengwe Chikumbi, Phanith Chou, Ioli Christopoulou, Retche P. Colegado, Juliana Echeverri, Emelda Miyanda Hachoofwe, Kalyan Hou, Corinne Samantha Julie, Reuben Lendira, Rodgers Lubilo, Bertille Mayen, Joyce Nyaruai Mbataru, Teresa Morales, Nguyen Viet Dung, Vincent Oduka Oluoch, Jean‐Aimé Razafindra‐Paul, Natalie J. Robinson, Constance M. Schéré, Samwel Shaba, Medard Twinamatsiko   +28 more
wiley   +1 more source

A constructive method to determine the total vertex irregularity strength of two flower graph variants. [PDF]

MethodsX
Hinding N, Sunusi N, Mutmainnah S, Rahayu II, Sy S, Sugeng KA, Simanjuntak RG.   +6 more
europepmc   +1 more source

Constructive Completeness Proofs and Delimited Control

, 2010
Danko Ilik
openalex   +1 more source

Extended projection---new method to extract efficient programs from constructive proofs [PDF]

, 1989
Yukihide Takayama
openalex   +1 more source

Cross‐border reciprocal bartering in public–private tetradic networks

Decision Sciences, EarlyView.
Abstract Under the background of semiconductor and vaccine shortages during COVID‐19‐driven supply chain disruptions, this article adopts a multimethodological approach to investigate strategic solutions for cross‐border scarce goods bartering in a public–private (P–P) tetradic reciprocal network, which involves two pairs of P–P collaborative dyads ...
Jiuh‐Biing Sheu, Tsan‐Ming Choi, Thomas Y. Choi   +2 more
wiley   +1 more source