Works matching Computer logic

Results: 1146

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

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

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

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

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

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

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

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

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

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

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

DIGITAL SIMULATION OF COMPLEX TRAFFIC PROBLEMS IN COMMUNICATIONS SYSTEMS.

Published in:

Operations Research, 1957, v. 5, n. 5, p. 670, doi. 10.1287/opre.5.5.670

By:

Brotman, Lewis;
Minker, Jack

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

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

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

NOTE FROM THE EDITOR.

Published in:

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

By:

Starr, Fiona

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

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

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

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

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

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

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

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

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 Semi-Automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database.

Published in:

Information (2078-2489), 2021, v. 12, n. 5, p. 188, doi. 10.3390/info12050188

By:

Ma, Chuangtao;
Molnár, Bálint;
Benczúr, András;
Psaila, Giuseppe;
Fosci, Paolo

Publication type:

Article

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

Published in:

2010

By:

Bedworth, Jon

Publication type:

Book Review

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

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

Published in:

2009

By:

Wisher, Doris

Publication type:

Book Review

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

Igniting the Engineering Educators and Learners through Heutagogy, a Transformative Learning.

Published in:

Journal of Engineering Education Transformations, 2025, v. 38, n. 3, p. 562

By:

S. B., Prapulla;
K. N., Subramanya;
K. S., Geetha;
K., Sreelakshmi;
Kulkarni, Vinay V.;
P., Ramakanth Kumar

Publication type:

Article

The genesis of Boole's logic: its history and a computer exploration.

Published in:

2008

By:

SERFATI, MICHEL

Publication type:

Book Review

Third international workshop on deontic logic in computer science.

Published in:

Knowledge Engineering Review, 1996, v. 11, n. 3, p. 289, doi. 10.1017/S0269888900007931

By:

Brown, Mark A.;
Carno, Jose

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

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

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

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

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

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