Search results for "data structure"

showing 10 items of 441 documents

Presentations of constrained systems with unconstrained positions

2005

International audience; We give a polynomial-time construction of the set of sequences that satisfy a finite-memory constraint defined by a finite list of forbidden blocks, with a specified set of bit positions unconstrained. Such a construction can be used to build modulation/error-correction codes (ECC codes) like the ones defined by the Immink-Wijngaarden scheme in which certain bit positions are reserved for ECC parity. We give a lineartime construction of a finite-state presentation of a constrained system defined by a periodic list of forbidden blocks. These systems, called periodic-finite-type systems, were introduced by Moision and Siegel. Finally, we present a linear-time algorithm for con…

[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]finite-memory systemperiodic-finite-type (PFT) system[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]0102 computer and information sciences02 engineering and technologyLibrary and Information Sciences01 natural sciencesModulation coding0202 electrical engineering electronic engineering information engineeringMathematicsDiscrete mathematicsChannel codefinite-state encodermodulation codeDAWG020206 networking & telecommunicationsDirected graphDirected acyclic graphforbidden blockComputer Science ApplicationsFinite sequence010201 computation theory & mathematicscodeError detection and correctionrun-length limited (RLL) codesInformation SystemsCoding (social sciences)maximum transition run (MTR)
researchProduct

Semantic Trajectory Modeling for Dynamic Built Environments

2017

This paper presents a data model to capture moving and changing objects in the context of dynamic built environment. Building elements are subject to change which represents semantic trajectories crossing trajectories of users. These semantic trajectories in dynamics built environment permit to capture fine-grained activities and behaviors of users and objects. The data model is based on ontology and description logics to capture logic constraints on semantic trajectories.

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]Computer science[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]0211 other engineering and technologies[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Context (language use)[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]02 engineering and technologyOntology (information science)SemanticsData modelingData modelDescription logicHuman–computer interaction020204 information systems0202 electrical engineering electronic engineering information engineeringTrajectory[ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]Built environment[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]ComputingMilieux_MISCELLANEOUS021101 geological & geomatics engineering
researchProduct

Linking BIM and GIS Standard Ontologies with Linked Data

2020

International audience; Following the analysis of existing BIM and GIS standards, formats, differences in the interpretations of the underlying concepts have been identified. Still, in each of the two considered domains several ontologies have been defined for these terms without seeking an alignment among their definitions. With this scope in mind, this article presents several mappings expressed by means of explicit semantic links between GIS concepts (as present in the related ontologies for the ISO 191XX standard family) and BIM concepts (as represented in the IFC standard ISO 16739:2018). Such semantic mappings are defined in order to ensure a knowledge continuum between both domains, …

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL]Linked Data[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Ontologies[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]BIM[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]GISSemantic Web Technologies[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]ISO standards
researchProduct

Bridging the Gap between Geospatial and Construction, Geo4Construction 2020

2020

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]
researchProduct

Vocabulaires de données pour le BIM

2019

International audience

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL][INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]ComputingMilieux_MISCELLANEOUS[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
researchProduct

Linked data vocabularies for BIM

2019

Given the high interest in the field of BIM (Building Information Modeling) for Linked Data approaches over the last years, the article at hand presents an evaluation of the main Linked Data vocabularies available for the considered domain. First, Semantic Web layer architecture is presented, along with the 4 main principles of Linked Data. Second, each vocabulary is evaluated according to these 4 principles, while 2 additional ones are added in order to assess the licence associated with the vocabulary (open or not, specified or missing). An overall comparison among the considered vocabularies is also provided, thus helping in choosing which vocabulary to use in future Linked Data applicat…

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]vocabulaires[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]données liéesvocabularies Mots clefs BIM[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL]Linked DataBIMvocabulariesWeb sémantique[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL]Semantic Web
researchProduct

Performance evaluation of Wireless Sensor Networks based on ZigBee technology in smart home

2013

International audience; Wireless Sensor Networks (WSNs) has diverse application domains such as smart home, smart care, industrial, etc. In this paper, we present a WSN system based on the ZigBee technology (IEEE 802.15.4) in Smart Home. To have a good sensor networks communication implanted in a smart home, studies of operating performance on this network is important. In this work, we investigate the performance of our ZigBee sensor networks. The study of performance is based on measurements of the Received Signal Strength Indicator (RSSI) in different parts of the Home. We will also discuss the impact of electromagnetic noise on the communication performance of a ZigBee Sensor Network in…

[INFO.INFO-SY] Computer Science [cs]/Systems and Control [cs.SY][ INFO.INFO-TS ] Computer Science [cs]/Signal and Image Processing[INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-IM] Computer Science [cs]/Medical Imaging[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS][ INFO.INFO-CV ] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV][INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV][ INFO.INFO-IT ] Computer Science [cs]/Information Theory [cs.IT][INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing[INFO.INFO-IM]Computer Science [cs]/Medical Imaging[INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS][ INFO.INFO-IM ] Computer Science [cs]/Medical Imaging[SPI.ELEC] Engineering Sciences [physics]/ElectromagnetismComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV][SPI.TRON] Engineering Sciences [physics]/Electronics[ SPI.TRON ] Engineering Sciences [physics]/Electronics[SPI.TRON]Engineering Sciences [physics]/Electronics[SPI.ELEC]Engineering Sciences [physics]/Electromagnetism[INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT][ SPI.ELEC ] Engineering Sciences [physics]/Electromagnetism[ INFO.INFO-SY ] Computer Science [cs]/Systems and Control [cs.SY][INFO.INFO-IT] Computer Science [cs]/Information Theory [cs.IT]
researchProduct

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.

[MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC]lcsh:MathematicsSpectrum[MATH.MATH-FA] Mathematics [math]/Functional Analysis [math.FA]lcsh:Descriptive and experimental mechanicsOperator algebraComputer Science::Computational GeometryComputer Science::Data Structures and Algorithmslcsh:QA1-939Ideallcsh:QC120-168.85
researchProduct

On parameterized complexity to determine b-chromatic and partial Grundy numbers

2014

International audience

[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO][MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO][INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]ComputingMilieux_MISCELLANEOUS
researchProduct

Tungsten oxide thin films sputter deposited by the reactive gas pulsing process for the dodecane detection

2015

International audience; The DC reactive magnetron sputtering of a metallic tungsten target was performed in an argon + oxygen atmosphere for depositing tungsten oxide thin films. In order to control the oxygen concentration in the films, the reactive gas pulsing process, namely RGPP, was implemented. Rectangular pulses were used with a constant pulsing period T = 16 s whereas the duty cycle α (time of oxygen injection to pulsing period T ratio) was systematically changed from 0 to 100% of T. This pulsing injection of the reactive gas allowed a gradual evolution of the films composition from pure metallic to over-stoichiometric WO3+ɛ’ compounds. These WOx films were sputter deposited on comm…

[SPI.ACOU]Engineering Sciences [physics]/Acoustics [physics.class-ph][PHYS.PHYS.PHYS-OPTICS]Physics [physics]/Physics [physics]/Optics [physics.optics]ArgonMaterials scienceDodecane020502 materials[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Analytical chemistrychemistry.chemical_element02 engineering and technology021001 nanoscience & nanotechnologyOxygen[SPI.AUTO]Engineering Sciences [physics]/Automatic[SPI.MAT]Engineering Sciences [physics]/Materialschemistry.chemical_compound0205 materials engineeringchemistrySputteringDuty cycleDeposition (phase transition)Limiting oxygen concentrationThin film[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics0210 nano-technology
researchProduct