Results 51 to 60 of about 20,355 (135)
Interaction of Dirac δ$$ \delta $$‐Waves in the Inviscid Levine and Sleeman Chemotaxis Model
ABSTRACT This article investigates interactions of δ$$ \delta $$‐shock waves in the inviscid Levine and Sleeman chemotaxis model ut−λ(uv)x=0$$ {u}_t-\lambda {(uv)}_x=0 $$, vt−ux=0$$ {v}_t-{u}_x=0 $$. The analysis employs a distributional product and a solution concept that extends the classical solution concept.
Adelino Paiva
wiley +1 more source
No Causal Self‐Explanation Effect for Factual Knowledge
ABSTRACT The effect of self‐explanation on learning has rarely been tested experimentally, using sufficient sample sizes and active control conditions. In this preregistered study (N = 208), a 2 × 2 mixed design was implemented to test whether (1) factual information is better retrieved after self‐explanation versus re‐reading, (2) memory depends on ...
Benjamin Harders, Mirjam Ebersbach
wiley +1 more source
Using formal methods to support testing [PDF]
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as ...
Bogdanov, K +13 more
core
This study examines the association between urban aesthetic perception and white matter microstructure in healthy adults. Diffusion tensor imaging reveals that both whole‐brain fractional anisotropy and superior longitudinal fasciculus integrity are positively related to subjective evaluations of urban aesthetic quality, suggesting that everyday ...
Keisuke Kokubun +3 more
wiley +1 more source
On the finite generation of ideals in tensor triangular geometry
Abstract Inspired by Cohen's characterization of Noetherian commutative rings, we study the finite generation of ideals in tensor triangular geometry. In particular, for an essentially small tensor triangulated category K$\mathcal {K}$ with weakly Noetherian spectrum, we show that every prime ideal in K$\mathcal {K}$ can be generated by finitely many ...
Tobias Barthel
wiley +1 more source
An introduction to finite automata and their connection to logic [PDF]
This is a tutorial on finite automata. We present the standard material on determinization and minimization, as well as an account of the equivalence of finite automata and monadic second-order logic.
Straubing, Howard, Weil, Pascal
core
The fundamental group of the complement of a generic fiber‐type curve
Abstract In this paper, we describe and characterize the fundamental group of the complement of generic fiber‐type curves, that is, unions of (the closure of) finitely many generic fibers of a component‐free pencil F=[f:g]:CP2⤍CP1$F=[f:g]:\mathbb {C}\mathbb {P}^2\dashrightarrow \mathbb {C}\mathbb {P}^1$.
José I. Cogolludo‐Agustín +1 more
wiley +1 more source
On the logical definability of certain graph and poset languages [PDF]
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order logic, a natural extension of monadic second-order logic), and to be recognizable in an algebraic framework induced by the notion of ...
Weil, Pascal
core +1 more source
Which singular tangent bundles are isomorphic?
Abstract Logarithmic and b$ b$‐tangent bundles provide a versatile framework for addressing singularities in geometry. Introduced by Deligne and Melrose, these modified bundles resolve singularities by reframing singular vector fields as well‐behaved sections of these singular bundles.
Eva Miranda, Pablo Nicolás
wiley +1 more source
Speech Recognition by Composition of Weighted Finite Automata
We present a general framework based on weighted finite automata and weighted finite-state transducers for describing and implementing speech recognizers.
Pereira, Fernando C. N. +1 more
core +4 more sources

