[PDF] Top 20 SoS contract verification using statistical model checking
Has 10000 "SoS contract verification using statistical model checking" found on our website. Below are the top 20 most common "SoS contract verification using statistical model checking".
Size Dependent Male Reproductive Tactic in the Two-Spotted Goby (Gobiusculus flavescens).
... investment in testes and sperm duct gland in the polygamous nest breeding two-spot- ted goby Gobiusculus flavescens (Fabricius) was investigated in relation to time in ... Voir le document complet
71
Reproductive trade-offs in a temperate reef fish under high pCO2 levels
... The two-spotted goby, Gobiusculus flavescens, is a small (adult 35 –55 mm), sexually dimorphic, marine fish that lives along the coast of Europe, from Portugal to northern Norway (Miller, ... Voir le document complet
Acoustic communication in the painted goby Pomatoschistus pictus: temperature dependence of male courtship sounds and their role in female mate choice
... marine goby with paternal care inhabiting sandy or gravel ...Males in better condition (larger lipid reserves) exhibit higher acoustic ...how the latter is affected by ...temperature dependent ... Voir le document complet
Male courtship behavior and weapon trait as indicators of indirect benefit in the bean bug, Riptortus pedestris.
... to male-derived resources ...example, in red-collared widow- birds, Euplectes ardens, a dominant male can monopolize the best territories required by females for breeding ...stay in ... Voir le document complet
150
Cossidae of the Socotra Archipelago (Yemen)
... contains the following plants: Acacia pennivenia, Jatropha unicostata, Lycium socotranum, Gnidia socotrana, Buxus hildebrandtii, Croton socotranus, Leucas virgata, Cissus hamaderohensis, Punica protopunica, Ficus ... Voir le document complet
316
Reproductive biology of Echinanthera cyanopleura (Serpentes: Dipsadidae) in southern Brazil
... ABSTRACT. The reproductive cycles of snakes can be influenced by many factors, both biotic and abiotic, and informa- tion about these factors can contribute significantly to knowledge of the biology ... Voir le document complet
40
Genomic organization, tissue distribution and functional characterization of the rat Pate gene cluster.
... All the animals used in the study were obtained from National Institute of Nutrition, Hyderabad, ...placed in RNALater (Ambion Inc, Austin, TX, USA) solution overnight at 4 uC to allow ... Voir le document complet
157
CHANGES IN THE THYROID GLAND DURING THE REPRODUCTIVE CYCLE OF THE MALE VESPERTILIONID BAT, Scotophilus heathi
... of the thyroid gland was estimated using standard point counting techniques (Weibel, 1979; Singh & Krishna, ...throughout the thyroid of each bat were examined at 100 x magnifica- tion under a microphat ... Voir le document complet
32
Development of the male reproductive system in Callinectes ornatus Ordway, 1863 (Brachyura: Portunidae)
... of the seminal luid (Beninguer et ...to the granular matrix found in the MVD, as also seen in other Brachyura (Johnson, 1980; Diesel, 1989; Zara et ...hus, the seminal liquid ... Voir le document complet
81
An evolutionary perspective into the role of kallikreins (KLKs) in male reproductive biology
... of the human genome targeted by positive selection may also be associated with human ...change in the selective forces acting on human populations; alleles which were once beneficial may now be ... Voir le document complet
Surgery or surgical defolation in ‘Grand Naine’ banana in the control of black Sigatoka in the state of Rio de Janeiro
... AAA) in the municipality of Angra dos Reis (RJ) has been affected by the Black Sigatoka agent, Mycosphaerella fijiensis (current name Pseudocercospora fijiensis); causing losses to local producers, ... Voir le document complet
196
The effect of celery (Apium graveolens L.) on reproductive parameters in male wistar rat
... hormones the boosting effect of plant on spermatogenesis could not be confirmed explicitly (Dorostghoal et ...also the results of this study groups, the treatment method and duration, and even images ... Voir le document complet
27
Seasonal variation in the reproductive activity of male goats raised under tropical climate conditions
... variations in the testes, the concentration of sex hormones, the parameters of fresh and thawed semen, and the sexual behavior of male Alpine goats from a temperate region ... Voir le document complet
256
Reproduction of a whiptail lizard (Ameivula ocellifera, Teiidae) from a coastal area in northeastern Brazil
... Because the rains pattern creates a seasonal and predictable environment in SGA, we had ex- pected that the reproductive pattern of the studied population would be cyclical as found for ... Voir le document complet
119
Anatomy of the male reproductive system of Phrynops geoffroanus (Testudines: Chelidae).
... from the base to the extremity of the penis, which is eversible through the cloaca by the action of erector muscles and blood ...to the ventral wall of the cloaca, which ... Voir le document complet
67
Reproductive cycle of the male of Liolaemus occipitalis Boulenger (Sauria, Tropiduridae).
... dunas costeiras dos estados do Rio Grande do Sul e de Santa Catarina, caracterizan- do-se por apresentar comprimento rostro-anal médio nos machos adultos de 60,2 mm, padrão cr[r] ... Voir le document complet
6
Structure of the male reproductive tract of Uca uruguayensis (Decapoda, Ocypodidae).
... spermatogenesis in the snow crab, Chionoecetes opilio (wave of the spermatogenesis epithelium) In: I VANOV , ...maturity, reproductive cycles, and juvenile recruitment of Perisesarma ... Voir le document complet
126
Oxidative stress and cytotoxic potential of anticholinesterase insecticide, malathion in reproductive toxicology of male adolescent mice after acute exposure
... to male mice provoked an alteration in antioxi- dant enzymes activities in testis and epididymis ...by two phases during the sub-chronic treatment with malathion (34, 37, ...least ... Voir le document complet
88
Duplicated membrane estrogen receptors in the European sea bass (Dicentrarchus labrax): Phylogeny, expression and regulation throughout the reproductive cycle
... factors, the nuclear estrogen receptors ...identified in vertebrates including fish, which can be mediated by membrane receptors such as the G protein-coupled estrogen receptor ...(Gper). In ... Voir le document complet
Damage level of the two-spotted spider mite Tetranychus urticae Koch (Acari: Tetranychidae) in soybeans
... to the increases in spider mite populations in soybeans, mainly changes in the tillage system, such as weed control by the use of a genetically modified, glyphosate-tolerant ... Voir le document complet
154
Sujets connexes