Results 61 to 70 of about 28,249 (225)
Comparing and evaluating extended Lambek calculi [PDF]
Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus, was innovative in many ways, notably as a precursor of linear logic. But it also showed that we could treat our grammatical framework as a logic (as opposed to a logical theory ...
Moot, Richard
core +3 more sources
Antimicrobial peptides (AMPs) are promising candidates for next‐generation antibiotics, acting through mechanisms such as membrane disruption and intracellular targeting. This review examines how variations in bacterial membrane composition critically influence AMP activity.
Paolo Rossetti +5 more
wiley +1 more source
This study employs operando X‐ray computed tomography combined with an image subtraction method to investigate mechanical failure mechanisms in all‐solid‐state batteries with lithium and zero‐excess lithium anodes. By comparing bare and silver‐coated copper current collectors, the results reveal how nucleation nanolayers influence lithium deposition ...
Linfeng Xu +8 more
wiley +1 more source
The use of sequencing information in software specification for verification [PDF]
Software requirements specifications, virtual machine definitions, and algorithmic design all place constraints on the sequence of operations that are permissible during a program's execution.
Osterweil, Leon J., Taylor, Richard N.
core +1 more source
Teaching Through Trauma: English Teachers Navigating Affective Regimes in Post‐Earthquake Türkiye
Abstract This study explores how English as a Foreign Language (EFL) teachers in post‐earthquake Türkiye narrated their experiences of loss, survival, and teaching within state‐imposed affective regimes. Drawing on an affective–discursive analysis of Ministry of National Education (MoNE) documents and media texts, the study first investigates how ...
Merve Özçelik
wiley +1 more source
A discourse analysis of e-mail messages in a Malaysian Business Community [PDF]
The study attempts to investigate recurrent grammatical features and functions of electronic mail discourse in a selected business community, comprising executives in a Malaysian public limited company. It also examines whether the electronic mail system
Ng, Yong Kiang
core
AI as a Strategic Driver in Foreign Direct Investment Flows: Evidence of OECD Countries
ABSTRACT This study examines how AI‐related capabilities and institutional signals shape foreign direct investment (FDI) inward and outward flows in OECD countries. Drawing on Dunning's OLI paradigm and North's Institutional Theory, the paper investigates whether AI Patent Grants, Newly Funded AI Firms and Mentions of AI in Legislative Proceedings ...
Dafni Grigoriadi
wiley +1 more source
Computational coverage of type logical grammar: The Montague test [PDF]
It is nearly half a century since Montague made his contributions to the field of logical semantics. In this time, computational linguistics has taken an almost entirely statistical turn and mainstream linguistics has adopted an almost entirely non ...
Morrill, Glyn +1 more
core
Unity and Division in the Public's Policy Preferences After the 2024 General Election
Abstract To what extent is the British public divided over policy preferences a year on from the 2024 general election? While party system fragmentation may persist, less is known about how voters differ in their underlying policy preferences. Drawing on a large‐scale conjoint survey experiment with over 8,000 British adults, this paper examines which ...
Lotte Hargrave
wiley +1 more source
Ordinal Numerals as a Criterion for Subclassification: The Case of Semitic
Abstract This article explores how ordinal numerals (like first, second and third) can help classify languages, focusing on the Semitic language family. Ordinals are often formed according to productive derivational processes, but as a separate word class, they may retain archaic morphology that is otherwise lost from the language.
Benjamin D. Suchard
wiley +1 more source

