Search results for "construct"

showing 10 items of 3723 documents

4D paleoenvironmental evolution of the Early Triassic Sonoma Foreland Basin (western USA)

2017

In the wake of the Mesozoic, the Early Triassic (~251.95 Ma) corresponds to the aftermath of the most severe mass extinction of the Phanerozoic: the end-Permian crisis, when life was nearly obliterated (e.g., 90% of marine species disappeared). Consequences of this mass extinction are thought to have prevailed for several millions of years, implying a delayed recovery lasting the whole Early Triassic, if not more. Several paradigms have been established and associated to a delayed biotic recovery scenario expected to have resulted from harsh and deleterious paleoenvironments. These paradigms include a global anoxia in the marine realm, a “Lilliput” effect, and the presence of “disaster” tax…

Sonoma Foreland BasinBassin Ouest-Américain[SDU.STU.GM] Sciences of the Universe [physics]/Earth Sciences/GeomorphologyLower TriassicWestern USAReconstitutions paléoenvironnementalesRediversification post-CriseReconstruction palinspastiquesPost-Crisis recoverySonoma Foreland Basin western USA Early Triassic integrated study sedimentology geochemistry paleontology structural geology numerical modelling GIS geological mapping paleoenvironmental reconstructionsPaleoenvironmental reconstructionsPalinspastic reconstructionsTrias inférieur
researchProduct

Novel biomass fly ash-based geopolymeric mortars using lime slaker grits as aggregate for applications in construction: Influence of granulometry and…

2019

Abstract This work discusses the influence of the aggregate granulometry and the binder/aggregate ratio on the engineering properties of novel green geopolymeric mortars. Two wastes generated by a Portuguese Kraft pulp industry are employed to manufacture the material: lime slaker grits (used as aggregate) and biomass fly ash (to partially replace the metakaolin − 70 wt% substitution). The novel geopolymeric mortars could find innovative applications as sustainable construction materials. The studied mix design foresees the use of several grits granulometric ranges and ratios binder/aggregate to discuss workability, water sorptivity, and mechanical performance of the novel mortars. To date,…

Sorptivity0211 other engineering and technologiesSettore ICAR/10 - Architettura Tecnica020101 civil engineering02 engineering and technologyRaw materialengineering.materialGritGeopolymer0201 civil engineering021105 building & constructionGeneral Materials ScienceMetakaolinCivil and Structural EngineeringLimebusiness.industryBiomass fly ashBuilding and ConstructionConstruction materialMasonryPulp and paper industryMortarKraft processFly ashengineeringEnvironmental scienceMortarbusinessPaper-pulp industry
researchProduct

Suffix array and Lyndon factorization of a text

2014

Abstract The main goal of this paper is to highlight the relationship between the suffix array of a text and its Lyndon factorization. It is proved in [15] that one can obtain the Lyndon factorization of a text from its suffix array. Conversely, here we show a new method for constructing the suffix array of a text that takes advantage of its Lyndon factorization. The surprising consequence of our results is that, in order to construct the suffix array, the local suffixes inside each Lyndon factor can be separately processed, allowing different implementative scenarios, such as online, external and internal memory, or parallel implementations. Based on our results, the algorithm that we prop…

Sorting suffixes; BWT; Suffix array; Lyndon word; Lyndon factorizationCompressed suffix arraySettore INF/01 - InformaticaSorting suffixesGeneralized suffix treeSuffix arrayOrder (ring theory)Construct (python library)Lyndon wordSorting suffixeTheoretical Computer Sciencelaw.inventionBWTLyndon factorizationComputational Theory and MathematicsFactorizationlawSuffix arrayFactor (programming language)Internal memoryDiscrete Mathematics and CombinatoricsArithmeticcomputerMathematicscomputer.programming_languageJournal of Discrete Algorithms
researchProduct

Towards Axiomatic Basis of Inductive Inference

2001

The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…

SoundnessDiscrete mathematicsPredicate logicSMorse–Kelley set theoryComputer scienceNon-well-founded set theoryZermelo–Fraenkel set theoryConstructive set theoryInductive reasoningAxiom schemaUrelementScott's trickMonad (functional programming)First-order logicAxiom of extensionalityMathematics::LogicTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSCalculusAxiom of projective determinacyAxiom of choiceKripke–Platek set theoryAction axiomAxiom
researchProduct

Technical Note: Airborne Sound Insulation of Hollow Brickwork

2007

This paper reports on the uncertainty of in situ measurements of the airborne sound insulation of hollow-brick walls in different housing plans, with emphasis on the influence of expansion joints. The mean and standard deviation of multiple measurements are obtained, which show significant differences in insulation values despite the fact that the same construction was used in each case.

SoundproofingAcoustics and Ultrasonicsbusiness.industryMechanical EngineeringAcousticsTechnical noteBuilding and ConstructionStructural engineeringExpansion jointbusinessBrickworkStandard deviationGeologyBuilding Acoustics
researchProduct

“Sensing” the destination: Development of the destination sensescape index

2021

Abstract Despite the increasing academic interest in the sensory dimension of the tourist experience, the quantitative empirical research in the field is limited by a lack of measurement instruments for evaluating the sensory stimuli perceived by tourists during a destination visit. The study addresses this gap by developing a composite index to assess the sensory destination panorama, termed as “destination sensescape”. The construct is conceptualised as a formative multidimensional variable with 5 dimensions (visualscape, smellscape, tastescape, soundscape, and hapticscape). The psychometric validity and reliability of the 17 items integrating the formative index were established by a rig…

SoundscapeKnowledge managementComputer scienceStrategy and ManagementValidityTransportationsensory experienceDevelopment:CIENCIAS ECONÓMICAS [UNESCO]Formative assessmentEmpirical research0502 economics and businessdestinationDimension (data warehouse)sensescapeformative index constructionbusiness.industry05 social sciencesUNESCO::CIENCIAS ECONÓMICASTourism Leisure and Hospitality Management050211 marketingComposite indexbusinessConstruct (philosophy)050212 sport leisure & tourismTourism
researchProduct

The embodied sources of purpose expressions in Latin

2016

This chapter examines the phrasal means of encoding the semantic role of purpose in Latin. After discussing the notion of semantic role and its use in cognitive linguistics, we illustrate the conceptual relation between the notional domains of space and causation. On this basis, we analyze the source of purpose expressions in Latin, which are mainly based on direction (bare dative and the allative markers, i.e. ad / in + accusative), but also include prepositional phrases metaphorically derived from location (e.g. per + accusative, prō + ablative, propter + accusative), or metonymically spreading from reason to purpose (as in the case of causal markers such as genitive + causā and gratiā ).

Space (punctuation)Genitive caseEmbodied cognitionDative caseEncoding (semiotics)space reason location direction metonymy metaphor prepositional phrases phrasal constructions purpose causationCausationPsychologyCognitive linguisticsLinguisticsSettore L-LIN/01 - Glottologia E LinguisticaAllative case
researchProduct

Moderne Bildverarbeitungsverfahren als Unterstützung der räumlichen Rekonstruktion histologischer Strukturen

1994

Summary Spatial reconstruction of anatomic and histologic structures is of increasing importance in biological and medical research. A special kind of disease — hereditary opalescent dentine (HOD) — offered a good chance for the use of a comfortable image-analysis system (IBAS, Kontron) in combination with a special software for three-dimensional reconstruction. New aspects of the morphologic organisation of a key structure of HOD — the giant dentinal canals — could be shown, thus supporting the hypothesis of a vasal origin.

Spatial reconstructionHereditary opalescent dentinebusiness.industryDentistryGeneral MedicineAnatomyPsychologybusinessDevelopmental BiologyAnnals of Anatomy - Anatomischer Anzeiger
researchProduct

Evaluation of carbamazepine uptake and metabolization by Typha spp., a plant with potential use in phytotreatment

2011

Abstract Phytoremediation technologies such as constructed wetlands have shown higher efficiencies in removal of pharmaceuticals from wastewaters than conventional wastewater treatment processes, and plants seem to have an important role in the removal of some of those compounds. In this context, a study was conducted to assess tolerance, uptake, and metabolism of the epilepsy drug, carbamazepine, by the macrophyte Typha spp. This evaluation was conducted in hydroponic solutions with 0.5–2.0 mg/L of this pharmaceutical for a maximum period of 21 days. The removal of carbamazepine from nutrient solutions by the plants reached values of 82% of the initial contents. Furthermore, a metabolite (…

Spectrometry Mass Electrospray IonizationEnvironmental EngineeringMetaboliteBioengineeringContext (language use)Typhaceaechemistry.chemical_compoundNutrientTandem Mass SpectrometryBotanymedicineTypha spp.Waste Management and DisposalTyphaPhytotreatmentbiologyConstructed wetlandsRenewable Energy Sustainability and the EnvironmentGeneral MedicineCarbamazepinebiology.organism_classificationPhytoremediationPhytoremediationBiodegradation EnvironmentalCarbamazepinechemistryCatalaseOxidative stressEnvironmental chemistrybiology.proteinPharmaceuticalsAnticonvulsantsWater Pollutants ChemicalChromatography Liquidmedicine.drug
researchProduct

Design of the CGAL Spherical Kernel and application to arrangements of circles on a sphere

2009

International audience; This paper presents a CGAL kernel for algorithms manipulating 3D spheres, circles, and circular arcs. The paper makes three contributions. First, the mathematics underlying two non trivial predicates are presented. Second, the design of the kernel concept is developed, and the connexion between the mathematics and this design is established. In particular, we show how two different frameworks can be combined: one for the general setting, and one dedicated to the case where all the objects handled lie on a reference sphere. Finally, an assessment about the efficacy of the \sk\ is made through the calculation of the exact arrangement of circles on a sphere. On average …

SpheresCurved objectsCGALGeneric programming[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]Constructions[ INFO.INFO-MS ] Computer Science [cs]/Mathematical Software [cs.MS]Geometric kernels[INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG][INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS][ INFO.INFO-CG ] Computer Science [cs]/Computational Geometry [cs.CG]RobustnessPredicates[INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
researchProduct