Results 81 to 90 of about 1,402 (212)
On models of affine arithmetic
By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its models are generally lattice ordered and carry a nontrivial metric.
openaire +2 more sources
Integrative Zoology, EarlyView.Kaempferol modulates the tryptophan metabolism pathway by increasing the abundances of Christensenellaceae R7 group, Bacteroides, and Blautia and reducing that of Rikenellaceae RC9 gut group, thereby significantly increasing the levels of ILA and IAA. This process inhibits the activation of NF‐κB/NLRP3 signaling pathway, reduces pro‐inflammatory factor
Xiangyu Liu +3 more
wiley +1 more source
Methods in Ecology and Evolution, EarlyView.Abstract Detecting environmental DNA (eDNA) from rare or low‐abundance aquatic species remains a major challenge, particularly when it is highly degraded, present at low concentrations, and dominated by DNA from non‐target taxa. These challenges are further amplified in sedimentary ancient DNA (sedaDNA) studies, where thousands of years can degrade ...
Elena Baños +3 more
wiley +1 more source
Extentions of Affine Arithmetic: Application to Unconstrained Global Optimization
J. Univers. Comput. Sci., 2002 JUCS - Journal of Universal Computer Science Volume Nr.
openaire +2 more sources
A quad‐cistronic fluorescent biosensor system for real‐time detection of subcellular Ca2+ signals
British Journal of Pharmacology, EarlyView.Background and Purpose The calcium ion (Ca2+) is a versatile cellular messenger regulating a variety of biological processes. Compounds modulating subcellular Ca2+ signals hold substantial pharmacological potential. Advances in fluorescent biosensors have revolutionised Ca2+ imaging.
Anna Lischnig +7 more
wiley +1 more source
Splatshop: Efficiently Editing Large Gaussian Splat Models
Computer Graphics Forum, EarlyView.Abstract We present Splatshop, a highly optimized toolbox for interactive editing (selection, deletion, painting, transformation, …) of 3D Gaussian Splatting models. Utilizing a comprehensive collection of heuristic approaches, we carefully balance between exact and fast rendering to enable precise editing without sacrificing real‐time performance. Our
Markus Schütz +5 more
wiley +1 more source
Logarithmic bounds for Roth's theorem via almost-periodicity
Discrete Analysis, 2019 Logarithmic bounds for Roth's theorem via almost-periodicity, Discrete Analysis 2019:4, 20pp. A central result of additive combinatorics, Roth's theorem, asserts that for every $\delta>0$ there exists $N$ such that every subset of $\{1,2,\dots,N\}$ of ...
Thomas Bloom, Olof Sisask
doaj +1 more source
2D Piecewise Linear Scalar Fields with Invertible Integral Lines
Computer Graphics Forum, EarlyView.Abstract Integral lines of the gradient flow are standard features in continuously differentiable scalar fields that enjoy some useful properties: They cover the domain densely, do not split, merge, or intersect, and are therefore invertible. For widely used discretizations of scalar fields, the corresponding polygonal approximations of integral lines ...
T.L. Erxleben +3 more
wiley +1 more source
Defence TechnologyTo improve the hit probability of tank at high speed, a prediction method of projectile-target intersection based on adaptive robust constraint-following control and interval uncertainty analysis is proposed.
Cong Li +4 more
doaj +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