Dynamic Restructuring during Processing: Approaches to Higher Temporal Resolution
نویسندگان
چکیده
منابع مشابه
Experimental approaches to temporal processing in humans
At the meeting I consider work that addresses the bases for human temporal processing using two approaches; functional imaging using PET and fMRI and psychophysical studies of neurological patients with central lesions. The discussion below is primarily concerned with recent fMRI data addressing mechanisms of temporal processing in the brainstem and cortex. The intention is to highlight areas o...
متن کاملDynamic catalyst restructuring during carbon nanotube growth.
We study the restructuring of solid nickel catalyst nanoparticles during carbon nanotube growth by environmental transmission electron microscopy and multiscale modeling. Our molecular dynamics/continuum transport calculations of surface-diffusion-mediated restructuring are in quantitative agreement with the experimentally observed catalyst shape evolutions. The restructuring time scale is dete...
متن کاملComparing Approaches To Resolution Based Higher-Order Theorem Proving
We investigate several approaches to resolution based automated theorem proving in classical higher-order logic (based on Church’s simply typed λ-calculus) and discuss their requirements with respect to Henkin completeness and full extensionality. In particular we focus on Andrews’ higher-order resolution (Andrews 1971), Huet’s constrained resolution (Huet 1972), higher-order E-resolution, and ...
متن کاملTwo Approaches to Semi-Dynamic Disjunctive Temporal Problems
This paper considers two approaches to improving efficiency and stability in semi-dynamic Disjunctive Temporal Problems (DTPs). A semi-dynamic DTP is a sequence of DTPs (Stergiou and Koubarakis 1998) in which each problem is a restriction of the problem before. We consider three basic types of DTP restrictions—tightening the bound of an existing constraint, adding a simple constraint, and addin...
متن کاملAdaptive Temporal Entity Resolution on Dynamic Databases
Entity resolution is the process of matching records that refer to the same entities from one or several databases in situations where the records to be matched do not include unique entity identifiers. Matching therefore has to rely upon partially identifying information, such as names and addresses. Traditionally, entity resolution has been applied in batch-mode and on static databases. Howev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Microscopy and Microanalysis
سال: 2019
ISSN: 1431-9276,1435-8115
DOI: 10.1017/s1431927619008055