Abstract Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. GR(1) expressive assume-guarantee fragment of LTL that enables efficient and has been recently used in different contexts application domains. A common form providing system's requirements through use cases, which are existential nature. However, GR(1)...

Abstract When dealing with unrealizable specifications in reactive synthesis, finding the weakest environment assumptions that ensure realizability is often considered a desirable property. However, little effort has been dedicated to defining or evaluating notion of weakness formally. The question whether one assumption weaker than another commonly interpreted by considering implication relati...

Applying reactive synthesis in practice often requires modifications of the synthesis algorithm in order to obtain useful implementations. We present slugs, a generalized reactivity(1) synthesis tool that has a powerful plugin architecture for modifying any aspect of the synthesis process to fit the application. Slugs comes pre-equipped with a variety of plugins that improve the quality of the ...

We start with a warm-up: we explain Nakajima’s construction of the geometric sl2-action on ⊕ v Hmid(T ∗Gr(v, w)). 1.1. Warm-up: Nakajima’s geometric action. The lagrangian subvariety φ−1(0) ⊂ M(v) is easily seen to be the zero section Gr(v, w) ⊂ T ∗Gr(v, w). Indeed, consider the action of C× on M(v) induced from the C×-action on T ∗R by fiberwise dilations. Under the identification ofM(v) with ...

The ability of selective serotonin (5-HT) receptor agonists to reduce the extracellular concentration of 5-HT was examined in the striatum of awake, unrestrained mice by in vivo microdialysis. Systemic administration of either 8-OH-PIPAT (R-(+)-trans-8-hydroxy-2-[N-n-propyl-N-(3'-iodo-2'-propenyl)] aminotetralin), a novel 5-HT(1A) receptor agonist, or CP 94,253, a selective 5-HT(1B) receptor ag...

Polymorphonuclear leukocytes (PMNs) can be divided into Gr-1(high) and Gr-1(low) subpopulations, but the differences in the functions of these cells in the host are unknown. This study investigated the roles of these two cell populations in the clearance of an intracellular pathogen (Haemophilus influenzae) causing murine peritonitis and pneumonia. Microarray analysis and quantitative real-time...

GR99060 and GR99062 are representatives of a series of 1,2,4-triazino[5,6-b]indole compounds. This series possessed broad-spectrum antifungal activity in vitro. The MIC ranges of the two compounds were as follows: 0.25 to 4 micrograms/ml for Candida albicans, 0.25 to 16 micrograms/ml for Candida sp., 1 to 8 micrograms/ml for Aspergillus spp., and 0.25 to 16 micrograms/ml for Cryptococcus neofor...

Background: The project was conceived in 1994 following formulation of a FEAST hypothesis. This stated that the software evolution process is a feedback system and must be treated as such to achieve major process improvement. Three self-funding international workshops were held at IC [fea94,5] to explore the hypothesis, with some 40 participants from the UK, Europe and North America at each. Fo...

Maternal care alters epigenetic programming of glucocorticoid receptor (GR) gene expression in the hippocampus, and increased postnatal maternal licking/grooming (LG) behavior enhances nerve growth factor-inducible protein A (NGFI-A) transcription factor binding to the exon 1(7) GR promoter within the hippocampus of the offspring. We tested the hypothesis that NGFI-A binding to the exon 1(7) GR...