A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
What Can Spider Diagrams Say?
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
Spider diagrams are a visual notation for expressing logical statements. ...
Using these classifying models we show that there is a diagram expressing the same information as S. 3 In some spider diagram languages, given spiders [5] represent constants but for our purposes spiders ...
John Howse, John Taylor and Simon Thompson are partially supported by the UK EPSRC grant numbers GR/R63516 and GR/R63509 for the reasoning with diagrams project. ...
doi:10.1007/978-3-540-25931-2_12
fatcat:s4vqfh5nuff4vks6ctavblukqm
What may words say, or what may words not say. A corpus-based approach to linguistic action
2005
Revista Alicantina de Estudios Ingleses
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Most linguistic expressions about language in English are surface manifestations of what Reddy termed the "conduit metaphor". ...
In order to measure what falls inside and outside these containers I carry out a corpus analysis of the lexeme word excerpted from the British National Corpus (BNC). ...
(BNC: b\bp\bpd 60) (42) Yeah, if they come up to you with a microphone and say would you like to say a few words for the televisión programme yourself I wouldn' tl'ddryupl wouldn' t know what to say (BNC ...
doi:10.14198/raei.2005.18.09
fatcat:oqc35jf2k5fmfj4dec4bi7jmhq
Flower-Visiting Butterflies Avoid Predatory Stimuli and Larger Resident Butterflies: Testing in a Butterfly Pavilion
2016
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
(B) Schematic diagram of experimental setup. (C) Butterfly species observed in the experiment. ...
Further experiments are required to determine what types of visual signals induce butterfly avoidance. ...
doi:10.1371/journal.pone.0166365
pmid:27846252
pmcid:PMC5112811
fatcat:aauy32gz6rc2tjdd2c4775giri
Profiling transcriptional changes in Citrus sinensis (L.) Osbeck challenged by herbivory from the xylem-feeding leafhopper Homalodisca coagulata (Say) by cDNA macroarray analysis
2006
Plant Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
analyzed the transcriptional changes of 1731 non-redundant citrus transcripts that resulted from herbivory by a xylem-feeding leafhopper, the glassy-winged sharpshooter (GWSS), Homalodisca coagulata (Say ...
Fig. 3 . 3 Venn diagrams comparing responsive transcripts. (A) Diagram showing the distribution of responsive transcripts following GWSS herbivory for the indicated time course 24, 48 and 96 h. ...
For instance, both M. sexta feeding on tobacco [63] and spider mite (Tetrayicus urticae Koch) herbivory on lima bean [64] induce expression of aquaporin homologs. ...
doi:10.1016/j.plantsci.2006.01.014
fatcat:qjsyozthknffdarrg3ujbqqawy
Categorical Quantum Mechanics II: Classical-Quantum Interaction
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In particular, classicality is witnessed by 'spiders' which fuse together whenever they connect. ...
Finally, we give a notion of 'genuine quantumness', from which special processes called 'phase spiders' arise, and get a first glimpse of quantum non-locality. ...
A diagram which includes (chosen) spiders for each type is called a spider diagram: B g ψ h A A C This can be seen as a natural progression from string diagrams. ...
arXiv:1605.08617v1
fatcat:w553adidybhhzclzuyyb5punja
Geochemical constraints on the tectonomagmatic evolution of the late Precambrian Fawakhir ophiolite, Central Eastern Desert, Egypt
1999
Journal of African Earth Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this diagram (Fig. 8) , it can be seen that the Fawakhir ophiolitic metagabbros and metavolcanics, except for three samples, plot in the tholeiitic field. ...
Multi-element spider diagrams normalised to N-type MORB (Fig. 9c) show that the metagabbros and boninitic metagabbros are depleted in many immobile trace elements, although some elements such as Nb, ...
doi:10.1016/s0899-5362(99)00113-x
fatcat:zobb77ch7za2znb5tytjohzw2u
The Semiotics of Spider Diagrams
2017
Logica Universalis
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Spider diagrams are based on Euler and Venn/Peirce diagrams, forming a system which is as expressive as monadic first order logic with equality. ...
Rather than being primarily intended for logicians, spider diagrams were developed at the end of the 1990s in the context of visual modelling and software specification. ...
Spider diagrams relax this rule so that a shaded region can contain spiders. ...
doi:10.1007/s11787-017-0167-2
fatcat:j4ywlgct5bctllkv6hxcs7pjqy
Speedith: A Reasoner for Spider Diagrams
2015
Journal of Logic, Language and Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we introduce Speedith which is an interactive diagrammatic theorem prover for the well-known language of spider diagrams. ...
Speedith provides a way to input spider diagrams, transform them via the diagrammatic inference rules, and prove diagrammatic theorems. ...
To identify corresponding regions, we need access to the missing zones and the empty zones in a unitary diagram, d. To simplify notation, we generalise the notion of an ...
doi:10.1007/s10849-015-9229-0
fatcat:vpwci6536jdvvbp653hsiim3y4
Language Performativity and Horror Fiction: A Cognitive Stylistic Approach
2021
International Journal of Language and Literary Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Hence, language has the power to "do more than simply describe what already exists; it can be used to create what exists only in the imagination" (Anderson, 2017, p. 6 ). ...
The mental spaces activated are insects (spiders), archery weapons (archery bows) and reptiles (snakes). ...
doi:10.36892/ijlls.v2i3.647
fatcat:fcvn4n5n2zc2hdal26kiyhzu4e
Fragments of Spider Diagrams of Order and Their Relative Expressiveness
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We consider the expressiveness of spider diagrams of order (SDoO), which extend spider diagrams by including syntax that provides ordering information between elements. ...
The existence of syntactic redundancy within the spider diagram of order logic is unsurprising however, we find it interesting that spiders or shading are redundant in fragments of the logic. ...
Acknowledgements This research forms part of the the Defining Regular Languages with Diagrams (EPSRC grant EP/H012311/1) and Sketching Euler Diagrams (EPSRC grant EP/H048480/1) projects. ...
doi:10.1007/978-3-642-14600-8_10
fatcat:6h3jelafjncvbcrftt3e44xgc4
Type-syntax and token-syntax in diagrammatic systems
2001
Proceedings of the international conference on Formal Ontology in Information Systems - FOIS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Token-syntax is about particular diagrams instantiated on some physical medium, and type-syntax provides a formal definition with which a concrete representation of a diagram must comply. ...
Focusing on an extended version of Venn and Euler diagrams (which was developed to complement UML in the specification of software systems), this paper presents two levels of syntax for this system: type-syntax ...
We acknowledge Yan Sorkin, the creator of the CDEditor [7] , the automatic tool that was used to generate most of the diagrams presented here. ...
doi:10.1145/505168.505185
dblp:conf/fois/HowseMTS01
fatcat:i5vzer4hvnem5cw2yst45wxkaq
Spider Diagrams
2005
LMS Journal of Computation and Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper develops a purely diagrammatic reasoning system of "spider diagrams" that builds on Euler, Venn and Peirce diagrams. ...
Two levels of diagrammatic syntax have been developed: an 'abstract' syntax that captures the structure of diagrams, and a 'concrete' syntax that captures topological properties of drawn diagrams. ...
Expressiveness A natural question to ask is: "What is the formal expressiveness of spider diagrams?" ...
doi:10.1112/s1461157000000942
fatcat:62irnhbq2rfovcsomj7ihyvnd4
On the Completeness of Spider Diagrams Augmented with Constants
[chapter]
2013
Visual Reasoning with Diagrams
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We extend the spider diagram language to include constant spiders which represent specific individuals. Formal semantics are given for the extended diagram language. ...
Spider diagrams are a visual language for expressing logical statements or constraints. ...
Syntax In this section, we define what constitutes a spider diagram, using an abstract syntax. ...
doi:10.1007/978-3-0348-0600-8_7
fatcat:5v2kvbnkj5f4fpjjb4ptbuzige
The expressiveness of spider diagrams augmented with constants
2009
Journal of Visual Languages and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We extend the spider diagram language to include constant spiders which represent specific individuals. Formal semantics are given for the extended diagram language. ...
Spider diagrams are a visual language for expressing logical statements or constraints. ...
Syntax In this section, we define what constitutes a spider diagram, using an abstract syntax. ...
doi:10.1016/j.jvlc.2008.01.005
fatcat:kcnu44fn5bahpa6ej4piq5ibw4
Reasoning with Concept Diagrams About Antipatterns in Ontologies
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper we answer the question of "How can concept diagrams be used to reason about inconsistencies and incoherence of ontologies?". ...
We prove that our inference rules are sound, and exemplify how they can be used to reason about inconsistencies and incoherence. ⋆ ...
Arrows can be sourced on the boundary rectangle, curves or spiders. Arrow labels can be object properties, or their inverses. ...
doi:10.1007/978-3-319-62075-6_18
fatcat:2kxfpuho4jgnlfjoyz6dkg6ea4
« Previous
Showing results 1 — 15 out of 6,210 results