Results 21 to 30 of about 1,610,238 (288)
Higgs Mass Bounds from Renormalization Flow for a Higgs-top-bottom model [PDF]
, 2014 We study a chiral Yukawa model mimicking the Higgs-top-bottom sector of the standard model. We re-analyze the conventional arguments that relate a lower bound for the Higgs mass with vacuum stability in the light of exact results for the regularized ...
Gies, Holger, Sondenheimer, René
core +2 more sources
Addition Requirements for Rational Functions [PDF]
SIAM Journal on Computing, 1977 A notion of rank or independence for arbitrary sets of rational functions is developed, which bounds from below the number of additions and subtractions required of all straight-line algorithms which compute those functions. This permits a uniform derivation of the best lower bounds known for a number of familiar sets of rational functions.
Kirkpatrick, David G., Kedem, Zvi M.
openaire +1 more source
Initial Conditions for Semiclassical Field Theory [PDF]
, 1997 Semiclassical approximation based on extracting a c-number classical component from quantum field is widely used in the quantum field theory. Semiclassical states are considered then as Gaussian wave packets in the functional Schrodinger representation ...
A. A. Grib +36 more
core +2 more sources
On the Measure in Simplicial Gravity [PDF]
, 1997 Functional measures for lattice quantum gravity should agree with their continuum counterparts in the weak field, low momentum limit. After showing that the standard simplicial measure satisfies the above requirement, we prove that a class of recently ...
Hamber, H. W., Williams, R. M
core +2 more sources
An Evaluation of Quantitative Non-Functional Requirements Assurance Using ArchiMate
IEEE Access, 2020 Goal-oriented NFR (Non-Functional Requirement) assurance approaches were used to qualitatively evaluate software architectures. Assurance cases using quantitative method have not been applied to evaluate NFR assurance for software architectures.
Zhengshu Zhou +3 more
doaj +1 more source
Advances in Electrical and Computer Engineering, 2021 This paper presents the framework for the creation of various domain-specific languages for verification of the functional requirements. When it comes to Requirement Engineering and the process of Validation and Verification of the requirements, there ...
POPIC, S., TESLIC, N., BJELICA, M. Z.
doaj +1 more source
Design of Smart Offshore Wind Farm Integration Monitoring System
南方能源建设, 2019 [Introduction] According to the actual operation of offshore wind farms, this paper has been integrate the monitoring systems of offshore wind, offshore substation, and onshore centralized control center.
YANG Xi, YANG Yuan
doaj +1 more source
Adult Neural Function Requires MeCP2 [PDF]
Science, 2011 An epigenetic program regulated by MeCP2 needs to be maintained throughout life for normal neurological function.
Christopher M, McGraw +2 more
openaire +2 more sources
Non Functional Requirements Identification and Classification Using Transfer Learning Model
IEEE Access, 2023 In this research study, we address the critical task of identifying and classifying non-functional requirements (NFRs) in software development. NFRs, described in the software requirements specification (SRS) document, offer a comprehensive system view ...
Muhammad Amin Khan +4 more
doaj +1 more source
The mathematics of functional differentiation under conservation constraint
, 2006 The mathematics of K-conserving functional differentiation, with K being the integral of some invertible function of the functional variable, is clarified.
N. Clarke, T. Gál, T. Gál, Tamás Gál
core +1 more source