The compound 5-(4-chlorophenyl)-2,4-dihydro-4-ethyl-3H-1,2,4-triazol-3-one (MDL 27,192) was evaluated in a variety of rodent models to assess its anticonvulsant profile and its potential neuroprotective activity. MDL 27,192 demonstrated anticonvulsant activity in a wide range of epilepsy models that are genetically-based (audiogenic seizures in the seizure… (More)
Bark beetles have recently killed billions of trees, yet conifer defenses are formidable and some trees resist attack. A primary anti-insect defense of pines is oleoresin from a system of resin ducts throughout the tree. Resin defense traits are heritable, and evidence suggests that resin duct characteristics are associated with resistance to insects.… (More)
MDL 26,479, a novel triazole compound with action at the GABAA receptor complex, was examined in 2 models of working memory deficit in the rat. MDL 26,479 attenuated a scopolamine-induced acquisition deficit in a T-maze reinforced alternation task. MDL 26,479 also reversed a performance deficit induced by increased delay between sample and choice trials in… (More)
The paper considers epistemic properties of linear communication chains. It describes a sound and complete logical system that, in addition to the standard axioms of S5 in a multi-modal language, contains two non-trivial axioms that capture the linear structure of communication chains.
Selected examples from three series of isomeric (alkylthio)-1,2,4-triazoles were prepared and examined for anticonvulsant activity versus strychnine-, maximal-electroshock-, pentylenetetrazole-, and 3-mercaptopropionic-acid-induced seizures in mice. A number of 5-aryl-3-(alkylthio)-4H-1,2,4-triazoles were selective antagonists of strychnine-induced… (More)
Pinyon pine (Pinus edulis Engelm.) is an important tree species in the western United States that has experienced large-scale mortality during recent severe drought. The influence of soil conditions on pinyon pine response to water availability is poorly understood. We investigated patterns of tree mortality and response of tree water relations and growth… (More)
The article investigates information flow properties of symmetric multi-party protocols. It gives a sound and complete axiomatic system for properties of the functional dependence predicate that are common to all protocols with the same group of symmetries.
The article studies common knowledge in communication networks with a fixed topological structure. It introduces a non-trivial principle, called the Ry¯ oan-ji axiom, which captures logical properties of common knowledge of all protocols with a given network topology. A logical system, consisting of the Ry¯ oan-ji axiom and two additional axioms, is proven… (More)