Results 11 to 20 of about 95,959 (316)
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gábor Wiener +2 more
openaire +2 more sources
AbstractThe use of diagrams in mathematics has traditionally been restricted to guiding intuition and communication. With rare exceptions such as Peirce's alpha and beta systems, purely diagrammatic formal reasoning has not been in the mathematician's or logician's toolkit. This paper develops a purely diagrammatic reasoning system of “spider diagrams”
Howse, John +2 more
openaire +1 more source
Spider Ecology and Behaviour—Spiders as Model Organisms
Spiders are versatile and ubiquitous generalist predators that can be found in all terrestrial ecosystems except for Antarctica [...]
Hesselberg, T, Gálvez, D
openaire +3 more sources
Pimoa delphinica Mammola, Hormiga & Isaia, 2016 is a troglophile araneoid spider endemic of the high Varaita valley (Western Alps, Province of Cuneo, NW Italy).
Stefano Mammola +2 more
doaj +3 more sources
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages [PDF]
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 +5 more
core +1 more source
red - an R package to facilitate species red list assessments according to the IUCN criteria
The International Union for the Conservation of Nature Red List is the most useful database of species that are at risk of extinction worldwide, as it relies on a number of objective criteria and is now widely adopted. The R package red – IUCN Redlisting
Pedro Cardoso
doaj +3 more sources
The need for discovering new compounds that can act selectively on pathogens is becoming increasingly evident, given the number of deaths worldwide due to bacterial infections or tumor cells.
Luiz Filipe Ramalho Nunes de Moraes +13 more
doaj +1 more source
Xanthurenic Acid Is the Main Pigment of Trichonephila clavata Gold Dragline Silk
Spider silk is a natural fiber with remarkable strength, toughness, and elasticity that is attracting attention as a biomaterial of the future. Golden orb-weaving spiders (Trichonephila clavata) construct large, strong webs using golden threads.
Masayuki Fujiwara +8 more
doaj +1 more source
What Can Spider Diagrams Say? [PDF]
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 +7 more
core +1 more source
Spiders are a key predator of insects across ecosystems and possess great potential as pest control agents. Unfortunately, it is difficult to artificially cultivate multiple generations of most spider species.
Wang Zhang +5 more
doaj +1 more source

