Results 71 to 80 of about 765,429 (244)

A Hypersequent Calculus with Clusters for Tense Logic over Ordinals [PDF]

, 2018
Prior's tense logic forms the core of linear temporal logic, with both past- and future-looking modalities. We present a sound and complete proof system for tense logic over ordinals. Technically, this is a hypersequent system, enriched with an ordering,
Baelde, David, Lick, Anthony, Schmitz, Sylvain   +2 more
core   +1 more source

Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks

Advanced Science, EarlyView.
Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley   +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

TEACHING SIMPLE PAST TENSE AND PRESENT PERFECT TENSE TO THE EIGHT GRADERS OF SMPN 22 SURAKARTA [PDF]

, 2011
This final project is written based on the job training which has been done in SMPN 22 Surakarta for eight weeks. The writer had an opportunity to teach English lesson for the eight graders and focused on teaching grammar.
Indriastuti, hanita
core  

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

Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

, 2022
We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a “converse” modality.
Clouston, Ranald, Tiu, Alwen, Gore, Rajeev, Lyon, Tim   +3 more
core   +1 more source

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source

Lesions impairing regular versus irregular past tense production [PDF]

, 2013
We investigated selective impairments in the production of regular and irregular past tense by examining language performance and lesion sites in a sample of twelve stroke patients.
Meteyard, L., Aydelott, J, Meteyard, Lotte, Woollams, A.M., Price, CJ, Woollams, A M, Price, C.J., Woollams, AM, Price, C J, Aydelott, Jennifer, Meteyard, L   +10 more
core   +1 more source

Polarization Dynamics in Ferroelectrics: Insights Enabled by Machine Learning Molecular Dynamics

Advanced Science, EarlyView.
Machine learning molecular dynamics is presented as a route to capture polarization switching, domain wall kinetics, topological polar textures, and polar mechanical coupling beyond the limits of conventional atomistic methods. This Perspective surveys recent progress and identifies key methodological directions, including long‐range electrostatics ...
Dongyu Bai, Ri He, Junxian Liu, Liangzhi Kou   +3 more
wiley   +1 more source

Prior on Time, Tense, and Logic

Arthur Norman Prior (1914–1969) is known as the founding father of tense-logic, which he presented for the very first time in 1954. He was very interested in the apparent logical conflict between the Christian doctrines of divine foreknowledge and human ...
Øhrstrøm, Peter; id_orcid
core   +1 more source