Results 61 to 70 of about 27,177 (320)

Intersection Types for the lambda-mu Calculus [PDF]

Logical Methods in Computer Science, 2018
We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of omega-algebraic ...
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro   +2 more
doaj   +1 more source

Spin Matters: A Multidisciplinary Roadmap to Understanding Spin Effects in Oxygen Evolution Reaction During Water Electrolysis

Advanced Energy Materials, EarlyView.
This roadmap offers a forward‐looking perspective on spin enhancement in the oxygen evolution reaction. It highlights how combining systematic experiments, advanced computational modeling, and novel magnetic, chiral, or hybrid materials can deepen the understanding of spin‐dependent catalytic mechanisms.
Emma van der Minne, Priscila Vensaus, Vadim Ratovskii, Seenivasan Hariharan, Jan Behrends, Cesare Franchini, Jonas Fransson, Sarnjeet S. Dhesi, Felix Gunkel, Florian Gossing, Georgios Katsoukis, Ulrike I. Kramm, Magalí Lingenfelder, Qianqian Lan, Yury V. Kolen'ko, Yang Li, Ramsundar Rani Mohan, Jeffrey McCord, Lingmei Ni, Eva Pavarini, Rossitza Pentcheva, David H. Waldeck, Michael Verhage, Anke Yu, Zhichuan J. Xu, Piero Torelli, Silvia Mauri, Narcis Avarvari, Anja Bieberle‐Hütter, Christoph Baeumer   +29 more
wiley   +1 more source

Logical equivalence between generalized urn models and finite automata

, 2005
To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus.
A. Dvurečenskij, C. Calude, K. Svozil, K. Svozil, Karl Svozil, M. Schaller, R. Wright   +6 more
core   +2 more sources

Strategic Advocacy for Higher Education Research: Insights From US Agricultural Experiment Station Funding

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT Amidst dwindling state funding and the legislative withdrawal from public university research support, a heightened political process shapes the allocation of scarce tax dollars. This article explores how advocacy within the political process influences funding support for higher education from state legislatures.
Gregory M. Perry, Trey Malone, Jay T. Akridge   +2 more
wiley   +1 more source

Superhydrophilic FeIV2MnII Nanocluster: A Combined Diagnostic and Therapeutic Agent

Angewandte Chemie, EarlyView.
An atomically precise nanocluster with a superhydrophilic architecture acts as an efficient magnetic resonance imaging (MRI) and photoacoustic imaging (PAI) dual‐mode diagnostic agent, while providing for a photothermal‐based antitumor effect. Abstract We report here an atomically precise nanocluster, (NH4)2MnII(H2O)2[FeIV(L)]2·11H2O (Fe2Mn).
Ye Xu, Chaojie Tang, Guang Deng, Chao Li, Zhaoyang Liu, Zhen‐Feng Chen, Xiaoyu Wu, Wu Wang, Zhao‐Xi Wang, Jonathan L. Sessler   +9 more
wiley   +2 more sources

OER Activity Promoted by Organic Ligand‐Free Cs2Pt(Cl, Br)6 Perovskite Photocatalyst for Solar‐Driven Water Splitting

Advanced Energy and Sustainability Research, EarlyView.
This study explores Cs2PtX6 (X = Cl, Br) lead‐free perovskites as sustainable photocatalysts for solar‐driven water splitting. Cs2PtBr6 outperforms Cs2PtCl6 in oxygen evolution due to its narrower bandgap and efficient charge carrier dynamics, enabling enhanced light absorption and charge separation.
Kevin Mego, Pedro Ruiz‐Campos, Herme G. Baldoví, Pedro Atienzar   +3 more
wiley   +1 more source

Os Paradoxos de Prior e o Cálculo Proposicional Deôntico Relevante Eo

Princípios, 2010
Normative fragment of natural language make up sentences that express acts and describe norms. In this fragment there are criteria of logic thuth and relation of consequence between sentences which constitute a natural deontic logic. This paper adopts at
Ângela Maria Paiva Cruz
doaj  

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented.
Marcelo E. Coniglio, María I. Corbalán
doaj   +1 more source

The Variable Hierarchy for the Games mu-Calculus [PDF]

, 2008
Parity games are combinatorial representations of closed Boolean mu-terms. By adding to them draw positions, they have been organized by Arnold and one of the authors into a mu-calculus. As done by Berwanger et al. for the propositional modal mu-calculus,
Belkhir, Walid, Santocanale, Luigi
core   +1 more source

Completeness of Flat Coalgebraic Fixpoint Logics

, 2010
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P., Laroussinie, F., Schröder, L., Venema, Y.   +3 more
core   +1 more source