‘Turkeys Cannot Vote for Christmas’: Why Epistemic Disobedience in an Anti‐Black World Matters
Australian Journal of Social Issues, EarlyView.ABSTRACT Never in the history of global coloniality has the idea of epistemic disobedience been as important as in the 21st century. This is not only because the struggle for decolonisation has shifted from physical confrontation between the coloniser and the colonised into a battle of ideas but also because the former has deployed the idea of ...
Morgan Ndlovu
wiley +1 more source
Visual formal specification using (N)TLcharts: statechart automata with temporal logic and natural language conditioned transitions [PDF]
, 2004 Doron Drusinsky
openalex +1 more source
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
Robotics: Science and Systems, 2016 Dorsa Sadigh, Ashish Kapoor
semanticscholar +1 more source
Machine Learning‐Enhanced Clinical Decision Support for Diagnosing Sinusitis With Nasal Endoscopy
International Forum of Allergy &Rhinology, EarlyView.ABSTRACT Background Sinusitis is a prevalent disease for which nasal endoscopy (NE) is an optimal diagnostic modality. However, NE accuracy is limited by inter‐operator variability in landmark identification and localization of mucus that is necessary for sinusitis diagnosis. We sought to develop a novel multi‐class machine learning (ML) framework that
Dipesh Gyawali +12 more
wiley +1 more source
Designing a DNA synchronizer for compact single-rail DNA logic circuits. [PDF]
Sci AdvSun C +10 more
europepmc +1 more source
First-Order Logic with Two Variables and Unary Temporal Logic
, 2002 Kousha Etessami +2 more
openalex +1 more source
TLCharts: armor-plating harel statecharts with temporal logic conditions [PDF]
, 2004 D. Drusinsky, M.-T. Shing
openalex +1 more source
Nucleic Acid‐Based Molecular Machines for Biological Applications
Advanced NanoBiomed Research, EarlyView.Molecular machines are devices assembled from molecules with specific functions. In this review, the development of DNA nanostructures, which are then assembled into molecular machines, is summarized. Their classification and biological applications, such as biosensing, targeted therapy, and molecular circuits are introduced.
Yirong Guo, Xiaolei Zuo, Fangfei Yin
wiley +1 more source
A hybrid support vector machine and neural network model with fuzzy logic fusion for smart city traffic prediction. [PDF]
Sci RepAbbas B +7 more
europepmc +1 more source
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators
, 2002 Zoltán Ésik
openalex +2 more sources