Search results for "LTL"

Krapina atlases suggest a high prevalence of anatomical variations in the first cervical vertebra of Neanderthals

2020

The first cervical vertebra, atlas, and its anatomical variants have been widely studied in Homo sapiens. However, in Neanderthals, the presence of anatomical variants of the atlas has been very little studied until very recently. Only the Neanderthal group from the El Sidrón site (Spain) has been analysed with regard to the anatomical variants of the atlas. A high prevalence of anatomical variants has been described in this sample, which points to low genetic diversity in this Neanderthal group. Even so, the high prevalence of anatomical variations detected in El Sidrón Neanderthal atlases needs to be confirmed by analysing more Neanderthal remains. In this context, we analysed the possibl…

Baltu filoloģija, 24. sēj., Nr.1 

2015

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

2021

One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…

Weltliteratur. Una nozione desueta?

2014

Modernità italiana e Weltliteratur

2020

The author

ScaleSem : model checking and semantic web

2012

The increasing development of networks and especially the Internet has greatly expanded the gap between heterogeneous information systems. In a review of studies of interoperability of heterogeneous information systems, we find that all the work in this area tends to be in solving the problems of semantic heterogeneity. The W3C (World Wide Web Consortium) standards proposed to represent the semantic ontology. Ontology is becoming an indispensable support for interoperability of information systems, and in particular the semantics. The structure of the ontology is a combination of concepts, properties and relations. This combination is also called a semantic graph. Several languages have bee…

Sustainable virtual teams: promoting well-being through affect management training and openness to experience configurations

2021

A disruptive digitalization recently occurred that led to the fast adoption of virtual teams. However, membership diversity and team virtuality threaten members’ well-being, especially if faultlines appear (i.e., subgroups). Considering the job demands–resources model and the role of group affect in shaping members’ perceptions of well-being, we test the effectiveness of a short-term affect management training for increasing members’ eudaimonic well-being. Moreover, based on the trait activation theory and the contingent configuration approach, we draw on the personality composition literature to test how different openness to experience configurations of team level and diversity together m…

Pretnoguruma lēcas datora lietotāju redzes noguruma mazināšanai 

2022

Darbs ir uzrakstīts latviešu valodā uz 34 lapaspusēm. Tas satur 25 attēlus, 2 tabulas un 34 atsauces uz literatūras avotiem. Mērķis: izpētīt Latvijā lietojamo pretnoguruma lēcu efektivitāti acu noguruma mazināšanai. Metodes: izmantota anketēšana, lai pētītu redzes noguruma pakāpi un simptomus digitālo ierīču lietotājiem. Praktiskajā daļā pētīta Essilor Eyezen 0,6 lēcu efektivitāte darbam ar digitālām ierīcēm, kā arī veikta Essilor Eyezen 0,4, 0,6 un LTL Holiday 0,75 lēcu salīdzināšana un analīze. Rezultāti: vairāk nekā puse no aptaujātiem pavada darbā pie datora vairāk nekā sešas stundas. Tika atrasta statistiski nozīmīgas redzes noguruma pakāpes izmaiņas pirms un pēc ilgstoša darba pie dat…

Reducing Relationship Conflict in Virtual Teams With Diversity Faultlines: The Effect of an Online Affect Management Intervention on the Rate of Grow…

2020

The aim of this study was to analyze the effect of an online affect management intervention on relationship conflict through the rate of growth of team resilience in virtual teams with diversity faultlines. Fifty-two 4-person teams participated in a randomized controlled trial design with repeated measures (i.e., three measurement occasions). Teams were randomly assigned to either an intervention designed to help them manage emotions in virtual teams or a control condition. Our findings showed that affect management can reduce the level of relationship conflict in virtual teams with diversity faultlines and that this effect can be explained by the pattern of change in team resilience in re…