Results 91 to 100 of about 23,253 (274)
The equivalence of bar recursion and open recursion
Annals of Pure and Applied Logic, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Assertions and recursions [PDF]
, 1996 We provide an algebraic description of subtypes and the way they propagate through recursive functions. By abstracting from the concrete domain of functions or relations we obtain a framework which is independent of strict or non-strict, deterministic or non-deterministic semantics.
openaire +2 more sources
ReMoDe – Recursive modality detection in distributions of ordinal data
British Journal of Mathematical and Statistical Psychology, EarlyView.Abstract The detection of the number of modes in distributions of ordinal data is relevant for applied researchers across disciplines, from uncovering polarization to detecting incidence groups in clinical symptom scales. Yet, established modality detection methods are either purely descriptive or not developed for ordinal data.
Madlen Hoffstadt +3 more
wiley +1 more source
Hierarchical Differentiable Fluid Simulation
Computer Graphics Forum, EarlyView.We introduce a two‐step algorithm that significantly reduces memory usage for solving control problems using differentiable fluid simulation techniques: our method first optimizes for bulk forces at reduced resolution, then refines local details over sub‐domains while maintaining differentiability. In trading runtime for memory, it enables optimization
Xiangyu Kong +4 more
wiley +1 more source
A hierarchy of ramified theories below primitive recursive arithmetic [PDF]
, 2010 The arithmetical theory EA(I;O) developed by Çagman, Ostrin and Wainer ([18] and [48]) provides a formal setting for the variable separation of Bellantoni-Cook predicative recursion [6].
Spoors, Elliott John
core
, 2018 In this snapshot we present the concept of topological recursion – a new, surprisingly powerful formalism at the border of mathematics and physics, which has been actively developed within the last decade.
Sułkowski, Piotr
core +1 more source
See4D: Pose‐Free 4D Generation via Auto‐Regressive Video Inpainting
Computer Graphics Forum, EarlyView.Abstract Immersive applications call for synthesizing spatiotemporal 4D content from casual videos without costly 3D supervision. Existing video‐to‐4D methods typically rely on manually annotated camera poses, which are labor‐intensive and brittle for in‐the‐wild footage.
Dongyue Lu +10 more
wiley +1 more source
Verification of Programs with Mutual Recursion in the Pifagor Language
Моделирование и анализ информационных систем, 2018 In the article, we consider verification of programs with mutual recursion in the data driven functional parallel language Pifagor. In this language the program could be represented as a data flow graph, that has no control connections, and has only data
Mariya S. Ushakov, Alexander I. Legalov
doaj +1 more source
, 1989 Moschovakis (1984, in “Computation and Proof Theory” (Y. Richter et al., Eds.), Lect. Notes in Math. Vol. 1104, pp. 289–362, Springer-Verlag, Berlin) raised a question: to find a “logic of recursion,” related to “recursion structures” as denotational ...
Abrusci, V.Michele, Mascari, Gianfranco
core +1 more source
Parallel Vectors Extraction using Bézier Clipping
Computer Graphics Forum, EarlyView.Abstract In this paper, we propose a novel local feature extraction algorithm for the parallel vectors (PV) operator. Our method is based on Bézier clipping, which is a bracketing‐based root finding method that is commonly‐used in computer‐aided geometric design.
Nico Daßler, Tobias Günther
wiley +1 more source