Results 71 to 80 of about 133,077 (308)

Students’ perspectives on using digital tools in programming courses

Discover Education
As programming emerges as a critical skill in the digital age and digital tools continue to evolve, understanding students’ perspectives on the integration of such technologies into their education is crucial.
Mohsen Asgari, Fong-Chun Tsai, Linda Mannila, Filip Strömbäck, Kazi Masum Sadique   +4 more
doaj   +1 more source

A Curry-Howard Correspondence for Linear, Reversible Computation [PDF]

Logical Methods in Computer Science
In this paper, we present a linear and reversible programming language with inductives types and recursion. The semantics of the languages is based on pattern-matching; we show how ensuring syntactical exhaustivity and non-overlapping of clauses is ...
Kostia Chardonnet, Alexis Saurin, Benoît Valiron   +2 more
doaj   +1 more source

Phase‐Stable Palladium Hydride Derived from PdCoO2 for Sustainable Hydrogen Evolution Reaction

Advanced Functional Materials, EarlyView.
The exceptionally active β‐PdHx is demonstrated for the hydrogen evolution reaction in acidic media. The fast activation kinetics from the PdCoO2 template are resolved by operando spectroscopy, and isotope‐labeled atom probe tomography quantifies the H content in β‐PdHx. The outstanding stability of the electrocatalyst is attributed to the retention of
Luca Camuti, Se‐Ho Kim, Filip Podjaski, Miquel Vega‐Paredes, Andrea M. Mingers, Tolga Acartürk, Ulrich Starke, Bettina V. Lotsch, Christina Scheu, Baptiste Gault, Siyuan Zhang   +10 more
wiley   +1 more source

Tables and the Development of Computational Thinking in Programming with Emil for Primary School

Informatics in Education
Tables are fundamental tools for handling data and play a crucial role in developing both computational thinking (CT) and mathematical thinking (MT). Despite this, they receive limited attention in research and design.
Mária Čujdíková, Ivan Kalaš
doaj   +1 more source

High‐Spatiotemporal‐Resolution Transparent Thermoelectric Temperature Sensor Arrays Reveal Temperature‐Dependent Windows for Reversible Photothermal Neuromodulation

Advanced Functional Materials, EarlyView.
Thermoelectric temperature sensors are developed that directly measure heat changes during optical‐based neural stimulation with millisecond precision. The sensors reveal the temperature windows for safe reversible neural modulation: 1.4–4.5 °C enables reversible neural inhibition, while temperatures above 6.1 °C cause permanent thermal damage.
Junhee Lee, Dongjo Yoon, Jungha Lee, Duhee Kim, Eunui Kim, Jong‐Hyeok Yoon, Hyuk‐Jun Kwon, Seungjun Chung, Yoonkey Nam, Hongki Kang   +9 more
wiley   +1 more source

GenEth: a general ethical dilemma analyzer

Paladyn, 2018
We argue that ethically significant behavior of autonomous systems should be guided by explicit ethical principles determined through a consensus of ethicists. Such a consensus is likely to emerge in many areas in which intelligent autonomous systems are
Anderson Michael, Anderson Susan Leigh
doaj   +1 more source

Automated Lemma Synthesis in Symbolic-Heap Separation Logic

, 2017
The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs.
Chin, Wei-Ngan, Khoo, Siau-Cheng, Le, Ton Chanh, Ta, Quang-Trung   +3 more
core   +1 more source

Harmonizing the Pyrene and Ether Groups in Covalent Triazine Polymers for Highly Effective H2O2 Photosynthesis via One‐Step Two‐Electron Oxygen Reduction

Advanced Functional Materials, EarlyView.
The pyrene and ether groups are incorporated into the covalent triazine polymer (CTP) structure. The synergistic effect of the two functional groups endows CTP with better electron transfer, light absorption, and oxygen activation properties. An impressive apparent quantum yield (13.2% @420 nm) and a remarkable solar‐to‐chemical conversion efficiency ...
Chong Wang, Jinliang Lv, Yichun Lu, Hanfeng Ye, Xuan Zhang, Leonardo Cancellara, Nadezda Tarakina, Jiande Lin, Xin Gao, Oleksandr Savateev, Jiajia Cheng   +10 more
wiley   +1 more source

Prediction of wear life of shield disc cutter in complex formations based on genetic programming

Gong-kuang zidonghua, 2018
In process of shield tunneling in complex formation, wear of disc cutter is extremely serious and service life is hard to predict, and influence factors of the disc cutter wear are multi-dimensional and uncertain.
QIAO Jinli, MENG Qiujie, LIU Jianqin, JIN Jianxing   +3 more
doaj   +1 more source

Full‐Spectrum Solar Harvesting and Desalination Enabled by Supra‐Nano Amorphous Ruthenium Dioxide – Mineral Composites

Advanced Functional Materials, EarlyView.
A mineral‐based supra‐nano amorphous ruthenium dioxide composite (a‐Ru0.5‐AM) was designed, achieving 97% broadband solar absorption. Under one sun, it reaches 87.91 ± 0.32 °C with a distinct thermal buffering effect that favors thermal confinement.
Yunchen Long, Zhengyi Mao, Bowen Li, Xiujuan Hu, Xinxue Tang, Yuanchao Liu, Jia‐Hua Liu, Hongkun Li, Chong Wang, Hong Yue, Weihui Ou, Johnny Chung Yin Ho, Jian Lu, Yang Yang Li   +13 more
wiley   +1 more source