Results 31 to 40 of about 1,445,677 (243)

Spider Diagrams: A Diagrammatic Reasoning System [PDF]

, 2001
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can be used in conjunction with object-oriented modelling notations such as the Unified Modeling ...
Howse, John, Gil, Joseph, Kent, S., Taylor, John, Molina, Fernando, Kent, Stuart, Molina, F., Gil, J.   +7 more
core   +1 more source

First Record of Banded Garden Spider Argiope trifasciata Forskal, 1775 (Araneae: Araniedae) in Baghdad, Iraq

Ibn Al-Haitham Journal for Pure and Applied Sciences, 2023
This study presented the first recorded of the banded garden spider Argiope trifasciata and    described for the first time in Baghdad city, Iraq. The specimens were collected from Al-Rashidiya sub-district north of Baghdad city on 26/ November/ 2021 (7 ...
Hala G. Noori, Zeina N. Al-Azawii
doaj   +1 more source

A normal form for spider diagrams of order [PDF]

, 2014
We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We de- fine a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal ...
Simon Thompson, John Taylor, Taylor, John, Gem Stapleton, Delaney, Aidan, Thompson, Simon, Stapleton, Gem, Aidan Delaney   +7 more
core   +1 more source

Fragments of Spider Diagrams of Order and their Relative Expressiveness [PDF]

, 2010
Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparisons with other notations. Various expressiveness results for diagrammatic logics are
Simon Thompson, John Taylor, Taylor, John, Gem Stapleton, Delaney, Aidan, Thompson, Simon, Stapleton, Gem, Aidan Delaney   +7 more
core   +1 more source

Brown spiders (Loxosceles) are taking hold in Pernambuco, Brazil: a case series, 2018-2022 [PDF]

Epidemiologia e Serviços de Saúde
Objective To describe accidents involving brown spider (genus Loxosceles) bites notified by the Pernambuco Poison Information and Care Center (CIATox-PE), Brazil, from January 2018 to December 2022.
Maria Lucineide Porto Amorim, Diógenes Gayo de Oliveira Simão, João Paulo Vieira e Silva de Albuquerque, Beatriz Maria Tenório Ramos, Gustavo José Lopes do Nascimento, Maria Júlia Gonçalves de Mello   +5 more
doaj   +1 more source

Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages [PDF]

, 2008
The spider diagram logic forms a fragment of the constraint diagram logic and was designed to be primarily used as a diagrammatic software specification tool.
Simon Thompson, John Taylor, Taylor, John, Delaney, Aidan, Thompson, Simon, Aidan Delaney   +5 more
core   +1 more source

Partial proteomic analysis of brown widow spider (Latrodectus geometricus) venom to determine the biological activities

Toxicon: X, 2020
Spiders use their venom for defence and to capture prey. These venoms contain a cocktail of biologically active compounds that display several different biological activities, such as large molecules and small molecules including peptides, proteins ...
Pornsawan Khamtorn, Prapenpuksiri Rungsa, Nisachon Jangpromma, Sompong Klaynongsruang, Jureerut Daduang, Thanee Tessiri, Sakda Daduang   +6 more
doaj   +1 more source

On the expressiveness of spider diagrams and commutative star-free regular languages [PDF]

, 2013
Spider diagrams provide a visual logic to express relations between sets and their elements, extending the expressiveness of Venn diagrams. Sound and complete inference systems for spider diagrams have been developed and it is known that they are ...
Taylor, John, Delaney, Aidan, Thompson, Simon, Stapleton, Gem   +3 more
core   +1 more source

What Can Spider Diagrams Say? [PDF]

, 2004
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalent in expressive power to the spider diagram language.
Howse, John, Simon Thompson, John Taylor, Taylor, John, Gem Stapleton, John Howse, Thompson, Simon, Stapleton, Gem   +7 more
core   +1 more source

Production and Functional Evaluation of Anti-Loxosceles Sera Raised by Immunizations of Rabbits with Mutated Recombinant Phospholipases-D

Biomedicines, 2022
Loxoscelism is the clinical condition triggered after the bite of spiders of the genus Loxosceles. The main species involved in accidents in South America are L. intermedia, L. laeta, and L. gaucho.
Bruno Cesar Antunes, Nayanne Louise Costacurta Polli, Pedro Henrique de Caires Schluga, Thais Pereira da Silva, Ana Carolina Martins Wille, Rosangela Locatelli-Dittrich, Giovana Scuissiatto de Souza, Fernando Hitomi Matsubara, João Carlos Minozzo, Andrea Senff-Ribeiro, Luiza Helena Gremski, Silvio Sanches Veiga   +11 more
doaj   +1 more source