English
Related papers

Related papers: A panorama of specification-like properties and th…

200 papers

We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentative process taking place in evaluation meetings. Our results…

Other Computer Science · Computer Science 2016-08-16 Géraldine Martin , Françoise Détienne , Elisabeth Lavigne

These lectures contain an introduction to supersymmetric theories and the minimal supersymmetric standard model. Phenomenological and cosmological consequences of supersymmetry are also discussed.

High Energy Physics - Phenomenology · Physics 2015-06-25 Keith A. Olive

This paper connects a series of papers dealing with taxonomic word embeddings. It begins by noting that there are different types of semantic relatedness and that different lexical representations encode different forms of relatedness. A…

Computation and Language · Computer Science 2020-02-19 Magdalena Kacmajor , John D. Kelleher , Filip Klubicka , Alfredo Maldonado

We consider the basic features of complex dynamic and control systems, including systems having hierarchical structure. Special attention is paid to the problems of design and synthesis of complex systems and control models, and to the…

Computational Engineering, Finance, and Science · Computer Science 2008-12-25 Armen Bagdasaryan

The existence of the {\em typical set} is key for data compression strategies and for the emergence of robust statistical observables in macroscopic physical systems. Standard approaches derive its existence from a restricted set of…

Statistical Mechanics · Physics 2022-02-10 Rudolf Hanel , Bernat Corominas-Murtra

This paper proposes an analysis of the effects of consensus and preference aggregation on the consistency of pairwise comparisons. We define some boundary properties for the inconsistency of group preferences and investigate their relation…

Artificial Intelligence · Computer Science 2016-04-06 Matteo Brunelli , Michele Fedrizzi

Properties of weighted averages are studied for the general case that the individual measurements are subject to hidden correlations and have asymmetric statistical as well as systematic errors. Explicit expressions are derived for an…

High Energy Physics - Experiment · Physics 2007-05-23 Michael Schmelling

We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…

Logic in Computer Science · Computer Science 2023-06-22 Khadijeh Keshvardoost , Bartek Klin , Sławomir Lasota , Joanna Ochremiak , Szymon Toruńczyk

Linear Geometry describes geometric properties that depend on the fundamental notion of a line. In this paper we survey basic notions and results of Linear Geomery that depend on the flat hulls: flats, exchange, rank, regularity,…

History and Overview · Mathematics 2026-04-08 Taras Banakh , Ivan Hetman , Alex Ravsky , Vlad Pshyk

In this extended abstract, we present an end to end approach for building a taxonomy of home attribute terms that enables hierarchical recommendations of real estate properties. We cover the methodology for building a real-estate taxonomy,…

Information Retrieval · Computer Science 2022-10-28 Zachary Harrison , Anish Khazane

It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default (CbD), sheaf theory, topos…

Quantum Physics · Physics 2017-07-18 J. Acacio de Barros , Federico Holik , Decio Krause

Modern deep learning models are highly overparameterized, resulting in large sets of parameter configurations that yield the same outputs. A significant portion of this redundancy is explained by symmetries in the parameter…

Machine Learning · Computer Science 2025-12-12 Bo Zhao , Robin Walters , Rose Yu

We prove the genericity of the shadowing and periodic shadowing properties for both conservative and dissipative homeomorphisms on a compact connected manifold. Our proof is valid for topological manifolds and still holds in the dissipative…

Dynamical Systems · Mathematics 2016-10-03 Pierre-Antoine Guihéneuf , Thibault Lefeuvre

A description is an entity that can be interpreted as true or false of an object, and using feature structures as descriptions accrues several computational benefits. In this paper, I create an explicit interpretation of a typed feature…

cmp-lg · Computer Science 2008-02-03 Paul John King

Referring expression comprehension aims to localize objects identified by natural language descriptions. This is a challenging task as it requires understanding of both visual and language domains. One nature is that each object can be…

Computer Vision and Pattern Recognition · Computer Science 2021-04-21 Yi-Wen Chen , Yi-Hsuan Tsai , Ming-Hsuan Yang

Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore…

Logic in Computer Science · Computer Science 2012-10-23 Sebastian S. Bauer , Uli Fahrenberg , Line Juhl , Kim G. Larsen , Axel Legay , Claus Thrane

We consider hierarchical structures such as Fibonacci sequences and Penrose tilings, and examine the consequences of different choices for the definition of isomorphism. In particular we discuss the role such a choice plays with regard to…

Mathematical Physics · Physics 2018-07-10 Charles Radin , Lorenzo Sadun

Decomposition spaces are a class of function spaces constructed out of well-behaved coverings and partitions of unity of a set. The structure of the covering of the set determines the properties of the decomposition space. Besov spaces,…

Functional Analysis · Mathematics 2019-04-03 Eirik Berge , Franz Luef

Many 'interesting; correlated electron materials exhibit an unusual sensitivity of measured properties to external perturbations, and in particular to imperfections in the sample being measured. It is argued that in addition to its…

Strongly Correlated Electrons · Physics 2009-11-10 A. J. Millis

We show that shadowing is a generic property among continuous maps and surjections on a large class of locally connected one-dimensional continua.

Dynamical Systems · Mathematics 2021-01-13 Jonathan Meddaugh
‹ Prev 1 8 9 10 Next ›