Works matching Computer logic

Results: 1127

Turing and Von Neumann: From Logic to the Computer.

Published in:

Philosophies, 2023, v. 8, n. 2, p. 22, doi. 10.3390/philosophies8020022

By:

Copeland, B. Jack;
Fan, Zhao

Publication type:

Article

BlockCode: A Web Application to Create Games that Support the Learning of Computer Programming Logic.

Published in:

International Journal of Emerging Technologies in Learning, 2023, v. 18, n. 15, p. 240, doi. 10.3991/ijet.v18i15.40901

By:

Jaimez-González, Carlos R.;
Erazo-Palacios, Javier;
García-Mendoza, Betzabet

Publication type:

Article

OK computer: applying the public service logic on digital health services.

Published in:

Public Management Review, 2024, v. 26, n. 11, p. 3342, doi. 10.1080/14719037.2024.2337080

By:

Zyzak, Barbara;
Martinussen, Pål Erling

Publication type:

Article

Predicting the Traffic Capacity of an Intersection Using Fuzzy Logic and Computer Vision.

Published in:

Mathematics (2227-7390), 2021, v. 9, n. 20, p. 2631, doi. 10.3390/math9202631

By:

Shepelev, Vladimir;
Glushkov, Alexandr;
Bedych, Tatyana;
Gluchshenko, Tatyana;
Almetova, Zlata

Publication type:

Article

Some Useful 16-Valued Logics: How a Computer Network Should Think.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 2, p. 121, doi. 10.1007/s10992-005-0556-5

By:

Shramko, Yaroslav;
Wansing, Heinrich

Publication type:

Article

Isomorphic Implication.

Published in:

Theory of Computing Systems, 2009, v. 44, n. 1, p. 117, doi. 10.1007/s00224-007-9038-1

By:

Bauland, Michael;
Hemaspaandra, Edith

Publication type:

Article

BOOLEAN PROPORTION.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:2)2024

By:

ANTIĆ, CHRISTIAN

Publication type:

Article

ON SUPERGRAPHS SATISFYING CMSO PROPERTIES.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:14)2021

By:

OLIVEIRA, MATEUS DE OLIVEIRA

Publication type:

Article

FROM BOOLE’S LOGIC TO BOOLEAN APPLICATIONS IN COMPUTER SCIENCE.

Published in:

Educational Discourse: Collection of Scientific Papers, 2021, v. 32, n. 4, p. 18, doi. 10.33930/ed.2019.5007.32(4)-2

By:

Awwad, Mohamad

Publication type:

Article

Count-free Weisfeiler–Leman and group isomorphism.

Published in:

International Journal of Algebra & Computation, 2024, v. 34, n. 3, p. 283, doi. 10.1142/S0218196724500103

By:

Collins, Nathaniel A.;
Levet, Michael

Publication type:

Article

Society semantics for four-valued Łukasiewicz logic.

Published in:

Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 892, doi. 10.1093/jigpal/jzy066

By:

Bezerra, Edson Vinícius

Publication type:

Article

Why Separation Logic Works.

Published in:

Philosophy & Technology, 2019, v. 32, n. 3, p. 483, doi. 10.1007/s13347-018-0312-8

By:

Pym, David;
Spring, Jonathan M.;
O'Hearn, Peter

Publication type:

Article

Fuzzy proportional-integral speed control of switched reluctance motor with MATLAB/Simulink and programmable logic controller communication.

Published in:

Measurement & Control (0020-2940), 2019, v. 52, n. 7/8, p. 1137, doi. 10.1177/0020294019858188

By:

Uysal, Ali;
Gokay, Serdar;
Soylu, Emel;
Soylu, Tuncay;
Çaşka, Serkan

Publication type:

Article

Herramienta de Apoyo para el Aprendizaje a Distancia de la Lógica en la Ingeniería Informática.

Published in:

RED - Revista de Educación a Distancia, 2010, n. 24, p. 1

By:

Huertas, Maria Antonia;
Pera, Enric Mor;
Guerrero-Roldán, Ana-Elena

Publication type:

Article

An improvement of far-infrared drying for ginger slices with computer vision and fuzzy logic control.

Published in:

Journal of Food Measurement & Characterization, 2022, v. 16, n. 5, p. 3815, doi. 10.1007/s11694-022-01453-8

By:

Pei, Yongsheng;
Li, Zhenfeng;
Ling, Caijin;
Jiang, Lebing;
Wu, Xin;
Song, Chunfang;
Li, Jing;
Song, Feihu;
Xu, Wanxiu

Publication type:

Article

Data Processing: Automation in Calculation.

Published in:

Review of Educational Research, 1957, v. 27, n. 5, p. 528, doi. 10.2307/1169169

By:

Wrigley, Charles

Publication type:

Article

WHITE HEAT COLD LOGIC: BRITISH COMPUTER ART 1960-1980.

Published in:

2010

By:

Bedworth, Jon

Publication type:

Book Review

Review Paper for FRDBMS for Fuzzy Querying Based on GEFRED Model.

Published in:

International Journal of Computer Science & Management Studies, 2015, v. 19, n. 1, p. 34

By:

Gaba, Shruti;
Ahlawat, Pooja;
Jain, Rishabh

Publication type:

Article

Review Paper for FRDBMS for Fuzzy Querying Based on GEFRED Model.

Published in:

International Journal of Computer Science & Management Studies, 2015, v. 18, n. 1, p. 34

By:

Gaba, Shruti;
Ahlawat, Pooja;
Jain, Rishabh

Publication type:

Article

Review Paper for FRDBMS for Fuzzy Querying Based on GEFRED Model.

Published in:

International Journal of Computer Science & Management Studies, 2015, v. 16, n. 1, p. 34

By:

Gaba, Shruti;
Ahlawat, Pooja;
Jain, Rishabh

Publication type:

Article

Review Paper for FRDBMS for Fuzzy Querying Based on GEFRED Model.

Published in:

International Journal of Computer Science & Management Studies, 2015, v. 15, n. 6, p. 34

By:

Gaba, Shruti;
Ahlawat, Pooja;
Jain, Rishabh

Publication type:

Article

Implementation on Fuzzy Approach to Query Traditional Database.

Published in:

International Journal of Computer Science & Management Studies, 2015, v. 15, n. 6, p. 15

By:

Gaba, Shruti;
Ahlawat, Pooja;
Jain, Rishabh

Publication type:

Article

Conversion of Fuzzy Query into SQL Query.

Published in:

International Journal of Computer Science & Management Studies, 2013, v. 13, n. 2, p. 43

By:

Sonia;
Gupta, Pankaj

Publication type:

Article

A revised Girvan-Newman Clustering Algorithm for Cooperative Groups Detection in Programming Learning.

Published in:

Computer Science & Information Systems, 2024, v. 21, n. 2, p. 491, doi. 10.2298/CSIS220830069C

By:

Wen-Chih Chang

Publication type:

Article

The Need for Sociotechnical Turn in the Study of Society Digitalization.

Published in:

KnE Social Sciences, 2021, p. 711, doi. 10.18502/kss.v5i2.8418

By:

Karpova, Daria;
Proskurina, Alexandra

Publication type:

Article

Examination of Resistive Switching Energy of Some Nonlinear Dopant Drift Memristor Models.

Published in:

Informacije MIDEM: Journal of Microelectronics, Electronic Components & Materials, 2023, v. 53, n. 4, p. 1, doi. 10.33180/InfMIDEM2024.103

By:

KORKMAZ, Rabia TAN;
MERT, Oya;
MUTLU, Resat

Publication type:

Article

Structural analysis of precomplete classes and closure diagrams in multi-valued logic.

Published in:

Iranian Journal of Fuzzy Systems, 2024, v. 21, n. 6, p. 127, doi. 10.22111/ijfs.2025.49256.8688

By:

Esin, A. A.

Publication type:

Article

NOTE FROM THE EDITOR.

Published in:

Teaching History (0040-0602), 2023, v. 57, n. 3, p. 3

By:

Starr, Fiona

Publication type:

Article

Application of Apriori Improvement Algorithm in Asthma Case Data Mining.

Published in:

Journal of Healthcare Engineering, 2021, p. 1, doi. 10.1155/2021/9018408

By:

Zheng, Yi;
Chen, Peipei;
Chen, Biyu;
Wei, Dengjun;
Wang, Meifang

Publication type:

Article

Logics and collaboration.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 6, p. 1024, doi. 10.1093/jigpal/jzad006

By:

Sonenberg, Liz

Publication type:

Article

Theorizing Folded Geography in Architectural Design: Experience of Cappadocia.

Published in:

Megaron, 2020, v. 15, n. 2, p. 183, doi. 10.14744/MEGARON.2020.90582

By:

ARIDAĞ, Levent;
CAN, Bilge

Publication type:

Article

Why Are Hardware Description Languages Important for Hardware Design Courses?

Published in:

International Journal of Information & Communication Technology Education, 2021, v. 17, n. 2, p. N.PAG, doi. 10.4018/IJICTE.2021040101

By:

Obeidat, Raghad;
Alzoubi, Hussein

Publication type:

Article

Special Issue of INFORMS Journal on Applied Analytics —Blockchain Analytics.

Published in:

INFORMS Journal on Applied Analytics, 2020, v. 50, n. 5, p. 340, doi. 10.1287/inte.2020.1053

By:

Conway, Daniel;
Garimella, Kiran;
Mitra, Pramita;
Zur, Chen;
Gorman, Michael

Publication type:

Article

Memristor-Based Chaotic Circuits.

Published in:

IETE Technical Review, 2009, v. 26, n. 6, p. 417, doi. 10.4103/0256-4602.57827

By:

Muthuswamy, Bharathwaj;
Kokate, Pracheta P.

Publication type:

Article

Artificial Intelligence and Metaphor Making: Some Philosophic Considerations.

Published in:

Knowledge, Technology & Policy, 1999, v. 12, n. 1, p. 45, doi. 10.1007/s12130-999-1013-5

By:

Carrier, Harold D.

Publication type:

Article

A sequent calculus for first-order logic formalized in Isabelle/HOL.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 4, p. 818, doi. 10.1093/logcom/exad013

By:

From, Asta Halkjær;
Schlichtkrull, Anders;
Villadsen, Jørgen

Publication type:

Article

strongly complete axiomatization of intuitionistic temporal logic.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 7, p. 1640, doi. 10.1093/logcom/exab041

By:

Chopoghloo, Somayeh;
Moniri, Morteza

Publication type:

Article

Relating structure and power: Comonadic semantics for computational resources.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 6, p. 1390, doi. 10.1093/logcom/exab048

By:

Abramsky, Samson;
Shah, Nihil

Publication type:

Article

Decidability of affine solution problems.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 3, p. 697, doi. 10.1093/logcom/exz033

By:

Hetzl, Stefan;
Zivota, Sebastian

Publication type:

Article

Forthcoming Papers.

Published in:: Journal of Logic & Computation, 2004, v. 14, n. 1, p. 113, doi. 10.1093/logcom/14.1.113
Publication type:: Article

Forthcoming Papers.

Published in:: Journal of Logic & Computation, 2003, v. 13, n. 3, p. 449, doi. 10.1093/logcom/13.3.449
Publication type:: Article

Deontic Logic and Computer-Supported Computer Ethics.

Published in:

Metaphilosophy, 2002, v. 33, n. 3, p. 376, doi. 10.1111/1467-9973.00233

By:

van den Hoven, Jeroen;
Lokhorst, Gert-Jan

Publication type:

Article

An Efficient Current Mode MVL Residue Code Checker for Fault-Tolerant Arithmetic.

Published in:

Journal of Circuits, Systems & Computers, 2019, v. 28, n. 14, p. N.PAG, doi. 10.1142/S021812661950244X

By:

Towhidy, Ahmad;
Omidi, Reza;
Mohammadi, Karim

Publication type:

Article

Data configurations in railway signalling engineering - an application of enterprise systems techniques.

Published in:

Enterprise Information Systems, 2013, v. 7, n. 3, p. 354, doi. 10.1080/17517575.2012.705021

By:

Chen, Xiangxian;
Guan, Aiai;
Qiu, Xinxi;
Huang, Hai;
Liu, Jiquan;
Duan, Huilong

Publication type:

Article

A Method of Error Correction in Arithmetic Logic Devices of Information-Measuring Systems Processors.

Published in:

Measurement Techniques, 2019, v. 62, n. 4, p. 332, doi. 10.1007/s11018-019-01626-w

By:

Pavlov, A. A.;
Tsar'kov, A. N.;
Dolgovyazov, A. V.;
Volkov, V. Z.;
Korsunskii, D. A.;
Gusev, A. V.

Publication type:

Article

Structural liveness of Petri nets is ExpSpace-hard and decidable.

Published in:

Acta Informatica, 2019, v. 56, n. 6, p. 537, doi. 10.1007/s00236-019-00338-6

By:

Jančar, Petr;
Purser, David

Publication type:

Article

Enterprise logic vs product logic: the development of GE’s computer product line.

Published in:

Business History, 2017, v. 59, n. 3, p. 431, doi. 10.1080/00076791.2016.1205033

By:

Gandy, Anthony;
Edwards, Roy

Publication type:

Article

Bipartite graphs as polynomials and polynomials as bipartite graphs.

Published in:

Journal of Algebra & Its Applications, 2021, v. 20, n. 5, p. N.PAG, doi. 10.1142/S0219498821500833

By:

Grinblat, Andrey;
Lopatkin, Viktor

Publication type:

Article

An Educational RISC-V-Based 16-Bit Processor.

Published in:

Chips, 2024, v. 3, n. 4, p. 395, doi. 10.3390/chips3040020

By:

de Assumpção Jr., Jecel Mattos;
Ando Jr., Oswaldo Hideo;
de Araújo, Hugo Puertas;
Gazziro, Mario

Publication type:

Article

A Study of the Morphological Design of Architecture from a Geometric Logic Perspective.

Published in:

Security & Communication Networks, 2022, p. 1, doi. 10.1155/2022/8140350

By:

Zhao, Liuzhen;
Yang, Yingli

Publication type:

Article