Results 51 to 60 of about 108,430 (261)
On the continuity of the commutative limit of the 4d N=4 non-commutative super Yang–Mills theory
Nuclear Physics B, 2015 We study the commutative limit of the non-commutative maximally supersymmetric Yang–Mills theory in four dimensions (N=4 SYM), where non-commutativity is introduced in the two spacelike directions.
Masanori Hanada, Hidehiko Shimada
doaj +1 more source
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
, 2022 A generalized set theory (GST) is like a standard set theory but also can have non-set structured objects that can contain other structured objects including sets. This paper presents Isabelle/HOL support for GSTs, which are treated as type classes that combine features that specify kinds of mathematical objects, e.g., sets, ordinal numbers, functions,
Ciarán Dunne, J. B. Wells
openaire +2 more sources
A Dislocation Perspective on Strength and Toughness in Ceramics
Advanced Engineering Materials, EarlyView.Dislocations in ceramics enjoy a long but yet under‐appreciated history. The three research waves for dislocations in ceramics highlight the topic evolution over the last 90 years. This review focuses on the impact of dislocation on strength and toughness in ceramics.
Xufei Fang
wiley +1 more source
Journal of High Energy PhysicsBy adapting previously known arguments concerning Ricci flow and the c-theorem, we give a direct proof that in a two-dimensional sigma-model with compact target space, scale invariance implies conformal invariance in perturbation theory.
Georgios Papadopoulos, Edward Witten
doaj +1 more source
Laser‐Induced Graphene from Waste Almond Shells
Advanced Functional Materials, EarlyView.Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source
A Van Benthem Characterization Result for Distribution-Free Logics
LogicsThis article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj +1 more source
Advanced Functional Materials, EarlyView.DNA strands are employed both as dynamic linkers and nanoscale templates for the integration of Ag2S nanoparticles on MoS2, which in turn imparted photothermal responsiveness; this feature permits the selective cargo (fluorophore, quantum dots or an enzyme) release from the MoS2 surface in response to local heat induced by light irradiation.
Kai Chen +3 more
wiley +1 more source
A note on the geometry of hypermultiplets in the field theory of intersecting D3-branes
Nuclear Physics BWe study the Kähler geometry of the hypermultiplet moduli space in the effective field theory of two intersecting D3-branes from the viewpoint of the classical RG flow equation governing the running of the Kähler potential defining the theory. We analyze
Reza Abbaspur
doaj +1 more source
Journal of Mathematical Cryptology, 2013 There has been considerable recent interest in “cloud storage” wherein a user asks a server to store a large file. One issue is whether the user can verify that the server is actually storing the file, and typically a challenge-response protocol is ...
Paterson Maura B. +2 more
doaj +1 more source
Slight Truncation Changes in Iron Oxide Nanocubes Strongly Affect Their Magnetic Properties
Advanced Functional Materials, EarlyView.Subtle variations in nanoparticle morphology can lead to significant changes in functional properties. An automated shape‐fitting method captures minor differences in corner truncation between iron oxide nanocubes of similar sizes synthesized under identical conditions, revealing pronounced disparities in their magnetic and hyperthermia behavior ...
Kingsley Poon +7 more
wiley +1 more source