LNCS

A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles

Problematic Facebook use and problematic video gaming as mediators of relationship between impulsivity and life satisfaction among female and male gamers

Over the past few decades, many new technologies have emerged, such as portable computers, the internet and smartphones, which have contributed to improving the lives of individuals. While the benefits of these new technologies are overwhelmingly positive, negative consequences are experienced by a minority of individuals. One possible negative aspect of new technologies is their problematic use due to impulsive use which may lead to lower life satisfaction. The present study investigated the mediating role of problematic video gaming (PVG) and problematic Facebook use (PFU) in the relationship between impulsivity dimensions and life satisfaction as well as the relationship between impulsivity dimensions and problematic behaviors. Additionally, the potential impact of gender differences was also examined. The study comprised 673 gamers (391 females) aged 17–38 years (M = 21.25 years, SD = 2.67) selected from 1365 individuals who completed an offline survey. PFU was assessed using the Facebook Intrusion Scale, and PVG was assessed using the nine-item Internet Gaming Disorder Scale–Short-Form (IGDS9-SF). Impulsivity dimensions such as attention, cognitive instability, motor, perseverance, self-control, and cognitive complexity were assessed using the Barratt Impulsiveness Scale (BIS-11), and life satisfaction was assessed using the Satisfaction With Life Scale (SWLS). Depending on the specific impulsivity dimension, findings showed both positive and negative relationships between impulsivity and life satisfaction. Attention and perseverance subtypes of impulsivity were primarily associated with problematic behaviors. Additionally, cognitive complexity was associated with PFU among female gamers, whereas cognitive instability was associated with PVG among male gamers. Additionally, PVG was primarily associated with lower life satisfaction. However, there was no mediation effects between impulsivity dimensions and life satisfaction via PFU or PVG. These findings provide a better understanding of the relationship between problematic behaviors, life satisfaction, and impulsivity among gamers and the differences between male and female gamers

Polioencefalomalacia experimental induzida por amprólio em bovinos

Para estabelecer um modelo experimental para o estudo da etiologia, patologia e patogênese da polioencefalomalacia (PEM) em bovinos, a condição foi induzida em quatro novilhos pela administração oral de amprólio nas doses diárias de 500 e 350mg/kg de peso vivo, respectivamente por 22 e 26-28 dias. Todos os bovinos morreram espontaneamente ou foram eutanasiados in extremis após um curso clínico de 4-7 dias. Três bovinos que receberam 1.000mg/kg de amprólio e dois que receberam 500mg/kg morreram espontaneamente com quadro clínico agudo a subagudo sem desenvolverem sinais e lesões de PEM. Nos novilhos que PEM foi reproduzida, os sinais neurológicos incluíram marcada apatia, incoordenação, posição de cavalete, quedas ocasionais, hiperexcitabilidade, tremores musculares, cegueira, bruxismo, estrabismo, nistagmo, midríase, opistótono, decúbito lateral e movimentos de pedalagem. Os principais achados de necropsia eram restritos ao encéfalo e consistiam de tumefação, achatamento, amolecimento e amarelamento das circunvoluções cerebrais. Histologicamente, havia necrose neuronal segmentar e laminar (neurônios vermelhos) associada a edema, tumefação endotelial, separação das lâminas de neurônios do córtex telencefálico ou entre as substâncias cinzenta e branca e infiltração moderada a acentuada de macrófagos espumosos. Essas alterações eram mais acentuadas nos lobos telencefálicos frontal, parietal e occipital. Adicionalmente, lesões similares e moderadas foram detectadas no mesencéfalo e hipocampo. A necrose neuronal e o edema afetaram uniformemente as camadas de neurônios da substância cinzenta dos lobos telencefálicos frontal, parietal e occipital. Esse modelo experimental de PEM com administração oral de amprólio parece ser útil para o estudo da doença em bovinos, conforme observado anteriormente em ovinos.In order to establish an experimental model for the study of the etiology, pathology, and pathogenesis of polioencephalomalacia (PEM) in cattle, the condition was induced into four steers by oral administration of amprolium at daily doses of 500 and 350mg per kg of body weight respectively for 22 and 26-28 days. All steers died spontaneously or were euthanized in extremis after being sick for 4-7 days. Three steers that received the drug at 1,000mg/kg and two that received 500mg/kg died spontaneously with acute or subacute clinical signs and without lesions and signs of PEM. In those steers in which PEM was reproduced, the neurological signs included marked apathy, incoordination, sawhorse stance, occasional falls, hyperexcitability, muscle tremors, blindness, grinding of teeth, strabismus, nystagmus, mydriasis, opisthotonus, and lateral recumbency with paddling movements. Main gross lesions were restricted to the brain and included swelling, flattening, softening and yellow discoloration of the cerebral circumvolutions. Histologically, there was segmental laminar neuronal necrosis (red neurons) associated with edema, swelling of endothelial cells, cleavage of laminar neuronal layers or between gray and white matter and moderate to severe infiltration by foamy macrophages (gitter cells). These changes were more marked in the frontal, parietal and occipital telencephalic lobes. Additionally, similar and moderate lesions were detected in the midbrain and hippocampus. Neuronal necrosis and edema affected uniformly the neurons layers of the grey matter of the frontal, parietal and occipital lobes. This experimental model of PEM with oral administration of amprolium may be useful for the study in cattle, as previously observed in sheep