Search results for "CSA"
showing 10 items of 50 documents
Building a new CTL model checker using Web services
2013
This Computation Tree Logic (CTL) is widely used to capture compositions of reactive systems. Model checking is particularly well-suited for the automated verification of finite-state systems, both for software and for hardware. A CTL model checker tool allows designers to automatically verify that systems satisfy specifications expressed in the language of CTL logic. In this paper we present a new CTL model checker implemented in client-server paradigm. CTL Designer, the client tool, allows an interactive construction of the CTL models as state-transition graphs. Java and C# APIs are provided for programmatic construction of large models. The server part of our tool embeds the core of the …
Deciding properties of integral relational automata
1994
This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.
Viola canina × uliginosa herbārijs no Moricsalas
1909
Paula Lakševica (Lackschewitz; 1865 – 1936) Moricsalā ievāktais vijolītes Viola canina × uliginosa herbārijs glabājas Herbarium Latvicum (RIG II) kolekcijā Latvijas Universitātes Muzeja Botānikas un mikoloģijas kolekcijās. Herbārijs ir ievākts, veicot sākotnējo salas floras izpēti, kurā piedalījās vairāki Baltijas dabaspētnieki. Izpētes rezultāti kalpoja par pamatu, Moricsalas dabas rezervāta izveidei.
Visitor Regulations vs Rules for visiting Morizsala
1913
Regulations issued by the Riga Society of Naturalists (Naturforscher-Verein zu Rīga; 1845 – 1939) for visitors to Moricsala. The rules were created by approving the first nature protected area in Latvia. The material is stored in the Botany and Mycology collections of the Museum of the University of Latvia.
Electron Ion Collider: The Next QCD Frontier: Understanding the glue that binds us all
2016
International audience; This White Paper presents the science case of an Electron-Ion Collider (EIC), focused on the structure and interactions of gluon-dominated matter, with the intent to articulate it to the broader nuclear science community. It was commissioned by the managements of Brookhaven National Laboratory (BNL) and Thomas Jefferson National Accelerator Facility (JLab) with the objective of presenting a summary of scientific opportunities and goals of the EIC as a follow-up to the 2007 NSAC Long Range plan. This document is a culmination of a community-wide effort in nuclear science following a series of workshops on EIC physics over the past decades and, in particular, the focus…
Síndrome de Cockayne: Informe de un caso: revisión de la literatura
2006
El Síndrome de Cockayne (CS) es un desorden genético con un patrón de herencia autosómico recesivo que fue descrito por primera vez en 1936 por Cockayne. Los pacientes con este síndrome presentan detención del crecimiento, talla baja, envejecimiento prematuro, anormalidades neurológicas, fotosensibilidad, retraso en la erupción de los dientes primarios, ausencia congénita de dientes permanentes, macrodoncia parcial, atrofia de los procesos alveolares y caries dental. Puede ser causado por mutación en dos genes, el CKN1 (ERCC8) y el ERCC6, localizados en los cromosomas 5 y 10 respectivamente; originando dos tipos: CS-A que tienen mutación en ERCC8 y CS-B con mutación en ERCC6, este último pr…
"Premio Gubbio 2009 – Sezione per Tesi di laurea, Dottorato di ricerca o Scuola di specializzazione"
2009
Exploring Students’ Metacognitive Knowledge: The Case of Integral Calculus
2020
Previous studies of integral calculus have mainly explored students&rsquo
Investigating Tools for Sustainability Assessment of Road Pavements in Europe
2022
Sustainability assessment (SA) is a method to support decision making processes through the evaluation of system effectiveness, environmental integrity, economic valuation, and social implications [1]. SA can be carried out through the application of life-cycle-based techniques for quantitative assessment, or by performing a mainly qualitative approach via sustainability rating systems (SRS). In the field of civil engineering, many SRS have been proposed, all based on assigning point values to actions that are determined to contribute to the overall sustainability of the project. However, only few of these systems can be applied specifically to compare road pavement technologies and/or main…
Life Cycle Sustainability Assessment of a dish-Stirling Concentrating Solar Power Plant in the Mediterranean area
2021
Abstract Among the different renewable energy sources, solar energy shows the highest exploitation potential to satisfy a substantial portion of the worlds’ future energy demand, guaranteeing at the same time lower emissions than conventional energy providers. Much of this potential is usable thanks to Concentrating Solar Power (CSP) technologies, of which the dish-Stirling concentrator is the most efficient. Nevertheless, the production and installation phases of the dish-Stirling technology can have an environmental impact which motivated the assessment of the plant in the three dimensions of sustainability (environmental, economic and social). The present publication evaluated an existin…