Strategy Logic with Imperfect Information

We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, the problem turns out to be undecidable. We introduce a syntactical class of "hierarchical instances" for which, intuitively, as one goes down the syntactic tree of the formula, strategy quantifications are concerned with finer observations of the model. We prove that model-checking SLii restricted to hierarchical instances is decidable. This result, because it allows for complex patterns of existential and universal quantification on strategies, greatly generalises previous ones, such as decidability of multi-player games with imperfect information and hierarchical observations, and decidability of distributed synthesis for hierarchical systems. To establish the decidability result, we introduce and study QCTL*ii, an extension of QCTL* (itself an extension of CTL* with second-order quantification over atomic propositions) by parameterising its quantifiers with observations. The simple syntax of QCTL* ii allows us to provide a conceptually neat reduction of SLii to QCTL*ii that separates concerns, allowing one to forget about strategies and players and focus solely on second-order quantification. While the model-checking problem of QCTL*ii is, in general, undecidable, we identify a syntactic fragment of hierarchical formulas and prove, using an automata-theoretic approach, that it is decidable. The decidability result for SLii follows since the reduction maps hierarchical instances of SLii to hierarchical formulas of QCTL*ii

Highly Stable Luminous "snakes" from CsPbX3 Perovskite Nanocrystals Anchored on Amine-Coated Silica Nanowires

CsPbX3 (X = Cl, Br, and I) perovskite nanocrystals (NCs) are known for their exceptional optoelectronic properties, yet the material's instability toward polar solvents, heat, or UV irradiation greatly limits its further applications. Herein, an efficient in situ growing strategy has been developed to give highly stable perovskite NC composites (abbreviated CsPbX3@CA-SiO2) by anchoring CsPbX3 NCs onto silica nanowires (NWs), which effectively depresses the optical degradation of their photoluminescence (PL) and enhances stability. The preparation of surface-functionalized serpentine silica NWs is realized by a sol-gel process involving hydrolysis of a mixture of tetraethyl orthosilicate (TEOS), 3-aminopropyltriethoxysilane (APTES), and trimethoxy(octadecyl)silane (TMODS) in a water/oil emulsion. The serpentine NWs are formed via an anisotropic growth with lengths up to 8 μm. The free amino groups are employed as surface ligands for growing perovskite NCs, yielding distributed monodisperse NCs (∼8 nm) around the NW matrix. The emission wavelength is tunable by simple variation of the halide compositions (CsPbX3, X = Cl, Br, or I), and the composites demonstrate a high photoluminescence quantum yield (PLQY 32-69%). Additionally, we have demonstrated the composites CsPbX3@CA-SiO2 can be self-woven to form a porous 3D hierarchical NWs membrane, giving rise to a superhydrophobic surface with hierarchical micro/nano structural features. The resulting composites exhibit high stability toward water, heat, and UV irradiation. This work elucidates an effective strategy to incorporate perovskite nanocrystals onto functional matrices as multifunctional stable light sources

Image Sampling with Quasicrystals

We investigate the use of quasicrystals in image sampling. Quasicrystals produce space-filling, non-periodic point sets that are uniformly discrete and relatively dense, thereby ensuring the sample sites are evenly spread out throughout the sampled image. Their self-similar structure can be attractive for creating sampling patterns endowed with a decorative symmetry. We present a brief general overview of the algebraic theory of cut-and-project quasicrystals based on the geometry of the golden ratio. To assess the practical utility of quasicrystal sampling, we evaluate the visual effects of a variety of non-adaptive image sampling strategies on photorealistic image reconstruction and non-photorealistic image rendering used in multiresolution image representations. For computer visualization of point sets used in image sampling, we introduce a mosaic rendering technique.Comment: For a full resolution version of this paper, along with supplementary materials, please visit at http://www.Eyemaginary.com/Portfolio/Publications.htm

Authority in the Age of Modularity

This paper builds upon on-going research into the organisational implications of 'modularity'. Advocates of modularity argue that the Invisible Hand of markets is reaching activities previously controlled through the Visible Hand of hierarchies. This paper argues that there are cognitive limits to the extent of division of labour: what kinds of problems firms solve, and how they solve them, set limits to the extent of division of labour, irrespective of the extent of the market. This paper analyses the cognitive limits to the division of labour relying on an in-depth case study of engineering design activities. On this basis, this paper explains why co-ordinating increasingly specialised bodies of knowledge, and increasingly distributed learning processes, requires the presence of knowledge integrating firms even in the presence of modular products. Such firms, relying on their wide in-house scientific and technological capabilities, have the 'authority' to identify, propose, and implement solutions to complex problems. In so doing, they co-ordinate networks of suppliers of both components and specialised competencies.modularity, division of labour limits, knowledge integrating firms

Infinite games with finite knowledge gaps

Infinite games where several players seek to coordinate under imperfect information are deemed to be undecidable, unless the information is hierarchically ordered among the players. We identify a class of games for which joint winning strategies can be constructed effectively without restricting the direction of information flow. Instead, our condition requires that the players attain common knowledge about the actual state of the game over and over again along every play. We show that it is decidable whether a given game satisfies the condition, and prove tight complexity bounds for the strategy synthesis problem under $\omega$-regular winning conditions given by parity automata.Comment: 39 pages; 2nd revision; submitted to Information and Computatio

Стратегия концептуального картирования в учебной деятельности студентов по изучению иностранных языков

The article is devoted to theoretical and practical considerations as for the use of Legitimation Code Theory in concept mapping which allows the evaluating the mapper’s ability in academic performance. This raises the map above the assessment of factual data review and proves the higher organized network of thinking skills that are required for students to achieve proficiency in foreign language learning.Стаття присвячена теоретичним і практичним міркуванням щодо використання теорії коду легітимації задля оцінки стратегій концептуального мапування, що дозволяє оптимально визначити рівень опанування студентами навчальною діяльністю. Концептуальна мапа охоплює не лише рівень володіння фактичними даними, а доводить сформованість більш організованої мережі навичок когнітивного мислення, необхідних студентам для досягнення професійного рівня володіння іноземною мовою.Статья посвящена теоретическим и практическим наблюдениям относительно использования теории кода легитимации для оценки стратегий концептуального картирования, что позволяет оптимально определить уровень освоения студентами учебной деятельности. Концептуальная карта охватывает не только уровень владения фактическими данными, а доказывает сформированность более организованной сети навыков когнитивного мышления, необходимых студентам для достижения профессионального уровня владения иностранным языком