Results 81 to 90 of about 6,681,112 (349)
High extinction ratio thermo-optic based reconfigurable optical logic gates for programmable PICs [PDF]
, 2022 Shamsul Hassan +2 more
openalex +1 more source
Program Logic Foundations: Putting the Logic Back into Program Logic
Journal of MultiDisciplinary Evaluation, 2020 Background: Program logic is one of the most used tools by the public policy evaluator. There is, however, little explanation in the evaluation literature about the logical foundations of program logic or discussion of how it may be determined if a program is logical.
openaire +2 more sources
Advanced Functional Materials, EarlyView.Thermoelectric temperature sensors are developed that directly measure heat changes during optical‐based neural stimulation with millisecond precision. The sensors reveal the temperature windows for safe reversible neural modulation: 1.4–4.5 °C enables reversible neural inhibition, while temperatures above 6.1 °C cause permanent thermal damage.
Junhee Lee +9 more
wiley +1 more source
Disjunctive Logic Programs versus Normal Logic Programs
, 2013 This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation from disjunctive logic programs into normal logic programs is proposed and then proved to be sound over infinite structures.
Zhang, Heng, Zhang, Yan
openaire +2 more sources
Advanced Functional Materials, EarlyView.Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey +5 more
wiley +1 more source
Unprecedented Spin‐Lifetime of Itinerant Electrons in Natural Graphite Crystals
Advanced Functional Materials, EarlyView.Graphite exhibits extraordinary spintronic potential, with electron spin lifetimes reaching 1,000 ns at room temperature ‐ over 100 times longer than graphene‐based devices. Magnetic resonance spectroscopy reveals strong anisotropy: out‐of‐plane spins live 50 times longer than their in‐plane counterparts.
Bence G. Márkus +5 more
wiley +1 more source
Use of author-developed software products for training college and university students
RUDN Journal of Engineering Research, 2018 The article presents the author-developed software products that are used for training college and university students in engineering, economy and information fields.
Aleksandra G Gyagyaeva +1 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Well‐structured graphene hybrid architectures featuring spatially resolved fluorescent properties represent a promising but so‐far elusive synthetic target. A robust and straightforward method for fabricating well‐organized graphene‐dye hybrid nanoassemblies through a combination of reductive patterning and conventional click chemistry is presented ...
Sabrin Al‐Fogra +12 more
wiley +1 more source
DeepStochLog: Neural Stochastic Logic Programming
, 2022 Thomas Winters +3 more
openalex +2 more sources
Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications [PDF]
, 2021 Jayaraj Poroor
openalex +1 more source