Works matching Computer logic

Results: 1138

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

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

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

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

NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados.

Published in:

Revista Brasileira de Informática na Educação, 2024, v. 32, p. 842, doi. 10.5753/rbie.2024.3249

By:

Romero de Vasconcelos, Davi;
Viviane Menezes, Maria

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

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

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

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

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

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

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

A Hybrid Methodology for Prioritizing of Store Plan Alternatives Produced with Rule-Based Design.

Published in:

International Journal of Information Technology & Decision Making, 2021, v. 20, n. 6, p. 1685, doi. 10.1142/S0219622021500486

By:

Ozdemir, Yavuz;
Ozdemir, Sahika;
Nalbant, Kemal Gokhan

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

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

Evaluating existing manually constructed natural landscape classification with a machine learning-based approach.

Published in:

Journal of Spatial Information Science, 2019, n. 18, p. 31, doi. 10.5311/JOSIS.2019.18.464

By:

Ciglič, Rok;
Štrumbelj, Erik;
Češnovar, Rok;
Hrvatin, Mauro;
Perko, Drago

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

LA LÓGICA EN LAS CIENCIAS COMPUTACIONALES.

Published in:

Revista Educación en Ingeniería, 2013, v. 8, n. 15, p. 62

By:

Edgar Serna, M.

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

Performance Improvement of SIMD Processor for High-Speed end Devices in IoT Operation Based on Reversible Logic with Hybrid Adder Configuration.

Published in:

Technical Gazette / Tehnički Vjesnik, 2022, v. 29, n. 1, p. 252, doi. 10.17559/TV-20210719025814

By:

KALIMUTHU, Vinoth Kumar;
SOMASUNDARAM, Karthikeyan;
SRIDHARAN, Bhavani;
CHOCKALINGAM, Vennila

Publication type:

Article

White Heat Cold Logic: British Computer Art 1960-1980.

Published in:

2009

By:

Wisher, Doris

Publication type:

Book Review

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

PARTIAL MATHEMATICAL MODELING AND ANALYSIS OF THE AES SYSTEM.

Published in:

Journal of Applied Mathematics & Computational Mechanics, 2023, v. 22, n. 4, p. 64, doi. 10.17512/jamcm.2023.4.06

By:

Stachowiak, Sylwia;
Kurkowski, Mirosław

Publication type:

Article

A note on cut-elimination for classical propositional logic.

Published in:

Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 555, doi. 10.1007/s00153-021-00800-8

By:

Pulcini, Gabriele

Publication type:

Article

A dynamical quantum Cheshire Cat effect and implications for counterfactual communication.

Published in:

Nature Communications, 2021, v. 12, n. 1, p. 1, doi. 10.1038/s41467-021-24933-9

By:

Aharonov, Yakir;
Cohen, Eliahu;
Popescu, Sandu

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

Development of Computer-Based Network Planning Technology.

Published in:

Public Policy & Administration / Viesoji Politika ir Administravimas, 2013, v. 12, n. 2, p. 284

By:

Puškorius, Stasys

Publication type:

Article

Personal computer/programmable logic controller based variable frequency drive training platform using WxPython and PyModbus.

Published in:

International Journal of Electrical & Computer Engineering (2088-8708), 2022, v. 12, n. 4, p. 3564, doi. 10.11591/ijece.v12i4.pp3564-3571

By:

Mahmood, Jawad Radhi;
Ali, Ramzy Salim

Publication type:

Article

Hands on Remote Learning Using a DC Motor Controller.

Published in:

Journal of Higher Education Theory & Practice, 2021, v. 21, n. 12, p. 190, doi. 10.33423/jhetp.v21i12.4712

By:

Barsanti, Robert;
Hayne, Ronald;
Peeples, Johnston

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

Science, abduction and the fuzzy nurse: an exploration of expertise [see comments].

Published in:

Journal of Advanced Nursing (Wiley-Blackwell), 1997, v. 25, n. 5, p. 1070, doi. 10.1046/j.1365-2648.1997.19970251070.x

By:

Rolfe, G

Publication type:

Article

New steps against scientific gerrymandering: A new operational definition of geographic information science.

Published in:

Revista Cartográfica, 2023, n. 107, p. 95, doi. 10.35424/rcarto.i107.4669

By:

López-Vázquez, Carlos;
Gonzalez-Campos, María Ester;
Bernabé-Poveda, Miguel Ángel

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

On the Succinctness of Modal μ-Calculus Based on Covariant–Contravariant Refinement.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2023, v. 33, n. 4, p. 513, doi. 10.1142/S0218194023500067

By:

Xing, Huili

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

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

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

Published in:

2010

By:

Bedworth, Jon

Publication type:

Book Review

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

A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:16)2022

By:

GEHRKE, MAI;
JAKL, TOMÁŠ;
REGGIO, LUCA

Publication type:

Article

BZK.SAU.FPGA10.1: A modular approach to FPGA-based micro computer architecture design for educational purpose.

Published in:

Computer Applications in Engineering Education, 2014, v. 22, n. 2, p. 272, doi. 10.1002/cae.20553

By:

Oztekin, Halit;
Temurtas, Feyzullah;
Gulbag, Ali

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

Exploring the Jungle of Intuitionistic Temporal Logics.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 4, p. 459, doi. 10.1017/S1471068421000089

By:

BOUDOU, JOSEPH;
DIÉGUEZ, MARTÍN;
FERNÁNDEZ-DUQUE, DAVID;
KREMER, PHILIP

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