Filters








342,603 Hits in 11.8 sec

The Beginning of Model Checking: A Personal Perspective [chapter]

E. Allen Emerson
Lecture Notes in Computer Science  
The need to encompass concurrent programs, the desire to avoid the difficulties with manual deductive proofs, and the small model theorem for temporal logic motivated the development of model checking.  ...  At the time of its introduction in the early 1980's, the prevailing paradigm for verification was a manual one of prooftheoretic reasoning using formal axioms and inference rules oriented towards sequential  ...  The Origin of Model Checking There were several influences in my personal background that facilitated the development of model checking.  ... 
doi:10.1007/978-3-540-69850-0_2 fatcat:yudgezyvhbbuljswq3azrduz3q

Theoretical Foundations for OODB's - a Personal Perspective

Catriel Beeri
1991 IEEE Data Engineering Bulletin  
Finally, the semantics of a program is the set of ground atomic formulas it implies, or equivalently the minimal model in the Herbrand universea generalization of the CWA.  ...  The most common definition of the semantics of a specification is its initial algebra or model.2 Initial models are unique, up to isomorphism, so this definition is indeed abstractit defines the semantics  ...  We are particularly indebted to our colleagues in the language team and the system team. We also especially acknowledge F. Velez who participated in the design of a first version of the model and S.  ... 
dblp:journals/debu/Beeri91 fatcat:3iq2wecakzhd5oqmnvzbruhfpi

Finite-model theory—a personal perspective [chapter]

Ronald Fagin
1990 Lecture Notes in Computer Science  
., Finite-mode1 theory -a personal perspective, Theoretical Computer Science 116 (1993) 3-31. Finite-model theory is a study of the logical properties of finite mathematical structures.  ...  This paper is a very personalized view of finite-model theory, where the author focuses on his own personal history, and results and problems of interest to him, especially those springing from work in  ...  I thank them, along with Miki Ajtai, Kevin Compton, Joe Halpern, Neil Immerman, Russell Impagliazzo, Jim Lynch, and Bob Vaught, for reading a draft of the paper and giving me comments.  ... 
doi:10.1007/3-540-53507-1_67 fatcat:bo7ne5kfbbfzdn2gkaw4fy2vbu

Finite-model theory - a personal perspective

Ronald Fagin
1993 Theoretical Computer Science  
., Finite-mode1 theory -a personal perspective, Theoretical Computer Science 116 (1993) 3-31. Finite-model theory is a study of the logical properties of finite mathematical structures.  ...  This paper is a very personalized view of finite-model theory, where the author focuses on his own personal history, and results and problems of interest to him, especially those springing from work in  ...  I thank them, along with Miki Ajtai, Kevin Compton, Joe Halpern, Neil Immerman, Russell Impagliazzo, Jim Lynch, and Bob Vaught, for reading a draft of the paper and giving me comments.  ... 
doi:10.1016/0304-3975(93)90218-i fatcat:hmpnxjt5bvg37nwy6agiccmlm4

Person-oriented approaches within a multi-level perspective

Jens B Asendorpf
2015 Journal for Person-Oriented Research  
I illustrate application of such models with a three-level model of the intraindividual change of relationship-specific interpersonal conflict during an important life transition.  ...  nevertheless easily model complex within-person relations.  ...  If the population changes within which a person is studied from a variable-oriented perspective, the characteristics of that person very likely change even if the person remains the same from a person-oriented  ... 
doi:10.17505/jpor.2015.06 fatcat:ydoym6rb3vf2tgavaddjmilp4m

Virtual Rheumatology During COVID-19: A Personal Perspective

Jane Dacre
2020 Rheumatology and Therapy  
No funding or sponsorship was received for this study or publication of this article.  ...  From a personal perspective, it allowed me to contribute to my local rheumatology department, where I had worked for several years, whilst on sabbatical as President of the Royal College of Physicians  ...  There has been a reduction in the number of face-to-face clinics, an increase in remote working, a stronger focus on keeping patients safe from infection, and a recognition that the current model of outpatient  ... 
doi:10.1007/s40744-020-00224-5 pmid:32725408 fatcat:d3pfw3rc3ja5fihdo7wrifp6ti

Housing and Personal Wealth in a Global Context [chapter]

John Muellbauer
2008 Personal Wealth from a Global Perspective  
It analyzes how those differences help to create contrasts in the impact on consumption of housing as a component of personal wealth.  ...  Abstract Housing is the single most important component of personal wealth in most countries.  ...  Acknowledgements This paper was prepared for the UNU-WIDER project meeting Personal Assets from a Global Perspective, Helsinki, 4-6 May 2006.  ... 
doi:10.1093/acprof:oso/9780199548880.003.0014 fatcat:cyfbthkyt5dtldp35smg723fly

The changing face of kuru: a personal perspective

J. D. Mathews
2008 Philosophical Transactions of the Royal Society of London. Biological Sciences  
I do not think Burch's paper on kuru was ever published, but the experience left me with a healthy respect for the pitfalls of modelling.  ...  A detailed account of the early years of kuru research, highlighting Carleton Gajdusek's personal history and involvement, will soon be published (Anderson in press) .  ... 
doi:10.1098/rstb.2008.0085 pmid:18672465 pmcid:PMC2581658 fatcat:jz7jdjxu6rfrrka7p24qjgokoe

The road towards imaging a black hole – a personal perspective [article]

Heino Falcke
2022 arXiv   pre-print
This was based on the premise that black holes are inherently simple objects. Here I describe this journey and some lessons learned from a personal perspective.  ...  The images of the supermassive black holes Sgr A* and M87* by the Event Horizon Telescope (EHT) collaboration mark a special milestone in the history of the subject.  ...  A quick check of the size scales showed that the diameter of the event horizon for a Schwarzschild black hole, 2 Rs=4 Rg=4 G M/c 2 , was just ~9 µas (microarcseconds).  ... 
arXiv:2208.00695v1 fatcat:datf4ycr2zhbxmawmpmwnbh3py

The Buddha as a fully functioning person: toward a person-centered perspective on mindfulness

Manu Bazzano
2011 Person-Centered and Experiential Psychotherapies  
, Mick Cooper, Mia Leijssen, Jyoty Nanda, Julia Samuels, Zoe Shobbrook, Mary Swale and the anonymous reviewers at PCEP.  ...  Acknowledgements I would like to thank for their invaluable feedback and suggestions the following friends and colleagues: Stathis Anthopoulos, Meg Barker, Stephen Batchelor, Jocelyn Chaplin, Hugh Clarke  ...  The Buddha as a fully functioning person: toward a person-centered perspective on mindfulness The paper explores links between the person-centered approach (PCA) and meditation.  ... 
doi:10.1080/14779757.2011.576560 fatcat:glawu56srfb3dptf345r3jlp6q

Women's Perspectives of Personal Trainers: A Qualitative Study

Deana Melton, Teresa K Dail, Jeffrey A Katula, Karen M Mustian
2011 The Sport journal  
information about the credentials of personal trainers.  ...  Personal trainers play an integral role in the day-to-day operation of the facilities in which they work.  ...  Acknowledgments We wish to thank all the participants whose time, thoughts, and enthusiasm were invaluable to this study.  ... 
pmid:26005398 pmcid:PMC4439248 fatcat:n5jd5ruixfb7xgvvrgfxkuwbhe

Senior Public Managers' Engagement: A Person–Situation-Interactionist Perspective

Ahmed Mohammed Sayed Mostafa, Rhys Andrews
2017 International Journal of Public Administration  
This paper examines the engagement of senior public managers by developing a personsituation-interactionist perspective.  ...  The paper integrates the literature on social exchange theory and person-organization fit to explore the effects of decision autonomy and shared vision on the engagement of more than 2,000 senior public  ...  The development of a "person-situation-interactionist perspective" on the engagement of senior managers is a particularly valuable empirical and theoretical extension of the existing literature.  ... 
doi:10.1080/01900692.2017.1387141 fatcat:twzleoynazcxrnah33n5etmjrm

What is a Case Manager? The Perspective of Persons with Borderline Personality Disorder

Nadine Nehls
2001 Journal of the American Psychiatric Nurses Association  
By providing descrip- tions and interpretations of the day-to-day experience of having a case manager, the benefits and limi- tations of this service delivery model for persons with borderline personality  ...  Through February 2001 descriptions and interpretations of the day-to-day experience of having a case manager, the potential benefits and limitations of this service delivery model for persons with borderline  ... 
doi:10.1067/mpn.2001.113132 fatcat:4zxh3i4dnzb2lmallzclawrrp4

Assessment and treatment of personality disorders: A behavioral perspective

Rosemery O. Nelson-Gray, Christopher M. Lootens, John T. Mitchell, Christopher D. Robertson, Natalie E. Hundt, Nathan A. Kimbrel
2009 The Behavior Analyst Today  
(b) the use of functional analysis in personality disorder treatment.  ...  We conclude with application of the proposed strategies to the examples of borderline and avoidant personality disorders.  ...  We have suggested that a behavioral perspective views a "personality disorder" as a maladaptive set of covarying response classes.  ... 
doi:10.1037/h0100662 fatcat:ujzcf43m2zdclnumhzikxckvo4

A Personal Perspective on the Evolution of Empirical Software Engineering [chapter]

Victor R. Basili
2013 Perspectives on the Future of Software Engineering  
This paper offers a four-decade overview of the evolution of empirical software engineering from a personal perspective.  ...  It represents what I saw as major milestones in terms of the kind of thinking that affected the nature of the work.  ...  Acknowledgments Most of the work used here as personal examples was developed by many people collaborating as teams at the University of Maryland and its partner organizations.  ... 
doi:10.1007/978-3-642-37395-4_17 dblp:conf/birthday/Basili13 fatcat:dgepqi2oergkfddafn2ppmzrom
« Previous Showing results 1 — 15 out of 342,603 results