|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | A class of mechanically decidable problems beyond Tarski's model显示文摘By means of dimension-decreasing method and cell-decomposition,a practical algorithm is proposed to decide the positivity of a certain class of symmetric polynomials,the numbers of whose elements are variable.This is a class of mechanically decidable problems beyond Tarski model.To implement the algorithm,a program nprove written in maple is developed which can decide the positivity of these polynomials rapidly. | Lu YANG~(1,2) Yong FENG~(1+) Yong YAO~1 1 Laboratory for Automated Reasoning and Programming,Chengdu Institute of Computer Applications,Chinese Academy of Sciences,Chengdu 610041,China 2 Institute of Theoretical Computing,East China Normal University,Shanghai 200062,China | 2007 | Science China Mathematics2007，50，11： | 3 |
| 2 | Improvement in blood pressure, arterial stiffness and wave reflections with a very-low-dose perindoprilAndapamide combination in hypertensive patient: a comparison with atenolol显示文摘 | Asmar RG Londan GM O Rourke ME REASON Prelect Coordinators and Investigators | 2001 | Hypertension2001，38，11： | 1 |
| 3 | A new medium for the enumera- tion and subculture bacteria from potable water显示文摘 | Reasoner D J Geldreich E E | 1985 | Appl En- viron Microbiol1985，49，1： | 1 |
| 4 | Understanding adverse events:Human factors 显示文摘 | Reason JU | 1995 | Internati J Quali Health Care1995，4，2： | 1 |
| 5 | Accident analysis of large-scale technological disasters applied to an anaesthetic complication显示文摘 | Eagle C J Davies J M Reason J | 1992 | Can J Anaesth1992，39，2： | 1 |
| 6 | Errors and violations on the roads显示文摘 | Reason J T Manstead A S R Stradling S Baxter J & Campbell K | 1990 | Ergonomics1990，33，1011： | 1 |
| 7 | Human error: model and management 显示文摘 | Reason J | 2000 | British Medical Journal2000，320，7232： | 1 |
| 8 | Human error~ Models and management 显示文摘 | i Reason J | 2000 | BMJ2000，320，7237： | 1 |
| 9 | A New Medium for the Enumeration and Subculture of Bacteria from Potable Water显示文摘 | Reasoner D J Geldreich E E | 1985 | Appl Environ Microbiol1985，49，1： | 1 |
| 10 | Achieving a safe culture : Theory and practice 显示文摘 | Reason JT | 1998 | Work and Stress1998，12，3： | 1 |
| 11 | Errors and violations on the roads:a real distinction? 显示文摘 | REASON J MANSTEAD A STRADLING S | 1990 | Ergonomics1990，33，： | 1 |
| 12 | Methods Enzymol显示文摘 | Dell A Reason AJ Khoo KH Panico M McDowell R Morris H Mass spectrmetry of carbohydrate-containing biopolymers | 1994 | a1994，230，： | 1 |
| 13 | Accident analysis of large- scale technological disasters applied to an anaesthetic eomplication显示文摘 | Eagle CJ Davies JM Reason J | 1992 | Can J Anaesth1992，39，2： | 1 |
| 14 | A Systems Approach to Organizational Error显示文摘 | Reason J | 1995 | Ergonomics1995，38，8： | 1 |
| 15 | Motion sickness adaptation:a neural mismatch model显示文摘 | Reason JT | 1978 | J R Soc Med1978，71，11： | 1 |
| 16 | Human Error:Models and Management 显示文摘 | Reason J | 2000 | BMJ2000，320，7237： | 1 |
| 17 | Team errors: Definition and taxonomy 显示文摘 | Sasou K Reason J | 1999 | Reliability Engineering & System Safety1999，65，1： | 1 |
| 18 | August18-19,2001显示文摘 | The ALARA(as low as reasonably achievable)concept in pediatric CT intelligent dose reduction:multidisciplinary conference organized by the Society of Pediatric Radiology | 2002 | Pediatr Radiol2002，32，： | 1 |
| 19 | A system approach to organizational error显示文摘 | Reason J | 1995 | Ergonomics1995，38，8： | 1 |
| 20 | Achieving a safety culture: Theory and practice显示文摘 | Reason J | 1998 | Work Stress1998，12，3： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员