524 research outputs found
Decidability of Equivalence of Symbolic Derivations
No full textInternational audienceWe give in this paper an alternative, and we believe simpler, proof of a deep result by Mathieu Baudet, namely that the equivalence of symbolic constraints is decidable for deduction systems on a finite signature modulo a subterm convergent equational theory
Probability masses fitting in the analysis of manufacturing flow lines
No full textA new alternative in the analysis of manufacturing systems with finite buffers is presented. We propose and study a new approach in order to build tractable phase-type distributions, which are required by state-of-the-art analytical models. Called "probability masses fitting" (PMF), the approach is quite simple: the probability masses on regular intervals are computed and aggregated on a single value in the corresponding interval, leading to a discrete distribution. PMF shows some interesting properties: it is bounding, monotonic and it conserves the shape of the distribution. After PMF, from the discrete phase-type distributions, state-of-the-art analytical models can be applied. Here, we choose the exactly model the evolution of the system by a Markov chain, and we focus on flow lines. The properties of the global modelling method can be discovered by extending the PMF properties, mainly leading to bounds on the throughput. Finally, the method is shown, by numerical experiments, to compute accurate estimations of the throughput and of various performance measures, reaching accuracy levels of a few tenths of percent.stochastic modelling, flow lines, probability masses fitting, discretization, bounds, performance measures, distributions.
Mechanics of inhomogeneous turbulence and interfacial layers
No full textThe mechanics of inhomogeneous turbulence in and adjacent to interfacial layers bounding turbulent and non-turbulent regions are analysed. Different mechanisms are identified according to the straining by the turbulent eddies in relation to the strength of the mean shear adjacent to, or across, the interfacial layer. How the turbulence is initiated and the topology of the region of turbulence are also significant factors. Specifically the cases of a layer of turbulence bounded on one, or two, sides by a uniform and/or shearing flow, and a circular region of a rotating turbulent vortex are considered and discussed.
The entrainment processes at fluctuating interfaces occur both at the outer edges of turbulent shear layers, with and without free-stream turbulence (e.g. jets, wakes and boundary layers), at internal boundaries such as those at the outside of the non-turbulent core of swirling flows (e.g. the ‘eye-wall’ of a hurricane) or at the top of the viscous sublayer and roughness elements in turbulent boundary layers. Conditionally sampled data enables these concepts to be tested. These concepts lead to physically based estimates for critical modelling parameters such as eddy viscosity near interfaces, entrainment rates, maximum velocity and displacement heights
Auto-photographie, ou, Méthode de reproduction par la lumière, des dessins, lithographies, gravures, etc., sans l'emploi du daguerréotype /
No full textMode of access: Internet
Deletion of vitamin D receptor leads to premature emphysema/COPD by increased matrix metalloproteinases and lymphoid aggregates formation
No full textDeficiency of vitamin D is associated with accelerated decline in lung function. Vitamin D is a ligand for nuclear hormone vitamin D receptor (VDR), and upon binding it modulates various cellular functions. The level of VDR is reduced in lungs of patients with chronic obstructive pulmonary disease (COPD) which led us to hypothesize that deficiency of VDR leads to significant alterations in lung phenotype that are characteristics of COPD/emphysema associated with increased inflammatory response. We found that VDR knock-out (VDR(-/-)) mice had increased influx of inflammatory cells, phospho-acetylation of nuclear factor-kappaB (NF-κB) associated with increased proinflammatory mediators, and up-regulation of matrix metalloproteinases (MMPs) MMP-2, MMP-9, and MMP-12 in the lung. This was associated with emphysema and decline in lung function associated with lymphoid aggregates formation compared to WT mice. These findings suggest that deficiency of VDR in mouse lung can lead to an early onset of emphysema/COPD because of chronic inflammation, immune dysregulation, and lung destruction
Paraphrase en vers sur Et Verbum caro factum est
No full textNumérisation effectuée à partir d'un document original.Et Verbum caro factum est est un passage du prologue de l' Evangile selon saint Mathieu portant sur l'incarnation du Verbe. F. 2 : Page fronstipice enluminée. Armes du dauphin, Écartelé, au premier et au quatrième, d’azur aux trois fleurs de lis d’or, qui est de France moderne, et au second et au troisième, d’or au dauphin d’azur, qui est de Viennois, couronnées et ceintes du collier de l'ordre de Saint-Michel, sur fond d'azur semé de F et de dauphins d'or.F. 2v : Miniature à pleine page. Enlumineur à l'oeuvre.Commence par : "Par ung matin contemplant la puissance d'eternité de troys en une essence [...]". Finit par : "[..] Les Chrestiens contrainctz ou voulluntaires vivant soubz ply de adveuz tributaires. [Devise :] Mieux que pis [dans un cartouche]". Le manuscrit est datable entre 1532, année où le dauphin fut certainement fait chevalier de l'ordre de Saint-Michel, et 1536, année de sa mort.Réalisé pour le dauphin François de France (armes, chiffre et emblème au f. 2) ; acheté le 1er mars 1565 (n.st.) par Guillaume Guyon auprès de Claude Lenfant (mention au f. 44 : "Maistre Guillaume Guyon, procureur en Parlement, m'a achetees au Palais, de Claude Lenfant, mercier patenostrier, en mars le premier jour qu'on dict mil cinq cens soixant quatre. [Signé] Go. Guyon" ; sa signature se trouve aussi au f. 1 avec la devise "Sic te fata vocant, non sorte sed virtute") ; François-Roger de Gaignières ; acquis en 1717 avec une partie des collections de celui-ci ; ancien fonds royal
Enhancing surface drainage mapping in eastern Canada with deep learning applied to LiDAR-derived elevation data
No full textAgricultural dykelands in Nova Scotia rely heavily on a surface drainage technique called land forming, which is used to alter the topography of fields to improve drainage. The presence of land-formed fields provides useful information to better understand land utilization on these lands vulnerable to rising sea levels. Current field boundaries delineation and classification methods, such as manual digitalization and traditional segmentation techniques, are labour-intensive and often require manual and time-consuming parameter selection. In recent years, deep learning (DL) techniques, including convolutional neural networks and Mask R-CNN, have shown promising results in object recognition, image classification, and segmentation tasks. However, there is a gap in applying these techniques to detecting surface drainage patterns on agricultural fields. This paper develops and tests a Mask R-CNN model for detecting land-formed fields on agricultural dykelands using LiDAR-derived elevation data. Specifically, our approach focuses on identifying groups of pixels as cohesive objects within the imagery, a method that represents a significant advancement over pixel-by-pixel classification techniques. The DL model developed in this study demonstrated a strong overall performance, with a mean Average Precision (mAP) of 0.89 across Intersection over Union (IoU) thresholds from 0.5 to 0.95, indicating its effectiveness in detecting land-formed fields. Results also revealed that 53% of Nova Scotia’s dykelands are being used for agricultural purposes and approximately 75% (6924 hectares) of these fields were land-formed. By applying deep learning techniques to LiDAR-derived elevation data, this study offers novel insights into surface drainage mapping, enhancing the capability for precise and efficient agricultural land management in regions vulnerable to environmental changes.Atlantic Land Improvement ‘Contractors’ Association (ALICA)Mitacs AccelerateNatural SciencesEngineering Research Council of Canada (NSERC) Discovery Grants Progra
Lorient-1k
No full text<p>Created By Félix Gontier and Mathieu Lagrange, LS2N, CNRS, Ecole Centrale Nantes</p>
<p>Contact : [email protected]</p>
<p>If used for research, please refer to:</p>
<pre>@article{gontier2021training,
title={Polyphonic training set synthesis improves self-supervised urban sound classification},
author={Félix Gontier and Vincent Lostanlen, and Mathieu Lagrange and Nicolas Fortin and Jean-Francois Petiot and Catherine Lavandier},
journal={The Journal of the Acoustical Society of America},
year={2021},
publisher={Acoustical Society of America}
}
</pre>
<p>Lorient-1k contains 30 acoustic scenes of duration equal to 45 seconds.<br>These scenes were recorded with Zoom H4n handheld devices at 10 different locations of Lorient (France).<br>Four experts annotated the onset and offset times of three sources of interest: traffic, voice, and birds. Those annotations have been taken into account to produce a single annotations that is coherent with the notion of perceived time of presence. That is, the sum of activations per scene and per source is coherent with the perceived time of presence.</p>
<p><br>The total duration of the dataset is of the order of 1.35k seconds, i.e., 22.5 minutes.</p>
<p>The audio is provided as third-octave spectral data and mel spectrograms (as of YAMNET). The audio is made available as third octave spectral data, see demoTob.zip for an implementation of its computation from audio in Python.</p>
<p> </p>
<p>From a python interpreter :</p>
<p>>> import numpy as np</p>
<p>>> s=np.load('Lorient-1k_spectralData.npy')</p>
<p>>> print(s.shape)</p>
<p>(30, 351, 29)</p>
<p>The three dimensions respectively corresponds to the sceneId, the frameId (time), and the spectralId (frequency).</p>
<p>>> a=np.load('Lorient-1k_presence.npy')</p>
<p>>> print(a.shape)</p>
<p>(30, 344, 3)</p>
<p>The third and fourth dimensions respectively corresponds to the sceneId, the frameId (time), the sourceId (traffic, voice, birds) and the annotatorId. Annotation is provided as a binary indicator of source presence for one second, that is 8 consecutive 125 ms frames with a hop of one frame.</p>
<p>>> a=np.load('Lorient-1k_time_of_presence.npy')</p>
<p>The time of presence is expressed in percents, per scene, and per source.</p>
<p>>> print(a.shape)</p>
<p>(30, 3)</p>
<p>The audio files are also available in the form of 16bits 44.1kHz wav files. Audio files are named in the same order as the first dimension of the .npy files : 00x.wav third-octaves and time of presence evaluation are accessed using s[x-1, :, : ] and a[x-1, :, : ]</p>
Lorient-1k
No full text<p>Created By Félix Gontier and Mathieu Lagrange, LS2N, CNRS, Ecole Centrale Nantes</p>
<p>Contact : [email protected]</p>
<p>If used for research, please refer to:</p>
<pre>@article{gontier2021training,
title={Polyphonic training set synthesis improves self-supervised urban sound classification},
author={Félix Gontier and Vincent Lostanlen, and Mathieu Lagrange and Nicolas Fortin and Jean-Francois Petiot and Catherine Lavandier},
journal={The Journal of the Acoustical Society of America},
year={2021},
publisher={Acoustical Society of America}
}
</pre>
<p>Lorient-1k contains 30 acoustic scenes of duration equal to 45 seconds.<br>These scenes were recorded with Zoom H4n handheld devices at 10 different locations of Lorient (France).<br>Four experts annotated the onset and offset times of three sources of interest: traffic, voice, and birds. Those annotations have been taken into account to produce a single annotations that is coherent with the notion of perceived time of presence. That is, the sum of activations per scene and per source is coherent with the perceived time of presence.</p>
<p><br>The total duration of the dataset is of the order of 1.35k seconds, i.e., 22.5 minutes.</p>
<p>The audio is provided as third-octave spectral data and mel spectrograms (as of YAMNET). The audio is made available as third octave spectral data, see demoTob.zip for an implementation of its computation from audio in Python.</p>
<p> </p>
<p>From a python interpreter :</p>
<p>>> import numpy as np</p>
<p>>> s=np.load('Lorient-1k_spectralData.npy')</p>
<p>>> print(s.shape)</p>
<p>(30, 351, 29)</p>
<p>The three dimensions respectively corresponds to the sceneId, the frameId (time), and the spectralId (frequency).</p>
<p>>> a=np.load('Lorient-1k_presence.npy')</p>
<p>>> print(a.shape)</p>
<p>(30, 344, 3)</p>
<p>The third and fourth dimensions respectively corresponds to the sceneId, the frameId (time), the sourceId (traffic, voice, birds) and the annotatorId. Annotation is provided as a binary indicator of source presence for one second, that is 8 consecutive 125 ms frames with a hop of one frame.</p>
<p>>> a=np.load('Lorient-1k_time_of_presence.npy')</p>
<p>The time of presence is expressed in percents, per scene, and per source.</p>
<p>>> print(a.shape)</p>
<p>(30, 3)</p>
<p>The audio files are also available in the form of 16bits 44.1kHz wav files. Audio files are named in the same order as the first dimension of the .npy files : 00x.wav third-octaves and time of presence evaluation are accessed using s[x-1, :, : ] and a[x-1, :, : ]</p>
Casimir scaling in glueballs in SU() and Sp() gauge theories: hints from constituent approaches
No full textpeer reviewedWe show that the lattice glueball masses versus in SU() and Sp() Yang-Mills theories scale as , with the fundamental string tension and and the quadratic Casimir of the gauge algebra in the adjoint and fundamental representations. This scaling behaviour is followed by the great majority of available lattice glueball states, and may set constraints on models by imposing a specific behaviour at . The observed scaling is compatible with two assumptions: (1) The glueball masses are proportional to the square root of the adjoint string tension, ; (2) The string tension follows the Casimir scaling, i.e. . In a constituent gluon picture, our results suggest a low-lying glueball spectrum made of two transverse constituent gluons bound by an adjoint string, completed by three transverse constituent gluons bound by a Y-junction of adjoint strings rather than a shaped junction of fundamental strings
- …
