We describe our ongoing work in accident analysis. Accident reports should tell us at least what the accident was and what the critical events were. A third requirement they should fulll is to explain these events (see below) and their sequence (!temporal reasoning). Explanation concerns causes (!causal reasoning), human intentions, purposes, capabilities and behavior (so-called human factors)....

The formal development method of VSE (Veriication Support Environment) for state-based systems is based on a variant of TLA. VSE supports structured speciications, modular reenements, and also modular proofs. There are applications where one wants (or has) to consider an indeenite number of processes or even processes that are created and deleted dynamically. The general problem that arises in ...

Physical limitations in processor design have made computer industry shift from improving the speed of a single to increasing number processing core units. But software exploit parallel power correct and cost-effective way is challenging task requiring high degree expertise. In 2017, Pérez Yovineproposed platform-agnostic programming pattern called PCR, that eases writing code. this thesis, we ...

Sve veće oslanjanje na proizvodnju energije iz biomase rezultira povećanjem proizvodnje pepela, kao ostataka nakon izgaranja biomase. Primjena pepela u poljoprivredi postaje sve aktualnija alternativa odlaganju odlagališta. Vrijednost materijala za kalcizaciju, gnojiva ili poboljšivača tla, i mogućnost količina primjene proizvodnji oranicama travnjacima, ovise o sadržaju makro- mikrohraniva, po...

OBJECTIVE To seek an association between articular chondrocalcinosis (AC) and calcification of the transverse ligament of the atlas (TLA), and to evaluate the frequency and the main computed tomography appearances of such calcification. METHODS Axial computed tomography slices of the cervico-occipital hinge were performed routinely in 21 patients with AC (three men, 18 women; mean age 79 year...

Predicting the effects of climate change on tree species and communities is critical for understanding the future state of our forested ecosystems. We used a fully factorial precipitation (three levels; ambient, -50 % ambient, +50 % ambient) by warming (four levels; up to +4 °C) experiment in an old-field ecosystem in the northeastern USA to study the climatic sensitivity of seedlings of six na...

Cats are the only definitive hosts of Toxoplasma gondii and constitute an essential source of infection to all warm blooded animals and humans. Diagnosis of T. gondii infection in cats is fundamental for proper management and control of infection in humans and animals. In the current study, we have evaluated the diagnostic performance of tachyzoite lysate antigen (TLA) and different T. gondii r...

The theory θ presented here is the smallest theory in the temporal logic TLB [10] that all distributed systems, according to our definition of a distributed system, must satisfy. θ is an instance of the classical modal logic S4.2. The central theorems of θ are stated here without proof. Proofs will appear in [10]. Logics like TLA [14] and TLRCS [18] are used for specifying computer programs and...