One of the most common paradigms used to study the biological basis of emotion, as well
as of learning and memory, is Pavlovian fear conditioning. In the acquisition phase of a fear …

We review recent evidence concerning the significance of inhibitory GABA transmission and
of neural disinhibition, that is, deficient GABA transmission, within the prefrontal cortex and …

Field testing refers to testing techniques that operate in the field to reveal those faults that
escape in-house testing. Field testing techniques are becoming increasingly popular with the …

The goal of this roadmap paper is to summarize the state-of-the-art and identify research
challenges when developing, deploying and managing self-adaptive software systems. Instead …

To deal with the increasing complexity of software systems and uncertainty of their environments,
software engineers have turned to self-adaptivity. Self-adaptive systems are capable of …

… For example, if an EFSM includes two transitions associated with method m, one with
constraint c1 and the other with constraint c2, Daikon can infer c1, c2 or c1 ∨ c2, but cannot …

… ’, reachable from m, such that in m’ there is an … m reachable from the initial marking m0,
and for each transition t there exists a marking m' reachable from m such that t is enabled in m’. …

… The final pH was adjusted to approximately 7 using 0.1 M NaOH. … , Genus Express, UK) and
perfused transcardially with 0.01 M PBS followed by 4% paraformaldehyde. The brains were …

Planning and allocating resources for testing is difficult and it is usually done on empirical
basis, often leading to unsatisfactory results. The possibility of early estimating the potential …

… the experiments, subjects were anesthetized with a lethal dose of sodium pentobarbitone
(1.5 ml Euthatal, 200 mg/ml, Genus Express, UK) and perfused via the left ventricle with 0.01 M …