English
Related papers

Related papers: On a Well-behaved Relational Generalisation of Rou…

200 papers

The inverse problem of general rough sets, considered by the present author in some of her earlier papers, in one of its manifestations is essentially the question of when an agent's view about crisp and non crisp objects over a set of…

Artificial Intelligence · Computer Science 2017-02-01 A. Mani

Modularity is a very widely used measure of the level of clustering or community structure in networks. Here we consider a recent generalisation of the definition of modularity to temporal graphs, whose edge-sets change over discrete…

Combinatorics · Mathematics 2025-07-24 Vilhelm Agdur , Jessica Enright , Laura Larios-Jones , Kitty Meeks , Fiona Skerman , Ella Yates

We extend Hacon--M\textsuperscript{c}Kernan's rational chain connectedness theorem to the complex analytic setting. As a consequence, we prove that the fibers of any resolution of singularities of complex analytic kawamata log terminal…

Algebraic Geometry · Mathematics 2026-03-06 Osamu Fujino

Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…

Logic · Mathematics 2025-10-28 David Schrittesser

The identification of semantic relations between terms within texts is a fundamental task in Natural Language Processing which can support applications requiring a lightweight semantic interpretation model. Currently, semantic relation…

Computation and Language · Computer Science 2018-06-21 Vivian S. Silva , Manuela Hürliman , Brian Davis , Siegfried Handschuh , André Freitas

We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J\'onsson admit, in place…

Logic · Mathematics 2019-04-17 Petr Cintula , José Gil Férez , Tommaso Moraschini , Francesco Paoli

The purpose of this paper is to study the notion of relative extreme amenability for pairs of topological groups. We give a characterization by a fixed point property on universal spaces. In addition we introduce the concepts of an…

Group Theory · Mathematics 2015-01-09 Yonatan Gutman , Lionel Nguyen Van Thé

We look at non-classical negations and their corresponding adjustment connectives from a modal viewpoint, over complete distributive lattices, and apply a very general mechanism in order to offer adequate analytic proof systems to logics…

Logic in Computer Science · Computer Science 2016-06-24 Ori Lahav , João Marcos , Yoni Zohar

We introduce the relation ${\rho}_{\lambda}$-orthogonality in the setting of normed spaces as an extension of some orthogonality relations based on norm derivatives, and present some of its essential properties. Among other things, we give…

Functional Analysis · Mathematics 2021-07-23 A. Zamani , M. S. Moslehian

We consider linear programs involving uncertain parameters and propose a new tractable robust counterpart which contains and generalizes several other models including the existing Affinely Adjustable Robust Counterpart and the Fully…

Optimization and Control · Mathematics 2016-04-12 Walid Ben-Ameur , Adam Ouorou , Guanglei Wang , Mateusz Żotkiewicz

We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general.…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Hermann Gruber , Markus Holzer , Martin Kutrib

We present a more general analysis of $H$-calibration for adversarially robust classification. By adopting a finer definition of calibration, we can cover settings beyond the restricted hypothesis sets studied in previous work. In…

Machine Learning · Computer Science 2021-05-07 Pranjal Awasthi , Anqi Mao , Mehryar Mohri , Yutao Zhong

We postulate the intuitive idea of reducts of fuzzy contexts based on formal concept analysis and rough set theory. For a complete residuated lattice $L$, it is shown that reducts of $L$-contexts in formal concept analysis are…

Logic in Computer Science · Computer Science 2026-01-21 Yuxu Chen , Jing Liu , Lili Shen , Xiaoye Tang

While deep networks have been enormously successful over the last decade, they rely on flat-feature vector representations, which makes them unsuitable for richly structured domains such as those arising in applications like social network…

Machine Learning · Computer Science 2020-01-14 Navdeep Kaur , Gautam Kunapuli , Saket Joshi , Kristian Kersting , Sriraam Natarajan

We study the link between a compact hypersurface in $\P^{n+1}$ and the set of all its tangent planes. In this context, we identify $\P^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise…

dg-ga · Mathematics 2008-02-03 Francois Pointet

Graded modal types systems and coeffects are becoming a standard formalism to deal with context-dependent computations where code usage plays a central role. The theory of program equivalence for modal and coeffectful languages, however, is…

Logic in Computer Science · Computer Science 2021-03-08 Ugo Dal Lago , Francesco Gavazzo

In order to bring contraction analysis into the very fruitful and topical fields of stochastic and Bayesian systems, we extend here the theory describes in \cite{Lohmiller98} to random differential equations. We propose new definitions of…

Optimization and Control · Mathematics 2013-09-27 Nicolas Tabareau , Jean-Jacques Slotine

We discuss the use of matrices for providing sequences of rationals that approximate algebraic irrationalities. In particular, we study the regular representation of algebraic extensions, proving that ratios between two entries of the…

Number Theory · Mathematics 2020-03-10 Stefano Barbero , Umberto Cerruti , Nadir Murru

In this paper, we have defined rough convergence and rough statistical convergence of double sequences in probabilistic normed spaces which is more generalized version than the rough statistical convergence of double sequences in normed…

Functional Analysis · Mathematics 2023-03-20 Rahul Mondal , Nesar Hossain

Modulus of local continuity is used to evaluate the robustness of neural networks and fairness of their repeated uses in closed-loop models. Here, we revisit a connection between generalized derivatives and moduli of local continuity, and…

Machine Learning · Computer Science 2025-09-22 Rodion Nazarov , Allen Gehret , Robert Shorten , Jakub Marecek
‹ Prev 1 8 9 10 Next ›