Deductive Optimization of Relational Data Storage
, 2020 Optimizing the physical data storage and retrieval of data are two key database management problems. In this paper, we propose a language that can express a wide range of physical database layouts, going well beyond the row- and column-based methods that
Feser, John K. +3 more
core +1 more source
Approach Tolerance in the Assemblies of Evolutionary Hybrid Prototypes [PDF]
, 2006 A new answer is proposed to replace the traditional “one shot” prototype (manufactured in one piece with one process): the hybrid rapid prototype.
Hascoet, JY., Mognol, P., Rivette, M.
core +1 more source
An automatic tool flow for the combined implementation of multi-mode circuits [PDF]
, 2013 A multi-mode circuit implements the functionality of a limited number of circuits, called modes, of which at any given time only one needs to be realised.
Al Farisi, Brahim +3 more
core +1 more source
Calibration of star formation rate tracers for short- and long-lived star formation episodes [PDF]
, 2009 To derive the history of star formation in the Universe a set of calibrated star formation rate tracers at different wavelengths is required. The calibration has to consistently take into account the effects of extinction, star formation regime (short or
Mas-Hesse, J. M., Oti-Floranes, H.
core +1 more source
Design of a fractional control using performance contours. Application to an electromechanical system [PDF]
, 2003 The article proposes a frequency-based method to design a controller ensuring dynamic behavior of a closed-loop control: the first overshoot of the step response in the tracking mode or in the regulation mode, the damping ratio and the natural frequency ...
Lanusse, Patrick +2 more
core +1 more source
Continuous Uniform Finite Time Stabilization of Planar Controllable Systems [PDF]
, 2015 Continuous homogeneous controllers are utilized in a full state feedback setting for the uniform finite time stabilization of a perturbed double integrator in the presence of uniformly decaying piecewise continuous disturbances.
Alvarez J. +11 more
core +2 more sources
An intelligent component database for behavioral synthesis [PDF]
, 1989 This paper describes an intelligent component database system that delivers components to synthesis tools when given a set of attributes and constraints. Requirements of a component server are defined and an implementation is described.
Chen, Gwo-Dong, Gajski, Daniel D.
core
Improving the Convergence of Vector Fitting for Equivalent Circuit Extraction From Noisy Frequency Responses [PDF]
, 2006 The vector fitting (VF) algorithm has become a common tool in electromagnetic compatibility and signal integrity studies. This algorithm allows the derivation of a rational approximation to the transfer matrix of a given linear structure starting from ...
Bandinu, Michelangelo +1 more
core +2 more sources
Regulation-Structured Dynamic Metabolic Model Provides a Potential Mechanism for Delayed Enzyme Response in Denitrification Process [PDF]
, 2017 In a recent study of denitrification dynamics in hyporheic zone sediments, we observed a significant time lag (up to several days) in enzymatic response to the changes in substrate concentration.
Chen, Xingyuan +9 more
core +1 more source
Finding polynomial loop invariants for probabilistic programs
, 2017 Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing polynomial invariants.
A Chakarov +22 more
core +1 more source