65 research outputs found
Como implantar e conduzir uma horta de pequeno porte.
Esta publicação mostra passo a passo, de maneira simples, didática e prática, como produzir de forma sustentável hortaliças com a finalidade de subsistência em áreas de até 500 metros quadrados. Todas as recomendações são baseadas em trabalhos técnico-científicos e em casos de sucesso obtidos na região de Corumbá e Ladário, MS.bitstream/item/71563/1/CAR05.pdfCartilha
Horta conduzida em escola municipal melhora rendimento dos alunos.
bitstream/item/77702/1/ADM155.pd
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction
Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally
A Framework for Verifying Data-Centric Protocols
International audienceData centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, while still admitting efficient distributed execution. We show that they also provide a promising approach to the verification of distributed protocols, thanks to their data centric orientation, which allows us to explicitly handle global structures such as the topology of the network. We consider a framework using an original formalization in the Coq proof assistant of a distributed computation model based on message passing with either synchronous or asynchronous behavior. The declarative rules of the Netlog language for specifying distributed protocols and the virtual machines for evaluating these rules are encoded in Coq as well. We consider as a case study tree protocols, and show how this framework enables us to formally verify them in both the asynchronous and synchronous setting
Vasopressin antagonists allow demonstration of a novel type of vasopressin receptor in the rat adenohypophysis
The ligand specificity of rat adenohypophyseal vasopressin receptors was directly compared to that of peripheral receptors of the V1 and V2 types. For this purpose a series of 15 recently designed vasopressin antagonists was used. The affinities of these antagonists for rat adenohypophyseal membranes were deduced from the determination of the concentration-dependent inhibition of [3H]vasopressin binding. In parallel experiments the corticotropin (or anti-corticotropin)-releasing activities of the tested peptides were determined on freshly dispersed rat adenohypophyseal cells. All peptides tested which were found to be antagonists of the vasopressor and antidiuretic responses to vasopressin in vivo behaved as antagonists of vasopressin-induced corticotropin release. There was a close correlation between the relative affinities of the analogues tested for binding to adenohypophyseal membranes and their relative potencies in inhibiting vasopressin-induced corticotropin release, indicating that the detected vasopressin-binding sites are the receptors involved in the vasopressin effect on corticotropin secretion. No correlation could be demonstrated between anti-corticotropin-releasing activities and either anti-antidiuretic or antivasopressor potencies of the antagonists tested. A direct comparison of the ligand specificities of adenohypophyseal receptors on the one hand, and V1 (hepatic) and V2 (renal) receptors on the other hand, showed that most of the antagonists discriminated very efficiently between adenohypophyseal and either hepatic or renal receptors. The selectivity index reaches values as high as 260,000 for desGly(NH2)9 [1-(beta-mercapto-beta, beta-cyclopentamethylenepropionic acid), 2-D-O-ethyl-tyrosine, 4-valine] arginine vasopressin. It is concluded that adenohypophyseal receptors represent a novel type of vasopressin receptors. Based on the observation that adenohypophyseal receptors, like hepatic or vascular V1 receptors, do not appear to be coupled to adenylate cyclase, we propose that adenohypophyseal receptors could be designated as V1b receptors as opposed to the V1a receptors previously characterized on liver and blood vessels
Hormone-induced rise in cytosolic Ca2+ in axolotl hepatocytes: extracellular origin and control by cAMP
Characterization of a novel, linear radioiodinated vasopressin antagonist: an excellent radioligand for vasopressin V1a receptors
We report on the pharmacological properties of a potent and selective linear vasopressin (AVP) V1a receptor antagonist HO-Phenylacetyl1-D-Tyr(Me)2-Phe3-Gln4-Asn5-Arg6-Pro7-Arg8-NH2 (HO-LVA). Iodinated on the phenolic substituent at position 1, [125I]-HO-LVA displayed the highest affinity for rat liver V1a receptors (8 pM) ever reported. Furthermore, affinities of HO-LVA and I-HO-LVA for V1b, V2 and oxytocin (OT) receptors was 400- to 1,000-fold lower than for V1a receptors, rendering it a highly selective ligand. Both HO-LVA and its iodinated derivative are V1 antagonists, they potently inhibited AVP-induced inositol-phosphate accumulation in WRK1 cells, and also, although with a much lower potency, the AVP-induced ACTH release from freshly prepared pituitary cells. Using autoradiography [125I]-HO-LVA appeared to be the first radioligand to successfully identify and localize the presence of V1a receptors in rat liver and blood vessel walls. Moreover, several new brain regions expressing V1a receptors could be identified, in addition to those brain regions that were previously identified with other radiolabelled AVP analogues
Influence of membrane polarization and hormonal stimulation on the action of lanthanum on frog skin sodium permeability
- …