Éditeur(s) : HAL CCSD Elsevier
Résumé : Validation of building energy simulation programs is of major interest to both users and modellers. To achieve such a task, it is essential to apply a methodology based on a priori test and empirical validation. A priori test consists in verifying that models embedded in a program and their implementation are correct. this should be achieved before carrying out experiments. The aim of this report is to present results from the application of the BESTEST procedure to our code. We will emphasise the way it allows to find bugs in our program and also how it permits to qualify models of heat transfer by conduction
World Renewable Energy Congress VI Renewables: The Energy for the 21st Century World Renewable Energy Congress VI 1-7 July 2000 Brighton, UK

ISBN : 978-0-08-043865-8
hal-00767562
https://hal.archives-ouvertes.fr/hal-00767562
https://hal.archives-ouvertes.fr/hal-00767562/document
https://hal.archives-ouvertes.fr/hal-00767562/file/TedWrec2000.pdf

Éditeur(s) : HAL CCSD
Résumé : To appear in the Proceeding of GF2004 in ITSF (8 pages).
We extend the theory of distributional kernel operators to a framework of generalized functions, in which they are replaced by integral kernel operators. Moreover, in contrast to the distributional case, we show that these generalized integral operators can be composed unrestrictedly. This leads to the definition of the exponential of a subclass of such operators.
https://hal.archives-ouvertes.fr/hal-00004897

hal-00004897
https://hal.archives-ouvertes.fr/hal-00004897
https://hal.archives-ouvertes.fr/hal-00004897/document
https://hal.archives-ouvertes.fr/hal-00004897/file/GF04BernardDelcroixColombeauNov01.pdf
ARXIV : math.GM/0505179

Éditeur(s) : HAL CCSD Springer Verlag
Résumé : 44 pages, 14 figures
International audience
With any non necessarily orientable unpunctured marked surface (S,M) we associate a commutative algebra, called quasi-cluster algebra, equipped with a distinguished set of generators, called quasi-cluster variables, in bijection with the set of arcs and one-sided simple closed curves in (S,M). Quasi-cluster variables are naturally gathered into possibly overlapping sets of fixed cardinality, called quasi-clusters, corresponding to maximal non-intersecting families of arcs and one-sided simple closed curves in (S,M). If the surface S is orientable, then the quasi-cluster algebra is the cluster algebra associated with the marked surface (S,M) in the sense of Fomin, Shapiro and Thurston. We classify quasi-cluster algebras with finitely many quasi-cluster variables and prove that for these quasi-cluster algebras, quasi-cluster monomials form a linear basis. Finally, we attach to (S,M) a family of discrete integrable systems satisfied by quasi-cluster variables associated to arcs in the quasi-cluster algebra and we prove that solutions of these systems can be expressed in terms of cluster variables of type A.
ISSN: 0925-9899

hal-00821878
https://hal.archives-ouvertes.fr/hal-00821878
ARXIV : 1105.1560
DOI : 10.1007/s10801-015-0586-1

Éditeur(s) : HAL CCSD
Résumé : To appear in TOPOLOGICAL METHODS IN NONLINEAR ANALYSIS (16 pages).
In the last two decades, many algebras of generalized functions have been constructed, particularly the so-called generalized Sobolev algebras. Our goal is to study the latter and some of their main properties. In this framework, we pose and solve a nonlinear degenerated Dirichlet problem with irregular data such as Dirac generalized functions.
https://hal.archives-ouvertes.fr/hal-00004903

Droits : info:eu-repo/semantics/OpenAccess
hal-00004903
https://hal.archives-ouvertes.fr/hal-00004903
https://hal.archives-ouvertes.fr/hal-00004903/document
https://hal.archives-ouvertes.fr/hal-00004903/file/sb_psn_pjm.pdf
ARXIV : math.GM/0505228

Éditeur(s) : HAL CCSD D-side publications, Evere, Belgium
Résumé : International audience
This article underlines the learning and discrimination capabilities of a model of associative memory based on artificial networks of spiking neurons. Inspired from neuropsychology and neurobiology, the model implements top-down modulations, as in neocortical layer V pyramidal neurons, with a learning rule based on synaptic plasticity (STDP), for performing a multimodal association learning task. A temporal correlation method of analysis proves the ability of the model to associate specific activity patterns to different samples of stimulation. Even in the absence of initial learning and with continuously varying weights, the activity patterns become stable enough for discrimination.
Proceedings of 14 European Symposium on Artificial Neural Networks (ESANN 2006)

hal-00115420
https://hal.archives-ouvertes.fr/hal-00115420
https://hal.archives-ouvertes.fr/hal-00115420/document
https://hal.archives-ouvertes.fr/hal-00115420/file/esann06_HAL.pdf
ARXIV : cs.NE/0611104

Éditeur(s) : HAL CCSD
Résumé : International audience
We present the principle and the main steps of a new method for the visuo-spatial analysis of geometrical sketches recorded online. Visuo-spatial analysis is a necessary step for multi-level analysis. Multi-level analysis simultaneously allows classification, comparison or clustering of the constituent parts of a pattern according to their visuo-spatial properties, their procedural strategies, their structural or temporal parameters, or any combination of two or more of those parameters. The first results provided by this method concern the comparison of sketches to some perfect patterns of simple geometrical figures and the measure of dissimilarity between real sketches. The mean rates of good decision higher than 95% obtained are promising in both cases.
Proceedings of the 2010 International Conference on Image Processing, Computer Vision, & Pattern Recognition

Droits : info:eu-repo/semantics/OpenAccess
hal-00514929
https://hal.archives-ouvertes.fr/hal-00514929
https://hal.archives-ouvertes.fr/hal-00514929/document
https://hal.archives-ouvertes.fr/hal-00514929/file/IPCV2010_-_RRP.pdf
ARXIV : 1305.1520

Éditeur(s) : HAL CCSD Springer Verlag
Résumé : International audience
Based on the very recent work by Censor-Gibali-Reich (http://arxiv.org/abs/1009.3780), we propose an extension of their new variational problem (Split Variational Inequality Problem) to monotone variational inclusions. Relying on the Krasnosel'skii-Mann Theorem for averaged operators, we analyze an algorithm for solving new split monotone inclusions under weaker conditions. Our weak convergence results improve and develop previously discussed Split Variational Inequality Problems, feasibility problems and related problems and algorithms.
ISSN: 0022-3239

hal-00776651
https://hal.univ-antilles.fr/hal-00776651
DOI : 10.1007/s10957-011-9814-6

Éditeur(s) : HAL CCSD Springer Verlag
Résumé : 4 pages
International audience
We show that a point is solution of the Minty variational inequality of subdifferential type for a given function if and only if the function is increasing along rays starting from that point. This provides a characterization of the monotone polar of subdifferentials of lower semicontinuous functions: it is a common subset of their graphs which depends only on the function.
ISSN: 1862-4472

hal-00842670
https://hal.archives-ouvertes.fr/hal-00842670
ARXIV : 1307.1826
DOI : 10.1007/s11590-013-0693-7

Éditeur(s) : HAL CCSD Springer Verlag (Germany)
Résumé : International audience
The Michaelis-Menten enzymatic reaction is sufficient to perceive many subtleties of network modeling, including the concentration and time scales separations, the formal equivalence between bulk phase and single-molecule approaches, or the relationships between single-cycle transient probabilities and steady state rates. Twelve methods proposed by different authors and yielding the same famous Michaelis-Menten equation, are selected here to illustrate the kinetic and probabilistic use of rate constants and to review basic techniques for handling them. Finally, the general rate of an ordered multistep reaction, of which the Michaelis-Menten reaction is a particular case, is deduced from a Markovian approach.
ISSN: 0259-9791

hal-00920806
https://hal-univ-rennes1.archives-ouvertes.fr/hal-00920806
https://hal-univ-rennes1.archives-ouvertes.fr/hal-00920806v2/document
https://hal-univ-rennes1.archives-ouvertes.fr/hal-00920806/file/12MM.pdf
ARXIV : 1312.5468

Éditeur(s) : HAL CCSD
Résumé : 6 pages
We provide a new proof that the subdifferential of a proper lower semicontinuous convex function on a Banach space is maximal monotone by adapting the pattern commonly used in the Hilbert setting. We then extend the arguments to show more precisely that subdifferentials of proper lower semicontinuous prox-bounded functions possess the Brondsted-Rockafellar property.
https://hal.archives-ouvertes.fr/hal-00838205

hal-00838205
https://hal.archives-ouvertes.fr/hal-00838205
ARXIV : 1306.5466

Éditeur(s) : HAL CCSD Springer Verlag
Résumé : under revision for IJCV
International audience
The k-nearest neighbors (k-NN) classification rule has proven extremely successful in countless many computer vision applications. For example, image categorization often relies on uniform voting among the nearest prototypes in the space of descriptors. In spite of its good properties, the classic k-NN rule suffers from high variance when dealing with sparse prototype datasets in high dimensions. A few techniques have been proposed to improve k-NN classification, which rely on either deforming the nearest neighborhood relationship or modifying the input space. In this paper, we propose a novel boosting algorithm, called UNN (Universal Nearest Neighbors), which induces leveraged k-NN, thus generalizing the classic k-NN rule. We redefine the voting rule as a strong classifier that linearly combines predictions from the k closest prototypes. Weak classifiers are learned by UNN so as to minimize a surrogate risk. A major feature of UNN is the ability to learn which prototypes are the most relevant for a given class, thus allowing one for effective data reduction. Experimental results on the synthetic two-class dataset of Ripley show that such a filtering strategy is able to reject "noisy" prototypes. We carried out image categorization experiments on a database containing eight classes of natural scenes. We show that our method outperforms significantly the classic k-NN classification, while enabling significant reduction of the computational cost by means of data filtering.
ISSN: 0920-5691

hal-00481712
https://hal.archives-ouvertes.fr/hal-00481712
DOI : 10.1007/s11263-012-0539-2
ARXIV : 1001.1221

Éditeur(s) : HAL CCSD
Résumé : We provide a systematic study of sesquilinear hermitian forms and a new proof of the calculus of some exponential sums defined with quadratic hermitian forms. The computation of the number of solutions of equations such as Tr(f(x)+v.x)=0 or Tr(f(x))=a allows us to construct codes and to obtain their parameters.
https://hal.univ-antilles.fr/hal-00767443

hal-00767443
https://hal.univ-antilles.fr/hal-00767443
ARXIV : math/0111191

Éditeur(s) : HAL CCSD Elsevier
Résumé : This manuscript is an extended version, including an updated bibliography, of the article: Hierarchical cooperativity mediated by chromatin remodeling; the model of the MMTV transcription regulation. Michel, D. 2011. J. Theor. Biol. 287, 74-81
International audience
Chromatin remodeling machineries are abundant and diverse in eukaryotic cells. They have been involved in a variety of situations such as histone exchange and DNA repair, but their importance in gene expression remains unclear. Although the influence of nucleosome position on the regulation of gene expression is generally envisioned under the quasi-equilibrium perspective, it is proposed that given the ATP-dependence of chro-matin remodeling enzymes, certain mechanisms necessitate non-equilibrium treatments. Examination of the celebrated chromatin remodeling system of the mouse mammary tumor virus, in which the binding of transcription factors opens the way to other ones, reveals that breaking equilibrium offers a subtle mode of transcription factor cooperativity, avoids molecular trapping phenomena and allows to reconcile previously conflicting experimental data. This mechanism provides a control lever of promoter responsiveness to transcription factor combinations, challenging the classical view of the unilateral influence of pioneer on secondary transcription factors.
ISSN: 0022-5193

hal-01211233
https://hal.archives-ouvertes.fr/hal-01211233
https://hal.archives-ouvertes.fr/hal-01211233/document
https://hal.archives-ouvertes.fr/hal-01211233/file/nucleosome.pdf
ARXIV : 1509.07440

Éditeur(s) : HAL CCSD
Résumé : International audience
Ctenophores are non-bilaterian metazoans of uncertain phylogenetic position, some recent studies placing them as sister-group to all other animals whereas others suggest this placement is artefactual and ctenophores are more closely allied with cnidarians and bilaterians, with which they share nerve cells, muscles and gut. Available information about developmental genes and their expression and function in ctenophores is reviewed. These data not only unveil some conserved aspects of molecular developmental mechanisms with other basal metazoan lineages, but also can be expected to enlighten the genomic and molecular bases of the evolution of ctenophore-specific traits, including their unique embryonic development, complex anatomy and high cell type diversity.
ISSN: 0959437X

hal-01509720
http://hal.upmc.fr/hal-01509720
ARXIV : 1605.05876
DOI : 10.1016/j.gde.2016.05.020

Éditeur(s) : HAL CCSD Elsevier
Résumé : International audience
We propose an extended forward-backward algorithm for approximating a zero of a maximal monotone operator which can be split as the extended sum of two maximal monotone operators. We establish the weak convergence in average of the sequence generated by the algorithm under assumptions similar to those used in classical forward-backward algorithms. This provides as a special case an algorithm for solving convex constrained minimization problems without qualification condition.
Journal of Mathematical Analysis and applications

hal-00761657
https://hal.archives-ouvertes.fr/hal-00761657
ARXIV : 1212.0523
DOI : 10.1016/j.jmaa.2013.02.022

Éditeur(s) : HAL CCSD Wiley-VCH Verlag
Résumé : International audience
Deciphering the assembly history of the Milky Way is a formidable task, which becomes possible only if one can produce high-resolution chrono-chemo-kinematical maps of the Galaxy. Data from large-scale astrometric and spectroscopic surveys will soon provide us with a well-defined view of the current chemo-kinematical structure of the Milky Way, but will only enable a blurred view on the temporal sequence that led to the present-day Galaxy. As demonstrated by the (ongoing) exploitation of data from the pioneering photometric missions CoRoT, Kepler, and K2, asteroseismology provides the way forward: solar-like oscillating giants are excellent evolutionary clocks thanks to the availability of seismic constraints on their mass and to the tight age-initial-mass relation they adhere to. In this paper we identify five key outstanding questions relating to the formation and evolution of the Milky Way that will need precise and accurate ages for large samples of stars to be addressed, and we identify the requirements in terms of number of targets and the precision on the stellar properties that are needed to tackle such questions. By quantifying the asteroseismic yields expected from PLATO for red-giant stars, we demonstrate that these requirements are within the capabilities of the current instrument design, provided that observations are sufficiently long to identify the evolutionary state and allow robust and precise determination of acoustic-mode frequencies. This will allow us to harvest data of sufficient quality to reach a 10% precision in age. This is a fundamental pre-requisite to then reach the more ambitious goal of a similar level of accuracy, which will only be possible if we have to hand a careful appraisal of systematic uncertainties on age deriving from our limited understanding of stellar physics, a goal which conveniently falls within the main aims of PLATO's core science.
ISSN: 0004-6337

hal-01541393
https://hal.archives-ouvertes.fr/hal-01541393
ARXIV : 1706.3778
BIBCODE : 2017AN....338..644M
DOI : 10.1002/asna.201713385

Éditeur(s) : HAL CCSD
Résumé : 17 pages
We look at the number of solutions of an equation of the form f_1*f_2*...*f_k=a in a finite field, where each f_i is a multilinear polynomial. We use two methods to construct a solution of this problem for the cases a=0, a<>0, and we generally get a semi-explicit formula. We show that this formula can generate a more efficient algorithm than the traditional algorithm which consists to make a systematic computation. We also give explicit formulas in some special cases, and an application of our main result to the search of the weight hierarchy of the multilinear code with separated variables.
https://hal.univ-antilles.fr/hal-00772478

hal-00772478
https://hal.univ-antilles.fr/hal-00772478
ARXIV : math.NT/0603057

Éditeur(s) : HAL CCSD
Résumé : 15 pages
International audience
In analogy to the classical isomorphism between $mathcal{L}left( mathcal{S}left( mathbb{R}^{n}right) ,mathcal{S}^{prime}left( mathbb{R}^{m}right) right) $ and $mathcal{S}^{prime}left( mathbb{R}^{n+m}right) $, we show that a large class of moderate linear mappings acting between the space $mathcal{G}_{mathcal{S}}left( mathbb{R}^{n}right) $ of Colombeau rapidly decreasing generalized functions and the space $mathcal{G}_{ au}left( mathbb{R}^{n}right) $ of temperate ones admits generalized integral representations, with kernels belonging to $mathcal{G}_{ au}left( mathbb{R}^{n+m}right) $. Furthermore, this result contains the classical one in the sense of the generalized distribution equality.
Math. Proc. Camb. Philos. Soc.

Droits : info:eu-repo/semantics/OpenAccess
hal-00019916
https://hal.archives-ouvertes.fr/hal-00019916
https://hal.archives-ouvertes.fr/hal-00019916/document
https://hal.archives-ouvertes.fr/hal-00019916/file/KernelSADelcroixfeb7th.pdf
ARXIV : math.FA/0603035

Éditeur(s) : HAL CCSD Elsevier
Résumé : International audience
Mapping forest aboveground biomass (AGB) has become an important task, particularly for the reporting of carbon stocks and changes. AGB can be mapped using synthetic aperture radar data (SAR) or passive optical data. However, these data are insensitive to high AGB levels (>150 Mg/ha, and >300 Mg/ha for P-band), which are commonly found in tropical forests. Studies have mapped the rough variations in AGB by combining optical and environmental data at regional and global scales. Nevertheless, these maps cannot represent local variations in AGB in tropical forests. In this paper, we hypothesize that the problem of misrepresenting local variations in AGB and AGB estimation with good precision occurs because of both methodological limits (signal saturation or dilution bias) and a lack of adequate calibration data in this range of AGB values. We test this hypothesis by developing a calibrated regression model to predict variations in high AGB values (mean >300 Mg/ha) in French Guiana by a methodological approach for spatial extrapolation with data from the optical geoscience laser altimeter system (GLAS), forest inventories, radar, optics, and environmental variables for spatial inter-and extrapolation. Given their higher point count, GLAS data allow a wider coverage of AGB values. We find that the metrics from GLAS footprints are correlated with field AGB estimations (R 2 =0.54, RMSE=48.3 Mg/ha) with no bias for high values. First, predictive models, including remote-sensing, environmental variables and spatial correlation functions, allow us to obtain "wall-to-wall" AGB maps over French Guiana with an RMSE for the in situ AGB estimates of ~51 Mg/ha and R²=0.48 at a 1-km grid size. We conclude that a calibrated regression model based on GLAS with dependent environmental data can produce good AGB predictions even for high AGB values if the calibration data fit the AGB range. We also demonstrate that small temporal and spatial mismatches between field data and GLAS footprints are not a problem for regional and global calibrated regression models because field data aim to predict large and deep tendencies in AGB variations from environmental gradients and do not aim to represent high but stochastic and temporally limited variations from forest dynamics. Thus, we advocate including a greater variety of data, even if less precise and shifted, to better represent high AGB values in global models and to improve the fitting of these models for high values.
ISSN: 0303-2434

Droits : http://creativecommons.org/licenses/by/
hal-01381116
https://hal.archives-ouvertes.fr/hal-01381116
https://hal.archives-ouvertes.fr/hal-01381116/document
https://hal.archives-ouvertes.fr/hal-01381116/file/Fayad2016a.pdf
DOI : 10.1016/j.jag.2016.07.015

Éditeur(s) : HAL CCSD American Physical Society
Résumé : International audience
Using contact dynamics simulations, we compare the effect of rolling resistance at the contacts in granular systems composed of disks with the effect of angularity in granular systems composed of regular polygonal particles. In simple shear conditions, we consider four aspects of the mechanical behavior of these systems in the steady state: shear strength, solid fraction, force and fabric anisotropies, and probability distribution of contact forces. Our main finding is that, based on the energy dissipation associated with relative rotation between two particles in contact, the effect of rolling resistance can explicitly be identified with that of the number of sides in a regular polygonal particle. This finding supports the use of rolling resistance as a shape parameter accounting for particle angularity and shows unambiguously that one of the main influencing factors behind the mechanical behavior of granular systems composed of noncircular particles is the partial hindrance of rotations as a result of angular particle shape.
ISSN: 1539-3755

hal-00594891
https://hal.archives-ouvertes.fr/hal-00594891
https://hal.archives-ouvertes.fr/hal-00594891/document
https://hal.archives-ouvertes.fr/hal-00594891/file/Estrada2010ReSubmitV2.pdf
ARXIV : 1105.4418