A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
The Beginning of Model Checking: A Personal Perspective
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
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
1991
IEEE Data Engineering Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
1990
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
., 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
1993
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
., 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
2015
Journal for Person-Oriented Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Rheumatology and Therapy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Personal Wealth from a Global Perspective
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Philosophical Transactions of the Royal Society of London. Biological Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2011
Person-Centered and Experiential Psychotherapies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
, 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
2011
The Sport journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Public Administration
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2001
Journal of the American Psychiatric Nurses Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2009
The Behavior Analyst Today
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
(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]
2013
Perspectives on the Future of Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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