A crucial property required from software transactional memory systems (STMs) is that transactions, even ones that will eventually abort, will operate on consistent states. A known technique for providing this property is through the introduction of a globally shared version clock whose values are used to tag memory locations. Realizing global clock is the root of significant overhead, this the...

The current-voltage characteristics of a new range of devices built around Weyl semimetals has been predicted using the Landauer formalism. The potential step and barrier have been reconsidered for three-dimensional Weyl semimetals, with analogies to the two-dimensional material graphene and to optics. With the use of our results we also show how a Veselago lens can be made from Weyl semimetals...

OBJECTIVES The aim of this study was to examine whether obesity affects cognitive functions in people suffering from mental illness. METHODS 91 persons suffering from mental illness, including 51 women and 40 men took part in the study. Mean age of patients was 46 years. These persons were under constant psychiatric care, they were the participants of the daily support centre. Overweight and ...

OBJECTIVES To explore determinants of change in pediatrician supply in Japan, and examine impacts of a 2004 reform of postgraduate medical education on pediatricians' practice location choice. METHODS Data were compiled from secondary data sources. The dependent variable was the change in the number of pediatricians at the municipality ("secondary tier of medical care" [STM]) level. To analyz...

BACKGROUND Adult granulosa cell tumors of the testis (AGCTT) are classified as sex cord-stromal tumors. Only 31 cases have been reported. Typical presentation includes a slowly enlarging, painless testicular mass. Associated findings are gynecomastia, decreased libido, and erectile dysfunction. Immunohistochemistry can be used to confirm the diagnosis. CASE REPORT A 22-year-old male presented...

The multi-core revolution that took place nearly one decade ago has turned parallel programming into a major concern for mainstream software development industry. In this context, Transactional Memory (TM) has emerged as a simpler, attractive alternative to lock-based synchronization, whose complexity and error-proneness are widely recognized. On the other hand, performance of TM has been a mat...

Abstract Background Historically, reburn dynamics from cultural and lightning ignitions were central to the ecology of fire in western United States (wUS), whereby past effects limited future growth severity. Over millennia, reburns created heterogenous patchworks vegetation fuels that provided avenues impediments flow fires, feedbacks event sizes their severity patterns. These have been signif...

As memory transactions have been proposed as a language-level replacement for locks, there is growing consensus that software transactional memory (STM) implementations need to provide semantic guarantees at least as strong as locks. In this paper, we investigate the implications of lock-based semantics for transactions. We categorize safety properties imposed by these semantics into two sets: ...

A Stochastic Turing machine (STM) is a Turing machine that can perform nondeterministic and probabilistic moves and alternate between both types. Such devices are also called games against nature, Arthur-Merlin games, or interactive proof systems with public coins. We give an overview on complexity classes de ned by STMs with space resources between constant and logarithmic size and constant or...

Reliable crop type maps from satellite data are an essential prerequisite for quantifying growth, health, and yields. However, such do not exist most parts of Africa, where smallholder farming is the dominant system. Prevalent cloud cover, small farm sizes, mixed cropping systems pose substantial challenges when creating sub-Saharan Africa. In this study, we provide a mapping scheme based on fr...