6,210 Hits in 4.4 sec

What Can Spider Diagrams Say? [chapter]

Gem Stapleton, John Howse, John Taylor, Simon Thompson
2004 Lecture Notes in Computer Science  
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

Monserrat Martínez Vázquez
2005 Revista Alicantina de Estudios Ingleses  
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

Yuya Fukano, Yosuke Tanaka, Sayed Ibrahim Farkhary, Takuma Kurachi, Jan M Hemmi
2016 PLoS ONE  
(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

Jerry Mozoruk, Laura E. Hunnicutt, Ronald D. Cave, Wayne B. Hunter, Michael G. Bausher
2006 Plant Science  
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]

Bob Coecke, Aleks Kissinger
2016 arXiv   pre-print
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

M.M. El-Sayed, H. Furnes, F.H. Mohamed
1999 Journal of African Earth Sciences  
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

Jim Burton, John Howse
2017 Logica Universalis  
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

Matej Urbas, Mateja Jamnik, Gem Stapleton
2015 Journal of Logic, Language and Information  
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

Wesam El-Sayed
2021 International Journal of Language and Literary Studies  
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]

Aidan Delaney, Gem Stapleton, John Taylor, Simon Thompson
2010 Lecture Notes in Computer Science  
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

John Howse, Fernando Molina, John Taylor, Sun-Joo Shin
2001 Proceedings of the international conference on Formal Ontology in Information Systems - FOIS '01  
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

John Howse, Gem Stapleton, John Taylor
2005 LMS Journal of Computation and Mathematics  
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]

Gem Stapleton, John Howse, Simon Thompson, John Taylor, Peter Chapman
2013 Visual Reasoning with Diagrams  
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

Gem Stapleton, John Taylor, Simon Thompson, John Howse
2009 Journal of Visual Languages and Computing  
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]

Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
2017 Lecture Notes in Computer Science  
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