Results 71 to 80 of about 1,842,228 (287)
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
Oxide‐Free Titanium Coatings by Wire Arc Spraying in a Silane‐Doped Inert Atmosphere
Advanced Engineering Materials, EarlyView.A silane‐doped argon atmosphere enables the production of oxide‐free titanium coatings via twin‐wire arc spraying at ambient pressure. This innovative approach eliminates residual oxygen, creating process conditions that prevent oxidation and nitride formation.
Manuel Rodriguez Diaz +4 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
Influence of an Oxygen‐Free Atmosphere on Diamond‐Single‐Grain Scratching of Ti–6Al–4V
Advanced Engineering Materials, EarlyView.Single‐grain scratching of Ti–6Al–4V is investigated under controlled, oxygen‐free, and ambient atmospheres using a novel experimental setup with in situ high‐speed imaging. The approach enables direct observation of chip formation and adhesion under suppressed oxidation.
Berend Denkena +2 more
wiley +1 more source
Brazilian Journal of Political EconomyIrving Fisher offered a ‘tentative’ debt-deflation theory of great depressions rather than a fully consistent theory of his ‘creed’: “I say ‘creed’ because, for brevity, it is purposely expressed dogmatically and without proof.
ANGEL ASENSIO
doaj +1 more source
Security of differential phase shift QKD from relativistic principles [PDF]
QuantumThe design of quantum protocols for secure key generation poses many challenges: On the one hand, they need to be practical concerning experimental realisations.
Martin Sandfuchs +3 more
doaj +1 more source
Toward a General Theory of Standards of Proof
SSRN Electronic Journal, 2010 Which standard of proof is best for a particular type of case? This deceptively simple question has been much discussed, but the current state of understanding is unsatisfactory. Statisticians posed a general answer; philosophers and others launched an assault on that answer; practically oriented scholars draw on both strains unsystematically; and ...
openaire +2 more sources
Advanced Engineering Materials, EarlyView.This paper presents a novel approach to reducing oxide layers on metal powders using low‐temperature hydrogen dielectric barrier discharge plasmas at atmospheric pressure. Unlike conventional hydrogen‐plasma reductions, the powders do not contact the plasma directly.
Shukang Zhang +3 more
wiley +1 more source
Event-triggered consensus control for general second-order multi-agent systems
Systems Science & Control Engineering, 2021 The consensus problem of multi-agent systems with general second-order dynamics is studied. A distributed event-triggering strategy is proposed to reduce the communication frequency of agents and the update frequency of event-triggering controller. Under
Fan Liu, Zhijian Ji
doaj +1 more source