Results 71 to 80 of about 1,885,937 (251)

ON THE MATHEMATICS OF LOGIC AND THE LOGIC OF MATHEMATICS

, 2016
In this paper we deal with two different approaches to logic, the Boolean and the Fregean. In particular, we give some reasons to explain certain ignorance of the Boolean approach at some Philosophy Departments, particularly in the teaching of logic. After giving some reasons for the convenience of combining both approaches, we recommend material on ...
openaire   +1 more source

Photonic‐Enabled Energy‐Efficient Transparent Neuromorphic Computing Devices: A Review

Advanced Science, EarlyView.
Transparent photonic neuromorphic computing devices merge optics and brain‐inspired computing to overcome von Neumann bottlenecks with ultrafast, low‐energy processing. By exploiting transparent oxides, 2D materials, phase‐change materials, and hybrid heterostructures, these platforms enable photonic synapses, memory, and logic for see‐through edge ...
Shuvaraj Ghosh, Ki‐bum Lee, Junghyeon Lee, Seunghee Cho, Malkeshkumar Patel, Hangfei Li, Yu Wen, Ye Zhou, Joondong Kim   +8 more
wiley   +1 more source

Amortised resource analysis with separation logic [PDF]

, 2011
Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

Advanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

Sliding Ferroelectricity Driven Spin‐Layertronics in Altermagnetic Multilayers

Advanced Science, EarlyView.
Integrating sliding ferroelectricity with altermagnetism enables nonvolatile electrical control of spin and layer degrees of freedom. In bilayer CuF2, interlayer translation reverses layer‐locked spin‐split bands, establishing a multifunctional “spin‐layertronic” platform.
Rui Peng, Guangxu Su, Yangyang Fan, Jiaan Li, Fanxin Liu, Yee Sin Ang   +5 more
wiley   +1 more source

Retinomorphic Visual Processing Enabled by Contact‐Engineered IGZO Optoelectronic Synaptic Memtransistors

Advanced Science, EarlyView.
Here, we present an optoelectronic synaptic memtransistor (OSMT) integrating photoresponsive IGZO with contact‐engineered HfO2, enabling electrically and optically tunable synaptic weights. The device demonstrates broad range of tunable conductance states and array‐level image processing, highlighting its potential for intelligent machine vision ...
Donghyun Kang, San Nam, Dayul Nam, In‐Soo Kim, Myung‐Gil Kim, Sung Kyu Park, Yong‐Hoon Kim   +6 more
wiley   +1 more source

A Versatile‐Designable Framework for Active and Programmable Shape‐Morphing Soft Matter Systems: From Inverse Design to Closed‐Loop Control

Advanced Science, EarlyView.
A versatile framework integrates addressable electrothermal actuation and strain‐constraint mechanisms to construct programmable shape‐morphing soft matter systems. By combining an analytical inverse design strategy for high‐fidelity 3D surface reconstruction with deep learning‐based closed‐loop control, this approach enables zero‐energy shape locking,
Kai Liu, Peiling Xie, Ruitong Song, Banghan Liu, Rui Guo, Jiu‐an Lv   +5 more
wiley   +1 more source

A Portable Soft Robotic Glove with Fully Functional Thumb Assistance for Complex Dexterous Fine Motor Skills

Advanced Science, EarlyView.
A portable, sensorized, and controlled dexterous thumb‐enhanced glove helps stroke survivors swipe phones, twist caps, and perform other tasks. It is based on a powerful continuously, segmented origami dual chamber actuator to achieve active thumb CMC and MCP joint assistance and passively extend the IP joint.
Disheng Xie, Zhen Wang, Zhongping Ye, Minghao Liu, Xiangqian Shi, Shuk Fan Tong, Jianbin Liu, Chuanbin Mao, Thomas W. Leung, Haitao Liu, Raymond Kai‐yu Tong   +10 more
wiley   +1 more source

Māori medium children’s views about learning mathematics: possibilities for future directions [PDF]

, 2011
Pre-European traditional Māori education in New Zealand was integrated and holistic. With Western influence many Maori children struggled to achieve at school. Māori medium education based on retaining Māori values, language and culture therefore emerged
Taylor, Merilyn, Hāwera, Ngārewa
core  

Radiation Resilient Synthetic Antiferromagnets‐Based Neuromorphic Device for Sea Surface Temperature Reconstruction

Advanced Science, EarlyView.
By leveraging strong antiferromagnetic coupling, radiation‐tolerant synthetic antiferromagnetic synaptic devices are developed. Their intrinsic nonlinearity emulates neuronal activation, while linear and symmetric conductance modulation mimics synaptic plasticity.
Mingxu Song, Jiahao Liu, Ruisheng Hu, Teng Xu, Aihua Tang, Zhihong Zhu   +5 more
wiley   +1 more source