Results 151 to 160 of about 6,681,112 (349)
On the application of substitution algebra to program unification
Труды Института системного программирования РАН, 2018 Many problems in software engineering such as program refactoring, deobfuscation, vulnerability detection, require an efficient toolset for detecting pieces of code that have similar behavior.
V. A. Zakharov, T. A. Novikova
doaj
Programmable logic controllers: Architecture and applications. G. Michel, Wiley, Chichester, 1990, ISBN 0 471 92463‐6, xviii + 338 pp, £39.95 [PDF]
, 1992 Robert T. Pickett
openalex +1 more source
Representing Action and Change by Logic Programs
The Journal of Logic Programming, 1993 M. Gelfond, V. Lifschitz
semanticscholar +1 more source
Advanced Materials, EarlyView.An ion‐regulating membrane is designed with a surface‐concentrated positively‐charged Zn2⁺ crosslinked network for zinc‐manganese flow batteries. The membrane effectively mitigates proton crossover and regulates zinc ion distribution to avoid dendrites, thus significantly improving areal capacity and prolonging the lifespan with a record accumulated ...
Jine Wu, Jiafeng Lei, Yi‐Chun Lu
wiley +1 more source
CubeSat bus interface with Complex Programmable Logic Device
, 2019 Turtogtokh Tumenjargal +3 more
openalex +2 more sources
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source
To the Editor: Innovation in Program Evaluation: The Development of a Logic Model for a Psychiatry Residency Training Program in Canada. [PDF]
J Grad Med EducDiep J, Zhang M, Ho C, Tan A, Chaukos D.
europepmc +1 more source
Programmable Logic Controller Systems for SPIRAL2
, 2020 Cyrille Berthe +9 more
openalex +1 more source
Advanced Materials, EarlyView.We show a giant, bias‐field free, deterministic, spin‐orbit‐torque switching of perpendicular hard magnets with HC over 1.3 T. By combining the three‐fold 3m symmetry from topological insulator surface states with the rectangular mm2 symmetry from the 2 x 1 intercalation in Cr3Te4, the interface symmetry is significantly reduced into a unidirectional m
He Ren +6 more
wiley +1 more source