Diagrams - PDFSEARCH.IO - Document Search Engine

Diagrams
Results: 2899

#	Item
921	Planning Via Petri Net Unfolding Sarah Hickmott1 , Jussi Rintanen2 , Sylvie Thi´ebaux2 , Lang White1 National ICT Australia 1 School of Electrical & Electronic Engineering, The University of Adelaide, & 2 Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:18 Models of computation Concurrency Diagrams Petri net Computer science Heuristic function A* search algorithm Model checking Unfolding Mathematics Heuristics Theoretical computer science
922	arXiv:hep-phv2 11 FebCompHEP- a package for evaluation of Feynman diagrams and integration over multi-particle phase space A.Pukhov∗ Add to Reading List Source URL: comphep.sinp.msu.ru Language: English - Date: 2006-09-13 09:52:28 Computational physics Theoretical physics Fortran Feynman diagram FORM CompHEP Lagrangian Standard Model Propagator Physics Particle physics Quantum field theory
923	Slide Chooser Two Alternatives Multiple Alternatives Segmented Pyramid Add to Reading List Source URL: extremepresentation.typepad.com Language: English - Date: 2015-01-14 10:15:08 Decision making Neuropsychological assessment Flowchart Computing Technology Neuroscience Decision theory Diagrams Critical thinking
924	Close-up Of Business Graph Add to Reading List Source URL: www.callscripter.com Language: English - Date: 2014-02-25 07:08:42 Flowchart Technical communication Form Script Technology Computing Computer programming Diagrams
925	EuSpRIG 2011 Conference Summary Breviz: Visualizing Spreadsheets using Dataflow Diagrams Felienne Hermans, Martin Pinzger, Arie van Deursen This paper won the EuSpRIG 2011 David Chadwick Student Prize. I had always disco Add to Reading List Source URL: www.eusprig.org Language: English - Date: 2012-01-10 09:20:30 Financial modeling Online spreadsheets Comparison of spreadsheet software OpenOffice.org Calc Software Spreadsheet Microsoft Excel
926	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
927	Publication Analysis of the Formal Concept Analysis Community Stephan Doerfel, Robert J¨aschke, Gerd Stumme Knowledge & Data Engineering Group, University of Kassel, Wilhelmsh¨ oher Allee 73, 34121 Kassel, Germany Add to Reading List Source URL: www.kde.cs.uni-kassel.de Language: English - Date: 2012-09-17 07:37:09 Microsoft Academic Search Formal concept analysis Communist League of America Academic publishing Information science Artificial intelligence Information Conceptual graph Diagrams Knowledge representation
928	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.foretrade.com Language: English - Date: 2009-09-24 10:00:53 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory
929	Lost in a sea of data? Navigating with Topic Maps Patrick Durusau Society of Biblical Literature SBL AM – Atlanta, GA Add to Reading List Source URL: www.durusau.net Language: English Information science Library science Technical communication Subject Topic Maps Information Topic–comment Science Linguistics Diagrams
930	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science

UPDATE