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.     

Hybrid DPWM implementation using coarse and fine programmable ADLL

In the paper we propose a novel architecture and implementation of 11-bit Digital Pulse Width Modulator (DPWM) circuit based on previously known building blocks. Linearized Class-AD Double-sided (LADD) algorithm has been used to calculate the DPWM signals of the 11-bit resolution hybrid DPWM for a Class-AD digital audio amplifier. Noise-shaping process is used to support high fidelity with practical values of time resolution. The proposed DPWM circuit is composed of 8-bit counter and Analog Delay Locked Loop (ADLL) using 4-bit tapped delay line. A dual ADLL employing coarse and fine programmable delay element is used to adjust the delay time of delay line and lock it to required time. The coarse- as well as fine-delay lines are implemented as a cascade of variable-delay elements based on shunt capacitor delay element or single-ended Schmitt trigger. The proposed 11-bit DPWM circuit, at a switching frequency of 352.8 kHz and clock generator frequency of 90.3 MHz allows us to attain SNR of 120 dB and THD of the output signal less than 0.1% within the audio baseband and modulation index M=0.95. Basic verification of circuit manufacturability and simulation results (Monte Carlo analysis) for real CMOS process are presented.     

Control of linear extended nD systems with minimized sensitivity to parameter uncertainties

A new view on uncertain system parameters is presented considering them in the same way as other independent variables, e.g., time or space variables. After re-interpreting the well known equations for the sensitivities of a system to parameter changes, we consider the problem of optimal control that takes into account not only the quality of control itself, but also a reduction in the influence of parameter changes. Firstly, we re-derive and elucidate known results for systems described by linear ordinary differential equations in the state-space form. Then, it is shown how to extend the well known theory of designing optimal controllers with quadratic criterion so as to cover the reduction of uncertainties in systems described by a class of linear partial differential equations. As a result, we obtain a controller that has a new modal structure in space. Furthermore, the controller incorporates additional sensitivity signals for each mode.     

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.     

Antimicrobial Gallium‐Doped Phosphate‐Based Glasses

Novel quaternary gallium‐doped phosphate‐based glasses (1, 3, and 5 mol % Ga₂O₃) were synthesized using a conventional melt quenching technique. The bactericidal activities of the glasses were tested against both Gram‐negative (Escherichia coli and Pseudomonas aeruginosa) and Gram‐positive (Staphylococcus aureus, methicillin‐resistant Staphylococcus aureus, and Clostridium difficile) bacteria. Results of the solubility and ion release studies showed that these glass systems are unique for controlled delivery of Ga³⁺. ⁷¹Ga NMR measurements showed that the gallium is mostly octahedrally coordinated by oxygen atoms, whilst FTIR spectroscopy provided evidence for the presence of a small proportion of tetrahedral gallium in the samples with the highest gallium content. FTIR and Raman spectra also afford an insight into the correlation between the structure and the observed dissolution behavior via an understanding of the atomic‐scale network bonding characteristics. The results confirmed that the net bactericidal effect was due to Ga³⁺, and a concentration as low as 1 mol % Ga₂O₃ was sufficient to mount a potent antibacterial effect. The dearth of new antibiotics in development makes Ga³⁺ a potentially promising new therapeutic agent for pathogenic bacteria including MRSA and C. difficile.