Results 31 to 40 of about 12,728 (301)
Consistent Integration of Formal Methods [PDF]
, 2000 The usability of formal concepts for system design depends essentially on their integration in the design process. We discuss several possible levels of integration: technical integration of tools considering APIs and tool interfaces, conceptual integration of metamodels of description formalisms combined with hard and soft constraints, semantical ...
Peter Braun 0003 +3 more
openaire +1 more source
Surface-integral formalism of deuteron stripping [PDF]
, 2014 The purpose of this paper is to develop an alternative theory of deuteron stripping to resonance states based on the surface-integral formalism of Kadyrov et al. [Ann. Phys. 324, 1516 (2009)] and continuum-discretized coupled channels (CDCC).
Pang, D. Y. +7 more
core +1 more source
Scientific Reports, 2021 We formulate a numerical method on the transmission and radiation theory of three-dimensional conductors starting from the Maxwell equations in the time domain.
Souma Jinno +3 more
doaj +1 more source
General form of effective Lagrangian in path integral quantization formalism [PDF]
, 1979 The general form of the effective lagrangian in path integral formalism is obtained. The effective lagrangian includes the classical lagrangian, the term proportional to delta (0) given by Lee and Yang (see Phys.
Yuan, T N, Tu Tung Sheng, Yin Huang Chun
core +1 more source
European Physical Journal C: Particles and Fields, 2020 Integral equations for meson–baryon scattering amplitudes are obtained by utilizing time-ordered perturbation theory for a manifestly Lorentz-invariant formulation of baryon chiral perturbation theory.
X.-L. Ren +3 more
doaj +1 more source
Formally Verified Approximations of Definite Integrals [PDF]
Journal of Automated Reasoning, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Assia Mahboubi +2 more
openaire +5 more sources
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 0001 +3 more
openaire +2 more sources
Integrating semi-formal and formal requirements
, 1997 In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed.
Wieringa, Roelf J. +2 more
openaire +1 more source
Advances in Condensed Matter Physics, 2018 Inclined threading dislocations (TDs) piercing the oriented free surface of a crystal are currently observed after growth of oriented thin films on substrates.
Salem Neily, Sami Dhouibi, Roland Bonnet
doaj +1 more source
A boundary integral formalism for stochastic ray tracing in billiards [PDF]
, 2014 Determining the flow of rays or non-interacting particles driven by a force or velocity field is fundamental to modelling many physical processes. These include particle flows arising in fluid mechanics and ray flows arising in the geometrical optics ...
David J. Chappell +5 more
core +1 more source