Search results for "Constraint"

Ensuring the Reliability of an Autonomous Vehicle

2017

International audience; In automotive applications, several components, offering different services, can be composed in order to handle one specific task (autonomous driving for example). Nevertheless, component composition is not straightforward and is subject to the occurrence ofbugs resulting from components or services incompatibilities for instance. Hence, bugs detection in component-based systems at thedesign level is very important, particularly, when the developed system concerns automotive applications supporting critical services.In this paper, we propose a formal approach for modeling and verifying the reliability of an autonomous vehicle system, communicatingcontinuously with of…

Functional Improvement after Photothrombotic Stroke in Rats Is Associated with Different Patterns of Dendritic Plasticity after G-CSF Treatment and G…

2016

We have previously shown that granulocyte-colony stimulating factor (G-CSF) treatment alone, or in combination with constraint movement therapy (CIMT) either sequentially or concomitantly, results in significantly improved sensorimotor recovery after photothrombotic stroke in rats in comparison to untreated control animals. CIMT alone did not result in any significant differences compared to the control group (Diederich et al., Stroke, 2012;43:185-192). Using a subset of rat brains from this former experiment the present study was designed to evaluate whether dendritic plasticity would parallel improved functional outcomes. Five treatment groups were analyzed (n = 6 each) (i) ischemic contr…

Mass, phylogeny, and temperature are sufficient to explain differences in metabolic scaling across mammalian orders?

2016

Abstract Whether basal metabolic rate‐body mass scaling relationships have a single exponent is highly discussed, and also the correct statistical model to establish relationships. Here, we aimed (1) to identify statistically best scaling models for 17 mammalian orders, Marsupialia, Eutheria and all mammals, and (2) thereby to prove whether correcting for differences in species’ body temperature and their shared evolutionary history improves models and their biological interpretability. We used the large dataset from Sieg et al. (The American Naturalist 174, 2009, 720) providing species’ body mass (BM), basal metabolic rate (BMR) and body temperature (T). We applied different statistical ap…

Exact solution of the soft-clustered vehicle-routing problem

2020

Abstract The soft-clustered vehicle-routing problem (SoftCluVRP) extends the classical capacitated vehicle-routing problem by one additional constraint: The customers are partitioned into clusters and feasible routes must respect the soft-cluster constraint, that is, all customers of the same cluster must be served by the same vehicle. In this article, we design and analyze different branch-and-price algorithms for the exact solution of the SoftCluVRP. The algorithms differ in the way the column-generation subproblem, a variant of the shortest-path problem with resource constraints (SPPRC), is solved. The standard approach for SPPRCs is based on dynamic-programming labeling algorithms. We s…

The directed profitable rural postman problem with incompatibility constraints

2017

[EN] In this paper, we study a variant of the directed rural postman problem (RPP) where profits are asso- ciated with arcs to be served, and incompatibility constraints may exist between nodes and profitable arcs leaving them. If convenient, some of the incompatibilities can be removed provided that penalties are paid. The problem looks for a tour starting and ending at the depot that maximizes the difference between collected profits and total cost as sum of traveling costs and paid penalties, while satisfying remaining incompatibilities. The problem finds application in the domain of road transportation service, and in particular in the context of horizontal collaboration among carriers …

Use of contrastive syllabic information in L1-L2map for Spanish pronunciation teaching

2018

En la adquisición del sistema fónico de una segunda lengua (L2) al aprendiz no le basta con familiarizarse con los nuevos sonidos nuevos de la L2, sino que debe interiorizar las pautas distribucionales de los segmentos y las restricciones silábicas propias de la L2. El objetivo de este trabajo es, por un lado, reflexionar sobre los factores lingüísticos y contrastivos que pueden influir en la adquisición de las restricciones silábicas del español como lengua extranjera y, por otro lado, presentar las nuevas funciones de la base de datos multilingüe L1-L2map que permiten, precisamente, realizar análisis contrastivos de la estructura silábica de una lengua nativa (L1) y una L2. A lo largo del…

Formulations and exact algorithms for the distance-constrained generalized directed rural postman problem

2017

[EN] The generalized directed rural postman problem is an arc routing problem with many interesting real-life applications, such as routing for meter reading. In this application, a vehicle with a receiver travels through a series of neighborhoods. If the vehicle gets closer than a certain distance to a meter, the receiver is able to record the gas, water, or electricity consumption. Therefore, the vehicle does not need to traverse every street, but only a few, to get close enough to each meter. We study an extension of this problem in which a fleet of vehicles is available. Given the characteristics of the mentioned application, the vehicles have no capacities but there is a maximum distan…

Search for a Dark Leptophilic Scalar in e(+) e(-) Collisions

2020

Many scenarios of physics beyond the standard model predict the existence of new gauge singlets, which might be substantially lighter than the weak scale. The experimental constraints on additional scalars with masses in the MeV to GeV range could be significantly weakened if they interact predominantly with leptons rather than quarks. At an e+e- collider, such a leptophilic scalar (φL) would be produced predominantly through radiation from a τ lepton. We report herein a search for e+e-→τ+τ-φL, φL→ℓ+ℓ- (ℓ=e, μ) using data collected by the BABAR experiment at SLAC. No significant signal is observed, and we set limits on the φL coupling to leptons in the range 0.04<mφL<7.0 GeV. These bounds s…

2015

This paper provides a commentary on the academic literature on accounting conservatism with a view to highlighting the insights of that literature that are potentially useful for accounting standar...

Data from: Assessing metabolic constraints on the maximum body size of actinopterygians: locomotion energetics of Leedsichthys problematicus (Actinop…

2019

Maximum sizes attained by living actinopterygians are much smaller than those reached by chondrichthyans. Several factors, including the high metabolic requirements of bony fishes, have been proposed as possible body-size constraints but no empirical approaches exist. Remarkably, fossil evidence has rarely been considered despite some extinct actinopterygians reaching sizes comparable to those of the largest living sharks. Here, we have assessed the locomotion energetics of Leedsichthys problematicus, an extinct gigantic suspension-feeder and the largest actinopterygian ever known, shedding light on the metabolic limits of body size in actinopterygians and the possible underlying factors th…