Search results for "CSA"

showing 10 items of 50 documents

Developing a Life Cycle Management methodology for road pavements

2022

The necessity of implementing sustainability is a main challenge in our society and it is taking up also in civil engineering works sector, although the infrastructure field is still understanding how to make the Sustainability Assessment (SA) a common practice within the National Road Authorities (NRAs). This research aims at providing a specific methodology for the Life Cycle Management (LCM) of road pavements materials and activities, starting from the available ISO and EN standards, by using Life-Cycle based techniques and Multi-Criteria Decision Making (MCDM), with the aim of assessing performance under the three pillars of sustainability.

Road Pavement Life Cycle Sustainaiblity Assessment (LCSA) Building Information Modelling (BIM)
researchProduct

ENVIRONMENTAL AND ENERGY PERFORMANCES OF BUILDING PRODUCTS: A WORKING CHAIN BASED ANALYSIS

2014

The present work is aimed at investigating the environmental and energy performances of products to be utilized in buildings. Specifically, marble (Section 1), granite (Section 2) and natural materials (Section 3) will be analyzed. The marble features are here studied on the basis of a field working chain audit. Particularly, two representative firms of the Custonaci productive basin (Trapani) have been considered. Their working chain have been investigated, by the point of view of the energy and materials flows, with a classical Life Cycle Assessment (LCA) approach. Moreover, the social and economic impacts of such materials have also been assessed by means of the Life Cycle Costing (LCC) …

S-LCAhemp.Settore ING-IND/11 - Fisica Tecnica AmbientaleLCAmarbleLCCLCSAeco-label
researchProduct

Life Cycle Sustainability Assessment al comparto edilizio – teoria e applicazioni pratiche.

2014

Settore ING-IND/11 - Fisica Tecnica Ambientalesostenibilità life cycle sustainability assessment (LCSA)edificilife cycle costing (LCC)analisi del ciclo di vita (LCA).
researchProduct

Designing alarm sounds for the control of a hydraulic platform

2011

The design of alarm sounds is a subtle yet important challenge. Our conceptions and stereotypes of what alarm sounds sound like are usually quite entrenched, which may be limiting the acceptance of new alarm sounds into the domain of traditional ones. This paper presents the design approaches undertaken for the case of redesigning a set of alarm and notification sounds. An analysis of the approaches' effectiveness, some design decisions, and other challenges faced are presented herein, while preliminary feedback on their effectiveness is discussed.

Sound (medical instrument)ALARMComputer scienceHuman–computer interactionTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSControl (management)LimitingSet (psychology)SimulationDomain (software engineering)Proceedings of the 6th Audio Mostly Conference: A Conference on Interaction with Sound
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

Veģetācijas maiņa 80 gadu periodā mežaudzēs Moricsalas dabas rezervātā

2015

Maģistra darbs izstrādāts Moricsalas dabas rezervātā, kas dibināts 1912. gadā, atkārtojot J.V.Grošinska 1932. gada darbu „Moricsalas meža tipi”. Pirms tam 30% salas platības tika izmantotas siena ieguvei vai kā meža ganības. Dati ievākti 2012.-2014. gadā 20 ilglaicīgos parauglaukumos 50*50m platībā. Darba mērķis ir raksturot izmaiņas Moricsalas mežu biotopu veģetācijā un noskaidrot ilglaicīgu mežu augu sugu ekoloģiskās īpašības. Rezultāti parāda, ka kokaudzē nenotiek ozola atjaunošanās, to nomaina liepa, bet bērzu un priedi – egļu audzes, tādējādi saglabājot heterogenitāti. Lakstaugu stāvā parādās tipiskas mežu sugas, ģeofīti, strestolerantas, mirmekohoras, ienāk retas un aizsargājamas un s…

SukcesijaMoricsalas dabas rezervātsEkoloģiskās īpašībasIlglaicīgsBioloģijaQuercus robur
researchProduct

A Supplementary Text to “Contextuality in Canonical Systems of Random Variables” by Ehtibar N. Dzhafarov, Víctor H. Cervantes, and Janne V. Kujala (P…

2017

Mathematical Proofs

TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSMathematicsofComputing_GENERAL
researchProduct

Komercsabiedrības reorganizācijas ietekme uz administratīvā soda piemērošanu

2018

Bakalaura darba „Komercsabiedrības reorganizācijas ietekme uz administratīvā soda piemērošanu” mērķis ir noskaidrot vai un kādā veidā komercsabiedrības reorganizācijai vajadzētu ietekmēt administratīvo sankciju piemērošanas iespējas. Darbā ir apkopota prakses materiālu un tiesību aktu analīze attiecībā uz komercsabiedrību reorganizācijas un administratīvo sankciju piemērošanas mijiedarbību. Darba izstrādes procesā ir konstatētas un izceltas vairākas būtiskas normatīvā regulējuma nepilnības, kas rada iespēju komercsabiedrībām formāli imitējot reorganizācijas procesu izvairīties no administratīvās atbildības. Pētījumā ir apkopota arī Eiropas Savienības nostāja, ārvalstu prakses analīze un izc…

Tiesību un pienākumu pārejaAdministratīvās sankcijasJuridiskā zinātneKomercsabiedrību reorganizācijaAdministratīvā soda pārejaReorganizācijas procesa harmonizācija
researchProduct

A generalized transitive closure for relational queries

1988

We augment relational algebra with a generalized transitive closure operator that allows for the efficient evaluation of a subclass of recursive queries. The operator is based on a composition operator which is as general as possible when the operator is required to be associative and when only relational algebra operators are used in its definition. The closure of such a composition can be computed using the well-known efficient algorithms designed for the computation of the usual transitive closure. Besides the case in which complete materialization of recursive relations are required, our strategy also yields an efficient solution in the case in which a selection is applied to the closur…

Transitive relationSelection (relational algebra)Closure (topology)Transitive closure020207 software engineering02 engineering and technologyTransitive setRelational algebraTransitive reductionAlgebraTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESOperator (computer programming)TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS020204 information systems0202 electrical engineering electronic engineering information engineeringMathematicsProceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '88
researchProduct

Vides faktoru ietekme uz augsnes veidošanās procesiem Moricsalā un Viskūžu salā

2018

Bakalaura darbā analizēti augsnes veidošanās procesi Moricsalā un Viskūžu salā. Rezultāti parāda, Moricsalas centrālās daļas augsnēs dominējošais augšņu veidošanās process ir podzolēšanās. Uz to norāda zemās alumīnija un dzelzs savienojumu koncentrācijas eluviālajos horizontos un šo savienojumu uzkrāšanos iluviālajos horizontos. Pētījums parāda, ka podzolēšanās procesu ietekmējuši vairāki ugunsgrēki un pēc tā sekojoša augsnes erozija. Podzolēšanās process visilgāk un intensīvāk norisinājies Moricsalas perifērijā, bet vēl intensīvāks tas norisinājies netālu esošajā Viskūžu salā.

Vides zinātneMoricsalabrunifikācijaViskūžu salapodzolēšanāsmeža augsnes
researchProduct