Results 231 to 240 of about 2,329,578 (354)
An Asynchronous Automata Approach to the Semantics of Temporal Logic
, 2001 Serban E. Vlad
openalex +2 more sources
Decision Procedure for Temporal Logic of Belief and Actions [PDF]
, 2004 Regimantas Pliuškevičius +1 more
openalex +1 more source
The Insistence of Blackness and the Persistence of Antiblackness in Ireland
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper positions Ireland as a critical site for examining the insistence of blackness and an antiblackness created and sustained through Irish ethnonationalist imaginaries and exclusionary processes. Drawing on connected sociologies and Irish Black Studies, this enquiry argues that antiblackness in Ireland operates as a generational force,
Philomena Mullen
wiley +1 more source
Angewandte Chemie, EarlyView.An affordable single‐cell proteomics workflow combines capillary electrophoresis, real‐time ion sorting, and AI‐aided spectral deconvolution to profile early Xenopus embryonic cells. Despite using a legacy Orbitrap, this strategy matches or exceeds the sensitivity of modern instruments, uncovering proteome dynamics at sub‐nanogram scale.
Bowen Shen, Fei Zhou, Peter Nemes
wiley +2 more sources
A Road Map of Interval Temporal Logics and Duration Calculi [PDF]
, 2004 Valentin Goranko +2 more
openalex +1 more source
Placing Rural in the National Disability Insurance Scheme Review
Australian Journal of Social Issues, EarlyView.ABSTRACT The National Disability Insurance Scheme is considered Australia's landmark disability support policy reform. The Scheme's implementation has revealed several benefits but also critical shortcomings. The Scheme's benefits have not been equitably distributed with people living in regional, rural and remote areas receiving less.
Claire Quilliam +12 more
wiley +1 more source
NIR‐Activatable, Sequence‐Specific Metal‐Nucleic Acid Scaffolds for Responsive Uncaging
Angewandte Chemie, EarlyView.We demonstrate that long‐range nucleic acid‐mediated electron transfer can drive Pt(IV) photoreduction, establishing a new class of metal‐nucleic acid scaffolds capable of “responsive uncaging,” where hybridization with target DNA or miRNA directly triggers payload release under NIR irradiation.
Arpit Sharma +6 more
wiley +2 more sources
The Complexity of Propositional Linear Temporal Logics in Simple Cases
, 2002 Stéphane Demri, Philippe Schnoebelen
openalex +1 more source
Models and temporal logics for timed component connectors [PDF]
, 2004 Farhad Arbab +3 more
openalex +1 more source