Search results for "computational"
showing 10 items of 5884 documents
Propose Semantic Formalization for 3D Reconstruction of Architectural
2010
International audience; Archi3D project is a successful practice well proved by engineering practices. In this paper, we propose to reconstruct semantics for the purpose of reconstruct 3D architecture in Archi3D fundamentally. The formalization approach starts from several hypotheses on semantics which include: there is a core mechanism of semantics which is not limited to conceptual expression level; and a complete expression of semantics necessaries the ―implicitexplicit‖ transition of human side knowledge, etc. The necessity and feasibility concerning applying the proposed method and technology to the practice of Archi3D is discussed systemically by way of semantics revelations on some …
Query-preserving watermarking of relational databases and XML documents
2011
Watermarking allows robust and unobtrusive insertion of information in a digital document. During the last few years, techniques have been proposed for watermarking relational databases or Xml documents, where information insertion must preserve a specific measure on data (for example the mean and variance of numerical attributes). In this article we investigate the problem of watermarking databases or Xml while preserving a set of parametric queries in a specified language, up to an acceptable distortion. We first show that unrestricted databases can not be watermarked while preserving trivial parametric queries. We then exhibit query languages and classes of structures that allow guarante…
A note on Hilbert’s weak nullstellensatz
2015
In this article, through a suitable generalization of the well-known notion of spectrum of an element of an arbitrary normed algebra of Operator Theory, it will be possible to give another simple proof of the Hilbert’s Weak Nullstellensatz.
Asymptotic bit frequency in Fibonacci words
2021
It is known that binary words containing no $k$ consecutive 1s are enumerated by $k$-step Fibonacci numbers. In this note we discuss the expected value of a random bit in a random word of length $n$ having this property.
Results of a self-triggered prototype system for radio-detection of extensive air showers at the Pierre Auger Observatory
2012
We describe the experimental setup and the results of RAuger, a small radio-antenna array, consisting of three fully autonomous and self-triggered radio-detection stations, installed close to the center of the Surface Detector (SD) of the Pierre Auger Observatory in Argentina. The setup has been designed for the detection of the electric field strength of air showers initiated by ultra-high energy cosmic rays, without using an auxiliary trigger from another detection system. Installed in December 2006, RAuger was terminated in May 2010 after 65 registered coincidences with the SD. The sky map in local angular coordinates (i.e., zenith and azimuth angles) of these events reveals a strong azi…
Plasma diagnostic tools for ECR ion sources : What can we learn from these experiments for the next generation sources
2019
International audience; The order-of-magnitude performance leaps of ECR ion sources over the past decades result from improvements to the magnetic plasma confinement, increases in the microwave heating frequency, and techniques to stabilize the plasma at high densities. Parallel to the technical development of the ion sources themselves, significant effort has been directed into the development of their plasma diagnostic tools. We review the recent results of Electron Cyclotron Resonance Ion Source (ECRIS) plasma diagnostics highlighting a number of selected examples of plasma density, electron energy distribution, and ion confinement time measurements, obtained mostly with the second-gener…
Multi-resolution error analysis of predicted absorption coefficients. Method and computer implementation. Application to the IR spectrum of methane a…
2009
A general method for the estimation of the confidence interval of molecular absorption coefficients is presented. It combines statistical numerical experiments with analytical calculations. The method uses line parameter predictions (position and intensity) with known estimated uncertainties. The propagation of errors from line parameters to absorption coefficients or cross-sections are analyzed in detail as a function of the resolution. This work is especially intended to provide expert information for applications requiring theoretical predictions for which the present state of the art of line by line high-resolution modeling is not accurate enough to meet the experimental precision. As a…
The STDS Dijon system : Present status and prospects.
2009
The Dijon spectroscopy group has developed powerful techniques based on group theory and tensorial formalism in order to analyze and simulate absorption and Raman spectra of molecules with various symmetries. Software packages and databases implementing these tools have been created [1]. Compared to the widely used spectroscopic databases (HITRAN, GEISA), these packages, with their XTDS common interface [2], are primarily devoted to the calculation of line parameters and spectra from a database of model parameters. Future developments include improved fitting algorithms, inclusion of C3v symmetric tops, rovibronic couplings, uncertainty estimates. Moreover, calculated line lists will be acc…
Multi-Resolution error analysis of predicted absorption coefficients. Method and computer implementation. Application to the infrared spectrum of met…
2009
A general method for the estimation of the confidence interval of molecular absorption coefficients is presented. It combines statistical numerical experiments with analytical calculations. The method uses line parameter predictions (position and intensity) with known estimated uncertainties. The propagation of errors from line parameters to absorption coefficients or cross-sections are analyzed in detail as a function of the resolution. This work is especially intended to provide expert information for applications requiring theoretical predictions for which the present state of the art of line by line high-resolution modeling is not accurate enough to meet the experimental precision. As a…
Shallow water rogue waves in nonlinear optical fibers
2013
The dynamics of extreme waves, often known as freak or rogue waves (RW), is presently a subject of intensive research. In oceanography, RW are mostly known as a sudden deep-water event which is responsible for ship wreakages and can be modeled by the 1D Nonlinear Schrodinger Equation (NLSE). In this framework, an ideal testbed is provided by optical pulse propagation in nonlinear optical fibers: extreme solitary wave emissions during supercontinuum generation or the first experimental observation of the Peregrine solitons have indeed been carried out exploiting the modulation instability occuring in fibers with anomalous dispersion.