Notch signaling mediates communication between cells and is essential for proper embryonic patterning and development. CSL is a DNA binding transcription factor that regulates transcription of Notch target genes by interacting with coregulators. Transcriptional activation requires the displacement of corepressors from CSL by the intracellular portion of the receptor Notch (NotchIC) and the recr...

The way the human brain constructs representations of numerical symbols is poorly understood. While increasing evidence from neuroimaging studies has indicated that the intraparietal sulcus (IPS) becomes increasingly specialized for symbolic numerical magnitude representation over developmental time, the extent to which these changes are associated with age-related differences in symbolic numer...

This work describes a methodology to combine logic-based systems and connectionist systems. Our approach uses finite truth valued Lukasiewicz logic, where we take advantage of fact, presented by Castro in [6], what in this type of logics every connective can be define by a neuron in an artificial network having by activation function the identity truncated to zero and one. This allowed the inje...

A hybrid (symbolic/connectionist) cognitive architecture, DUAL, is proposed. It is a multi-agent system which consist of a large number of non-cognitive, relatively simple agents, and which behaviour emerges from the behaviour of these simple agents and the interactions between them. The agents within this architecture have no internal knowledge base and goals. They are both computational devic...

Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of features of the symbolic and connectionist paradigms of artificial intelligence. This paper introduces a new neural network architecture based on the idea of fibring logical systems. Fibring allows one to combine different lo...

We propose an automatic and formally sound method for synthesising Lyapunov functions the asymptotic stability of autonomous non-linear systems. Traditional methods are either analytical require manual effort or numerical but lack formal soundness. Symbolic computational functions, which in between, give guarantees typically semi-automatic because they rely on user to provide appropriate functi...

PURPOSE To investigate the distribution of co-activation patterns of the recently identified ventral visual areas FG1 and FG2 of the posterior fusiform gyrus using the novel meta-analytic approach PaMiNI (Pattern Mining in NeuroImaging). MATERIALS AND METHODS All neuroimaging experiments reporting activation foci within FG1 or FG2 were retrieved from the BrainMap database. The stereotaxic act...

Objective(s): Neutrophils play an important role in ischemia/reperfusion (IR) induced skeletal muscle injury. Microtubules are required for neutrophil activation in response to various stimuli. This study aimed to investigate the effects of colchicine, a microtubule-disrupting agent, on skeletal muscle IR injury in a rat hindlimb ischemia model. Materials and Methods: Twenty-one Sprague-Dawley ...