We show that the equivalence theorem approximating one-loop gauge sector diagrams by including only Goldstone bosons in the loop gives a remarkably poor approximation to the amplitude for the decay H → γγ and for the process γγ → HH. At one loop, large logarithms can arise that evade power counting arguments.

We consider the scattering of two Dirichlet zero-branes in M(atrix) theory. Using the formulation of M(atrix) theory in terms of ten-dimensional super Yang-Mills theory dimensionally reduced to (0 + 1)-dimensions, we obtain the effective (velocity dependent) potential describing these particles. At one-loop we obtain the well known result for the leading order of the effective potential Veff ∼ ...

Context. Testing and verification of automotive embedded software is a major challenge. Software production in automotive domain comprises three stages: Developing automotive functions as Simulink models, generating code from the models, and deploying the resulting code on hardware devices. Automotive software artifacts are subject to three rounds of testing corresponding to the three productio...

in the current paper,nanostructured nickel oxide (nio) were synthesized by co-precipitation method using nickel(ii) chloride hexahydrate (nicl2.6h2o) and sodium hydroxide (naoh) as starting material. structural, optical and magnetic properties of nanostructures were characterized by x-ray diffraction (xrd), scanning electron microscopy (sem), atomic force microscope (afm), uv–vis absorption; fo...

Software for autonomous systems is hard to test, given their complex reactions as well as safety-critical behavior. Here simulation-based testing of the control software using a simulation of the environment and the platform of the system supports verification without threat to system and environment. A model-based construction of the simulated environment enables an effective verification by s...

Current model-based development processes offer new opportunities for verification automation, e.g., in automotive development. The duty of functional verification is the detection of design flaws. Current functional verification approaches exhibit a major gap between requirement definition and formal property definition, especially when analog signals are involved. Besides lack of methodical s...

Because of the oscillatory pattern of upper airway resistance and breathing during sleep in patients with obstructive sleep apnea (OSA), we hypothesized that OSA patients have an underlying instability of ventilatory drive to inspiratory muscles. To assess the stability of ventilatory drive in OSA patients and controls, we used the pseudorandom binary stimulation (PRBS) test and examined the cl...