Results 41 to 50 of about 553 (162)
Computer Graphics Forum, EarlyView.Abstract Recent advances in AI enable the automatic generation of visualizations directly from textual prompts using agentic workflows. However, visualizations produced via one‐shot generative methods often suffer from insufficient quality, typically requiring a human in the loop to refine the outputs.
Roxana Bujack +4 more
wiley +1 more source
Scalable Computation of Topological Abstractions for Scalar Data
Computer Graphics Forum, EarlyView.Abstract Topological data analysis has become an important tool for large scale scalar data analysis and visualization, efficiently extracting the inherent structure and features of interest of the data. However, with growing dataset sizes and complexity, it is increasingly becoming infeasible to compute topological abstractions of interest in serial ...
M. Will +6 more
wiley +1 more source
Tangent Blow‐Ups for Processing Non‐Manifold Geometry
Computer Graphics Forum, EarlyView.Abstract Many geometry processing pipelines implicitly assume their input data is a manifold, or is sampled from one, with a unique tangent plane at every point. Geometric data, however, routinely contains sharp features like edges, corners, self‐intersections, branching junctions, and other singularities, rendering standard methods ill‐defined at ...
Alice Petrov +3 more
wiley +1 more source
Rational Expectations Fools' Bubbles
International Economic Review, EarlyView.ABSTRACT We develop a rational, Walrasian model of speculative bubbles inspired by the Kindleberger–Minsky view, which describes bubbles as wave‐like market processes. Touched off by an initial shock, price booms are initially self‐reinforcing but become self‐destructive later when prices surpass fundamental value.
Luis Araujo, Antonio Doblas‐Madrid
wiley +1 more source
On labeled birooted tree languages: algebras, automata and logic [PDF]
, 2015 International audienceWith an aim to developing expressive language theoretical tools applicable to inverse semigroup languages, that is, subsets of inverse semigroups, this paper explores the language theory of finite labeled birooted trees: Munn's ...
Janin, David
core +1 more source
The fundamental theorem of asset pricing with and without transaction costs
Mathematical Finance, Volume 35, Issue 2, Page 567-609, April 2025.Abstract We prove a version of the fundamental theorem of asset pricing (FTAP) in continuous time that is based on the strict no‐arbitrage condition and that is applicable to both frictionless markets and markets with proportional transaction costs. We consider a market with a single risky asset whose ask price process is higher than or equal to its ...
Christoph Kühn
wiley +1 more source
Mind &Language, EarlyView.Do large language models (“LLMs”) think? Daniel Stoljar and Zhihe Vincent Zhang have recently developed an argument from rationality for the claim that LLMs do not think. We contend, however, that the argument from rationality not only falters, but leaves open an intriguing possibility: that LLMs engage only in arational, associative forms of thinking ...
Joseph Gottlieb +2 more
wiley +1 more source
Performance modelling and the representation of large scale distributed system functions [PDF]
, 1999 This thesis presents a resource based approach to model generation for performance characterization and correctness checking of large scale telecommunications networks.
Nyong, Obong Dennis Obot
core
Renaissance Studies, EarlyView.ABSTRACT This article contributes to the history of material culture and intellectual biography by definitively identifying the Paduan scholar Matteo Macigni (ca. 1510–1582) as the author of the annotations found in a 1535 copy of Albrecht Dürer’s Institutionum geometricarum currently preserved in Vicenza.
Laura Moretti
wiley +1 more source
Automata-Theoretic Characterisations of Branching-Time Temporal Logics [PDF]
Characterisations theorems serve as important tools in model theory and can be used to assess and compare the expressive power of temporal languages used for the specification and verification of properties in formal methods.
Adriano Peron +7 more
core +3 more sources