Results 41 to 50 of about 349,803 (277)
Solutions of the Two-Wave Interactions in Quadratic Nonlinear Media
Mathematics, 2020 In this paper, we propose a reliable treatment for studying the two-wave (symbiotic) solitons of interactions in nonlinear quadratic media. We investigate the Schauder’s fixed point theorem for proving the existence theorem.
Lazhar Bougoffa, Smail Bougouffa
doaj +1 more source
Multimodal Data‐Driven Microstructure Characterization
Advanced Engineering Materials, EarlyView.A self‐consistent autonomous workflow for EBSP‐based microstructure segmentation by integrating PCA, GMM clustering, and cNMF with information‐theoretic parameter selection, requiring no user input. An optimal ROI size related to characteristic grain size is identified.
Qi Zhang +4 more
wiley +1 more source
Formal Analysis of Language-Based Android Security Using Theorem Proving Approach
IEEE Access, 2019 Mobile devices are an indispensable part of modern-day lives to support portable computations and context-aware communication. Android applications within a mobile device share data to support application operations and better user experience, which also
Wilayat Khan +4 more
doaj +1 more source
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties [PDF]
Logical Methods in Computer Science, 2016 The \emph{International Obfuscated C Code Contest} was a programming contest for the most creatively obfuscated yet succinct C code. By \emph{contrast}, an interest herein is in programs which are, \emph{in a sense}, \emph{easily} seen to be correct, but
John Case, Michael Ralston
doaj +1 more source
Formal representation and proof for cooperative games [PDF]
, 2012 In this contribution we present some work we have been doing in representing and proving theorems from the area of economics, and mainly we present work we will do in a project in which we will apply mechanised theorem proving tools to a class of ...
Kerber, Manfred +2 more
core
Stacking‐Engineered Magnonic Topology and Transport in Honeycomb Homobilayers
Advanced Functional Materials, EarlyView.ABSTRACT Topological magnons have emerged as a promising platform for dissipationless bosonic transport. However, a straightforward and effective strategy to engineer such topological states in real materials has yet to be fully realized. Here, a general scheme for controlling magnonic topological states via stacking engineering in van der Waals ...
Xiaoran Feng +6 more
wiley +1 more source
Towards Formal Fault Tree Analysis using Theorem Proving
, 2015 Fault Tree Analysis (FTA) is a dependability analysis technique that has been widely used to predict reliability, availability and safety of many complex engineering systems.
Ahmed, Waqar, Hasan, Osman
core +1 more source
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
Theorem proving support in programming language semantics [PDF]
, 2007 We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
Waveguide Photoactuators: Materials, Fabrication, and Applications
Advanced Robotics Research, EarlyView.Waveguide photoactuators convert guided light into mechanical motion. Their tethered‐flexible design enables minimally invasive surgery and confined‐space robotics. This review aims to guide materials selection, device design, and system integration, accelerating the transition of waveguide photoactuators from laboratory prototypes to versatile ...
Minjie Xi +4 more
wiley +1 more source