Results 201 to 210 of about 9,951,257 (239)

Axiomatising real-timed processes

1994
In this paper, we present a relativised compositional proof system for real-timed processes. The proof system allows us to derive statements of the form A ⊢ E = F, where processes E, F may contain free time variables and A is a formula of the first order theory of time domain.
openaire   +1 more source

An overview of real‐world data sources for oncology and considerations for research

Ca-A Cancer Journal for Clinicians, 2022
Lynne Penberthy, Donna R Rivera, Jennifer L Lund, Msph   +2 more
exaly  

Real Time Signal Processing

Optica Acta: International Journal of Optics, 1983
openaire   +2 more sources

Real-time processing of streaming big data

Real-time systems, 2016
A. Safaei
semanticscholar   +1 more source

Apache storm based on topology for real-time processing of streaming data from social networks

International Conference on Data Stream Mining & Processing, 2016
A. Batyuk, V. Voityshyn
semanticscholar   +1 more source

Survey of real-time processing systems for big data

International Database Engineering and Applications Symposium, 2014
Xiufeng Liu, N. Iftikhar, Xike Xie
semanticscholar   +1 more source

Real-Time Time-Dependent Electronic Structure Theory

Chemical Reviews, 2020
Xiaosong Li, Niranjan Govind, Christine Isborn   +2 more
exaly  

Nonlinear Real-Time Signal Processing

1990
Abstract : The grant supported in part a research effort in Nonlinear Real-Time Signal Processing. The effort was composed of three interacting lines of development: advances in array processing, advances in fast algorithmic forms, applications of the above to polynomic and m-D signal processing algorithms. (rh)
openaire   +1 more source

Real Time Signal Processing

Optica Acta: International Journal of Optics, 1980
openaire   +1 more source

Real-Time Transaction Processing

2009
Jörgen Hansson, Ming Xiong
openaire   +1 more source