Treffer 1 - 20
von 25.021
- 1
- 2
Seite in der Trefferliste auswählen
Mathematical Logic through Python.
SWIFT, TIM
Bulletin of the Irish Mathematical Society. Winter2023/2024, Issue 92, p65-67. 3p.
Mathematical Logic through Python
Gonczarowski, Yannai A. ; Nisan, Noam
ISBN 9781108954464 9781108845076 9781108949477.
Optimizing security in the Metaverse using DLP – Data Loss Prevention and Paraconsistent Logic.
de Lima, Luigi Pavarini ; Sakamoto, Liliam Sayuri ; Abe, Jair Minoro ; et al.
Procedia Computer Science. 2025, Vol. 270, p357-373. 17p.
Combining Building Block Process with Computational Thinking Improves Learning Outcomes of Python Programming with Peer Assessment
Tsung-Chih Hsiao ; Ya-Hsueh Chuang ; Chien-Yun Chang ; et al.
15
DEVELOPMENT OF COMPUTATIONAL THINKING SKILLS THROUGH MATHEMATICAL MODELLING: A SELF-EFFICACY PERSPECTIVE.
HAKSEVER, Ümmi Gülsün ; TAŞPINAR ŞENER, Zehra ; KERT, Serhat Bahadır
International Journal of Education Technology & Scientific Researches; 2024, Vol. 9 Issue 28, p603-618, 16p
Mathematical model of adaptive hierarchical high-level control of a three-link collaborative robot-manipulator
INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES; No. 2(32) (2025): Innovative Technologies and Scientific Solutions for Industries; 58-68; 58-68; 58-68; 2524-2296; 2522-9818
RaspyLab: A Low-Cost Remote Laboratory to Learn Programming and Physical Computing Through Python and Raspberry Pi
Ariza, J.A. ; Gil, S.G.
IEEE Revista Iberoamericana de Tecnologias del Aprendizaje IEEE R. Iberoamericana Tecnologias Aprendizaje Tecnologias del Aprendizaje, IEEE Revista Iberoamericana de. 17(2):140-149 May, 2022
Extracting Formulae in Many-Valued Logic From Deep Neural Networks
Zhang, Y. ; Bolcskei, H.
IEEE Transactions on Signal Processing IEEE Trans. Signal Process. Signal Processing, IEEE Transactions on. 74:1-12 2026
The Silent (R)evolution of SAT.
FICHTE, JOHANNES K. ; LE BERRE, DANIEL ; HECHER, MARKUS ; et al.
Communications of the ACM. Jun2023, Vol. 66 Issue 6, p64-72. 9p. 4 Diagrams, 1 Chart.
Topological constraints of gate-level circuits obtained through standard cell recognition (SCR)
Hsia, L. A. ; Vernizzi, G. ; Lanzerotti, M. Y. ; et al.
2015 National Aerospace and Electronics Conference (NAECON) Aerospace and Electronics Conference (NAECON), 2015 National. :165-175 Jun, 2015
Combining Building Block Process With Computational Thinking Improves Learning Outcomes of Python Programming With Peer Assessment.
Hsiao, Tsung-Chih ; Chuang, Ya-Hsueh ; Chang, Chien-Yun ; et al.
SAGE Open; Oct-Dec2023, Vol. 13 Issue 4, p1-15, 15p
AI Supported Python Programming in Architectural Form-Finding Processes
Devetaković, Mirjana ; Devetaković, Mirjana ; Ivanović, Jelena ; et al.
Proceedings [of] The International Conference Synergy of Architecture & Civil Engineering, SINARG 2025, Niš (Serbia), September 11-12, 2025. Vol. 4
Layered Verification Strategies for AI Accelerator Hardware: Matrix Engines and SRAM Buffers.
Reddy, Kaushik Velapa
Journal of Computer Science & Technology Studies; 2025, Vol. 7 Issue 5, p786-795, 10p
Improving Computational Thinking for Middle School Students Through Python Programming: Interaction Effect Analysis of Grade Level and Gender.
Sun, Lihui ; Liu, Junjie
Journal of Educational Computing Research; Jul2025, Vol. 63 Issue 4, p902-929, 28p
Exploring the interplay between AI and human logic in mathematical problem-solving.
Shanzhen Gao ; Weizheng Gao ; Malomo, Olumide ; et al.
Online Journal of Applied Knowledge Management; 2024, Vol. 12 Issue 1, p73-93, 21p
AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.
Liang, Baoyu ; Wang, Yuchen ; Tong, Chao
Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p
Quantum Serious Games to Boost Quantum Literacy within Computational Thinking 2.0 Framework
Xenakis, Apostolos ; Avramouli, Maria ; Sabani, Maria ; et al.
2023 IEEE Global Engineering Education Conference (EDUCON) Engineering Education Conference (EDUCON), 2023 IEEE Global. :1-9 May, 2023
Polynomial-Computable Representation of Neural Networks in Semantic Programming.
Goncharov, Sergey ; Nechesov, Andrey
J: Multidisciplinary Scientific Journal; Mar2023, Vol. 6 Issue 1, p48-57, 10p
Problem Based Gamification to Enhance Quantum Literacy within Computational Thinking 2.0 Framework
Xenakis, Apostolos ; Sabani, Maria ; Avramouli, Maria ; et al.
2023 IEEE Integrated STEM Education Conference (ISEC) Integrated STEM Education Conference (ISEC), 2023 IEEE. :103-110 Mar, 2023
On Programmatic Aspects of the Universality, Parameter, and Recursion Theorems of Classical Computability.
Kulyukin, Vladimir A.
Mathematics (2227-7390); Jul2025, Vol. 13 Issue 13, p2090, 24p
- 1
- 2