In the mid-1990’s, Intel Corporation decided to use symmetric multiprocessing (SMP) in order to increase the number of instructions that could execute simultaneously by putting more than one processor on a motherboard. This idea increased the overall performance of a system, but it was too expensive for the average user to afford. Intel then looked into the idea of simultaneous multithreading (...

hypercoagulable states are a group of conditions associated with an enhanced tendency toward blood clotting. although usual clinical manifestations of hypercoagulable states are thrombotic events such as deep venous thrombosis, hematoma can also occurs as a result of hypercoagulability in some patients. several inherited or acquired conditions may lead to hypercoagulable states. some of them in...

objectives: it is important to recognize any risk factors for the development of injuries in the athletic population. the aim of this study was to investigate the association between joint hyper mobility and low back pain in iranian hyper mobile and non-hyper mobile athletes. methods: 50 athletic patients with low back pain (age=23.20±12.79 years) and 51 healthy athletes (age=24.28±13.70) from ...

Ab initio Hartree–Fock and MP2 calculations of the longitudinal ~hyper!polarizability—including the static electronic, static zero-point vibrational average ~ZPVA!, and pure vibrational ~static and dynamic! contributions—have been carried out on a set of seven typical medium size conjugated nonlinear optical ~NLO! molecules. The ZPVA is obtained through first-order in mechanical plus electrical...

The most significant recent breakthrough in remote sensing has been the development of hyper spectral sensors and software to analyze the resulting image data. Fifteen years ago only the spectral remote sensing experts had access to hyper spectral images or many software tools to take advantage of such images. Over the past decade hyper spectral image analysis has matured into one of the most p...

Quantized descriptions of nonlinear-optical processes can be relevant from the perspective developing novel nonclassical sources light. As a special case, it is useful to characterize light emitted by classically driven systems, since excitations in many practical cases are laser beams. material model, we choose two-level system. In earlier work, Phys. Rev. A 104, 033703, (2021), investigated p...

Redundancy is a substantial concept when avoiding endless computation in theorem proving methods. In this paper, we are targeting a special class of tableau calculi, namely rigid clausal tableaux. These tableaux are (1) clausal in the sense that they consist solely of literals, and are (2) rigid in the sense that they employ rigid variables. Such calculi are e.g. rigid hyper tableaux [7] and mu...