Works matching DE "COMPUTER logic"

Results: 577

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

Focus and Control.

Published in:

Elevator World, 2025, v. 69, n. 6, p. 6

By:

Sturgeon-Hendrick, Ricia

Publication type:

Article

BSL volume 30 issue 4 Cover and Front matter.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. f1, doi. 10.1017/bsl.2025.12
Publication type:: Article

2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 580, doi. 10.1017/bsl.2025.5
Publication type:: Article

PICO PROCESSORS.

Published in:

Computing & Control Engineering, 2003, v. 14, n. 5, p. 32, doi. 10.1049/cce:20030507

By:

Chapman, Ken

Publication type:

Article

Concatenated Logic Circuits Based on a Three-Way DNA Junction: A Keypad-Lock Security System with Visible Readout and an Automatic Reset Function.

Published in:

Angewandte Chemie, 2015, v. 127, n. 2, p. 456, doi. 10.1002/ange.201408334

By:

Chen, Junhua;
Zhou, Shungui;
Wen, Junlin

Publication type:

Article

Solving the VerifyThis 2012 challenges with VeriFast.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9

By:

Jacobs, Bart;
Smans, Jan;
Piessens, Frank

Publication type:

Article

KIV: overview and VerifyThis competition.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3

By:

Ernst, Gidon;
Pfähler, Jörg;
Schellhorn, Gerhard;
Haneberg, Dominik;
Reif, Wolfgang

Publication type:

Article

Let's verify this with Why3.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 709, doi. 10.1007/s10009-014-0314-5

By:

Bobot, François;
Filliâtre, Jean-Christophe;
Marché, Claude;
Paskevich, Andrei

Publication type:

Article

Expressive program verification via structured specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 363, doi. 10.1007/s10009-014-0306-5

By:

Gherghina, Cristian;
David, Cristina;
Qin, Shengchao;
Chin, Wei-Ngan

Publication type:

Article

Büchi Store: an open repository of $$\omega $$-automata.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 109, doi. 10.1007/s10009-012-0268-4

By:

Tsay, Yih-Kuen;
Tsai, Ming-Hsien;
Chang, Jinn-Shu;
Chang, Yi-Wen;
Liu, Chi-Shiang

Publication type:

Article

A survey of new trends in symbolic execution for software testing and analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 339, doi. 10.1007/s10009-009-0118-1

By:

Păsăreanu, Corina;
Visser, Willem

Publication type:

Article

Approximating the safely reusable set of learned facts.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 325, doi. 10.1007/s10009-009-0117-2

By:

Babić, Domagoj;
Hu, Alan

Publication type:

Article

Generating online test oracles from temporal logic specificationsTHANKSREF=""ID=""This work was supported by VINNOVA within the ASTEC competence center and by Volvo Technical Development Corporation.

Published in:

International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 456, doi. 10.1007/s10009-003-0107-8

By:

Håkansson, John;
Jonsson, Bengt;
Lundqvist, Ola

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

Reconfiguring system hierarchies with multi-valued logic.

Published in:

Automation & Remote Control, 2016, v. 77, n. 3, p. 462, doi. 10.1134/S0005117916030085

By:

Maksimov, D.

Publication type:

Article

Expert systems in medical diagnostics: Analysis of functioning.

Published in:

Automation & Remote Control, 2014, v. 75, n. 7, p. 1316, doi. 10.1134/S0005117914070121

By:

Kiseleva, T.;
Toropchina, E.

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

Molecular Computation for Molecular Classification.

Published in:

Advanced Biology, 2023, v. 7, n. 3, p. 1, doi. 10.1002/adbi.202200203

By:

Kieffer, Coline;
Genot, Anthony J.;
Rondelez, Yannick;
Gines, Guillaume

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

CONFLITOS DE LEIS E JURISDIÇÕES NAS TRANSAÇÕES CELEBRADAS A PARTIR DA BLOCKCHAIN.

Published in:

Revista Opinião Jurídica, 2022, v. 20, n. 33, p. 60, doi. 10.12662/2447-6641oj.v20i33.p60-82.2022

By:

Hastreiter, Michele Alessandra;
Pereira Ribeiro, Marcia Carla

Publication type:

Article

Single‐Contact, Four‐Terminal Microelectromechanical Relay for Efficient Digital Logic (Adv. Electron. Mater. 1/2023).

Published in:

Advanced Electronic Materials, 2023, v. 9, n. 1, p. 1, doi. 10.1002/aelm.202370002

By:

Reynolds, James D.;
Rana, Sunil;
Worsey, Elliott;
Tang, Qi;
Kulsreshath, Mukesh K.;
Chong, Harold M. H.;
Pamunuwa, Dinesh

Publication type:

Article

Single‐Contact, Four‐Terminal Microelectromechanical Relay for Efficient Digital Logic.

Published in:

Advanced Electronic Materials, 2023, v. 9, n. 1, p. 1, doi. 10.1002/aelm.202200584

By:

Reynolds, James D.;
Rana, Sunil;
Worsey, Elliott;
Tang, Qi;
Kulsreshath, Mukesh K.;
Chong, Harold M. H.;
Pamunuwa, Dinesh

Publication type:

Article

Low‐Cost Fabricated MgSnO Electrolyte‐Gated Synaptic Transistor with Dual Modulation of Excitation and Inhibition.

Published in:

Advanced Electronic Materials, 2022, v. 8, n. 12, p. 1, doi. 10.1002/aelm.202200864

By:

Chen, Biao;
Sun, Shangheng;
Fan, Shuangqing;
Liu, Xuhai;
Li, Qiang;
Su, Jie

Publication type:

Article

Light‐Regulated Anti‐Ambipolar Transport with Multi‐Logic States in Metal‐WSe2‐Metal Transistor.

Published in:

Advanced Electronic Materials, 2022, v. 8, n. 12, p. 1, doi. 10.1002/aelm.202200649

By:

Wang, Hanyu;
Gao, Wei;
Wen, Peiting;
Yu, He;
Huang, Ying;
Yue, Qian;
Wang, Xiaozhou;
Huo, Nengjie

Publication type:

Article

Power‐Efficient and Highly Uniform BiFeO3‐Based Memristors Optimized with TiInSnO Electrode Interfacial Effect.

Published in:

Advanced Electronic Materials, 2022, v. 8, n. 10, p. 1, doi. 10.1002/aelm.202200435

By:

Xia, Qing;
Qin, Yuxiang;
Qiu, Peilun

Publication type:

Article

Differentiable Content Addressable Memory with Memristors.

Published in:

Advanced Electronic Materials, 2022, v. 8, n. 8, p. 1, doi. 10.1002/aelm.202101198

By:

Pedretti, Giacomo;
Graves, Catherine E.;
Van Vaerenbergh, Thomas;
Serebryakov, Sergey;
Foltin, Martin;
Sheng, Xia;
Mao, Ruibin;
Li, Can;
Strachan, John Paul

Publication type:

Article

Wrinkled‐Surface‐Induced Memristive Behavior of MoS2 Wrapped GaN Nanowires.

Published in:

Advanced Electronic Materials, 2020, v. 6, n. 10, p. 1, doi. 10.1002/aelm.202000571

By:

Ji, Yu‐Hang;
Huang, An‐Ping;
Yang, Meng‐Qi;
Gao, Qin;
Yang, Xiu‐Li;
Chen, Xue‐Liang;
Wang, Mei;
Xiao, Zhi‐Song;
Wang, Ru‐Zhi;
Chu, Paul K.

Publication type:

Article

Wafer‐Scale Organic Complementary Inverters Fabricated with Self‐Assembled Monolayer Field‐Effect Transistors.

Published in:

Advanced Electronic Materials, 2020, v. 6, n. 9, p. 1, doi. 10.1002/aelm.202000515

By:

Zhao, Baolin;
Gothe, Bastian;
Sarcletti, Marco;
Zhao, Yuhan;
Rejek, Tobias;
Liu, Xin;
Park, Hyoungwon;
Strohriegl, Peter;
Halik, Marcus

Publication type:

Article

Fundamentals of Organic Anti‐Ambipolar Ternary Inverters.

Published in:

Advanced Electronic Materials, 2020, v. 6, n. 3, p. 1, doi. 10.1002/aelm.201901200

By:

Kim, Chang‐Hyun;
Hayakawa, Ryoma;
Wakayama, Yutaka

Publication type:

Article

Technology for Good? Tencent's Corporate Social Responsibility, Institutional Chameleon, and the Future of Platform Economies.

Published in:

Social Media + Society, 2025, v. 11, n. 1, p. 1, doi. 10.1177/20563051251316119

By:

Li, Luzhou;
Zhang, Zhian

Publication type:

Article

If Logic, Definitions and the Vicious Circle Principle.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 505, doi. 10.1007/s10992-011-9184-4

By:

Hintikka, Jaakko

Publication type:

Article

Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 387, doi. 10.1007/s10992-010-9166-y

By:

Andrade-Lotero, Edgar;
Dutilh Novaes, Catarina

Publication type:

Article

Logic and Ontological Pluralism.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 419, doi. 10.1007/s10992-010-9167-x

By:

Turner, Jason

Publication type:

Article

Embedding If and Only If.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 449, doi. 10.1007/s10992-011-9170-x

By:

Sennet, Adam;
Weisberg, Jonathan

Publication type:

Article

Strict Finitism and the Happy Sorites.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 471, doi. 10.1007/s10992-011-9180-8

By:

Magidor, Ofra

Publication type:

Article

On the Possibility of Inference to the Best Explanation.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 461, doi. 10.1007/s10992-011-9179-1

By:

Glymour, Clark

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

Computer Implication and the Curry Paradox.

Published in:

Journal of Philosophical Logic, 2004, v. 33, n. 6, p. 631, doi. 10.1023/B:LOGI.0000046077.72722.61

By:

Aitken, Wayne;
Barrett, Jeffrey A.

Publication type:

Article

Basic properties of a new class of parametric intuitionistic fuzzy implications.

Published in:

Control & Cybernetics, 2011, v. 40, n. 3, p. 793

By:

Dworniczak, Piotr

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

Image enhancement by the combination of multivalued logic and Savitzky–Golay filter.

Published in:

International Journal of Electronics Letters, 2019, v. 7, n. 3, p. 290, doi. 10.1080/21681724.2018.1494317

By:

Karmakar, Sayantani;
Karmakar, Supriya

Publication type:

Article

A psychometric evaluation of the digital logic concept inventory.

Published in:

Computer Science Education, 2014, v. 24, n. 4, p. 277, doi. 10.1080/08993408.2014.970781

By:

Herman, Geoffrey L.;
Zilles, Craig;
Loui, Michael C.

Publication type:

Article

Computer science concept inventories: past and future.

Published in:

Computer Science Education, 2014, v. 24, n. 4, p. 253, doi. 10.1080/08993408.2014.970779

By:

Taylor, C.;
Zingaro, D.;
Porter, L.;
Webb, K.C.;
Lee, C.B.;
Clancy, M.

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

Symbolic automata for representing big code.

Published in:

Acta Informatica, 2016, v. 53, n. 4, p. 327, doi. 10.1007/s00236-015-0234-1

By:

Peleg, Hila;
Shoham, Sharon;
Yahav, Eran;
Yang, Hongseok

Publication type:

Article

White Noise of the Ecosphere: Ontology in Digital Sound.

Published in:

Parallax, 2020, v. 26, n. 2, p. 222, doi. 10.1080/13534645.2020.1766743

By:

Amiran, Eyal

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

News and product update.

Published in:: Journal of Medical Engineering & Technology, 2022, v. 46, n. 5, p. 424, doi. 10.1080/03091902.2022.2082739
Publication type:: Article

媒介地理学视角下旅游度假区的数字化地方营造 ——以秦皇岛阿那亚为例.

Published in:

Tourism Tribune / Lvyou Xuekan, 2024, v. 39, n. 9, p. 151, doi. 10.19765/j.cnki.1002-5006.2024.00.006

By:

高彩霞;
陶慧;
刘家明;
吕宁;
张希月;
薛涛

Publication type:

Article