Results 101 to 110 of about 2,250,044 (344)

Polynomial time algorithm for checking strong equivalence of program

Труды Института системного программирования РАН, 2018
To unify a pair of algebraic expressions t1 and t2 is to find out such a substitution θ that both terms t1θ and t2θ have the same meaning. Unification problem can be extended to computational programs.
T. A. Novikova, V. A. Zakharov
doaj  

Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces

Advanced Functional Materials, EarlyView.
A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai, Yi Ning Zheng, Lei Zhang, Xiao Qing Chen, Giuseppe Castaldi, Tie Jun Cui, Vincenzo Galdi   +6 more
wiley   +1 more source

Lozomieh in Ibn Sina’s Logic and its Relation to Various Kinds of Conditionals in Modern Logic with Analysis and Critique of Some Views

Metaphysics, 2011
According to Ibn Sina's logic, Lozomieh is the only conditional that is suitable to be named real conditional. Also Lozomieh is among the foundations of Ibn Sina’s logic that the rules Modus Ponens and Modus Tollens would be applied only to it ...
M Hajihosseini
doaj  

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Coming to Accounts: Fraud and Muckraking in Charles W. Chesnutt’s The Marrow of Tradition

European Journal of American Studies, 2013
This article traces the rhetoric of accounting in nineteenth-century and early twentieth-century racial discourse, from its initial use by slave traders, to its reinscription (or re-metaphorization) as “fraud” by abolitionists, and finally to its turn-of-
Mark David Kaufman
doaj   +1 more source

Integrative Approaches for DNA Sequence‐Controlled Functional Materials

Advanced Functional Materials, EarlyView.
DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo, Ewa Anna Oprzeska‐Zingrebe, Mariana Kozlowska, Lennart Hilbert, Iliya D. Stoev   +4 more
wiley   +1 more source

NON-factors, temporal logic and fuzzy logical tools in hybrid import substitution risk management models [PDF]

, 2020
Olga V. Bulygina, A. V. Emel’yanov, E. S. Yashin   +2 more
openalex   +1 more source

How Does the Substitution of Agricultural Production Factors Affect Arable Land Abandonment: Empirical Analysis Based on Guangdong Panel Data

Redai dili
As a core element in agricultural production, arable land is an important foundation for food security, ecological and environmental protection, and sustainable agricultural development.
Liu Guangsheng, Chen Lizhen, Lan Qian, Qiao Ziyuan, Wang Hongmei   +4 more
doaj   +1 more source

S-Box on Subgroup of Galois Field

Cryptography, 2019
In substitution−permutation network as a cryptosystem, substitution boxes play the role of the only nonlinear part. It would be easy for adversaries to compromise the security of the system without them.
Tariq Shah, Ayesha Qureshi
doaj   +1 more source

A Meta-Logic of Inference Rules: Syntax [PDF]

, 2014
This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions.
Citkin, Alex
core   +2 more sources