138,766 research outputs found

    Dolicholana brucei Paiva & Souza-Filho 2015

    No full text
    <i>Dolicholana brucei</i> Paiva & Souza-Filho, 2015 <p> <b>Material examined.</b> 1 female (9.5 mm), Revizee Central, station # 6752, Box Corer, 16°49’58.8”S 38°35’27.6”W, 250 m, 21 June 2002, MNRJ 20209.</p> <p> <b>Distribution.</b> Rio Grande do Norte and Bahia (Brazil), 150–250 m depth.</p> <p> <b>Remarks.</b> <i>Dolicholana brucei</i> was described from material collected from the Potiguar Basin, off Rio Grande do Norte (Brazil), at a depth of 150 m. Its latitudinal distribution is now extended southward to Bahia and its depth range to 250 m. The female specimen examined here agrees with the original description, although the two distal robust setae of the pleotelson are broken.</p>Published as part of <i>Paiva, Ricardo J. C. & Souza-Filho, Jesser F., 2023, Three new species of the family Cirolanidae Dana, 1852 (Isopoda, Cymothoida) from the shallow Brazilian bathyal, pp. 1-26 in Zootaxa 5319 (1)</i> on page 2, DOI: 10.11646/zootaxa.5319.1.1, <a href="http://zenodo.org/record/8181996">http://zenodo.org/record/8181996</a&gt

    Revista Portuguesa de Filología, dirigée par M. de Paiva Boléo. I (1947)

    No full text
    Pottier B. Revista Portuguesa de Filología, dirigée par M. de Paiva Boléo. I (1947). In: Romania, tome 72 n°288, 1951. pp. 545-548

    Dialectica principles via Gödel doctrines

    No full text
    Godel's Dialectica interpretation was conceived as a tool to obtain the consistency of Heyting arithmetic in the 40s. In recent years, several proof theoretic transformations, based on Godel's Dialectica interpretation, have been used systematically to extract new content from classical proofs, following a suggestion of Kreisel. Thus, the interpretation has found new relevant applications in several areas of mathematics and computer science. Several authors have explained the Dialectica interpretation in categorical terms. In particular, de Paiva introduced the notion of a Dialectica category as an internal version of Godel's Dialectica Interpretation in her doctoral work. This was generalised by Hyland and Hofstra, who considered the interpretation in terms of fibrations. In our previous work, we introduced an intrinsic presentation of the Dialectica construction via a generalisation of Hofstra's work, using the notion of Godel fibration and its proofirrelevant version, a Godel doctrine. The key idea is that Godel fibrations (and doctrines) can be thought of as fibrations generated by some basic predicates playing the role of quantifier-free predicates. This categorification of quantifier-free predicates is crucial not only to show that our notion of Godel fibration is equivalent to Hofstra's Dialectica fibration in the appropriate way, but also to show how Godel doctrines embody the main logical features of the Dialectica Interpretation. To show that, we derive the soundness of the interpretation of the implication connective, as expounded by Troelstra, in the categorical model. This requires extra logical principles, going beyond intuitionistic logic, namely (suitable versions of) the Markov Principle (MP) and the Independence of Premise (IP) principle, as well as some choice. We show how these principles are satisfied in the categorical setting, establishing a tight correspondence between the logical system and the categorical framework. This tight correspondence should come in handy not only when discussing the traditional applications of Dialectica, but also when dealing with some newer uses of the interpretation, as in modelling games or concurrency theory. Finally, to complete our analysis, we characterise categories obtained as a result of the Hyland, Johnstone and Pitts tripos-to-topos construction when applied to Godel doctrines.(c) 2023 Published by Elsevier B.V

    Hist?ria, Literatura e mem?ria: um estudo de caso a partir de feliz ano velho de Marcelo Rubens Paiva

    No full text
    Este trabalho ? resultado de reflex?es acerca da rela??o entre a Hist?ria e a Literatura. O objetivo principal ? analisar a forma como estas duas ?reas do conhecimento se relacionam e se ? poss?velque um livro de n?o fic??o integre a mem?ria coletiva. Para isto, utilizo como objeto de estudo o livro Feliz Ano Velho, de Marcelo Rubens Paiva (1982), que elabora seu texto a partir das suas mem?rias pessoais que se entrela?am a acontecimentos do per?odo ditatorial p?s-64 no Brasil. O livro ? identificado como um monumento de mem?ria a partir das reflex?es de Jacques Le Goff, que nos permite reconhec?-lo tamb?m como um documento, al?m de trazer ? tona a concep??o de ?narrativa testemunho? que cabe ? obra escolhida. Em seguida, ? exposto o contexto pol?tico e social do Brasil, no per?odo em que o livro foi escrito, al?m de expor a forma como ocorria a pol?tica de censura ? literatura. Informa??es sobre Rubens Paiva, pai do autor, e a trajet?ria do livro desde seu lan?amento tamb?m s?o trabalhados. E, por fim, analisamos a quest?o memorial?stica e a constru??o da mem?ria coletiva, tendo como objeto o livro e suas informa??es, al?m de reunir alguns apontamentos atuais sobre o caso Rubens Paiva que se fizeram presentes nos ?ltimos meses, enquanto o trabalho vinha sendo elaborado

    Eudistoma amanitum Paiva & Rocha 2018, sp. nov.

    No full text
    Eudistoma amanitum sp. nov. (Figures 1–3) Type Material. Holotype: Panama, Bocas del Toro: Bocas del Drago (MZUSP 550) (09°24’43”N 082°19’54”W), ~ 1m depth, coll. R.M. Rocha, 07/viii/2003. Paratypes: Panama, Bocas del Toro: Hospital Point (MZUSP 551) (09°20’04”N 082°13’10”W), 5 m depth, 1 colony, coll. R.M. Rocha, 20/viii/2006; Sachen (DZUP EUD 259) (09°21’11”N; 82°12’50”W), 10 m depth,>5 colonies, coll. R.M. Rocha, 14/vi/2009; Caves: (DZUP EUD 243) (9°20'42”N; 82°09'13”W), 8 m depth, 2 colonies, coll. R.M. Rocha, 15/vii/2011. Additional Material. Panama, Bocas del Toro: Bastimentos Island (DZUP EUD 237) (9°16'49''N; 82°10'20''W), 1 m depth, 1 colony, coll. J. A. Sánchez, 04/viii/2003; Bocas del Drago (9°24’43”N; 82°19’54”W), (DZUP EUD 247) 3-5 m depth, 1 colony, coll. R.M. Rocha, 07/viii/2003; (DZUP EUD 235), 1 m depth, 1 colony, coll. R.M. Rocha, 07/viii/2003; (DZUP EUD 233), 1 m depth, 1 colony, coll. R.M. Rocha, 21/ix/2008; (DZUP EUD 240), 1 m depth, 1 colony, coll. R.M. Rocha, 30/viii/2008; (DZUP EUD 241) (9°25'00"N; 82°19'46"W), 1 m depth, 4 colonies, coll. R.M. Rocha, 03/v/2009; Crawl Key (DZUP EUD 238) (9°15’16”N; 82°09’10”W), 3 m depth, 1 colony, coll. R.M. Rocha, 05/viii/2003; (DZUP EUD 232) 1 colony, coll. R.M. Rocha, 05/viii/2003; Hospital Point (9°20’04”N; 82°13’10”W): (DZUP EUD 236), 8 m depth, 1 colony, coll. R.M. Rocha, 20/viii/2006; (DZUP EUD 234), 8 m depth, 1 colony, coll. R.M. Rocha, 20/viii/2006; DZUP EUD 245) 7 m depth, 1 colony, coll. R.M. Rocha, 23/xii/2008; (DZUP EUD 231), 10 m depth, 1 colony, coll. R.M. Rocha, 16/vi/2011; Swan Island (DZUP EUD 239) (9°27’13”N; 82°18’25”W), 4 to 6 m depth, 1 colony, coll. R.M. Rocha, 10/viii/2003; (DZUP EUD 250) (9°27’13”N; 82°18’25”W), 4 to 6 m depth, 1 colony, coll. R.M. Rocha, 16/vi/2009; (DZUP EUD 246) (9°27’11”N; 82°17’58”W), 3 m depth, 2 colonies, coll. R.M. Rocha, 15/vii/2011; Punta Vieja (DZUP EUD 244) (9°17'26''N; 82°5'22''W), 1 colony, coll. G. Jerome, 12/viii/2003; Cuba: Havana, Marina Hemingway (DZUP EUD 242) (23°05’00”N; 82°29’00”W), 10 m depth, 1 colony, coll. R.M. Rocha, 09/vii/2010; Puerto Rico: ZMA, Punta Guaniquilla, Cabo Rojo (18°02’4.64”N; 67°12’38.92”W), 6 m depth, 1 colony, coll. J. H. Stock, 16/ii/ 1963. Nomenclatural act recorded at Zoobank: 579523D3-4EB0-40FE-9C5A-58C9C6CB63DB Etymology: The specific epithet is derived from the Greek amanita which is a mushroom genus and refers to the fact that colonies resemble this kind of mushroom. The colonies are very abundant in some reef patches in Bocas del Toro, especially those associated with high water movement, such as in canals (Bocas del Drago, Sachen, Hospital Point) or open sea (Swan Island, Caves, Punta Vieja). The colonies are usually hanging upside down or attached to vertical surfaces. The colonies consist of one to several small rounded or conical heads with cylindrical stalks protruding from a thick common basal test. Maximum stalk length was 5 cm but most were smaller with 1 cm in diameter. The largest colony analyzed was about 5 cm in maximum diameter. The color in life is red, purple, pink or orange, but when preserved the general color faints while the zooids are still orange or yellowish. There is an elongate patch of darker color between the siphons of each zooid, showing an arrangement of zooids in more or less concentric circles around the surface of the heads of the colonies. In some colonies the tunic color is very faint and those patches of darker color between the siphons stand out. No circular systems nor rudimentary cloaca were observed. The tunic in the heads is soft in consistency, smooth and without incrustations. The tunic in stalks and basal mass is opaque and slightly wrinkled, encrusted by foreign particles and epibionts. The inner matrix of the tunic may contain fecal pellets and sand grains. Zooids lay vertical and parallel to each other, open on the upper surface of the heads and extend from the surface to base of the colony. The zooids are yellowish and measuring up to 2 cm in length, the thorax corresponding to less than ¼ of the zooid length. The oral and atrial siphons have a conspicuous circular musculature, and six lobes each. The lobes are short, rounded and separated from each other. Each lobe forms a semi-sphere with the convex side towards the aperture and the concave side facing outwards. The atrial siphon is apical on the top of a wide atrial cavity. The body wall is transparent with dense longitudinal and transverse musculature in each side of the thorax. The longitudinal muscles are more than 30 narrow bands (~5 fibers in each band) in each side of the thorax and converging to four wide bands along the abdomen till the posterior end. The numerous transverse muscles on the thorax lay under the longitudinal muscles forming a mesh, but they are absent between the tentacles area and the beginning of the first row of stigmata. In the abdomen, the transverse musculature is present only as a narrow ring at the most anterior region. The oral tentacles are slender and sum at least 20, arranged in three size orders, but the exact number was not determined. The anterior row of stigmata curves anteriorly in the dorsal region and has a varying number of 19 to 26 stigmata per side, while the second and third rows have 20 to 23 stigmata in each side. The esophagus is long and a trapezoid smooth and slightly asymmetrical stomach is at the posterior end of the abdomen. An oval posterior stomach is present and usually situated vertically at the bottom of the loop. The gastric vesicle was not detected. The pyloric gland contains approximately eight thin, sinuous or more straight pyloric tubules, starting in the posterior region of the stomach. Only 4–6 of the tubules appear in the exposed face of the intestine. The anus is bilobed and ends at the level between the second and third rows of stigmata. There is a granular material in the posterior region of the abdomen of some zooids. The gonads form a cluster inside the intestinal loop. The testis has numerous irregular follicles (>10), the sperm duct is straight, and the ovary has only one oocyte developed. Only one embryo develops in the atrial cavity and was detected in samples from July and August (MZUSP 550, MZUSP 551 and DZUP EUD 243). The larval trunk is ~ 1.7 mm long, yellow and has inconspicuous vesicles throughout the body wall. It has three adhesive papillae in the antero-median line, distant from each other, with short stalks. One specimen (MZUSP 550) has larvae with three, four and five adhesive papillae. Usually there are four pairs of ectodermal ampullae that alternate with the adhesive papillae, but the sample MZUSP 551 has larvae with five pairs of ampullae. The ocellus and statocyte are in a posterior position. The tail wounds about ½ of the way around the larva.Published as part of Paiva, Sandra Vieira & Rocha, Rosana Moreira Da, 2018, A large marine Caribbean mushroom field: description of Eudistoma amanitum sp. nov. (Ascidiacea: Polycitoridae), pp. 443-450 in Zootaxa 4399 (3) on pages 444-446, DOI: 10.11646/zootaxa.4399.3.13, http://zenodo.org/record/120665

    Dr. Duane M. Jackson, Morehouse College, July 2011

    No full text
    This video is a conversation with Dr. Duane M. Jackson. Dr. Jackson talks about his paper, "Recall and the Serial Position Effect: The Role of Primacy and Recency on Accounting Students' Performance." Jackie Daniel, AUC Woodruff Library, is the interviewer

    "Reflections on the subject of Emigration from Europe with a view to Settlement in the United States" By M. Carey.

    No full text
    "Reflections on the subject of Emigration from Europe with a view to Settlement in the United States: containing bried sketches of the moral and political character of those states. By M. Carey, member of the American philosophical, and of the American Antiquarian Society, and author of The Olive Branch, Cindiciae Hibernicae, essays on banking, on political economy, and on internal improvement. To which are now added the English editor's comments on the subject; together with Important Advice to Emigrants, and Cautions Against Impositions Practiced in the Outports

    Anisopappus chinensis subsp. africanus S. Ortiz & Paiva

    No full text
    <p> <b> <i>Anisopappus chinensis</i> Hook. & Arn. subsp. <i>africanus</i> (Hook.f.) S.Ortiz & Paiva</b> —</p> <p>Habit: Herb.</p> <p>Habitat: LMWF, LMDF; up to 2 500 m. Distribution: II.</p> <p> Voucher: Thungura Hill Forest, Alt. 1 966 m, 10 Aug. 2015, <i>SAJIT 003954</i> (HIB).</p> <p>Reference: Agnew (2013).</p>Published as part of <i>Zhou, Ya-Dong, Mwachala, Geoffrey, Hu, Guang-Wan & Wang, Qing-Feng, 2022, Annotated checklist of the vascular plants of Mount Kenya, East Africa, pp. 1-108 in Phytotaxa 546 (1)</i> on page 90, DOI: 10.11646/phytotaxa.546.1.1, <a href="http://zenodo.org/record/6550464">http://zenodo.org/record/6550464</a&gt

    Dr. Glendon Swarthout

    No full text
    Hosted by Roger M. Busfield, MSU Assistant Professor of Speech and Theater, Meet the Author is designed to introduce a general audience to a contemporary author and their work through in-depth interviews. This episode features a conversation between Dr. Glendon Swarthout, prolific author and English professor at MSU, and assistant professors Sam S. Baskett and Theodore B. Strandness

    Image Transmission and Selenium: Adriano de Paiva and Initial Steps in the XIX Century

    No full text
    Sound transmission, in the form of the telephone, was invented by Alexander Graham Bell et al. in the seventies of the XIX century. Inspired by this development, Adriano de Paiva published in 1878 the idea of the transmission of images at a distance using electricity and selenium. His proposal was based upon earlier work by Jöns Jacob Berzelius, who identified the selenium element in 1817, and of Willoughby Smith, who in 1873 identified a peculiar property of this material—its conductivity dependence upon incident light. The 1878 paper of Adriano de Paiva is the first publication proposing to benefit from the properties of selenium in order to achieve electrical image transmission at a distance and, in the words of the author, enable ubiquity—the transmission of sound and image anywhere in real time. This encyclopedia entry delves into the early steps of electrical image transmission, concisely presenting the protagonists and controversies of scientific priority, and mentioning the impact of those pioneering contributions, still mentioned today, approximately one and a half centuries later
    corecore