English
Related papers

Related papers: Parametricity Features and their Requirements

200 papers

Pattern analysis often requires a pre-processing stage for extracting or selecting features in order to help the classification, prediction, or clustering stage discriminate or represent the data in a better way. The reason for this…

Machine Learning · Computer Science 2019-05-09 Benyamin Ghojogh , Maria N. Samad , Sayema Asif Mashhadi , Tania Kapoor , Wahab Ali , Fakhri Karray , Mark Crowley

Requirements engineering is crucial to software development but lacks a precise definition of its fundamental concepts. Even the basic definitions in the literature and in industry standards are often vague and verbose. To remedy this…

Software Engineering · Computer Science 2019-07-12 Bertrand Meyer , Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev

This paper deals with a unifying approach to the problems of computing the admissible sets of parametrical multi perturbations in appropriate bounded sets such that some fundamental properties of parameter-varying linear dynamic systems are…

Optimization and Control · Mathematics 2008-03-28 M. De la Sen

Order parameters based on spherical harmonics and Fourier coefficients already play a significant role in condensed matter research in the context of systems of spherical or point particles. Here, we extend these types of order parameter to…

Soft Condensed Matter · Physics 2010-12-22 Aaron S. Keys , Christopher R. Iacovella , Sharon C. Glotzer

Multimodal learning leverages the integration of diverse data modalities to enhance performance in complex tasks. Yet, it frequently encounters incomplete or redundant modality data in real-world scenarios. This paper presents a…

Machine Learning · Computer Science 2026-05-05 Richeng Zhou , Xuelin Zhang , Liyuan Liu

We provide a class of inequalities for detecting entanglements in multi-mode systems. Necessary conditions for fully separable, bi-separable and sufficient conditions for fully entangled states are explicitly presented.

Quantum Physics · Physics 2007-05-23 Zong-Guo Li , Shao-Ming Fei , Zhi-Xi Wang , Ke Wu

In the paper we provide new conditions ensuring the isolated calmness property and the Aubin property of parameterized variational systems with constraints depending, apart from the parameter, also on the solution itself. Such systems…

Optimization and Control · Mathematics 2019-02-21 Matúš Benko , Helmut Gfrerer , Jiří V. Outrata

The aim of the paper is to examine the computational complexity and algorithmics of enumeration, the task to output all solutions of a given problem, from the point of view of parameterized complexity. First we define formally different…

Computational Complexity · Computer Science 2013-06-11 Nadia Creignou , Arne Meier , Julian-Steffen Müller , Johannes Schmidt , Heribert Vollmer

Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can be variously categorised as embedded, cyberphysical,…

Software Engineering · Computer Science 2018-09-05 Marie Farrell , Matt Luckcuck , Michael Fisher

The paper is concerned with inference for a parameter of interest in models that share a common interpretation for that parameter but that may differ appreciably in other respects. We study the general structure of models under which the…

Statistics Theory · Mathematics 2024-08-06 Heather Battey , Nancy Reid

I investigate some properties of proposed definitions for subsystem/mixed state complexity and uncomplexity. A very strong dependence arises on the density matrix's degeneracy which gives a large separation in the scaling of maximum…

Quantum Physics · Physics 2019-01-02 Henry Stoltenberg

Topological phases of matter are often understood and predicted with the help of crystal symmetries, although they don't rely on them to exist. In this chapter we review how topological phases have been recently shown to emerge in amorphous…

Disordered Systems and Neural Networks · Physics 2022-08-23 Adolfo G. Grushin

In this paper we give an overview of results on the analysis of parametric linear hybrid automata, and of systems of similar linear hybrid automata: We present possibilities of describing systems with a parametric (i.e. not explicitly…

Logic in Computer Science · Computer Science 2025-05-15 Viorica Sofronie-Stokkermans , Philipp Marohn

The usual advantages put forward for including nullability declarations in the type systems of programming languages are that they improve program reliability or performance. But there is another, entirely different, reason for doing so. In…

Programming Languages · Computer Science 2011-08-25 William Harrison , Tim Walsh , Paul Biggar

We introduce the theoretical framework we use to study the bewildering variety of phases in condensed--matter physics. We emphasize the importance of the breaking of symmetries, and develop the idea of an order parameter through several…

Condensed Matter · Physics 2009-09-25 James P. Sethna

The mutual information method has demonstrated to be very useful for deriving the potential order parameter of a system. Although the method suggests some constraints which help to define this quantity, there is still some freedom in the…

Strongly Correlated Electrons · Physics 2024-10-08 Ivan Arraut , Wing Chi Yu

Sustainability and resilience of urban systems are multifaceted concepts, requiring information about multiple system attributes to adequately evaluate and characterize. However, despite the scientific consensus on the multivariate nature…

Applications · Statistics 2019-05-16 Renee Obringer , Roshanak Nateghi

Probabilistic models often have parameters that can be translated, scaled, permuted, or otherwise transformed without changing the model. These symmetries can lead to strong correlation and multimodality in the posterior distribution over…

Machine Learning · Statistics 2013-12-20 Robert Nishihara , Thomas Minka , Daniel Tarlow

Component-based design paradigm is of paramount importance due to prolific growth in the complexity of modern-day systems. Since the components are developed primarily by multi-party vendors and often assembled to realize the overall…

Software Engineering · Computer Science 2022-05-31 Aritra Hazra

Causality and stability are fundamental requirements for the differential equations describing predictable relativistic many-body systems. In this work, we investigate the stability and causality criteria in linear mode analysis. We discuss…

High Energy Physics - Theory · Physics 2024-02-22 Dong-Lin Wang , Shi Pu