Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators [PDF]
, 2004 Sandra de Amo, Mírian Halfeld Ferrari
openalex +1 more source
From pixels to camera: scaling superconducting nanowire single-photon detectors for imaging at the quantum-limit. [PDF]
Nano ConvergGao J +5 more
europepmc +1 more source
All-Optical Encryption and Decryption at 120 Gb/s Using Carrier Reservoir Semiconductor Optical Amplifier-Based Mach-Zehnder Interferometers. [PDF]
Micromachines (Basel)Kotb A, Zoiros KE, Chen W.
europepmc +1 more source
Decision procedure for a fragment of quantified branching temporal logic
, 2002 Aida Pliuškevičienė
openalex +2 more sources
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox
International Conference on Computability and Complexity in Analysis, 2016 Ioannis Filippidis +4 more
semanticscholar +1 more source
Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]
Sci RepLu C, Li C, Liu C, Wu X, Huang Y.
europepmc +1 more source
Animal Research and One Health, EarlyView.The paper is divided into three main sections: a review of the development of spatial transcriptomics technology, its applications in livestock and poultry research, and its future prospects. This article provides an overview of the current state of spatial transcriptomics in animal research, exploring its integration with multiomics technologies as ...
Mingyu Wang +5 more
wiley +1 more source
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
, 2003 Annabelle McIver, Carroll Morgan
openalex +1 more source
“Lives and times”: The case for qualitative longitudinal research in anatomical sciences education
Anatomical Sciences Education, EarlyView.Abstract Qualitative longitudinal research (QLR) focuses on changes in perceptions, interpretations, or practices through time. Despite longstanding traditions in social science, QLR has only recently appeared in anatomical sciences education (ASE).
Charlotte E. Rees, Ella Ottrey
wiley +1 more source