English
Related papers

Related papers: Constraint programming for planning test campaigns…

200 papers

Automated test execution scheduling is crucial in modern software development environments, where components are frequently updated with changes that impact their integration with hardware systems. Building test schedules, which focus on…

Software Engineering · Computer Science 2024-03-20 Arnaud Gotlieb , Morten Mossige , Helge Spieker

This study investigates signal transmission within a shared spectrum, focusing on measurements conducted both in laboratory and outdoor environments. The objective was to demonstrate how laboratory objects obstructing the line of sight can…

Software Engineering · Computer Science 2025-09-19 Andrei-Raoul Morariu , Andreas Strandberg , Bogdan Iancu , Jerker Bjorkqvist

The problem of statistical learning is to construct an accurate predictor of a random variable as a function of a correlated random variable on the basis of an i.i.d. training sample from their joint distribution. Allowable predictors are…

Information Theory · Computer Science 2009-04-30 Maxim Raginsky

Equivalence testing, a fundamental problem in the field of distribution testing, seeks to infer if two unknown distributions on $[n]$ are the same or far apart in the total variation distance. Conditional sampling has emerged as a powerful…

Data Structures and Algorithms · Computer Science 2024-03-08 Diptarka Chakraborty , Sourav Chakraborty , Gunjan Kumar , Kuldeep S. Meel

The goal of constraint-based sequence mining is to find sequences of symbols that are included in a large number of input sequences and that satisfy some constraints specified by the user. Many constraints have been proposed in the…

Artificial Intelligence · Computer Science 2015-02-26 Benjamin Negrevergne , Tias Guns

Operating Earth observing satellites requires efficient planning methods that coordinate activities of multiple spacecraft. The satellite task planning problem entails selecting actions that best satisfy mission objectives for autonomous…

Artificial Intelligence · Computer Science 2020-08-20 Duncan Eddy , Mykel J. Kochenderfer

Based on the impressive features that network coding and compressed sensing paradigms have separately brought, the idea of bringing them together in practice will result in major improvements and influence in the upcoming 5G networks. In…

Networking and Internet Architecture · Computer Science 2017-11-10 Maroua Taghouti , Anil Kumar Chorppath , Tobias Waurick , Frank H. P. Fitzek

A long noted difficulty when assessing the reliability (or calibration) of forecasting systems is that reliability, in general, is a hypothesis not about a finite dimensional parameter but about an entire functional relationship. A…

Data Analysis, Statistics and Probability · Physics 2020-12-09 Jochen Bröcker

As robots move from the laboratory into the real world, motion planning will need to account for model uncertainty and risk. For robot motions involving intermittent contact, planning for uncertainty in contact is especially important, as…

Robotics · Computer Science 2021-10-01 Luke Drnach , John Z. Zhang , Ye Zhao

Aiming at maximizing the energy efficiency (EE) of multicast multibeam satellite communications, we consider the precoding design under the total power and quality of service (QoS) constraints. Since the original EE maximization problem is…

Signal Processing · Electrical Eng. & Systems 2020-02-19 Chenhao Qi , Huajian Chen , Yansha Deng , Nallanathan Arumugam

Although most scheduling problems are NP-hard, domain specific techniques perform well in practice but are quite expensive to construct. In adaptive problem-solving solving, domain specific knowledge is acquired automatically for a general…

Artificial Intelligence · Computer Science 2009-09-25 J. Gratch , S. Chien

One of the primary computational requirements of a cellular system is the ability to transfer information between spatially separated components. To accomplish this, biology uses diverse physical channels including production or release of…

Biological Physics · Physics 2023-08-11 Samuel Bryant , Benjamin Machta

A solution to the problem of ensuring quality of service, providing a greater number of services with higher efficiency taking into account network security is proposed. In this paper, experiments were conducted to analyze the effect of…

Networking and Internet Architecture · Computer Science 2019-05-07 Tamara Radivilova , Lyudmyla Kirichenko , Dmytro Ageiev , Vitalii Bulakh

Dismantling aircrafts reaching their end of life is a complex endeavour that is necessary in terms of sustainability but yields small income margins for air transport companies. An efficient scheduling of the disassembly procedure is thus…

Artificial Intelligence · Computer Science 2026-05-25 Charles Thomas , Pierre Schaus

Constraint programming is a family of techniques for solving combinatorial problems, where the problem is modelled as a set of decision variables (typically with finite domains) and a set of constraints that express relations among the…

Artificial Intelligence · Computer Science 2016-05-31 James Caldwell , Ian P. Gent , Peter Nightingale

The exponential increase in orbital debris and active satellites will lead to congested orbits, necessitating more frequent collision avoidance maneuvers by satellites. To minimize fuel consumption while ensuring the safety of satellites,…

Systems and Control · Electrical Eng. & Systems 2024-12-24 Kanghyun Ryu , Jean-Baptiste Bouvier , Shazaib Lalani , Siegfried Eggl , Negar Mehr

Driven by the need to offset the variability of wind and solar generation on the electrical grid, development of load controls is a highly active field in the engineering literature. However, practical use of residential loads for grid…

Systems and Control · Electrical Eng. & Systems 2023-05-23 Drew A. Geller , Johanna L. Mathieu

With the current trend towards low Earth orbit mega-constellations with inter-satellite links, efficient routing in such highly dynamic space-borne networks is becoming increasingly important. Due to the distinct network topology,…

Networking and Internet Architecture · Computer Science 2022-09-14 Manuel M. H. Roth , Hartmut Brandt , Hermann Bischl

Load shedding is the last and most expensive control action against system collapse and blackout. Achievement of an efficient emergency control to stabilize the power system following severe disturbances, requires two key objectives. First,…

Optimization and Control · Mathematics 2016-11-30 Bakhtyar Hoseinzadeh , M. Hadi Amini , Claus Leth Bak

Low Earth Orbit satellite Internet has recently been deployed, providing worldwide service with non-terrestrial networks. With the large-scale deployment of both non-terrestrial and terrestrial networks, limited spectrum resources will not…

Networking and Internet Architecture · Computer Science 2024-05-27 Haoxuan Yuan , Zhe Chen , Zheng Lin , Jinbo Peng , Zihan Fang , Yuhang Zhong , Zihang Song , Yue Gao