abduction [661]. abort [422]. abort-aware [422]. ABS [455]. Abstract [435, 620, 132, 419, 481, 425, 131, 122, 551]. Abstraction [597, 182, 489, 621, 323, 382, 123, 429, 359, 205, 326, 234, 407, 385, 325, 510, 40, 426]. abstraction-based [326, 325]. Abstraction-guided [489]. abstraction-refinement [407]. abstraction/refinement [359]. abstractions [406, 217, 618, 664, 321]. ABZ [642]. acceleratio...

We present a sufficient condition for robust permanence of ecological (or Kolmogorov) differential equations based on average Liapunov functions. Via the minimax theorem we rederive Schreiber’s sufficient condition [S. Schreiber, J. Differential Equations, 162 (2000), pp. 400–426] in terms of Liapunov exponents and give various generalizations. Then we study robustness of permanence criteria ag...

Canadian Medical Association Journal – 1958 March 15; 78(6): 426–427. Hypnosis for Tinnitus J. Guild. This work was done during the tenure of a grant by King's College Hospital, London, England, for psychosomatic research. A case of tinnitus occurring in association with otosclerosis is presented because of its severity persistence, threatened disorganisation of life for patient and family,and ...

Given a convexbodyK ⊂ Rd ,what is the probability that a randomly chosen congruent copy, K∗, of K is lattice-point free, that is, K∗ ∩Zd = ∅? Here Zd is the usual lattice of integer points inRd . Luckily, the underlying probability is well defined since integer translations ofK can be factored out. The question came up in connection with integer programming.We explain what the answer is for con...

Under 5 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 429 5.5 5 to 9 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 492 6.4 10 to 14 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 453 5.9 15 to 19 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426 5.5 20 to 24 years . . . . . . . . . . . . . . . . . . . . ....

Virginia Cooperative Extension programs and employment are open to all, regardless of race, color, national origin, sex, religion, age, disability, political beliefs, sexual orientation, or marital or family status. An equal opportunity/affirmative action employer. Issued in furtherance of Cooperative Extension work, Virginia Polytechnic Institute and State University, Virginia State University...

Virginia Cooperative Extension programs and employment are open to all, regardless of race, color, national origin, sex, religion, age, disability, political beliefs, sexual orientation, or marital or family status. An equal opportunity/affirmative action employer. Issued in furtherance of Cooperative Extension work, Virginia Polytechnic Institute and State University, Virginia State University...

Volume 233, Issue 1 pp. 1-292 (16 February 2014) Volume 232, Issue 3 pp. 427-706 (1 February 2014) Volume 232, Issue 2 pp. 241-426 (16 January 2014) Volume 232, Issue 1 pp. 1-240 (1 January 2014) Volume 231, Issue 3 pp. 513-790 (16 December 2013) Volume 231, Issue 2 pp. 245-512 (1 December 2013) Volume 231, Issue 1 pp. 1-244 (16 November 2013) Volumes 221 230 (2012 2013) Volumes 211 220 | | | O...

ISSN: 0162-1459 (Print) 1537-274X (Online) Journal homepage: http://www.tandfonline.com/loi/uasa20 A Note on the Influence of the Sample on the Posterior Distribution Ward Whitt To cite this article: Ward Whitt (1979) A Note on the Influence of the Sample on the Posterior Distribution, Journal of the American Statistical Association, 74:366a, 424-426, DOI: 10.1080/01621459.1979.10482530 To link...

R. Gore, A. Leitsch, T. Nipkow, eds. International Joint Conference on Automated Reasoning (IJCAR 2001), LNAI 2083, pp. 421–426, c ©Springer Verlag, 2001. Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expressive constructive logics. This paper gives a brief overview o...