Results 51 to 60 of about 79,232 (299)

Reasoning about Strategies: on the Satisfiability Problem [PDF]

Logical Methods in Computer Science, 2017
Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games.
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi   +3 more
doaj   +1 more source

Everyone loves a good story: Learning design in massive open online courses for language learning

Frontiers in Education, 2022
These couple of years have witnessed an increase in interest in Higher Education Institutions (HEIs) have for Massive Open Online Courses (MOOCs). As the COVID-19 situation amply showed us, MOOCs promptly became a practical way to secure continuity of ...
Veruska De Caro-Barek
doaj   +1 more source

Sahlqvist via Translation [PDF]

Logical Methods in Computer Science, 2019
In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions.
Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao   +2 more
doaj   +1 more source

Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence

Logics
We present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj   +1 more source

Relations between propositional normal modal logics: an overview [PDF]

Journal of Logic and Computation, 1997
In this short paper the authors give a useful overview of the most common propositional normal modal logics by first providing a catalogue of their axioms (and of the alternative names that have been considered in the standard textbooks, papers and reports), and then investigating the relationships between the logics; the equivalence between multiple ...
GORÉ, RAJEEV, HEINLE, WOLFGANG, HEUERDING, ALAIN   +2 more
openaire   +4 more sources

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Logical Omniscience as a Conditionality Issue. A Multi-Modal Approach

Crítica
Many solutions to the problem of Logical Omniscience assume that this arises from the behavior of the epistemic operators. However, few proposals have criticized the assumption that material implication accurately accounts for conditionality. This paper
Juan Carlos Sánchez Hernández
doaj   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang, Zhitian Ling, Paul W. M. Blom, Tomasz Marszalek, Wojciech Pisula   +4 more
wiley   +1 more source

Ferroelectricity in Single‐Crystalline BaTiO3 Nanodisks on Silicon

Advanced Functional Materials, EarlyView.
Ferroelectricity is studied in 20 nm thick single crystalline BaTiO3 nanodisks when scaling their diameter from ≈ 400 down to 100 nm. For 100 nm diameter, the vertical polarization component adopts three distinct patterns, and the lateral one shows a rotational invariance in‐plane, suggesting a combination of center‐type and flux‐closure domains.
Ibukun Olaniyan, Jürgen Albert, Beatriz Canabarro, Haidong Lu, Sven Wiesner, Nikolay Cherkashin, Alexei Gruverman, Sylvie Schamm‐Chardon, Dong‐Jik Kim, Catherine Dubourdieu   +9 more
wiley   +1 more source