Results 61 to 70 of about 228,440 (334)

Integrated Formal Methods

, 2016
The design and analysis of computing systems presents a significant challenge: systems need to be understood at many different levels of abstraction, and examined from many different perspectives. Formal methods—languages, tools, and techniques with a sound, mathematical basisandemdash;can be used to develop a thorough understanding, and to support ...
  +6 more sources

Dirac particle in the presence of plane wave and constant magnetic fields: Path integral approach

, 2005
The Green function (GF) related to the problem of a Dirac particle interacting with a plane wave and constant magnetic fields is calculated in the framework of path integral via Alexandrou et al. formalism according to the so-called global projection. As
Alexandrou, Barut, Bentag, Berezin, Boudiaf, Boudiaf, Bourouaine, Brink, Cruz, Duru, Gitman, Gitman, Martin, Ravndal, S. Bourouaine, Vecchia, Zeggari, Zeggari   +17 more
core   +1 more source

Path integral evaluation of Dbrane amplitudes [PDF]

, 1999
We extend Polchinski's evaluation of the measure for the one-loop closed string path integral to open string tree amplitudes with boundaries and crosscaps embedded in Dbranes.
A. Cohen, A. Cohen, A.M. Polyakov, C. Lovelace, D. Fairlie, E. D’Hoker, E. Witten, G. Frye, J. Dai, J. Polchinski, J. Polchinski, J. Polchinski, J. Polchinski, L. Bers, S. Chaudhuri, Shyamoli Chaudhuri, V. Alessandrini, V. Alessandrini   +17 more
core   +2 more sources

Single Solid‐State Ion Channels as Potentiometric Nanosensors

Advanced Functional Materials, EarlyView.
Single gold nanopores functionalized with mixed self‐assembled monolayers act as solid‐state ion channels for direct, selective potentiometric sensing of inorganic ions (Ag⁺). The design overcomes key miniaturization barriers of conventional ion‐selective electrodes by combining low resistivity with suppressed loss of active components, enabling robust
Gergely T. Solymosi, Gyula Jágerszki, Levente Illés, Péter Fürjes, Róbert E. Gyurcsányi   +4 more
wiley   +1 more source

Surfaceology for colored Yukawa theory

Journal of High Energy Physics
Arkani-Hamed and collaborators have recently shown that scattering amplitudes for colored theories can be expressed as integrals over combinatorial objects simply constructed from surfaces decorated by kinematic data.
Shounak De, Andrzej Pokraka, Marcos Skowronek, Marcus Spradlin, Anastasia Volovich   +4 more
doaj   +1 more source

Formal foundations for responsible application integration

Information Systems, 2021
Enterprise Application Integration (EAI) constitutes the cornerstone in enterprise IT landscapes that are characterized by heterogeneity and distribution. Starting from established Enterprise Integration Patterns (EIPs) such as Content-based Router and Aggregator, EIP compositions are built to describe, implement, and execute integration scenarios. The
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin   +3 more
openaire   +2 more sources

Lithium Intercalation in the Anisotropic Van Der Waals Semiconductor CrSBr

Advanced Functional Materials, EarlyView.
We report the lithium intercalation in the layered van der Waals crystal CrSBr, revealing strongly anisotropic ion‐migration dynamics. Optical and electrical characterization of exfoliated CrSBr shows lithium diffusion coefficients that differ by more than an order of magnitude along a‐ and b‐directions, consistent with molecular dynamics simulations ...
Kseniia Mosina, Aljoscha Söll, Jiří Šturala, Martin Veselý, Petr Levinsky, Ondřej Kaman, Florian Dirnberger, Giuliana Materzanini, Nicola Marzari, Gian‐Marco Rignanese, Borna Radatović, Vlastimil Mazánek, David Sedmidubský, Zdeněk Sofer   +13 more
wiley   +1 more source

Quantization of Free Scalar Fields in the Presence of Natural Cutoffs

Advances in High Energy Physics, 2012
We construct a quantum theory of free scalar fields in (1+1)-dimensions based on the deformed Heisenberg algebra x^,p^=iħ1-βp+2β2p2, that admits the existence of both a minimal measurable length and a maximal momentum, where β is a deformation parameter.
K. Nozari, F. Moafi, F. Rezaee Balef
doaj   +1 more source

Path Integral Quantization and Riemannian-Symplectic Manifolds

, 1998
We develop a mathematically well-defined path integral formalism for general symplectic manifolds. We argue that in order to make a path integral quantization covariant under general coordinate transformations on the phase space and involve a genuine ...
Batalin, Faddeev, Fradkin, John R. Klauder, Klauder, Klauder, Klauder, Klauder, Prokhorov, Sergei V. Shabanov   +9 more
core   +2 more sources

Chiral SURMOFs for Vibrational Circular Dichroism: Multiscale Modeling and Experimental Insights

Advanced Functional Materials, EarlyView.
The use of solid‐state vibrational circular dichroism (VCD) for MOFs is still somewhat unexplored, and in this work, it is shown that chiral surface‐anchored MOFs (SURMOFs) grown on CaF2 provide an excellent platform for VCD. Experimental results are validated through multiscale modeling, showing strong agreement across multiple spectroscopic ...
Ana C. Fingolo, Nadine von Coelln, Benedikt Zerulla, Marjan Krstić, Christian Huck, Thomas G. Mayerhöfer, Christoph Krafft, Petra Tegeder, Carsten Rockstuhl, Christof Wöll   +9 more
wiley   +1 more source