排序方式: 共有33条查询结果,搜索用时 15 毫秒
1.
Arnon Avron 《Annals of Mathematics and Artificial Intelligence》1993,9(3-4):239-252
We describe how an interactive research with a computer led to a new, simple proof of the classical Mascheroni-Mohr theorem concerning constructions with a compass alone. We then discuss the difficult problem which will face any attempt to attack this theorem using an independent theorem prover. 相似文献
2.
3.
Brady Christopher B.; Spiro Avron III; Gaziano J. Michael 《Canadian Metallurgical Quarterly》2005,19(6):770
The authors examined the influence of age and hypertensive status (normotensive, controlled, untreated, or uncontrolled) on several cognitive tests via multiple regression in 357 nondemented, community-dwelling older men (mean age = 67 years) whose hypertensive status was stable over 3 years and who had no medical comorbidities. Age was negatively associated with performance on all but 1 test. Age interacted with hypertensive status on verbal fluency and word list immediate recall; older uncontrolled hypertensives exhibited significantly larger age decrements on these tests compared with normotensives. These findings suggest that uncontrolled hypertension produces specific cognitive deficits beyond those attributable to age alone. These and previous findings illustrate that health conditions such as hypertension should be regularly considered in studies of "normal" cognitive aging. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
4.
Dr.GioraDishon AvronGer 《电子工业专用设备》2004,33(3):27-28,48
诺威量测为第一家首先提出嵌入式量测解决方案的公司,凭借其在嵌入式量测及先进制程控制所取得的经验,提供在化学机械研磨制程上降低生产成本且可提高产品质量的测量系统。探讨嵌入型量测的观念及原理,封闭式回路控制在芯片生产上已被应用多年。 相似文献
5.
Elliott Weinberg Kenneth Stern Philip Cunningham Robert Kadykowski Edward Wickson Richard Flammer Avron Magram 《乙烯基与添加剂工艺杂志》1980,2(1):23-36
Supply/demand/cost of monomer, PVC resin and of other critical additives; effect of money supply vs cost of construction; which economic indicators have most direct influence on PVC industry; volume consideration for in-housing compounding; filler usage to lower compounding costs; automation in processing and handling; competitive segments within the PVC industry vs profitability vs other materials. 相似文献
6.
Aldwin Carolyn M.; Spiro Avron; Levenson Michael R.; Bossé Raymond 《Canadian Metallurgical Quarterly》1989,4(3):295
Longitudinal changes in self-reported symptoms were investigated using the Cornell Medical Index (CMI) in a sample of 2,041 men. The average man completed 5 CMIs (range?=?2–8) over 17 (range?=?2–25) years. Using a two-stage growth model, we first regressed symptoms against time on study for each man. The average slope of physical symptoms showed a moderate increase over time, but the average slope of psychological symptoms showed little change. Next individual differences in change were examined using age at entry as an explanatory variable. Age accounted for 50% of the variance in physical symptoms at entry and 7% of the variance in slopes, but explained neither baseline level nor change in psychological symptoms. Rather, a U-shaped curve described the relation between age and psychological symptom change. These results, in concert with a developmental perspective, may help reconcile conflicting findings on aging and mental health. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
7.
8.
Spiro Avron; Aldwin Carolyn M.; Ward Kenneth D.; Mroczek Daniel K. 《Canadian Metallurgical Quarterly》1995,14(6):563
Personality predictors of hypertension incidence were studied in 838 community-residing men from the Normative Aging Study. They were followed over a mean of 17 years during which time 38% developed hypertension. Stepwise proportional hazards regression was used to identify scales from the Cattell 16 Personality Factor Questionnaire that predicted hypertension incidence, controlling for biomedical, social, and behavioral risk factors. There was a significant negative relation between the personality trait of emotional stability and the incidence of hypertension, controlling for baseline blood pressure, education, and alcohol consumption. These results support those who argue that personality characteristics predict the development of hypertension. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
9.
Schnurr Paula P.; Lunney Carole A.; Sengupta Anjana; Spiro Avron III 《Canadian Metallurgical Quarterly》2005,73(3):561
In this study, the authors examined the effect of retirement on psychological and physical symptoms in 404 older male veterans who were taking part in an ongoing longitudinal study. Hierarchical linear modeling was used to analyze symptom trajectories from preretirement, peri-retirement, and postretirement periods in veterans with either lifetime full or partial posttraumatic stress disorder (PTSD), trauma exposure only, or no traumatic exposure. As expected, the PTSD group experienced greater increases in psychological and physical symptoms during retirement, relative to the other groups. Retirement due to poor health in the PTSD group did not account for the findings regarding physical symptoms. Results indicate that clinicians should recognize and address the potential for older individuals with PTSD to experience difficulties during retirement. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
10.
One of the most significant drawbacks of classical logic is its being useless in the presence of an inconsistency. Nevertheless, the classical calculus is a very convenient framework to work with. In this work we propose means for drawing conclusions from systems that are based on classical logic, although the information might be inconsistent. The idea is to detect those parts of the knowledge base that cause the inconsistency, and isolate the parts that are recoverable. We do this by temporarily switching into Ginsberg/Fitting multivalued framework of bilattices (which is a common framework for logic programming and nonmonotonic reasoning). Our method is conservative in the sense that it considers the contradictory data as useless and regards all the remaining information unaffected. The resulting logic is nonmonotonic, paraconsistent, and a plausibility logic in the sense of Lehmann. 相似文献