Meeting the timing requirements is an important constraint imposed on highly integrated circuits, and the verification of timing of a circuit before manufacturing is one of the critical tasks to be solved by CAD tools. In this paper, we present a novel technique to speed up gate-level timing simulation that is based on Structurally Synthesized Binary Decision Diagrams (SSBDD), which have alread...

Up-states represent a key feature of synaptic integration in cortex and striatum that involves activation of many synaptic inputs. In the striatum, the sparse firing and tight control of action potential timing is in contrast to the large intracellular membrane potential depolarizations observed during the up-state. One hallmark of striatal spiny projection neurons is the delay to action potent...

Meeting timing requirements is an important constraint imposed on highly integrated circuits, and the verification of timing of a circuit before manufacturing is one of the critical tasks to be solved by CAD tools. In this paper, we present a novel technique to speed up gate-level timing simulation that is based on Structurally Synthesized Binary Decision Diagrams (SSBDD), which have already fo...

Introduction: The neural substrates of temporal processing are not still fully known. The majority of interval timing studies have dealt with this subject in the context of “Explicit timing” (computing the time intervals explicitly). The hypothesis “Implicit timing” (implicitly using temporal processing to improve function) has also proposed. This lesion study addressed explicit and implicit ti...

In this article I would present evidence to show that timing of the flow of neural signals within the ventral visual stream is a crucial part of the neural code for categorization of faces. We recorded the activity of 554 inferotemporal neurons from two macaque monkeys performing a fixation task. More than 1000 object images including human and non-primate animal faces were presented up to 10 t...

In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...