52,860 Hits in 5.4 sec

Diagrams: A Perspective from Logic [chapter]

Dave Barker-Plummer
2010 Lecture Notes in Computer Science  
The tutorial will proceed by first recapitulating the standard sentence-based approach to modelling reasoning, outline how these techniques can be applied to diagrammatic system, and then give a detailed  ...  The Hyperproof system demonstrates that techniques from logic can be used to model very naturally a large class of everyday reasoning problems.  ...  The tutorial will proceed by first recapitulating the standard sentence-based approach to modelling reasoning, outline how these techniques can be applied to diagrammatic system, and then give a detailed  ... 
doi:10.1007/978-3-642-14600-8_3 fatcat:sd5zkk5vsbbrlcvec2fsu4ozhe

The Advent of Formal Diagrammatic Reasoning Systems [chapter]

Frithjof Dau
2009 Lecture Notes in Computer Science  
Indeed, it is widely accepted that diagrams are a valuable aid to intuition and help to convey ideas and information in a clear way.  ...  This paper discusses the evolution of formal diagrammatic logics, focusing on those systems which are based on Euler and Venn-Peirce diagrams, and Peirces existential graphs.  ...  Acknowledgment The author wants to thank Gem Stapleton from the Visual Modelling Group for her valuable help and provision of diagrams.  ... 
doi:10.1007/978-3-642-01815-2_3 fatcat:qml7w6xy6ncv7fp7n4v4brlo2y

Diagrammatic Transformation Processes on Two-dimensional Relational Maps

1998 Journal of Visual Languages and Computing  
This paper describes a class of representations, relational maps, for which the problem becomes tractable and, as a consequence, for which diagrammatic inference is implementable by efficient local transformations  ...  From a computational point of view, this reasoning strategy seems to combine relational representations comparable to those described in the AI literature on qualitative spatial reasoning with the type  ...  ., with automating theorem proving in a hybrid reasoning system. In contrast, the eomputationalist approach focuses on the procedural aspects of diagrammatic inference.  ... 
doi:10.1006/jvlc.1997.0070 fatcat:acdfmzd2p5eqloqqriwt7cu45m

Information channel diagrams: an approach for modelling information flows

Christopher Durugbo, Windo Hutabarat, Ashutosh Tiwari, Jeffrey R. Alcock
2011 Journal of Intelligent Manufacturing  
In this article, the 'information channel diagram' (ICD) approach is introduced as a diagrammatical tool for modelling information flow during the delivery phase of organisations in which goods are deployed  ...  Diagrammatic primitives and a prescribed modelling methodology for developing an ICD will be presented, and a case scenario of the delivery phase of an organisation within the health care sector will be  ...  ACKNOWLEDGMENTS The authors would like to extend their sincere thanks to the Engineering and Physical Sciences Research Council (EPSRC), for its support via the Cranfield Innovative Manufacturing Research  ... 
doi:10.1007/s10845-011-0523-7 fatcat:2aaspr5syjexvc7fb3ffjygp5a

Diagrammatic Student Models: Modeling Student Drawing Performance with Deep Learning [chapter]

Andy Smith, Wookhee Min, Bradford W. Mott, James C. Lester
2015 Lecture Notes in Computer Science  
The diagrammatic student modeling framework utilizes deep learning, a family of machine learning methods based on a deep neural network architecture, to reason about sequences of student drawing actions  ...  To this end, we introduce diagrammatic student models, which reason about students' drawing trajectories to generate a series of predictions about their conceptual knowledge based on their evolving sketches  ...  The authors thank our colleagues from the LEONARDO project for their contributions to the LEONARDO project: Eric Wiebe, Courtney Behrle, Mike Carter, Angela Shelton, Samuel Leeman-Munk, and Robert Taylor  ... 
doi:10.1007/978-3-319-20267-9_18 fatcat:lww2emfunjfv3pqmbtpqf7ufke

Agile Development of PHP Websites: A Model-Aware Approach

Carmen Ioana Gog, Faculty of Economics and Business Administration, Babeș-Bolyai University, Teodor Mihali Street Nr. 58-60, Cluj-Napoca, 400591, Romania
2020 Complex Systems Informatics and Modeling Quarterly  
The proof-of-concept consists of two interacting components: a custom diagrammatic modeling environment and model-driven generated PHP pages.  ...  "low code" development approach with code templates generated from technology-specific models.  ...  Since MVC development is a pattern-driven approach, it is adequate for a modeldriven engineering approach where commonly used patterns can be configured on a diagrammatic level to enable a new approach  ... 
doi:10.7250/csimq.2020-25.02 fatcat:bzggewdeqjaxldxp5cowcxvx24


Achim D. Brucker, Isabelle Hang, Gero Lückemeyer, Raj Ruparel
2012 Proceedings of the 17th ACM symposium on Access Control Models and Technologies - SACMAT '12  
Modern enterprise systems have to comply to regulations such as Basel III resulting in complex security requirements. These requirements need to be modeled at design-time and enforced at runtime.  ...  In this paper, we present a tool chain supporting both the design-time modeling as well as the run-time enforcement of security requirements for business process-driven systems.  ...  The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant no. 257930 (Aniketos).  ... 
doi:10.1145/2295136.2295160 dblp:conf/sacmat/BruckerHLR12 fatcat:ftjg5yrfhva2te3bfrv266qwce

A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System

Nathaniel Miller
2005 Journal of Philosophical Logic  
This note gives a brief 5 line proof of this same result, using connections between diagrammatic and sentential representations.  ...  Danner proved the full completeness of Shin's formal system for reasoning with Venn Diagrams. Their proof is eight pages long.  ...  Then there exists a function f from diagrams in Γ to sentences of L such that for all models M and diagrams D ∈ Γ, M |= D iff M |= f (D). This function is discussed in chapter 5 of [4] .  ... 
doi:10.1007/s10992-005-9016-5 fatcat:fwf7zcihrvh3fbjyypfegsmhoq

Dual fermion method as a prototype of generic reference-system approach for correlated fermions [article]

Sergey Brener, Evgeny A. Stepanov, Alexey N. Rubtsov, Mikhail I. Katsnelson, Alexander I. Lichtenstein
2020 arXiv   pre-print
We present a purely diagrammatic derivation of the dual fermion scheme [Phys. Rev. B 77 (2008) 033101].  ...  As an example we present the computational results for the half-filled 2D Hubbard model with the choice of a $2\times2$ plaquette with periodic boundary conditions as a reference system.  ...  This completes the diagrammatic derivation of the dual theory from the conventional weak-coupling diagrammatics.  ... 
arXiv:2007.15937v2 fatcat:ziyjy5dmg5d7bkog5nl5zyviqe

Re(dis)covering Leibniz's Diagrammatic Logic

J. Martín Castro Manzano
2016 Tópicos, Revista de Filosofía  
In this paper I attempt to retrieve Leibniz's linear diagrammatic logic for his syllogistic and highlight its computational and logical features by providing a formal approach to it in metalogical terms  ...  I believe has been neglected because of a general bias against diagram-based reasoning; and ii) to prove the metalogical properties of the system in order to argue that such a system is a bona fide logical  ...  Acknowledgements I would like to thank the anonymous reviewers for their precise corrections and useful comments. I also thank Dr. Luis Estrada-González for the helpful references and comments.  ... 
doi:10.21555/top.v0i52.760 fatcat:zegjbj5zxvd3thcsinkd376dzi

A diagrammatic approach to computer instruction for the naive user

Marc M. Sebrechts, Joseph G. Deck, John B. Black
1983 Behavior Research Methods & Instrumentation  
A simple "language" is presented that includes both procedural and model information. This approach is applied to the instruction of word processing/text-editing skills.  ...  This research presents the development of a diagrammatic representation that overcomes some of those difficulties.  ...  Examples of the results of this diagrammatic approach are shown in Figures 1 and 2 , for viewing a document (me) on the Displaywriter and creating a me in UCSD PASCAL, respectively.  ... 
doi:10.3758/bf03203549 fatcat:dlerlazajre2po2bqsanb7drm4

A review of information flow diagrammatic models for product–service systems

C. Durugbo, A. Tiwari, J. R. Alcock
2010 The International Journal of Advanced Manufacturing Technology  
This article presents a review of diagrammatic information flow tools, which are designed to describe a system through its functions.  ...  The aim of this article is to review existing, diagrammatic, function-oriented information flow modelling tools.  ...  Acknowledgments: The authors would like to extend their sincere thanks to the EPSRC, for its support via the Cranfield IMRC, of the work carried out in the preparation of this paper.  ... 
doi:10.1007/s00170-010-2765-5 fatcat:4z5ks6bkw5gt5ioskune2o2ise

Precise determination of the inflationary epoch and constraints for reheating [article]

Gabriel German
2020 arXiv   pre-print
This formula, together with the fact that the scale factor $a_p$ at the pivot scale wavenumber $k_p=0.05/Mpc$ lies in the radiation era, allows the development of a diagrammatic approach to study the evolution  ...  As a concrete application of the ideas developed here we discuss them with some detail using the Starobinsky model of inflation.  ...  ACKNOWLEDGEMENTS We would like to thank Jaume Haro, Juan Carlos Hidalgo and Ariadna Montiel for discussions. It is also a pleasure to thank N. Sánchez and M. Dirzo for encouraging conversations.  ... 
arXiv:2002.11091v5 fatcat:hcxpnd25x5dl7gfmu2prk6ako4

Precise prediction for the mass of the lightest Higgs boson in the MSSM

S. Heinemeyer, W. Hollik, G. Weiglein
1998 Physics Letters B  
The leading diagrammatic two-loop corrections are incorporated into the prediction for the mass of the lightest Higgs boson, $\mh$, in the Minimal Supersymmetric Standard Model (MSSM).  ...  The results, containing the complete diagrammatic one-loop corrections, the new two-loop result and refinement terms incorporating leading electroweak two-loop and higher-order QCD contributions, are discussed  ...  based on the complete diagrammatic one-loop on-shell result.  ... 
doi:10.1016/s0370-2693(98)01116-2 fatcat:dasozojznfcbzkgtgugabbrjcy

Conceptual Modeling in Simulation: A Representation that Assimilates Events

Sabah Al-Fedaghi
2016 International Journal of Advanced Computer Science and Applications  
It is considered the most important aspect in simulation modelling, at the same time it is thought the least understood The paper proposes a new diagrammatic language as a modeling representation in simulation  ...  The underlying model is a static description; the simulation itself is executed by generating events or dynamic aspects into the system.  ...  in a model-driven simulation engineering approach  ... 
doi:10.14569/ijacsa.2016.071038 fatcat:cybqc2qauvgydakvjuskksdqme
« Previous Showing results 1 — 15 out of 52,860 results