Filters








487 Hits in 11.6 sec

'Knowing where you've come from': Ruptures and continuities of time and kinship in narratives of adoption reunions

Janet Carsten
2000 Journal of the Royal Anthropological Institute  
As the first person I talked to put it towards the end of her interview, “You’ve got to know where you came from. You’ve got to find the end?  ...  Antze and Lambek argue that who you are is linked to what you remem- ber, to the stories you tell about your past.  ... 
doi:10.1111/1467-9655.00040 fatcat:2manxymvgvbwpfhgyqxxbhvswm

A survey of computability logic [article]

Giorgi Japaridze
2016 arXiv   pre-print
If you've guessed that this is the problem of semideciding p(x), you are right. Machine has a winning strategy in this game if and only if p(x) is semidecidable, i.e., recursively enumerable.  ...  Prefixation Unlike the operators listed in the preceding subsection, the operation of prefixation is not meant to act as a logical operator in the formal language of CoL.  ...  The ( ) rule does not apply either, as there is no in the formula. This Theory CLA6 only differs from CLA5 in that F(x) in Induction is required to be an exponentially bounded formula.  ... 
arXiv:1612.04513v1 fatcat:i64bkywrvbf2bczm5jykqdffvy

History of Interactive Theorem Proving [chapter]

John Harrison, Josef Urban, Freek Wiedijk
2014 Handbook of the History of Logic  
ACKNOWLEDGEMENTS The authors are grateful to Jörg Siekmann for inviting them to prepare this chapter and for his patience in the face of our lengthy delays.  ...  Milner [MacKenzie, 2001] compared using an unverified decision procedure to 'selling your soul to the Devil [. . . ] you get this enormous power [. . . but] you've lost proof in some sense'.  ...  proving tool to prove the correctness of the new proof procedure's implementation and only then include it in the trusted code base. • Certification: organize the algorithm so that it produces not only  ... 
doi:10.1016/b978-0-444-51624-4.50004-6 fatcat:sngnxnl3ivectj5taj3dgsaa7m

Fitting the Forum to the Pernicious Fuss: A Dispute Resolution Design to Address Implicit Bias and 'Isms in the Workplace

Elayne E. Greenberg
2015 Social Science Research Network  
Albert Einstein 3 Introduction: This paper proposes a dispute system design to address workplace discrimination caused by implicit biases so that employees and employers involved in such disputes can secure  ...  to flourish in workplaces with less formal decision-making processes, which increase the likelihood of subjective employment decisions. 89 Economic Toll of Discrimination on BusinessesIt is not only a  ...  said in his remarks, referring to Mr.  ... 
doi:10.2139/ssrn.2636840 fatcat:ixdeejo42jherhgzanwbfl6fau

The YouTube effect: a paradigm shift in how musicians learn, teach and share?.pdf

Neil Garner
2017 Figshare  
The YouTube effect: a paradigm shift in how musicians learn, teach and share?  ...  You know what you should do like you said you should pre plan you should read sure there's going to be nothing but occasionally you've got you've got an intuition that…maybe …are you still going stay clean  ...  Is there anything that you have come across where the technology of YouTube has been subverted? Like it's not meant to be used that way? But you've seen and it works and it's unusual?  ... 
doi:10.6084/m9.figshare.5593246.v1 fatcat:dvtwjca4vfbjpn2nztuukgwju4

Restoring Trust in America's Business Institutions

William W. Bratton, Margaret M. Blair
2003 Social Science Research Network  
He said that no fixed system, no matter how complicated, could represent the complexity of the whole. What he meant was, "Okay.  ...  In our first year we only would conduct what they characterize as limited inspection procedures. What they meant by "limited" is that we were just going to look at the Big 4 accounting firms.  ... 
doi:10.2139/ssrn.784526 fatcat:ubygxrkkanh3fhhkcliwpgcdk4

Lines that Matter: Reading the Charter at the Canada-US Border

Joshua Labove
2017 Social Science Research Network  
And, what role does the Charter serve in that legal space-making?  ...  In Canada, border studies has enjoyed a long history within academic discourse, but the border too often becomes simply a stand in for the US-Canada relationship.  ...  committed to sending me out in the world tested, proven, and confident.  ... 
doi:10.2139/ssrn.3050135 fatcat:2mipy7dx3zhrzm5llarebhuh6y

Technicians in the Workplace: Ethnographic Evidence for Bringing Work into Organizational Studies

Stephen R. Barley
1996 Administrative Science Quarterly  
She could sit down and go through charts and read pathology reports and tell you what they meant. ... She could draw you a picture of the vascular system, but she couldn't find it in the body.  ...  Jones thanked Allen and then said sheepishly, "Can I ask you another question?" "Sure," Allen replied. "How do I throw things out?" by which he meant, delete old mail files.  ... 
doi:10.2307/2393937 fatcat:sjm3hxtmmzawdnatffeiqhcwbu

Lean and leadership practices: development of an initial realist program theory

Donna Goodridge, Gill Westhorp, Thomas Rotter, Roy Dobson, Brenna Bath
2015 BMC Health Services Research  
Methods: In order to address the questions, "What changes in leadership practices are associated with the implementation of Lean?"  ...  Formal theories including Normalization Process Theory, Theories of Double Loop and Organization Leaning and the Theory of Cognitive Dissonance help understand this initial rough program theory.  ...  Blanc Starr in conducting the interviews. Finally, we thank our reviewers, who provided excellent suggestions for this manuscript.  ... 
doi:10.1186/s12913-015-1030-x pmid:26345184 pmcid:PMC4562348 fatcat:5updjbir3bbsbotehcesis3uwu

Happiness for Your Children and Grandchildren

Narciso Rosario
2022 Zenodo  
What would you do with a book that said the same about your pet or plants?  ...  Show them that they can no longer say to us, the builders: 'Produce, and feed us in exchange for our not destroying what you've built.' or more recently 'You didn't build that!'  ...  Could the household afford to get by with only 1 income the way Americans did in the 1950's? How much more voluntary (that is, not forced by government) charity would you engage in?  ... 
doi:10.5281/zenodo.5874767 fatcat:6phwrwxwt5fzln2ai2x3lwfpie

A mitigator in Mandarin: the sentence-final particle ba (吧)

Hongmei Fang, Kees Hengeveld
2020 Open Linguistics  
AbstractIt has been widely claimed in the literature that the sentence-final particle ba in Mandarin Chinese is a modal element.  ...  First, ba, like mitigators in general, but unlike modal elements, can occur in sentences with different basic illocutions.  ...  Then the mother said,) 'gan-mao le ba.' catch a cold PERF MIT 'You've caught a cold. (I told you to be careful, you just didn't listen).'  ... 
doi:10.1515/opli-2020-0018 fatcat:dwrufgwxkjh75azfvl5xdzofum

Ready or not?

Renee A. Moore
2009 New Directions for Community Colleges  
ready or not ready for college.  ...  The data reveal that formal and informal mediators of policy messages influence students' engagement with the policy and affect students' capacity to play an active role in determining the policy's effect  ...  "The Grand Canyon Diploma is not a GED or some sort of high school equivalency test," he said, It is also not just about getting out early.  ... 
doi:10.1002/cc.355 fatcat:mphsl5nx4bewdial6c3l6qkhoy

Educational Standards and the Problem of Error

Noel Wilson
1998 Education Policy Analysis Archives  
This study is about the categorisation of people in educational settings.  ...  The study examines in detail how this trivialisation and obfuscation is accomplished. In particular the notion of validity is examined and is seen to be an advocacy for the examiner, for authority.  ...  Anyway, do some tests and get me a team ranking on best to worst on goal kicking skill. No worries, coach. Goal kicking skills, you said? That's what I said.  ... 
doi:10.14507/epaa.v6n10.1998 fatcat:sjiphi4xmbg7riqblfoljjzllq

Hints and Principles for Computer System Design [article]

Butler Lampson
2021 arXiv   pre-print
This new long version of my 1983 paper suggests the goals you might have for your system -- Simple, Timely, Efficient, Adaptable, Dependable, Yummy (STEADY) -- and techniques for achieving them -- Approximate  ...  You can also use it to keep track of the provenance of your data: what agent with what inputs made each change.  ...  Unfortunately, the only way to be sure that you've done it right is to do step (4), which is usually not worthwhile.  ... 
arXiv:2011.02455v3 fatcat:jolyz5lknjdbpjpxjcrx5rh6fa

Creative Writing as Research III

Sandra Burr, Donna Lee Brien, Jen Webb, Dallas J Baker, Denise Beckton, Shady Cosgrove, Gary Crew, Anthony Eaton, Bronwyn Fredericks, Nigel Krauth, Jarryd Luke, David Musgrave (+8 others)
2014 Text: Journal of the Australian Association of Writing Programs  
The growth page 112 • Francesca Rendle-Short, Took to the sky: drawing as memory as nonfiction page 122 • Various, Collaborative scholarly creative writing: two poems page 137 • Ross Watkins, Bodies in  ...  You have one seriously red eye going on there. Like you've been on the tipple, but only your left half.'  ...  Perhaps too a kind of testing of fate -can you do it again, and again? Not to exist until it is drawn. Drawing: dragen.  ... 
doi:10.52086/001c.27302 fatcat:fq76vfhnfbdgvbohp4efg34wou
« Previous Showing results 1 — 15 out of 487 results