Veroff, Robert: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Using hints to increase the effectiveness of an automated reasoning program: Case studies

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 936 KB

english, 1996

2

Double-Negation Elimination in Some Propositional Logics

Michael Beeson, Robert Veroff, Larry Wos

Journal:

Year:

2005

Language:

english

File:

PDF, 259 KB

english, 2005

3

Solving Open Questions and Other Challenge Problems Using Proof Sketches

Journal:

Journal of Automated Reasoning

Year:

2001

Language:

english

File:

PDF, 104 KB

english, 2001

4

Predicting Marital Quality with Narrative Assessments of Marital Experience

Joseph Veroff, Lynne Sutherland, Letha A. Chadiha and Robert M. Ortega

Journal:

Journal of Marriage and Family

Year:

1993

Language:

english

File:

PDF, 2.18 MB

english, 1993

5

Constructive Logic with Strong Negation Is a Substructural Logic. II

Matthew Spinks and Robert Veroff

Journal:

Year:

2008

Language:

english

File:

PDF, 2.39 MB

english, 2008

6

Constructive Logic with Strong Negation Is a Substructural Logic. I

Matthew Spinks and Robert Veroff

Journal:

Year:

2008

Language:

english

File:

PDF, 2.09 MB

english, 2008

7

Negation in Constructive Logic || Double-Negation Elimination in Some Propositional Logics

Michael Beeson, Robert Veroff and Larry Wos

Journal:

Year:

2005

Language:

english

File:

PDF, 4.06 MB

english, 2005

8

Learning and modeling biosignatures from tissue images

Frank Gilfeather, Vikas Hamine, Paul Helman, Julie Hutt, Terry Loring, C. Rick Lyons, Robert Veroff

Journal:

Computers in Biology and Medicine

Year:

2007

Language:

english

File:

PDF, 3.41 MB

english, 2007

9

The linked inference principle, I: The formal treatment

Robert Veroff, Larry Wos

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 3.38 MB

english, 1992

10

Designing deductive databases

Paul Helman, Robert Veroff

Journal:

Journal of Automated Reasoning

Year:

1988

Language:

english

File:

PDF, 1.70 MB

english, 1988

11

Yet another single law for lattices

William McCune, R. Padmanabhan, Robert Veroff

Journal:

Algebra Universalis

Year:

2003

Language:

english

File:

PDF, 130 KB

english, 2003

12

Constructive Logic with Strong Negation is a Substructural Logic. I

Matthew Spinks, Robert Veroff

Journal:

Year:

2008

Language:

english

File:

PDF, 254 KB

english, 2008

13

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

Francesco Paoli, Matthew Spinks, Robert Veroff

Journal:

Logica Universalis

Year:

2008

Language:

english

File:

PDF, 631 KB

english, 2008

14

The application of automated reasoning to formal models of combinatorial optimization

Paul Helman, Robert Veroff

Journal:

Applied Mathematics and Computation

Year:

2001

Language:

english

File:

PDF, 124 KB

english, 2001

15

Finding Shortest Proofs: An Application of Linked Inference Rules

Journal:

Journal of Automated Reasoning

Year:

2001

Language:

english

File:

PDF, 88 KB

english, 2001

16

Short Single Axioms for Boolean Algebra

William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 103 KB

english, 2002

17

Towards more strategic subject selection in Alzheimer's randomized clinical trials: neuropsychological testing to distinguish fast decliners from improvers

Amy Veroff, Tomislav Babic, Vlad Coric, Robert Berman, Howard Feldman

Journal:

Alzheimer's & Dementia

Year:

2011

Language:

english

File:

PDF, 77 KB

english, 2011

18

Verbal fluency tests: Sensitivity to disease or drug effects not affected by simplifying scoring

Amy Veroff, Peter Snyder, Amy Fredrickson, Robert Pietrzak, Joanne Gale, Paul Maruff

Journal:

Alzheimer's & Dementia

Year:

2012

Language:

english

File:

PDF, 51 KB

english, 2012

19

ADAS-Cog central monitoring and intervention with raters: A critical extension and integral component of Alzheimer trials rater training programs

Veroff, Amy E., Perez, Magdalena, Bertzos, Kristina, Brady, Chris, Hazel, James, Watson-Coleman, Olive, Coric, Vlad, Berman, Robert, Feldman, Howard H.

Journal:

Alzheimer's & Dementia

Year:

2010

Language:

english

File:

PDF, 101 KB

english, 2010

20

The relationship between rater experience and performance on certification exercises and study subject ratings in an Alzheimer trial

Perez, Magdalena, Bertzos, Kristina, Brady, Chris, Hazel, James, Watson-Coleman, Olive, Berman, Robert, Coric, Vlad, Feldman, Howard H., Veroff, Amy E.

Journal:

Alzheimer's & Dementia

Year:

2010

Language:

english

File:

PDF, 41 KB

english, 2010

21

A Bayesian Network Classification Methodology for Gene Expression Data

Helman, Paul, Veroff, Robert, Atlas, Susan R., Willman, Cheryl

Journal:

Journal of Computational Biology

Year:

2004

Language:

english

File:

PDF, 218 KB

english, 2004

22

Achievement Motivation and Performance Among Second-Grade Boys and Girls

Schell, Donna Mitchell, Veroff, Joseph, Schell, Robert E.

Journal:

The Journal of Experimental Education

Year:

1967

Language:

english

File:

PDF, 1.18 MB

english, 1967

23

REVIEW AND ANALYSIS OF CROSS-CULTURAL NORMATIVE DATA FOR THE REPEATABLE BATTERY FOR THE ASSESSMENT OF NEUROPSYCHOLOGICAL STATUS (RBANS): IMPLICATIONS FOR MULTI-NATIONAL MCI CLINICAL TRIALS

Kingery, Lisle, Veroff, Amy E., McCue, Robert, Zaragoza, Silvia, Krishna, Vanitha

Journal:

Alzheimer's & Dementia

Year:

2014

Language:

english

File:

PDF, 249 KB

english, 2014

24

Achievement Motivation and Performance among Second-Grade Boys and Girls

Donna Mitchell Schell, Joseph Veroff and Robert E. Schell

Journal:

The Journal of Experimental Education

Year:

1967

Language:

english

File:

PDF, 1.42 MB

english, 1967