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.     

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.     

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.     

Preliminary assessment of the stability of thin- and polymer thick-film resistors embedded into printed wiring boards

Embedding passive components into multilayer printed wiring boards (PWBs) meet electronic device requirements concerning the necessity of saving the surface board area for active elements, reducing board’s size, improving device functionality and safety as well as overall product cost reduction. Since embedded components cannot be replaced after the board is completed, a long term stability and reliability are the important concerns for manufactures.This paper presents the results of examinations of embedded thin-film NiP resistors and polymer thick-film resistors during their continuous operation and the influence of temperature on the resistance values after the simulation of a lead-free soldering process and after the temperature cycling test (?40 ?C/+85 ?C).     

Detection of early bruises in apples using hyperspectral data and thermal imaging

The early detection of bruises in apples was studied using a system that included hyperspectral cameras equipped with sensors working in the visible and near-infrared (400–1000 nm), short wavelength infrared (1000–2500 nm) and thermal imaging camera in mid-wavelength infrared (3500–5000 nm) ranges. The principal components analysis (PCA) and minimum noise fraction (MNF) analyses of the images that were captured in particular ranges made it possible to distinguish between areas with defects in the tissue and the sound ones. The fast Fourier analysis of the image sequences after pulse heating of the fruit surface provided additional information not only about the position of the area of damaged tissue but also about its depth. The comparison of the results obtained with supervised classification methods, including soft independent modelling of class analogy (SIMCA), linear discriminant analysis (LDA) and support vector machines (SVM) confirmed that broad spectrum range (400–5000 nm) of fruit surface imaging can improve the detection of early bruises with varying depths.     

The mechanism of CO oxidation over Cu(110): Effect of CO gas energy

The effect of the temperature of gas phase CO upon the kinetics of the oxygen titration reaction: CO_g +O_a CO_2,g, has been studied. It is found that the reaction's rate is independant of CO gas temperature between 300 and 623 K. The activation energy (6.5 kcal/mole), dependence upon CO pressure (first-order), and independence upon oxygen coverage for 0.1 _o 0.4 are all independant of the CO gas phase temperature. This result rules out any Eley-Rideal type mechanism whereby CO reacts directly from the gas phase with an oxygen adatom without first being accommodated to the surface temperature in an absorbed state. The result is instead interpretable in terms of a Langmuir-Hinshelwood mechanism.Camille and Henry Dreyfus Foundation Teacher-Scholar Fellowship.     

Influence of macromolecular structure of novel 2- and 4-armed polylactides on their physicochemical properties and in vitro degradation process

The objective of this study was to analyse how macromolecular structure of polylactides influences their properties and degradation rate. To achieve this, novel 2- and 4-armed PDLLA and PLLA (noted as 2b and 4b) were synthesized by ring-opening method. 1,4-butanediol and pentaerythritol were used as initiators and stannous octoate was used as catalyst. The obtained polymers were investigated in terms of molecular weight by size exclusion chromatography, thermal properties by differential scanning calorimetry and thermogravimetry, and hydrophilicity by the contact angle measurements. The in vitro degradation test was carried out in PBS solution at 37 °C by means of the mass loss, water uptake, molecular weight and thermal properties changes. The branched polylactides including 2bPDLLA, 4bPDLLA, 2bPLLA and 4bPLLA were successfully synthesized and the average molecular weights were around 40-45 kDa. The numbers of arms in each polymer just slightly influenced the thermal properties and the contact angle. The crystallinity of 4bPLLA was 23 %, whereas for 2bPLLA it was 41 %. The degradation rates of both 2b and 4bPLLA were similar and the degradation process was similar only during first 7 weeks. After this period, the degradation rate of 4bPDLLA increased. Consequently, thermal properties and degradation profiles of the branched polymers would depend on plural factors, such as chain length and crystallinity in branched structure.