1,393,745 research outputs found
Psychoda silvensis Cordeiro, Bravo & Carvalho
No full text<i>Psychoda silvensis</i> Cordeiro, Bravo & Carvalho <p> <i>Psychodasilvensis</i> Cordeiro,Bravo&Carvalho,2011:31-32, figs. 132-139.</p> <p> <b>New record (determined by D. Cordeiro):</b> BRAZIL, Minas Gerais, University Biol. Reserve Belo Horizonte, 19°55′S, 43°56′W.</p> <p> <b> Previous records (Cordeiro <i>et al.,</i> 2011):</b> BRAZIL, Amazonas, Silves, Saracá (type locality); Amazonas, Itacoatiara-Itapiranga km 23, <100 masl, 03°03.0′S, 58°43.5′W.</p>Published as part of <i>Cordeiro, Danilo Pacheco, 2020, First record to Brazil of one genera and seven species of Psychodidae (Diptera) with further new records for 10 countries on the Neotropics, pp. 1-10 in Papéis Avulsos de Zoologia 60</i> on page 8, DOI: 10.11606/1807-0205/2020.60.02, <a href="http://zenodo.org/record/3727783">http://zenodo.org/record/3727783</a>
Psychoda dantilandensis Bravo, Cordeiro & Chagas 2006
No full text<i>Psychoda dantilandensis</i> Bravo, Cordeiro & Chagas <p> <i>Psychoda dantilandensis</i> Bravo, Cordeiro & Chagas, 2006: 8-9, figs. 19-27; Cordeiro <i>et al.,</i> 2011: 9-11, figs. 9-14.</p> <p> <b>New record (determined by D. Cordeiro):</b> BRAZIL, Minas Gerais, Parque Est. do Rio Doce 240 km E of Belo Horizonte, 350 msal, 18°45.18′S, 42°38.00′W.</p> <p> <b> Previous records (Bravo <i>et al.,</i> 2006):</b> BRAZIL, Bahia, Dantilândia 15°06′S, 40°00W (type locality); Bahia, Itabuna, 14°45′S, 39°17′W.</p>Published as part of <i>Cordeiro, Danilo Pacheco, 2020, First record to Brazil of one genera and seven species of Psychodidae (Diptera) with further new records for 10 countries on the Neotropics, pp. 1-10 in Papéis Avulsos de Zoologia 60</i> on pages 4-6, DOI: 10.11606/1807-0205/2020.60.02, <a href="http://zenodo.org/record/3727783">http://zenodo.org/record/3727783</a>
A new wider family of continuous models: The Extended Cordeiro and de Castro Family
No full textWe introduce and study general mathematical properties of a new generator of continuous distributions with three extra parameters called the extended Cordeiro and de Castro family. We investigate the asymptotes and shapes. The new density function can be expressed as a linear combination of exponentiated densities based on the same underlying distribution. We derive a power series for the quantile function of this family. We determine explicit expressions for the ordinary and incomplete moments, quantile and generating functions, asymptotic distribution of the extreme values, Shannon and Renyi entropies and order statistics, which hold for any baseline model. We discuss the estimation of the model parameters by maximum likelihood and illustrate the potentiality of the introduced family by means of two applications to real data
ENTREVISTA com a Profª. Maria Hercília Tribuzy de Magalhães Cordeiro
No full textENTREVISTA com a Profª. Maria Hercília Tribuzy de Magalhães Cordeiro, Professora aposentada do Departamento de Filosofia da Universidade Federal do Amazonas. É Mestre em Filosofia pela Pontifícia Universidade Católica do Rio de Janeiro – PUC-RJ. Foi Reitora do Centro Universitário do Norte - UNINORTE, em Manaus, de 2004 a 201
SMT-based bounded model checking of multi-threaded software in embedded systems
No full textOur reliance on the correct functioning of embedded systems is growing rapidly. Such systems are used in a wide range of applications such as airbag control systems, mobile phones, and high-end television sets. These systems are becoming more and more complex and require multi-core processors with scalable shared memory to meet the increasing computational power demands. The reliability of the embedded (distributed) software is thus a key issue in the system development. In this thesis we describe and evaluate an approach to reason accurately and effectively about large embedded software using bounded model checking (BMC) based on Satisfiability Modulo Theories (SMT) techniques. We present three major novel contributions. First, we extend the encodings from previous SMT-based bounded model checkers to provide more accurate support for variables of finite bit width, bit-vector operations, arrays, structures, unions and pointers and thus making our approach suitable to reason about embedded software. We then provide new encodings into existing SMT theories and we show that our translations from ANSI-C programs to SMT formulas are as precise as bit-accurate procedures based on Boolean Satisfiability. Second, we develop three related approaches for model checking multi-threaded software in embedded systems. In the lazy approach, we generate all possible interleavings and call the SMT solver on each of them individually, until we either find a bug, or have systematically explored all interleavings. In the schedule recording approach, we encode all possible interleavings into one single formula and then exploit the high speed of the SMT solvers. In the underapproximation and widening approach, we reduce the state space by abstracting the number of interleavings from the proofs of unsatisfiability generated by the SMT solvers. Finally, we describe and evaluate an approach to integrate our SMT-based BMC into the software engineering process by making the verification process incremental. In particular, our approach looks at the modifications suffered by the software system since its last verification, and submits them to a partly static and dynamic verification process, which is thus guided by a set of test cases for coverage. Experiments show that our SMT-based BMC can analyze larger problems and reduce the verification time compared to state-of-the-art techniques that use BMC, iterative context-bounding or counterexample-guided abstraction refinement
Dendronephthya perezi Cordeiro & Ofwegen, 2018, nom. n.
No full textDendronephthya perezi nom. n. to replace Dendronephthya kukenthali Gravier, 1908. Etymology: The epithet “perezi” is given in honor of Dr. Carlos Daniel Pérez, a prominent octocoral taxonomist and former advisor of the first author. Type-specimens: Gravier’s syntypes (two specimens) are available at the Muséum National d'Histoire Naturelle (MNHN-IK-2000-153) (Fig. 1B,C). Part of the syntype (one uncatalogued specimen) is possibly deposited at Natural History Museum of Denmark (SNM), labeled by Tixier-Durivault and Prevorsek as “ Spongodes kükenthali (Gravier), from Gulf of Tadjoura, coll. by Ch. Gravier (1904)” (Fig. 1A).Published as part of Cordeiro, Ralf T. S. & Van Ofwegen, Leen P., 2018, A new name for Dendronephthya kukenthali Gravier, 1908 (Octocorallia, Nephtheidae): Dendronephthya perezi nom. n., pp. 576-578 in Zootaxa 4508 (4) on page 576, DOI: 10.11646/zootaxa.4508.4.6, http://zenodo.org/record/371395
Psychoda amazonensis Cordeiro & Bravo
No full textPsychoda amazonensis Cordeiro & Bravo Psychoda amazonensis Cordeiro & Bravo, 2008: 116. Type Locality: Brazil (Amazonas, Silves, Saracá) Diagnosis. eyes separated by 0.3 facet diameters; antenna with 14 flagellomeres, 12 th– 14 th fused; ascoids with 1 inferior and 3 superior arms; gonostylus with a long basal setae; gonocoxal bridge expanded posteriorly, with acute apex, extending beyond apex of distiphallus; paramere absent; female terminalia reduced (cerci and subgenital plate reduced), genital digit absent. Additional characters. hair patch of frons extending to facet row 2 or 3; 4–5 (rarely 6) supra-ocular setae; interocular suture absent; clypeus with 2 stronger lateral alveoli; frontoclypeal suture absent or apparently incomplete; distitarsus with apical projection. Material examined. type material: holotype 3 BRAZIL, Amazonas, Silves, Saracá, 30.vi. 1997, no collector name (INPA); 2 paratypes 3 e 5 paratypes Ƥ, same dates and locality as the holotype, no collector name (13 e 3 Ƥ INPA, 13 e 2 Ƥ MZUEFS). Other specimens: 2 3 e 3 Ƥ Amazonas, Silves, 01.vi.1997, 6cdc- 1m, no collector name (INPA); 1 3 e 1 Ƥ Amazonas, Silves, área alterada, 29.v.1997, 7 cdc/m, col. TVB/FLS (MZUEFS). Distribution. BRAZIL (Amazonas). Comments. according to Cordeiro & Bravo (2008), this species is likely obligatorily viviparous, making it the only known viviparous species in Psychoda. Four-branched ascoids are found only on two subgenera of Psychoda: Falsologima and Apsycha comb. nov, but in the subgenus Falsologima the females have three-branched ascoids. Although the long setae seen on gonotylus of males of this species is also a character of subgenus Falsologima, the number of apical flagellomeres and the shape of female ascoid clearly separate it from this subgenus. Also, according to original description and key of Ježek (2007), in the subgenus Apsycha the 13 th and 14 th flagellomeres are separated and also 14 th is shortly spindle-shaped, what is not true for P. amazonensis. This species cannot be also assigned to any of other subgenera of Psychoda because of differences between the pattern of fusion of the three apical flagellomeres. Psychoda amazonensis is morphologicaly similar to P. quiniversa Quate (Costa Rica) in the following characters: shape of the antennal apex; pattern of the frons pilosity; female ascoids with 3 upper arms; male with no paramere; ventral pilosity of the gonocoxal bridge; and gonostylus with one long basal setae. However, Psychoda amazonensis has 4 facet rows on the eye bridge, subgenital plate reduced and long gonocoxal bridge, whereas Psychoda quiniversa has 5 facet rows, subgenital plate normal and gonocoxal bridge short. The last character, of diagnostic value according to our observations, is frequently neglected in the descriptions of Psychoda. We believe that more attention should be given to this character, and to the pattern of pilosity of the female subgenital plate and male gonostylus.Published as part of Cordeiro, Danilo, Bravo, Freddy & De, Claudio J. B., 2011, Taxonomy of Brazilian Psychoda Latreille, 1796 (Diptera, Psychodidae) with the description of thirteen new species, pp. 1-37 in Zootaxa 3101 on page 7, DOI: 10.5281/zenodo.20524
Psychoda serraorobonensis Bravo, Cordeiro & Chagas
No full textPsychoda serraorobonensis Bravo, Cordeiro & Chagas (Figs 32–33) Psychoda serraorobonensis Bravo, Cordeiro & Chagas, 2006: 10. Type locality: Brazil (Bahia, Serra do Orobó). Diagnosis. Eyes separated by 1.5 –2.0 facet diameters; antenna with 14 flagellomeres, the 3 apical subequal, 11 th, 12 th and 13 th fused, 14 th flagellomere separated and spherical; ascoids in Y; median fork incomplete; female subgenital plate pilose on distal half and with lateral margins convex. Additional characters. hair patch of frons extending to facet row 1, almost reaching hair patch of vertex; eyes separated by 1.5 –2.0 facet diameters; 5–6 supra-ocular setae; interocular suture absent; clypeus with 2 or 3 stronger lateral alveoli; frontoclypeal suture absent; 11 th, 12 th and 13 th flagellomeres fused (only 11 th and 12 th on original description), spines present on 11 th and 13 th; palpal formula 1: 1.2 (1.1–1.3): 1.1 (1.1–1.3): 1.4 (1.3–1.5); labellum with 3 apical teeth, 1 subapical tooth and 2 lateral setae; distitarsus without apical projection (Fig. 32); female subgenital plate pilose on distal half, internally with a micropilose structure goblet shaped and a pair of lateral sclerotized lines just lateral to the digit (Fig. 33); genital chamber oval, with posterior apodeme. Male. Unknown. Material examined. Type material: holotype Ƥ BRAZIL, Bahia, Serra do Orobó, 29.xii. 2004, col. F. Bravo (MZUEFS). Others specimens: 2 Ƥ BRAZIL, Amazonas, Pitinga, Grota (c), 29.vi.1991, 12cdc/m, no collector name, (1 Ƥ INPA, 1 Ƥ MZUEFS); 1 Ƥ Amazonas, Silves, Saracá, área alterada, 17.xii.1997, 6 cdc - m, col. RF / FLS/LMC (INPA); 1 Ƥ Bahia, Senhor do Bonfim, Serra de Santana, 28.viii. 2006, col. R. Vieira & C. Chagas (MZUEFS); 1 Ƥ Bahia, Senhor do Bonfim, Serra de Santana, 29.viii. 2006, col. R. Vieira & C. Chagas (MZUEFS); 1 Ƥ Bahia, Cachoeira, Faz. Villa Rial, 13–27.vi. 2007, Malaise trap, col. E. Alvim & I. Castro (MZUEFS); 1 Ƥ BRAZIL, Paraná, Antonina, Res. Sapitanduva, 02.iii. 1987, Malaise trap, Profaupar 4.5 (DZUP). Distribution. Brazil (Amazonas, Bahia and Paraná). Comments. This species is morphologically similar to species of the subgenus Psycha, mainly in the number of flagellomeres and the type of fusion of the last flagellomeres, but different from Psycha by the globular format of the apical flagellomere, which in all species of Psycha is drop shaped. This is the first record of this species to Amazonas and Paraná.Published as part of Cordeiro, Danilo, Bravo, Freddy & De, Claudio J. B., 2011, Taxonomy of Brazilian Psychoda Latreille, 1796 (Diptera, Psychodidae) with the description of thirteen new species, pp. 1-37 in Zootaxa 3101 on pages 15-16, DOI: 10.5281/zenodo.20524
Brachymetra bernaldi Pacheco-Chaves & Cordeiro & Moreira & Springer 2018, sp. nov.
No full textBrachymetra bernaldi Cordeiro, sp. nov. (Figs. 1–10) This new species is known only from a tropical rain forest stream in the lowlands of the Caribbean slope, at approximately 200 m a.s.l., in the province of Heredia. Material examined. Heredia — Sarapiquí, La Tirimbina Reserve, stream in La Ceiba Trail, 07.VII.2008, (B. Pacheco): 2 males, 3 females (CEIOC).Published as part of Pacheco-Chaves, Bernald, Cordeiro, Isabelle Da Rocha Silva, Moreira, Felipe Ferraz Figueiredo & Springer, Monika, 2018, The water striders (Hemiptera: Heteroptera: Gerridae) of Costa Rica: new species, checklist, and new records, pp. 493-522 in Zootaxa 4471 (3) on page 497, DOI: 10.11646/zootaxa.4471.3.4, http://zenodo.org/record/143993
A RÁDIO SEGUNDO PAULA CORDEIRO
No full textEstratégias de programação na rádio em Portugal: o caso da RFM na transição para o digital foi o título da tese de doutoramento de Paula Cordeiro, ontem defendida na Universidade Nova de Lisboa. O blogueiro cá de casa foi um dos arguentes do trabalho, tendo aprendido muito com a leitura e discussão da tese. A qual recolheu a nota máxima e sugestão do juri para sua publicação (igualmente de parabéns o orientador, Francisco Rui Cádima). Com o presente trabalho, Paula Cordeiro assume-se como uma..
- …
