Search results for "CONST"
showing 10 items of 7706 documents
Lattice dynamics of superconducting zirconium and hafnium nitride halides
2003
We have performed a study of the Raman active modes of β-HfNCl, β-ZrNCl, and β-ZrNBr and Na-doped β-HfNCl in various scattering configurations. The experimental values are compared with a lattice dynamical calculation andassigned to definite atomic motions. The variation of the atomic force constants are analyzed as a function of the bond length, relating their relative strength with the atomic characteristics of the compound.
Un’antitesi amplificata? Aspetti di Costantino e Giuliano a partire dall’Apologia pro Zosimo di Löwenklau
2015
The article starts from an analysis of Johannes Löwenklau's Apologia pro Zosimo adversus Evagrii, Nicephori Callisti et aliorum acerbas criminationes, Basel 1576 to show how the antithesis between Constantine and Julian is an amplified antithesis. Thinking of the two figures standardised as antithetical, Julian cannot be schematically contrasted with the new faith in the name of the Olympian faith, as he not only practises and proclaims tolerance, but is syncretist. Constantine himself can be described as a tolerant emperor, an attitude closely linked to a particularly elaborate 'pagan strategy' that can be found by simultaneously considering epigraphy, numismatics and Latin panegyrics.
Toward a virtual reconstruction of an antique three-dimensional marble puzzle
2017
International audience; Abstract | Introduction | Related Work | Acquisition Setup, Proposed Prototype: Calibration and Visibility | Preprocessing of Scanned Three-Dimensional Fragment Data | Processing of Scanned Three-Dimensional Surface Data: Matching | Conclusion and Future Works | Appendices | Acknowledgments | ReferencesAbstract. The reconstruction of broken objects is an important field of research for many applications, such as art restoration, surgery, forensics, and solving puzzles. In archaeology, the reconstruction of broken artifacts is a very time-consuming task due to the handling of fractured objects, which are generally fragile. However, it can now be supported by three-dim…
Extending CSG with projections: Towards formally certified geometric modeling
2015
We extend traditional Constructive Solid Geometry (CSG) trees to support the projection operator. Existing algorithms in the literature prove various topological properties of CSG sets. Our extension readily allows these algorithms to work on a greater variety of sets, in particular parametric sets, which are extensively used in CAD/CAM systems. Constructive Solid Geometry allows for algebraic representation which makes it easy for certification tools to apply. A geometric primitive may be defined in terms of a characteristic function, which can be seen as the zero-set of a corresponding system along with inequality constraints. To handle projections, we exploit the Disjunctive Normal Form,…
Toward Approximate GML Retrieval Based on Structural and Semantic Characteristics
2010
International audience; GML is emerging as the new standard for representing geographic information in GISs on the Web, allowing the encoding of structurally and semantically rich geographic data in self describing XML-based geographic entities. In this study, we address the problem of approximate querying and ranked results for GML data and provide a method for GML query evaluation. Our method consists of two main contributions. First, we propose a tree model for representing GML queries and data collections. Then, we introduce a GML retrieval method based on the concept of tree edit distance as an efficient means for comparing semi-structured data. Our approach allows the evaluation of bo…
Towards a methodology for semantic and context-aware mobile learning
2013
International audience; Internet and mobile devices open the way towards mobile learning (m-learning), offering new opportunities to extend learning beyond the traditional teacher-led classroom. M-learning is not only any form of teaching or studying that takes place when the user interacts with a mobile device. It is more than just using a mobile device to access resources and communicate with others. It should take account of the constant mobile situation of the learner. The challenge here is to exploit this continually changing situation with a system that can dynamically recognize and adapt educational resources and services to the "context" in which the learner operates (localization, …
Reasoning with Vague Spatial Information from Upper Mesopotamia (2000BC)
2015
International audience; Concepts such as near, far, south of, etc., are by its own nature vague. However, they are quite common in human language. In the case of historical records, these concepts are often the only source of information regarding the position of ancient places whose exact location has been lost. In our research, we use digitized written records from Upper Mesopotamia (2000BC) from the HIGEOMES project. Our goal is to provide better understanding of the location of places, based on the analysis of spatial statements. In our approach, we analyse cardinal statements between places with known location. Using this information we construct a probabilistic function representing t…
Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems
2011
International audience; This paper describes new ways to tackle several important problems encountered in geometric constraint solving, in the context of CAD, and which are linked to the handling of under- and over-constrained systems. It presents a powerful decomposition algorithm of such systems. Our methods are based on the witness principle whose theoretical background is recalled in a first step. A method to generate a witness is then explained. We show that having a witness can be used to incrementally detect over-constrainedness and thus to compute a well-constrained boundary system. An algorithm is introduced to check if anchoring a given subset of the coordinates brings the number …
Semantic oriented data structuration for MABS Application to BIM
2013
International audience; This paper presents a multiagent-based simulation approach to qualify the usage of buildings from the design phase. Our approach combines ontology and evolution process based on machine learning algorithms. The ontology relies on semantic data structures for the representation of environment components, agent knowledge and all data generated during the simulation.
RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker
2011
International audience; The most frequently used language to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2SPIN, which converts RDF graphs into SPIN language. This conversion aims checking the semantic graphs with the model checker SPIN in order to verify the consistency of the data. To illustrate our propos…