Filters








6,463 Hits in 3.5 sec

Page 565 of Economic Development and Cultural Change Vol. 17, Issue 4 [page]

1969 Economic Development and Cultural Change  
Because tau-b is sensitive to the number of categories used in the predictor variable, some effort was made to standardize the number of categories—this could not always be done, particularly for the retrospective  ...  Mayone Stycos, ‘‘The Potential Role of Turkish Village Opinion Leaders in a Program of Family Planning,” Public Opinion Quarterly (Spring 1965), pp. 120-30. 13 La Palombara, “An Overview of Bureaucracy  ... 

Weyl's predicative classical mathematics as a logic-enriched type theory

Robin Adams, Zhaohui Luo
2010 ACM Transactions on Computational Logic  
We construct a logic-enriched type theory LTTW that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum.  ...  We formalise many results from that book in LTTW, including Weyl's definition of the cardinality of a set and several results from real analysis, using the proof assistant Plastic that implements the logical  ...  Acknowledgements Thanks go to Paul Callaghan for his efforts in extending Plastic, and Peter Aczel for his comments during his visit to Royal Holloway.  ... 
doi:10.1145/1656242.1656246 fatcat:v4a3l5gmjfeb5k76rn4pvpu2ee

Preface to special issue: LINEARITY 2014

SANDRA ALVES, ILIANO CERVESATO
2016 Mathematical Structures in Computer Science  
The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic Conference, which was held as part of the 2014 Vienna Summer of Logic.  ...  This special issue collects selected articles from the Third International Workshop on Linearity (LINEARITY 2014), which was held in Vienna, on July 13th, 2014.  ...  It also shows that the combination of multiplicatives and subexponentials in this logic permits defining the additive operators of linear logic as derived connectives.  ... 
doi:10.1017/s0960129516000359 fatcat:eu3xvw5zfnbw5npacashyykvxy

Page 3189 of Mathematical Reviews Vol. , Issue 98E [page]

1998 Mathematical Reviews  
in tau categories.  ...  “We generalize the notion of a (many-sorted) logic program and of a resolution proof by defining them both over a (not necessarily free) t-category, a category with products enriched with a mech- anism  ... 

Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Matt Kaufmann, J Strother Moore
2013 Electronic Proceedings in Theoretical Computer Science  
Although many enhancements are critical for soundness or robustness, we focus in this paper on those improvements that could benefit users who are aware of them, but that might not be discovered in everyday  ...  We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop.  ...  Acknowledgements We thank members of the ACL2 community whose feedback has led us to continue making improvements to ACL2, including the following, each mentioned for one or more specific items in the  ... 
doi:10.4204/eptcs.114.1 fatcat:3lusluht2vgnpbmgpvbi4h2hru

The categorical equivalence between disjunctive sequent calculi and algebraic L-domains [article]

Longchun Wang, Qingguo Li
2020 arXiv   pre-print
The central tool used here is the notion of logical states, which builds a bridge between disjunctive sequent calculi and algebraic L-domains.  ...  This paper establishes a purely syntactic representation for the category of algebraic L-domains with Scott-continuous functions as morphisms.  ...  Consequently, Tau(P ) is a logical state.  ... 
arXiv:1904.03671v2 fatcat:6ixowcpjwjdd3hoafryuej7xha

Towards Self-verification of HOL Light [chapter]

John Harrison
2006 Lecture Notes in Computer Science  
We would like to formally verify (i) that the abstract HOL logic is indeed correct, and (ii) that the OCaml code does correctly implement this logic.  ...  The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible.  ...  The terms of the logic are those of simply typed lambda calculus, with formulas being terms of boolean type, rather than a separate category.  ... 
doi:10.1007/11814771_17 fatcat:jockipqsnbb7nimumunsbfhwme

The co-discovery of conservation laws and particle families

Oliver Schulte
2008 Studies in history and philosophy of modern physics  
The connection between conservation laws and ontological categories is a major theme in my analysis: While there are infinitely many conservation law theories that are empirically equivalent to the laws  ...  This paper presents an epistemological analysis of the search for new conservation laws in particle physics.  ...  For example, if r = µ − → e − + ν µ + ν e , then in(µ − , r) = 1, and in(p, r) = 0. If r = p + p → p + p + π 0 , then in(p, r) = 2.  ... 
doi:10.1016/j.shpsb.2007.11.003 fatcat:a74orszntjhzteh7ehqj23u3dy

Heterogeneous Development Graphs and Heterogeneous Borrowing [chapter]

Till Mossakowski
2002 Lecture Notes in Computer Science  
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs.  ...  A proof calculus can be obtained either by combining proof calculi for the individual logics, or by representing these in some "universal" logic like higher-order logic in a coherent way and then "borrowing  ...  This leads to a category Log of logics and logic morphisms. As an example, consider the graph of logics and logic morphisms shown in Fig. 2 .  ... 
doi:10.1007/3-540-45931-6_23 fatcat:i6gfn65dfzacrbiuezalt36epu

Amyloid pathology in the progression to mild cognitive impairment

Philip S. Insel, Oskar Hansson, R. Scott Mackin, Michael Weiner, Niklas Mattsson
2018 Neurobiology of Aging  
Preclinical AD subjects showed greater cognitive decline in multiple domains and increased CSF p-tau levels at baseline while Aβ-negative progressors showed increased rates of white matter hyperintensity  ...  + MCI), and compare this with individuals who progress to MCI in the absence of significant amyloid pathology.  ...  The data contained in this manuscript have not been previously published, have not been submitted elsewhere and will not be submitted elsewhere while under consideration at Neurobiology of Aging.  ... 
doi:10.1016/j.neurobiolaging.2017.12.018 pmid:29353101 pmcid:PMC5820200 fatcat:5llrhehoebf4hgcdfh3bqvwabm

Lang-n-Send: Processes That Send Languages

Matteo Cimini
2022 Electronic Proceedings in Theoretical Computer Science  
Processes can define languages in operational semantics, and use them to execute programs. Furthermore, processes can send and receive pieces of operational semantics through channels.  ...  The translation L lp to logic programs is easy, and has been described in [5] .  ...  The translation L lp to logic programs is easy, and has been described in [5] .  ... 
doi:10.4204/eptcs.356.5 fatcat:i2za5asnhfelffcwrfzbl4tjqm

Page 1046 of Psychological Abstracts Vol. 87, Issue 3 [page]

2000 Psychological Abstracts  
8237-8246 tus was divided into 4 categories: widowed married, divorced or separated, and the reference category, married or cohabitant.  ...  By using an ELISA with monoclonal tau antibodies, tau immunoreactivity was detected in approximately 20% of the Ss.  ... 

Formal Construction and Verification of Home Service Robots: A Case Study [chapter]

Moonzoo Kim, Kyo Chul Kang
2005 Lecture Notes in Computer Science  
In this paper, we present our experience of formally constructing and verifying the core of Samsung Home Robot (SHR) with the use of Esterel.  ...  Then, we re-implemented the core part in Esterel and verified SHR to satisfy safety properties regarding stopping behaviors through model checking.  ...  [15] proved that safety properties described in temporal logic could be translated into observer modules in Esterel.  ... 
doi:10.1007/11562948_32 fatcat:jsfxqfr72vhojhcg2zh2wqdoma

Contents EATCS Bulletin number 62, June 1997

1997 Theoretical Computer Science  
Bagnara: Data-Flow Analysis for Constraint Logic-Based Languages 326 G. Delzanno: Logic & Object Oriented Programming in Linear Logic 328 P.  ...  Miculan: Encoding Logical Theories of Programs . . . . . . . . . 339 F. Petrini: Communication Performance of Wormhole Interconnection Networks 342 K.  ... 
doi:10.1016/s0304-3975(97)84331-9 fatcat:ocvmdl444jf55ji6cv2d27bgii

TNFRSF1B Gene Variants and Related Soluble TNFR2 Levels Impact Resilience in Alzheimer's Disease

Jagan A. Pillai, Gurkan Bebek, Maria Khrestian, James Bena, Cornelia C. Bergmann, William S. Bush, James B. Leverenz, Lynn M. Bekris
2021 Frontiers in Aging Neuroscience  
In the replication cohort, a significant interaction between rs976881 and CSF sTNFR2 modulates CSF p-tau.  ...  In the ADNI cohort, a significant interaction between rs976881 and CSF sTNFR2 modulates CSF t-tau and p-tau levels; hippocampal and whole brain volumes; and Digit Span Forwards subtest scores.  ...  ACKNOWLEDGMENTS We thank the patients and families who took part in the replication cohort at Cleveland Clinic Lou Ruvo Center for Brain Health and Megan Griffiths and Dennis Lal for editorial support.  ... 
doi:10.3389/fnagi.2021.638922 pmid:33716716 pmcid:PMC7947258 fatcat:ubio4pkkbvctbjpaknky5geaky
« Previous Showing results 1 — 15 out of 6,463 results