نتایج جستجو برای: tps verification
تعداد نتایج: 77984 فیلتر نتایج به سال:
Modeling of complex systems is commonly confronted with high dimensional set of independent variables. Similarly, econometric models are usually built using time series data that often exhibit nonstationarity due to the impact of some policies and other economic forces. In both cases, linear regression modeling may yield unstable least squares estimates of the regression coeffi cients. Principa...
We report on the integration of Tps as an external reasoning component into the mathematical assistant system mega. Thereby Tps can be used both as an automatic theorem prover for higher order logic as well as interactively employed from within the mega environment. Tps proofs can be directly incorporated into mega on a tactic level enabling their visualization and verbalization. Using an examp...
BACKGROUND Tender points (TPs) and fibromyalgia (FM) may be precipitated by infections, but the frequency, associated characteristics, and predictors of these outcomes are unknown. OBJECTIVES To determine if acute infectious mononucleosis (AIM) is associated with the development of TPs or FM acutely or during the subsequent 6 months; if demographic, clinical, or psychosocial features predict ...
This paper develops an iterative genetic fuzzy logic controller (GFLC) model to adaptively control the transit-preemption signal (TPS) along an arterial with consideration of the traffic flows from all approaches. Two transit-preemption strategies, green extension and red truncation, are incorporated with simultaneous, progressive, and alternative coordinated signal systems. Compared with the s...
The aims of the study were to investigate the effect of poly(ε -caprolactone) (PCL) and nano- SiO2 within the thermoplastic starch (TPS) blends on the rate and extent of starch enzymatic hydrolysis using enzymes α-amylase and amyloglucosidase. The results of this study have revealed that blends with nano-SiO2 content at 6 wt% exhibited a significantly reduced rate and exte...
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
Soybean lecithin transphosphatidylated phosphatidylserine (SB-tPS) is already known to improve the learning ability of aged or drug-induced amnesic rodents. In this study, its effect on normal adult rodents was evaluated using several learning tasks. Firstly, three behavioral tests (open-field, Y-maze, and active avoidance test) were consecutively carried out after the daily oral administration...
The purpose of this study was to evaluate quantitatively the patient-specific 3D dosimetry tool COMPASS with 2D array MatriXX detector for stereotactic volumetric-modulated arc delivery. Twenty-five patients CT images and RT structures from different sites (brain, head & neck, thorax, abdomen, and spine) were taken from CyberKnife Multiplan planning system for this study. All these patients...
This paper reports on the integration of the higher-order theorem proving environment Tps [Andrews et al., 1996] into the mathematical assistant mega [Benzm uller et al., 1997]. Tps can be called from mega either as a black box or as an interactive system. In black box mode, the user has control over the parameters which control proof search inTps; in interactive mode, all features of theTps-s...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید