Filters








1,240 Hits in 9.9 sec

Violate my beliefs? Then you're to blame! Belief content as an explanation for causal attribution biases

Fredda Blanchard-Fields, Christopher Hertzog, Michelle Horhota
2012 Psychology and Aging  
Young, middle-aged and older adults indicated their level of agreement to a set of traditional and nontraditional beliefs.  ...  Findings are discussed from the theoretical perspective of a belief-based explanation of social judgment biases.  ...  Acknowledgments This research was supported by National Institute on Aging research grant AG-07607.  ... 
doi:10.1037/a0024423 pmid:21728442 pmcid:PMC3248998 fatcat:tyi5nfsdmbbxritbl524p76wxm

Women's Post-Marital Name Retention and the Communication of Identity

Kara A Laskowski
2010 Names  
This dissertation was motivated by a desire to provide an account of women's post-marital name retention and the communication of identity that is both theoretically grounded and representational of the  ...  However, despite the fact that nearly ten percent of married women choose to retain their name in one form or another, and the widely recognized significance of using the correct form of address, no study  ...  ACKNOWLEDGEMENTS To the members of the committee, for their wisdom and patience, To Dr. Ronald L.  ... 
doi:10.1179/002777310x12682237915025 fatcat:fcr77qvrcrd4vlrotpd5jkspua

The Divorce Process:

James J. Ponzetti, Jr., Rodney M. Cate
1988 Journal of Divorce  
Constructing the Typology of Marital Dissolution  ...  One hundred and seven divorced individuals were interviewed. This interview consisted of three parts.  ...  Post-hoc analysis revealed no differences between the noninitiators and mutual divorces.  ... 
doi:10.1300/j279v11n03_01 fatcat:v46yxapptfeyfk3xsmzlc4tdgu

Something old. Something borrowed. Something new.: Heterosexual cohabitation as marriage resistance? A feminist deconstruction [article]

Vivienne Elizabeth, University Of Canterbury
2010
It considers two interconnecting concerns: the variety of meanings given by heterosexual cohabitees to cohabitation and marriage, and the contextually asserted boundaries of inclusion and exclusion between  ...  This thesis examines heterosexual cohabitation as a contested social arrangement that shapes, and is shaped by, power relations that constitute everyday situations.  ...  conventions of post-marital naming practices: By tracing these shifts in the discursive construction of the self it is possible to reflect on the power relations in existence within any context and to  ... 
doi:10.26021/4311 fatcat:3hhht5va2zeozlfi3xydgfegtm

From scripts to specifications

Alex Groce, Klaus Havelund, Margaret Smith
2010 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10  
Formal specification for post-run analysis of log files, using a domain-specific language, LOGSCOPE, replaced scripted real-time analysis.  ...  Mining the test repository suggested the inadequacy of the scripted approach, and encouraged a partly engineer-driven development.  ...  (ad-hoc construction of very limited logs).  ... 
doi:10.1145/1810295.1810314 dblp:conf/icse/GroceHS10 fatcat:lley5qdgevhp7bsmyfick7c2ju

Formal Analysis of Log Files

Howard Barringer, Alex Groce, Klaus Havelund, Margaret Smith
2010 Journal of Aerospace Computing Information and Communication  
In this sense the work represents an instance of the often sought marriage between theory and practice in formal methods.  ...  The automaton language is inspired by the rule-based language of the RULER runtime verification system.A case study is presented illustrating the use of our LOGSCOPE tool by software test engineers for  ...  Acknowledgments The research described in this paper was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration  ... 
doi:10.2514/1.49356 fatcat:y5gj6s5xnncvdbaepgjndg6aum

Acupuncture therapy for chronic low back pain: protocol of a prospective, multi-center, registry study

Xuqiang Wei, Baoyan Liu, Liyun He, Xingyue Yang, Jincao Zhou, Hong Zhao, Jia Liu
2019 BMC Musculoskeletal Disorders  
We will develop a network-based registry study to evaluate the effectiveness and safety of acupuncture for the treatment of chronic low back pain and explore key factors affecting efficacy in the real  ...  Acupuncture as a complex intervention influenced by many factors, its effectiveness in treating chronic low back pain in the real world is unknown.  ...  Acknowledgments We thank the dissemination and academic support of the Acupuncture Patient Registration Alliance in CAAM.  ... 
doi:10.1186/s12891-019-2894-4 pmid:31656194 pmcid:PMC6815416 fatcat:nxcws4tnvfcb7kpvwx43qaxq6q

An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond [article]

ANGELO FERRANDO
2019
their partner in marriage).  ...  Given three LAIPs τ a 1 , τ a 2 and τ a 3 : τ a 1 ≤τ a 2 ∧ τ a 2 ≤τ a 3 =⇒ τ a 1 ≤τ a 3 Proof. By construction from De nition . Theorem .  ...  Huget, Marc-Philippe and James Odell ( ). "Representing Agent Interaction Protocols with Agent UML". In: Proc. of AAMAS . IEEE Computer Society, pp.  ... 
doi:10.15167/ferrando-angelo_phd2019-03-14 fatcat:hhgejyf4zzaunm4hi2xvif2cfi

Constructive Galois Connections [article]

David Darais, David Van Horn
2018 arXiv   pre-print
This paper presents constructive Galois connections, a variant of Galois connections that is effective both on paper and in proof assistants; is complete with respect to a large subset of classical Galois  ...  To design constructive Galois connections we identify a restricted mode of use of classical ones which is both general and amenable to mechanization in dependently-typed functional programming languages  ...  We thank the anonymous reviewers of ICFP 2016 and JFP, and the first author's thesis committee for their helpful feedback.  ... 
arXiv:1807.08711v1 fatcat:3nezahxcbjelnmxbnwz4pxffdm

The Pennsylvania State University

Philip J. Burlingame, Andrea L. Dowhower
2009 New Directions for Student Services  
Fisher's LSD post-hoc test results showed a statistically significant difference among class types for the knowledge elements, statistical thinking, reasoning, and literacy, but no statistically significant  ...  courses, and requiring completion of a statistics course before a research methods course.  ...  A post-hoc test followed and indicated two significant outcomes.  ... 
doi:10.1002/ss.331 fatcat:krxe3dgaqzegpivk2ntxh3givu

The Organisation of Registration in its Bearing on Vital Statistics

Bernard Mallet
1917 Journal Of The Royal Statistical Society  
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive.  ...  We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org.  ...  This information would enable us to construct tables showing, as is done for most other countries:- (1) Duration of marriages dissolved by death; and (2) Deaths of males at ages by marital condition';  ... 
doi:10.2307/2340693 fatcat:lsigkvbilbcsfjgajdgrs37qda

Navigating the complexities of community monitoring reporting and verification (CMRV)

Benjamin Palmer Fry, EJ Milner-Gulland, Karen Makuch, Economic And Social Research Council (Great Britain)
2015
of CMRV as a local and national institution.  ...  Community Monitoring Reporting and Verification (CMRV) combines these two policy needs to create a concept that delegates the responsibility of ground-level monitoring to local communities.  ...  On the other hand the local approach showed some tendency to prioritise or 'bias' particular dimensions of wellbeing post hoc.  ... 
doi:10.25560/26919 fatcat:evo6skzy5vcr7od4itktpxjhie

A Deep Artificial Neural Network−Based Model for Prediction of Underlying Cause of Death From Death Certificates: Algorithm Development and Validation

Louis Falissard, Claire Morgand, Sylvie Roussel, Claire Imbaud, Walid Ghosn, Karim Bounebache, Grégoire Rey
2020 JMIR Medical Informatics  
A typical example of such an application is demonstrated by recoding French overdose-related deaths from 2000 to 2010.  ...  Coding of underlying causes of death from death certificates is a process that is nowadays undertaken mostly by humans with potential assistance from expert systems, such as the Iris software.  ...  with a manual posting and tabulation process.  ... 
doi:10.2196/17125 pmid:32343252 fatcat:qfaahhlccvhujpo2qost7rqpdy

Identity and Form

Jessica A. Clarke
2014 Social Science Research Network  
are a matter of individual choice.  ...  Recent controversies over identity claims have prompted questions about who should qualify for affirmative action, who counts as family, who is a man or a woman, and who is entitled to the benefits of  ...  Formality also provides convenient evidence of marriage.  ... 
doi:10.2139/ssrn.2418606 fatcat:2nrwjwtxyjg3ve5wsir6pz3ys4

Explicit performatives revisited

Manuel García-Carpintero
2013 Journal of Pragmatics  
I rely on a distinction, made by Bach, between a locutionary and a stative sense of what is said.  ...  The paper defends a version of a traditional account of explicit performatives, according to which they are a kind of self-verifying indirect speech act, from recent arguments by Jary and Pagin.  ...  Something more is indeed needed in addition to the statements for the success of declarations, both in the case of marriages and in the case of promises: a practice such as convention (in the case of marriages  ... 
doi:10.1016/j.pragma.2013.01.005 fatcat:kzampnioird6tma6qfp2dsnjua
« Previous Showing results 1 — 15 out of 1,240 results