Comparing variants of strategic ability: how uncertainty and memory influence general properties of games

Alternating-time temporal logic (ATL) is a modal logic that allows to reason about agents’ abilities in game-like scenarios. Semantic variants of ATL are usually built upon different assumptions about the kind of game that is played, including capabilities of agents (perfect vs. imperfect information, perfect vs. imperfect memory, etc.). ATL has been studied extensively in previous years; however, most of the research focused on model checking. Studies of other decision problems (e.g., satisfiability) and formal meta-properties of the logic (like axiomatization or expressivity) have been relatively scarce, and mostly limited to the basic variant of ATL where agents possess perfect information and perfect memory. In particular, a comparison between different semantic variants of the logic is largely left untouched. In this paper, we show that different semantics of ability in ATL give rise to different validity sets. The issue is important for several reasons. First, many logicians identify a logic with its set of true sentences. As a consequence, we prove that different notions of ability induce different strategic logics. Secondly, we show that different concepts of ability induce different general properties of games. Thirdly, the study can be seen as the first systematic step towards satisfiability-checking algorithms for ATL with imperfect information. We introduce sophisticated unfoldings of models and prove invariance results that are an important technical contribution to formal analysis of strategic logics.     

Melatonin and the Brain–Heart Crosstalk in Neurocritically Ill Patients—From Molecular Action to Clinical Practice

Brain injury, especially traumatic brain injury (TBI), may induce severe dysfunction of extracerebral organs. Cardiac dysfunction associated with TBI is common and well known as the brain–heart crosstalk, which broadly refers to different cardiac disorders such as cardiac arrhythmias, ischemia, hemodynamic insufficiency, and sudden cardiac death, which corresponds to acute disorders of brain function. TBI-related cardiac dysfunction can both worsen the brain damage and increase the risk of death. TBI-related cardiac disorders have been mainly treated symptomatically. However, the analysis of pathomechanisms of TBI-related cardiac dysfunction has highlighted an important role of melatonin in the prevention and treatment of such disorders. Melatonin is a neurohormone released by the pineal gland. It plays a crucial role in the coordination of the circadian rhythm. Additionally, melatonin possesses strong anti-inflammatory, antioxidative, and antiapoptotic properties and can modulate sympathetic and parasympathetic activities. Melatonin has a protective effect not only on the brain, by attenuating its injury, but on extracranial organs, including the heart. The aim of this study was to analyze the molecular activity of melatonin in terms of TBI-related cardiac disorders. Our article describes the benefits resulting from using melatonin as an adjuvant in protection and treatment of brain injury-induced cardiac dysfunction.     

Study of the adhesion of Staphylococcus aureus to coated glass substrates

The adhesion of Staphylococcus aureus was studied using a selection of laboratory-prepared and commercially available coated glass substrates using a simple methodology. Substrates were examined by scanning electron microscopy, atomic force microscopy and water droplet contact angles. It was found that microbial adhesion was independent of surface roughness, when this was of a lower magnitude than microbial size. It was also found that microbial adhesion was greater for hydrophilic surfaces than for hydrophobic ones, but that on a photoinduced superhydrophilic surface, microbes were more spread out—a potential benefit for more effective photocatalytic disinfection. It is suggested that hydrophobic and photoinduced superhydrophilic surface coatings both have potential as a means of reducing microbial fouling of surfaces.     

Extruded tellurite glass optical fiber preforms

The extrusion behavior of tellurite glass in the supercooled liquid region was investigated. Good extrusion formability was observed under low strain rates at various temperatures in the glass transformation region investigated. Tube and holey fiber (HF) preforms were fabricated from tellurite glass billets using a laboratory press. In particular, the results for three-spoke HF design and round tube preforms with composition 75TeO₂·20ZnO·5Na₂O (TZN) are presented. The extruded preforms with precise geometrical features, an excellent surface quality and no crystallization were achieved in the temperatures range from 344 to 360 °C and at ram speeds ranging from 0.002 to 0.01 mm/s. Discrete shear bands were observed in the preforms, increasing in number and/or becoming better defined with increasing load and ram speed. Fewer shear bands were present when increasing the extrusion temperature from 344 to 360 °C. Thus, subsequent extrudates were successfully fabricated free of shear bands, providing good optical homogeneity that yielded solid and holey fibers that could provide much improved optical performance.     

Ortho‐ vs Bay‐Functionalization: A Comparative Study on Tetracyano‐Terrylenediimides

In this paper n‐type semiconductors synthesized via selective fourfold cyanation of the ortho‐ and bay‐positions (2,5,10,13‐ and 1,6,9,14‐positions respectively) of teyrrylenediimides are reported. A detailed study about the impact of the diverse functionalization topologies on the optoelectronic properties, self‐organization from solution, solid‐state packing, and charge carrier transport in field‐effect transistors is presented. The ortho‐substitution preserves the planarity of the core and favors high order in solution processed films. However, the strong intermolecular interactions lead to a microstructure with large aggregates and pronounced grain boundaries which lower the charge carrier transport in transistors. In contrast, the well‐soluble bay‐functionalized terrylenediimide forms only disordered films which surprisingly result in n‐type average mobilities of 0.17 cm²/Vs after drop‐casting with similar values in air. Processing by solvent vapor diffusion enhances the transport to 0.65 cm²/Vs by slight improvement of the order and surface arrangement of the molecules. This mobility is comparable to highest n‐type conductivities measured for solution processed PDI derivatives demonstrating the high potential of TDI‐based semiconductors.     

The EuQoS system: a solution for QoS routing in heterogeneous networks [Quality of Service based Routing Algorithms for Heterogeneous Networks]

EuQoS is the acronym for "end-to-end quality of service support over heterogeneous networks", which is a European research project aimed at building an entire QoS framework, addressing all the relevant network layers, protocols, and technologies. This framework, which includes the most common access networks (xDSL, UMTS, WiFi, and LAN) is being prototyped and tested in a multidomain scenario throughout Europe, composing what we call the EuQoS system. In this article we present the novel QoS routing mechanisms that are being developed and evaluated in the framework of this project. The preliminary performance results validate the design choices of the EuQoS system, and confirm the potential impact this project is likely to have in the near future     

Technical foundations for noninvasive assessment of changes in the width of the subarachnoid space with near-infrared transillumination-backscattering sounding (NIR-TBSS)

This paper presents technical foundations for a new technique of near-infrared transillumination-backscattering sounding, which is designed to enable noninvasive detection and monitoring of changes in the width of the subarachnoid space (SAS) and magnitude of cerebrovascular pulsation in humans. The key novelty of the technique is elimination of influence of blood flow in the scalp on the signals received from two infrared sensors-proximal and distal. A dedicated digital algorithm is used to estimate on line the ratio of the powers of received signals, referred to as two-sensor distal-to-proximal received power quotient, TQ (t). The propagation duct for NIR radiation reaching the distal sensor is the SAS filled with translucent cerebrospinal fluid. Information on slow fluctuations of the average width of the SAS is contained in the slow-variable part of the TQ (t), called the subcardiac component, and in TQ itself. Variations in frequency and magnitude of faster oscillations of the width of that space around the baseline value, dependent on cerebrovascular pulsation, are reflected in instantaneous frequency and envelope of the fast-variable component. Frequency and magnitude of the cerebrovascular pulsation depend on the action of the heart, so this fast-variable component is referred to as the cardiac component.