Works matching DE "LOGIC diagrams"

Results: 103

QMDD Minimization using Sifting for Variable Reordering.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2007, v. 13, n. 4-6, p. 537

By:

Miller, D. Michael;
Feinstein, David Y.;
Thrornton, Mitchell A.

Publication type:

Article

UpSetR: an R package for the visualization of intersecting sets and their properties.

Published in:

Bioinformatics, 2017, v. 33, n. 18, p. 2938, doi. 10.1093/bioinformatics/btx364

By:

Conway, Jake R.;
Lex, Alexander;
Gehlenborg, Nils

Publication type:

Article

Venn Symmetry and Prime Numbers: A Seductive Proof Revisited.

Published in:

American Mathematical Monthly, 2008, v. 115, n. 7, p. 645, doi. 10.1080/00029890.2008.11920574

By:

Wagon, Stan;
Webb, Peter

Publication type:

Article

CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 2, p. 310, doi. 10.1017/S1755020309090194

By:

Goldblatt, Robert

Publication type:

Article

NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 2, p. 360, doi. 10.1017/S1755020309090170

By:

Priest, Graham

Publication type:

Article

Towards Open Graphical Tool-Building Framework.

Published in:

Computer Science (1407-7493), 2011, v. 46, p. 80

By:

Rencis, Edgars;
Barzdins, Janis;
Kozlovics, Sergejs

Publication type:

Article

More Fun with Symmetric Venn Diagrams.

Published in:

Theory of Computing Systems, 2006, v. 39, n. 3, p. 413, doi. 10.1007/s00224-005-1243-1

By:

Ruskey, Frank;
Weston, Mark

Publication type:

Article

On the impact of size to the understanding of UML diagrams.

Published in:

Software & Systems Modeling, 2018, v. 17, n. 1, p. 115, doi. 10.1007/s10270-016-0529-x

By:

Störrle, Harald

Publication type:

Article

Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.

Published in:

Software & Systems Modeling, 2004, v. 3, n. 2, p. 136, doi. 10.1007/s10270-003-0044-8

By:

Swoboda, Nik;
Allwein, Gerard

Publication type:

Article

Which n-Venn Diagrams Can Be Drawn with Convex k-Gons?

Published in:

Discrete & Computational Geometry, 2007, v. 37, n. 4, p. 619, doi. 10.1007/s00454-007-1311-1

By:

Jeremy Carroll;
Frank Ruskey;
Mark Weston

Publication type:

Article

A new approach to supervisor design with sequential control Petri-net using minimization technique for discrete event system.

Published in:

International Journal of Advanced Manufacturing Technology, 2006, v. 29, n. 11/12, p. 1267, doi. 10.1007/s00170-005-0010-4

By:

Cansever, G.;
Kucukdemiral, I.

Publication type:

Article

USING THE THEORY OF CONSTRAINTS.

Published in:

Journal: American Water Works Association, 2006, v. 98, n. 7, p. 63, doi. 10.1002/j.1551-8833.2006.tb07711.x

By:

Reid, Richard A.;
Shoemaker, Thomas E.

Publication type:

Article

Risk Assessment for Ship-to-ship LNG Bunkering.

Published in:

CET Journal - Chemical Engineering Transactions, 2022, v. 90, p. 19, doi. 10.3303/CET2290004

By:

Aneziris, Olga;
Koromila, Ioanna A.;
Nivolianitou, Zoe

Publication type:

Article

THE STRUCTURAL DIFFERENTIAL DIAGRAM.

Published in:

ETC: A Review of General Semantics, 2003, v. 60, n. 1, p. 59

By:

Sawin, Gregory

Publication type:

Article

DE-OBFUSCATION OF PIAGET.

Published in:: Education, 1989, v. 109, n. 3, p. 343
Publication type:: Article

Mapping Criminological Theory.

Published in:

Journal of Criminal Justice Education, 2009, v. 20, n. 1, p. 4, doi. 10.1080/10511250802477853

By:

Burruss, GeorgeW.

Publication type:

Article

ANALYTIC TABLEAU, PROLOG, AND SYSTEMS OF NONLINEAR EQUATIONS.

Published in:

Mathematics & Computer Education, 2000, v. 34, n. 1, p. 53

By:

Maruszewski, Richard F.

Publication type:

Article

Development of Planting Density-Specific Density Management Diagrams for Loblolly.

Published in:

Journal of Forestry, 2012, v. 110, n. 5, p. 237

By:

VanderSchaaf, Pine Curtis L.;
Burkhart, Harold

Publication type:

Article

ON TRAINING STUDENTS IN LOGIC OF INQUIRY.

Published in:

American Sociological Review, 1950, v. 15, n. 5, p. 667, doi. 10.2307/2086922

By:

Francis, Roy G.

Publication type:

Article

Bifurcations Are Not Always Exclusive.

Published in:

Complicity: An International Journal of Complexity & Education, 2008, v. 5, n. 1, p. 125, doi. 10.29173/cmplct8788

By:

Pratt, Sarah Smitherman

Publication type:

Article

InteractiVenn: a web-based tool for the analysis of sets through Venn diagrams.

Published in:

BMC Bioinformatics, 2015, v. 16, n. 1, p. 1, doi. 10.1186/s12859-015-0611-3

By:

Heberle, Henry;
Vaz Meirelles, Gabriela;
da Silva, Felipe R.;
Telles, Guilherme P.;
Minghim, Rosane

Publication type:

Article

VennDiagram: a package for the generation of highly-customizable Venn and Euler diagrams in R.

Published in:

BMC Bioinformatics, 2011, v. 12, n. 1, p. 35, doi. 10.1186/1471-2105-12-35

By:

Hanbo Chen;
Boutros, Paul C.

Publication type:

Article

Two Applications of a Hamming Code.

Published in:

College Mathematics Journal, 2009, v. 40, n. 1, p. 2, doi. 10.4169/193113409X469622

By:

Liu, Andy

Publication type:

Article

Studying the cantor dust at the edge of Feigenbaum diagrams.

Published in:

College Mathematics Journal, 1998, v. 29, n. 3, p. 189, doi. 10.2307/2687045

By:

Klebanoff, Aaron;
Rickert, John

Publication type:

Article

Everywhere Equivalent 2-Component Links.

Published in:

Symmetry (20738994), 2015, v. 7, n. 2, p. 365, doi. 10.3390/sym7020365

By:

Stoimenow, Alexander

Publication type:

Article

Smoothed Lexis Diagrams With Applications to Lung and Breast Cancer Trends in Taiwan.

Published in:

Journal of the American Statistical Association, 2015, v. 110, n. 511, p. 1000, doi. 10.1080/01621459.2015.1042106

By:

Chien, Li-Chu;
Wu, Yuh-Jenn;
Hsiung, Chao A.;
Wang, Lu-Hai;
Chang, I-Shou

Publication type:

Article

Using the Logic Diagram in teaching programming: An overview and preliminary test results.

Published in:

Journal of Research on Computing in Education, 1990, v. 22, n. 1, p. 348, doi. 10.1080/08886504.1990.10781926

By:

McAllister, Daniel W.;
Brock Jr., Floyd J.

Publication type:

Article

Symmetric Venn Diagrams in the Plane: The Art of Assigning a Binary Bit String Code to Planar Regions Using Curves.

Published in:

Leonardo, 2005, v. 38, n. 2, p. 125, doi. 10.1162/0024094053722426

By:

Hamburger, Peter;
Hepp, Edit

Publication type:

Article

Selfing dynamics in the rule space of additive cellular automata.

Published in:

International Journal of General Systems, 2012, v. 41, n. 6, p. 609, doi. 10.1080/03081079.2012.695900

By:

Voorhees, Burton

Publication type:

Article

THE ELEPHANT'S FOOTPRINT: AN ANCIENT INDIAN LOGIC DIAGRAM.

Published in:

Studia Orientalia (0039-3282), 2018, v. 6, p. 56, doi. 10.23993/store.70098

By:

Wujastyk, Dominik

Publication type:

Article

Laying out software architecture diagrams.

Published in:

Information Design Journal (IDJ), 2007, v. 15, n. 2, p. 110, doi. 10.1075/idj.15.2.03cur

By:

Curran, Jim

Publication type:

Article

SYSTEM COMMAND OF A PUMP INSTALLATION BASED ON PROGRAMMABLE LOGIC CONTROLLER.

Published in:

Mining Revue / Revista Minelor, 2009, v. 15, n. 7, p. 15

By:

Poanta, Aron;
Sochirca, Bogdan;
Dojcsar, Dan

Publication type:

Article

Peirce's Diagrammatic Logic and the Opposition between Logic as Calculus vs. Logic as Universal Language.

Published in:

Revista Portuguesa de Filosofia, 2017, v. 73, n. 3/4, p. 1095, doi. 10.17990/RPF/2017_73_3_1095

By:

LEGRIS, JAVIER

Publication type:

Article

Lewis Award Paper: Some Perspectives on Chemical Engineering Analysis.

Published in:

AIChE Journal, 2012, v. 58, n. 9, p. 2634, doi. 10.1002/aic.12796

By:

Russell, T. W. Fraser

Publication type:

Article

A Cell-Based Traffic Control Formulation: Strategies and Benefits of Dynamic Timing Plans.

Published in:

Transportation Science, 2001, v. 35, n. 2, p. 1, doi. 10.1287/trsc.35.2.148.10136

By:

Lo, Hong K.

Publication type:

Article

A Diagram of the Open Land of the Levite Cities in Nahmanides' Commentary on the Torah.

Published in:

2009

By:

Ofer, Yosef

Publication type:

Essay

A Logic Model of Service-Learning: Tensions and Issues for Further Consideration.

Published in:

Michigan Journal of Community Service Learning, 2006, v. 12, n. 2, p. 47

By:

Lowery, Daniel;
May, Deborah L.;
Duchan, Kim A.;
Coulter-Kern, Russell;
De'Bryant;
Morris, Pamala V.;
Pomery, John G.;
Bellner, Mac

Publication type:

Article

Delay testable logical circuit design.

Published in:

Russian Physics Journal, 2013, v. 55, n. 11, p. 1370, doi. 10.1007/s11182-013-9969-8

By:

Matrosova, A.;
Nikolaeva, E.;
Rumyantseva, E.

Publication type:

Article

Translating Toulmin Diagrams: Theory Neutrality in Argument Representation.

Published in:

Argumentation, 2005, v. 19, n. 3, p. 267, doi. 10.1007/s10503-005-4416-9

By:

Reed, Chris;
Rowe, Glenn

Publication type:

Article

Euler-type Diagrams and the Quantification of the Predicate.

Published in:

Journal of Philosophical Logic, 2020, v. 49, n. 2, p. 401, doi. 10.1007/s10992-019-09522-y

By:

Lemanski, Jens

Publication type:

Article

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

Published in:

Journal of Philosophical Logic, 2006, v. 35, n. 3, p. 289, doi. 10.1007/s10992-005-9016-5

By:

Miller, Nathaniel

Publication type:

Article

Towards a model theory of diagrams.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 463, doi. 10.1007/BF00257381

By:

Hammer, Eric;
Danner, Norman

Publication type:

Article

Failure of interpolation in relevant logics.

Published in:

Journal of Philosophical Logic, 1993, v. 22, n. 5, p. 449, doi. 10.1007/BF01349560

By:

Urquhart, Alasdair

Publication type:

Article

The Expressive Power of the N-Operator and the Decidability of Logic in Wittgenstein's Tractatus.

Published in:

History & Philosophy of Logic, 2023, v. 44, n. 1, p. 33, doi. 10.1080/01445340.2022.2056687

By:

Ferreira, Rodrigo Sabadin

Publication type:

Article

Figuring it Out: Logic Diagrams: by George Englebretsen, In cooperation with José Martin Castro-Manzano and José Roberto Pacheco-Montes. Series: Philosophical Analysis (vol. 78), Berlin/Boston, De Gruyter, 2020, xiv+220 pp., €109.95 (hardcover, EPUB), €20.95 (paperback), ISBN 978-3-11-062163-1

Published in:

2023

By:

Moktefi, Amirouche

Publication type:

Book Review

Logic Diagrams in the Weigel and Weise Circles.

Published in:

History & Philosophy of Logic, 2018, v. 39, n. 1, p. 3, doi. 10.1080/01445340.2017.1341074

By:

Lemanski, Jens

Publication type:

Article

Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like.

Published in:

History & Philosophy of Logic, 2011, v. 32, n. 3, p. 265, doi. 10.1080/01445340.2011.555506

By:

Pietarinen, Ahti-Veikko

Publication type:

Article

Avicenna and Ṭūsī on Modal Logic.

Published in:

History & Philosophy of Logic, 2009, v. 30, n. 3, p. 227, doi. 10.1080/01445340802518119

By:

Lagerlund, Henrik

Publication type:

Article

The Godelian Inferences.

Published in:

History & Philosophy of Logic, 2009, v. 30, n. 3, p. 241, doi. 10.1080/01445340802617523

By:

Franks, Curtis

Publication type:

Article

Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information.

Published in:

History & Philosophy of Logic, 2009, v. 30, n. 3, p. 257, doi. 10.1080/01445340902872630

By:

Primiero, Giuseppe

Publication type:

Article