, 2003 Recently, E.A. Emerson and C.S. Jutla (SIAM J. Comput., 1999), have successfully applied complexity of tree automata to obtain optimal deterministic exponential time algorithms for some important modal logics of programs.
Romaguera, S. +2 more
core +1 more source
Extensions of Asymmetric Norms to Linear Spaces
, 2001 Let M be a subset of a (real) linear space that is closed with respect to the sum of vectors and the product by nonnegative scalars. An asymmetric seminorm on M is a nonnegative and subbaditive positively homogeneous function q defined on M.
Garcìa-Raffi, L.M. +2 more
core
Accumulating evidence for myriad alternatives: Modeling the generation of free association. [PDF]
Psychol Rev, 2023 Fradkin I, Eldar E.
europepmc +1 more source
Convexity in quasi-metric spaces
, 2012 Includes abstract.Includes bibliographical references.The principal aim of this thesis is to investigate the existence of an injective hull in the categories of T-quasi-metric spaces and of T-ultra-quasi-metric spaces with nonexpansive ...
Otafudu, Olivier Olela
core
Quasi-pseudometric spaces and some of their completions
, 2007 Word processed copy. Includes biliographical references (leaves 78-79)
Charly, Makitu Kivuvu
core
TOPOLOGY OF QUASI-PSEUDOMETRIC SPACES AND CONTINUOUS LINEAR OPERATOR ON ASYMMETRIC NORMED SPACES
Journal of Fundamental Mathematics and Applications (JFMA), 2023 Klatenia Selawati +1 more
openaire +1 more source
Behavioral representational similarity analysis reveals how episodic learning is influenced by and reshapes semantic memory. [PDF]
Nat Commun, 2023 Walsh CR, Rissman J.
europepmc +1 more source
Crystal diffraction prediction and partiality estimation using Gaussian basis functions. [PDF]
Acta Crystallogr A Found Adv, 2023 Brehm W, White T, Chapman HN.
europepmc +1 more source
Efficient numerical approximation of a non-regular Fokker-Planck equation associated with first-passage time distributions. [PDF]
BIT Numer Math, 2022 Boehm U, Cox S, Gantner G, Stevenson R.
europepmc +1 more source
A fixed point theorem in non-Archimedean asymmetric normed linear spaces
, 2017 Jointly with H.-P. K¨unzi we started investigating a concept of spherical completeness in ultra-quasipseudometric spaces which we called q-spherical completeness. In this article we study fixed point theorems in a space X endowed with a non-Archimedean asymmetric norm structure. Here we extend certain results of Petalas and Vidalis and Kirk and Shahzad.
openaire +1 more source