Results 121 to 130 of about 1,008,187 (306)

Introducing Computer Science to High School Students through Logic Programming

, 2018
Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang   +2 more
openalex   +2 more sources

Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X. [PDF]

, 2008
Gergely Buday
openalex   +1 more source

DA-FIS: A high-speed dynamic adaptive fault injection server framework for reliable FPGA-based embedded systems. [PDF]

PeerJ Comput Sci
Alhayan F, Kaur G, Alanazi S, Rehman MB, Mansouri W, Albalawneh D, Alqazzaz A, Alkhudhayr H.   +7 more
europepmc   +1 more source

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA

Logic in Computer Science, 2008
Ivan Lanese, Jorge Parra, D. Sangiorgi, Alan Schmitt   +3 more
semanticscholar   +1 more source

Sub‐1000 °C Sintering of Protonic Ceramic Electrochemical Cells via Microwave‐Driven Vapor Phase Diffusion

Advanced Materials, EarlyView.
A transformative microwave‐driven vapor‐phase sintering strategy enables densification of proton‐conducting electrolytes at 980 °C, reducing the sintering temperature by over 500 °C and addressing a major bottleneck toward PCEC manufacturing. Abstract Protonic ceramic electrochemical cells (PCECs) hold significant promise for efficient power generation
Dongyeon Kim, Yejin Kang, Hyeonggeun Kim, Seeun Oh, Seungsoo Jang, Mincheol Lee, Zhuo Feng Lee, Gi‐Dong Sim, Kang Taek Lee   +8 more
wiley   +1 more source

Model of an Open-Source MicroPython Library for GSM NB-IoT. [PDF]

Sensors (Basel)
Lupandin A, Kopieikin V, Khruslov M, Artyshchuk I, Shevchuk R.   +4 more
europepmc   +1 more source

Perovskite Microwires for Room Temperature Exciton‐Polariton Neural Network

Advanced Materials, EarlyView.
Exciton‐polaritons are explored as a novel platform for optical neuromorphic computing at room temperature using a monocrystalline perovskite waveguide. Demonstrating non‐equilibrium Bose‐Einstein condensation, this work achieves machine learning tasks such as classification and object detection, marking a key advance toward energy‐efficient, practical
Andrzej Opala, Krzysztof Tyszka, Mateusz Kędziora, Magdalena Furman, Amir Rahmani, Stanisław Świerczewski, Marek Ekielski, Anna Szerling, Michał Matuszewski, Barbara Piętka   +9 more
wiley   +1 more source

Deontic Logic in Computer Science [PDF]

, 2008
Ron van der Meyden, Leendert van der Torre   +1 more
openalex   +1 more source

Logic, Programming, and Computer Science: Local Perspectives

, 2021
Liesbeth De Mol
openalex   +1 more source

Research on group type theory and its functorial semantic models in category logic. [PDF]

PLoS One
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc   +1 more source