{ "total": 18, "nextPageURI": "https://api.istex.fr/document/?q=(title:(houdini))&size=10&output=*&facet=corpusName[*]&defaultOperator=OR&from=10", "firstPageURI": "https://api.istex.fr/document/?q=(title:(houdini))&size=10&output=*&facet=corpusName[*]&defaultOperator=OR&from=0", "lastPageURI": "https://api.istex.fr/document/?q=(title:(houdini))&size=10&output=*&facet=corpusName[*]&defaultOperator=OR&from=8", "hits": [ { "corpusName": "elsevier", "keywords": { "teeft": [ "hemidiaphragm", "clinical decision", "arrhythmia", "fluoroscopic", "right hemidiaphragm", "pseudostenosis", "ablation", "jacc", "jacc march", "houdini pulmonary vein poster contribution poster hall", "hall monday", "session title", "electrophysiology", "electrophysiology abstract category", "presentation number", "korosh", "sharain", "korosh sharain", "vaibhav", "vaidya", "vaibhav vaidya", "suraj", "kapa", "suraj kapa", "mayo clinic", "atrial", "fibrillation", "atrial fibrillation", "thromboembolism", "tamponade", "stenosis", "pulmonary vein stenosis", "acute lung injury", "phrenic", "phrenic nerve injury", "obese", "obese female", "radiofrequency", "postprandially", "right inferior pulmonary vein", "basal", "right lower lobe basal segment", "paradoxical motion", "pulmonary vein pseudostenosis secondary", "spirometry", "incentive spirometry", "symptomatic relief", "figure conclusion", "rare complication", "ipsilateral", "ipsilateral hemidiaphragm", "atelectasis", "pulmonary vein" ] }, "author": [ { "name": "Korosh Sharain", "affiliations": [ "Mayo Clinic, Rochester, MN, USAMayo ClinicRochesterMNUSA" ] }, { "name": "Martin van Zyl", "affiliations": [ "Mayo Clinic, Rochester, MN, USAMayo ClinicRochesterMNUSA" ] }, { "name": "Vaibhav Vaidya", "affiliations": [ "Mayo Clinic, Rochester, MN, USAMayo ClinicRochesterMNUSA" ] }, { "name": "Suraj Kapa", "affiliations": [ "Mayo Clinic, Rochester, MN, USAMayo ClinicRochesterMNUSA" ] } ], "articleId": [ "33113" ], "accessCondition": { "contentType": "isNotOpenAccess", "value": "closed" }, "arkIstex": "ark:/67375/6H6-XTR6BXR1-1", "language": [ "eng" ], "originalGenre": [ "Abstract" ], "qualityIndicators": { "hasStructuredBody": true, "teiSource": "pub2tei", "xmlStats": { "paragraphCount": 5, "sectionCount": 5, "sectionLevels": [ { "level": 0, "sectionCount": 1 }, { "level": 1, "sectionCount": 4 } ], "sectionDepth": 2, "imageCount": 1, "tableCount": 0, "refCount": 0 }, "tdmReady": true, "score": 2.334, "pdfWordCount": 284, "pdfCharCount": 1677, "pdfVersion": 1.7, "pdfPageCount": 1, "pdfPageSize": "576 x 774 pts", "pdfWordsPerPage": 284, "pdfText": true, "refBibsNative": false, "abstractWordCount": 0, "abstractCharCount": 0, "keywordCount": 0 }, "title": "HOUDINI PULMONARY VEIN", "hasFormula": false, "pii": [ "S0735-1097(18)33113-9" ], "genre": [ "abstract" ], "host": { "title": "Journal of the American College of Cardiology", "language": [ "unknown" ], "publicationDate": "2018", "issn": [ "0735-1097" ], "pii": [ "S0735-1097(18)X0002-3" ], "volume": "71", "issue": "11", "pages": { "first": "A2572" }, "genre": [ "journal" ] }, "ark": [ "ark:/67375/6H6-XTR6BXR1-1" ], "categories": { "wos": [ "1 - science", "2 - cardiac & cardiovascular systems" ], "scienceMetrix": [ "1 - health sciences", "2 - clinical medicine", "3 - cardiovascular system & hematology" ], "scopus": [ "1 - Health Sciences", "2 - Medicine", "3 - Cardiology and Cardiovascular Medicine" ] }, "publicationDate": "2018", "copyrightDate": "2018", "enrichments": { "multicat": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/B6D927B71A89DA1EAEBE923939CE6F8CDAF41188/enrichments/multicat" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/B6D927B71A89DA1EAEBE923939CE6F8CDAF41188/enrichments/teeft" } ] }, "doi": [ "10.1016/S0735-1097(18)33113-9" ], "id": "B6D927B71A89DA1EAEBE923939CE6F8CDAF41188", "score": 17.390297, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/fulltext.pdf" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/fulltext.txt" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/fulltext.tei" }, { "extension": "cleaned", "original": false, "mimetype": "text/cleaned", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/fulltext.cleaned" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/record.json" } ], "annexes": [ { "extension": "jpeg", "original": true, "mimetype": "image/jpeg", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/annexes.jpeg" }, { "extension": "smi", "original": true, "mimetype": "application/smil+xml", "uri": "https://api.istex.fr/ark:/67375/6H6-XTR6BXR1-1/annexes.smi" } ], "serie": {} }, { "corpusName": "oup", "keywords": { "teeft": [ "houdini", "interactive", "outagamie", "outagamie county historical society", "louagie", "internet", "kimberly louagie", "exhibition review", "permanent exhibition", "matthew carpenter", "historical icon", "museum exhibition", "american history december", "sideshow attraction", "executive director", "museum employee", "imagination art", "metamorphosis", "appleton", "sideshow", "video" ] }, "author": [ { "name": "John Baumann", "affiliations": [ "University of Wisconsin, Oshkosh, Wisconsin" ] } ], "accessCondition": { "contentType": "isNotOpenAccess", "value": "closed" }, "arkIstex": "ark:/67375/HXZ-C61J7X2S-Z", "language": [ "eng" ], "originalGenre": [ "product-review" ], "qualityIndicators": { "hasStructuredBody": true, "teiSource": "pub2tei", "xmlStats": { "paragraphCount": 16, "sectionCount": 1, "sectionLevels": [ { "level": 0, "sectionCount": 1 } ], "sectionDepth": 1, "imageCount": 0, "tableCount": 0, "refCount": 0 }, "tdmReady": true, "score": 2.878, "pdfWordCount": 2161, "pdfCharCount": 11962, "pdfVersion": 1.4, "pdfPageCount": 4, "pdfPageSize": "468 x 720 pts", "pdfWordsPerPage": 540, "pdfText": true, "refBibsNative": false, "abstractWordCount": 0, "abstractCharCount": 0, "keywordCount": 0 }, "title": "A.K.A. Houdini", "hasFormula": false, "refBibs": [], "genre": [ "other" ], "host": { "title": "The Journal of American History", "language": [ "unknown" ], "issn": [ "0021-8723" ], "eissn": [ "1945-2314" ], "publisherId": [ "jahist" ], "volume": "92", "issue": "3", "pages": { "first": "931", "last": "934" }, "genre": [ "journal" ] }, "ark": [ "ark:/67375/HXZ-C61J7X2S-Z" ], "categories": { "wos": [ "1 - arts and humanities", "2 - history" ], "scienceMetrix": [ "1 - arts & humanities", "2 - historical studies", "3 - history" ], "scopus": [ "1 - Social Sciences", "2 - Arts and Humanities", "3 - History and Philosophy of Science", "1 - Social Sciences", "2 - Arts and Humanities", "3 - History" ] }, "publicationDate": "2005", "copyrightDate": "2005", "enrichments": { "multicat": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/FF033562CDF676009EA5FA38007599D1A3BF101C/enrichments/multicat" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/FF033562CDF676009EA5FA38007599D1A3BF101C/enrichments/teeft" } ] }, "doi": [ "10.2307/3659978" ], "id": "FF033562CDF676009EA5FA38007599D1A3BF101C", "score": 17.351051, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/HXZ-C61J7X2S-Z/fulltext.pdf" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/HXZ-C61J7X2S-Z/fulltext.txt" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/HXZ-C61J7X2S-Z/fulltext.tei" }, { "extension": "cleaned", "original": false, "mimetype": "text/cleaned", "uri": "https://api.istex.fr/ark:/67375/HXZ-C61J7X2S-Z/fulltext.cleaned" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/HXZ-C61J7X2S-Z/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/HXZ-C61J7X2S-Z/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/HXZ-C61J7X2S-Z/record.json" } ], "annexes": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/HXZ-C61J7X2S-Z/annexes.pdf" } ], "serie": {} }, { "corpusName": "springer-journals", "keywords": { "teeft": [ "houdini", "ethnomethodology", "garfinkel", "ethnomethodologists", "laurier", "straitjacket", "brick wall", "routledge", "abram", "spiritualist", "ethnomethodological", "ordinary member", "ordinary life", "magic trick", "blaine", "human study", "social order", "eric laurier", "everyday life", "same time", "routledge kegan paul", "magician", "other customer", "social action", "dirty joke", "trick work", "cambridge university press", "trick", "eric laurier figure", "police officer", "social interaction", "table selection", "routine ground", "everyday activity", "impossible feat", "ethnomethodological study", "ordinary action", "spectacular stunt", "human accomplishment", "free time", "chinese water torture cell", "good magic", "other magician", "same trick", "eric laurier houdini", "practical action", "commonplace action", "magical trick", "common sense", "epistemic practice", "inverting lens", "human practice", "ordinary language", "social theory", "kind permission", "state university", "york press", "knorr cetina", "contemporary theory", "conversational interaction", "academic press", "eric" ] }, "author": [ { "name": "ERIC LAURIER", "affiliations": [ "Department of Geography, University of Glasgow, G12 6QQ, Glasgow, UK", "E-mail: elaurier@geog.gla.ac.uk" ] } ], "articleId": [ "3341", "PIPS5383341" ], "accessCondition": { "contentType": "isOpenAccess", "value": "greenOpenAccess" }, "arkIstex": "ark:/67375/VQC-0WDFB5SX-6", "language": [ "eng" ], "originalGenre": [ "OriginalPaper" ], "abstract": "Abstract: This essay is about Houdini’s escapes and ethnomethodology’s studies.1 By accomplishing what appears to be impossible, Houdini leaves his audience considering not only how did he manage to do that, but also just what is it that we consider to be possible. Magicians and escapologists warn us off an interest in the mechanics of their tricks that might spoil the thrill of what they dramatically present to us: a sense of the limits to whatwe can apprehend as an audience. While marking out the differences in their projects, this essay brings out the sharedurge of escapologists and ethnomethodologists to question our senses, openmembers to particular phenomena, and awaken us tothe wonder of the world.In reflecting on what happens when magicians reveal the devices that constitute their tricks, I ask whether the purpose of studying methodologies canonlyreside in revealing how they are practically produced as intelligibleactions. What more might ethnomethodology’s invitation be?", "qualityIndicators": { "hasStructuredBody": false, "teiSource": "pub2tei", "xmlStats": { "paragraphCount": 1, "sectionCount": 1, "sectionLevels": [ { "sectionCount": 1, "level": 0 } ], "sectionDepth": 1, "imageCount": 0, "tableCount": 0, "refCount": 0 }, "tdmReady": false, "score": 7.491, "pdfWordCount": 11251, "pdfCharCount": 56453, "pdfVersion": 1.4, "pdfPageCount": 23, "pdfPageSize": "612 x 1008 pts", "pdfWordsPerPage": 489, "pdfText": true, "refBibsNative": false, "abstractWordCount": 152, "abstractCharCount": 994, "keywordCount": 0 }, "title": "The Spectacular Showing: Houdini and the Wonder of Ethnomethodology", "hasFormula": false, "refBibs": [ { "host": { "title": "ESRC grant", "publicationDate": "239797" }, "title": "This article arises out of conceptual material related to the research project \"Cappuccino Community: Cafes and Civic Life in the Contemporary City" }, { "host": { "title": "Reflections, sharpenings and clarifications came from Stanley Raffel. Two books on Houdini from Kathryn Boddy" }, "title": "and the two anonymous referees. Lenore Langsdorf for style assistance" }, { "host": { "title": "Accompanying photo by kind permission of Bob King" } }, { "host": { "title": "Accompanying photo by kind permission of Walt Donohue" } }, { "host": { "title": "Square brackets are used by phenomenologists and Garfinkel as a rendering device for the field properties of a phenomenon" } }, { "host": { "author": [ { "name": "F A" } ], "title": "Mesmer's experiments in animal magnetism were the source for this word, indicating a hypnotic state of fascination" } }, { "host": { "title": "There are interesting overlaps with the work of ethnomethodologists and Judith Butler (1993) in their unusual approach to gender as a performance. In both cases, those outside of straightforward male/female binaries are used to trouble what sexual identity is" } }, { "host": { "pages": { "first": "234" }, "author": [ { "name": "Garfinkel" } ], "title": "who would see gender as theatrical for \"normally sexed persons\" by showing that it only becomes theatrical and deeply troublesome for those who having been originally sexed as the other try passing as male or female. Butler has more critical ambitions toward mainstream identity politics in feminist and queer theory in reminding theorists that their discourse also require performing. Gender, for Butler", "publicationDate": "1993" } }, { "host": { "author": [ { "name": "Bogen Lynch" } ], "title": "have carried out an exemplary study of situating the spectacle in the courtroom during the Iran-Contra trial and its relation to the historical record, truthfinding and more", "publicationDate": "1996" } }, { "host": { "title": "Incidentally pulling hats down over the eyes of pedestrians during a robbery is a trick mention by Houdini ... (1953) in \"The Right Way to Do Wrong" } }, { "host": { "title": "A hugely popular US TV comedy show from the late 90s based on the principle of its characters doing nothing and obsessing on nothing much, or perhaps more accurately dwelling at great length on the obvious" } }, { "host": { "author": [ { "name": "D Abram" } ], "title": "The Spell of the Sensuous", "publicationDate": "1997" } }, { "host": { "pages": { "last": "8", "first": "1" }, "author": [ { "name": "D Abram" }, { "name": "S London" } ], "title": "The Ecology of Magic: An Interview with David Abram", "publicationDate": "1999" } }, { "host": { "author": [ { "name": "G C F Bearn" } ], "title": "Waking to Wonder, Wittgenstein's Existential Investigations", "publicationDate": "1997" } }, { "host": { "author": [ { "name": "D Blaine" } ], "publisher": "Channel 4 Books", "title": "Mysterious Stranger", "publicationDate": "2002" } }, { "host": { "author": [ { "name": "A Blum" }, { "name": "P Mchugh" } ], "publisher": "Humanities Press", "title": "Self-Reflection in the Arts and Sciences", "publicationDate": "1984" } }, { "host": { "author": [ { "name": "D Boden" } ], "publisher": "Polity Press", "title": "The Business of Talk", "publicationDate": "1994" } }, { "author": [ { "name": "D Bogen" } ], "host": { "volume": "19", "pages": { "last": "77", "first": "47" }, "title": "Journal for the Theory of Social Behaviour", "publicationDate": "1989" }, "title": "A Reappraisal of Habermas's The Theory of Communicative Action in Light of Detailed Investigations of Social Praxis" }, { "host": { "author": [ { "name": "D Bogen" } ], "title": "Order Without Rules: Critical Theory and the Logic of Conversation", "publicationDate": "1999" } }, { "host": { "author": [ { "name": "J Butler" } ], "publicationDate": "1993" } }, { "author": [ { "name": "B Colin" } ], "host": { "pages": { "last": "3", "first": "2" }, "title": "The Scotsman, 30th October", "publicationDate": "2002" }, "title": "Blaine Culture" }, { "host": { "author": [ { "name": "J Coulter" } ], "publisher": "Macmillan", "title": "The Social Construction of Mind: Studies in Ethnomethodology and Linguistic Philosophy", "publicationDate": "1979" } }, { "author": [ { "name": "J Coulter" } ], "host": { "editor": "T. R. Schatzki, K. Knorr Cetina and E. Von Savigny", "publisher": "Routledge", "title": "The Practice Turn in Contemporary Theory", "publicationDate": "2001" }, "title": "Human Practices and the Observability of the \"Macro-social" }, { "author": [ { "name": "A Crabtree" }, { "name": "D M Nichols" }, { "name": "J O'brien" }, { "name": "M Rouncefield" }, { "name": "M B Twidale" } ], "host": { "volume": "51", "pages": { "last": "682", "first": "666" }, "title": "Journal of the American Society for Information Science", "publicationDate": "2000" }, "title": "Ethnomethodologically Informed Ethnography and Information System Design" }, { "host": { "author": [ { "name": "E Feber" } ], "title": "Houdini Is Made of Locks and Bolts", "publicationDate": "1904" } }, { "host": { "editor": "O. J. Harvey", "author": [ { "name": "H Garfinkel" } ], "publisher": "Ronald Press", "title": "A Conception of and Experiments with Trust as a Condition of Stable, Concerted Actions", "publicationDate": "1963" } }, { "author": [ { "name": "H Garfinkel" } ], "host": { "volume": "11", "pages": { "last": "33", "first": "1" }, "title": "Social Problems", "publicationDate": "1964" }, "title": "Studies of the Routine Grounds of Everyday Activities" }, { "author": [ { "name": "H Garfinkel" } ], "host": { "publisher": "Prentice-Hall", "title": "Studies in Ethnomethodology. Englewood Cliffs", "publicationDate": "1967" } }, { "host": { "author": [ { "name": "H Garfinkel" } ], "publisher": "Rowman & Littlefield Publishers", "title": "Ethnomethodology's Program:Working out Durkheim's Aphorism", "publicationDate": "2002" } }, { "author": [ { "name": "H Garfinkel" }, { "name": "H Sacks" } ], "host": { "editor": "Routledge and Keegan Paul", "title": "Ethnomethodological Studies of Work", "publicationDate": "1986" }, "title": "On Formal Structures of Practical Actions" }, { "author": [ { "name": "H Garfinkel" }, { "name": "M Lynch" }, { "name": "E Livingstone" } ], "host": { "volume": "11", "pages": { "last": "158", "first": "131" }, "title": "Philosophy of the Social Sciences", "publicationDate": "1981" }, "title": "The work of a discovering science construed with materials from the optically discovered pulsar" }, { "author": [ { "name": "H Garfinkel" }, { "name": "D L Wieder" } ], "host": { "editor": "G. Watson and R. M. Seiler", "publisher": "Sage", "title": "Text in Context: Contributions to Ethnomethodology", "publicationDate": "1992" }, "title": "Two Incommensurable, Asymmetrically Alternate Technologies of Social Analysis" }, { "host": { "editor": "W. B. Gibson", "author": [ { "name": "W B Gibson" } ], "publisher": "Dover Publications", "title": "Houdini on Magic", "publicationDate": "1953" } }, { "host": { "author": [ { "name": "E Goffman" } ], "title": "Strategic Interaction", "publicationDate": "1970" } }, { "author": [ { "name": "E Goffman" } ], "host": { "editor": "Harper and Row. Gold, G. D.", "publisher": "Hodder", "title": "Relations in Public: Microstudies of the Public Order", "publicationDate": "1971" }, "title": "Frame Analysis" }, { "author": [ { "name": "R Harper" }, { "name": "J A Hughes" } ], "host": { "editor": "G. Button", "publisher": "Routledge", "title": "Working Order: Studies of Work", "publicationDate": "1993" }, "title": "What a F-ing System! Send 'em All to the Same Place and Then Expect Us to Stop 'em Hitting: Making Technology Work in Air Traffic Control" }, { "host": { "author": [ { "name": "H Houdini" } ], "publisher": "Dover", "title": "Houdini on Magic", "publicationDate": "1953" } }, { "author": [ { "name": "Y Kawatoko" } ], "host": { "volume": "22", "pages": { "last": "337", "first": "315" }, "title": "Human Studies", "publicationDate": "1999" }, "title": "Space, Time and Documents in a Refrigerated Warehouse" }, { "host": { "author": [ { "name": "E Livingston" } ], "title": "The Ethnomethodological Foundations of Mathematics. London: Routledge & Kegan Paul", "publicationDate": "1986" } }, { "host": { "editor": "Routledge & Kegan Paul. Lynch, M.", "author": [ { "name": "E Livingston" } ], "publisher": "Cambridge University Press", "title": "Scientific Practice and Ordinary Action: Ethnomethodology and Social Studies of Science", "publicationDate": "1987" } }, { "author": [ { "name": "M Lynch" } ], "host": { "volume": "22", "pages": { "last": "233", "first": "211" }, "title": "Human Studies", "publicationDate": "1999" }, "title": "Silence in Context: Ethnomethodology and Social Theory" }, { "author": [ { "name": "M Lynch" } ], "host": { "editor": "T. R. Schatzki, K. Knorr Cetina and E. Von Savigny", "publisher": "Routledge", "title": "The Practice Turn in Contemporary Theory", "publicationDate": "2001" }, "title": "Ethnomethodology and the Logic of Practice" }, { "host": { "author": [ { "name": "M Lynch" }, { "name": "D Bogen" } ], "publisher": "Duke University Press", "title": "The Spectacle of History: Speech, Text and Memory at the Iran-Contra Hearings", "publicationDate": "1996" } }, { "author": [ { "name": "M Lynch" }, { "name": "R Mcnally" } ], "host": { "volume": "13", "pages": { "last": "196", "first": "183" }, "title": "Social Epistemology", "publicationDate": "1999" }, "title": "Science, Common Sense and Common Law: Courtroom Inquiries and the Public Understanding of Science" }, { "host": { "editor": "Routledge & Kegan Paul", "author": [ { "name": "P Mchugh" }, { "name": "S Raffel" }, { "name": "D C Foss" }, { "name": "A F Blum" } ], "title": "On the Beginning of Social Inquiry", "publicationDate": "1974" } }, { "host": { "editor": "Routledge & Kegan Paul. Parsons, T.", "author": [ { "name": "T Parsons" } ], "publisher": "Faber", "title": "Houdini's Box: On the Arts of Escape", "publicationDate": "1951" } }, { "author": [ { "name": "H Sacks" } ], "host": { "editor": "J. Schenkein", "publisher": "Academic Press", "title": "Studies in the Organization of Conversational Interaction", "publicationDate": "1978" }, "title": "Some Technical Considerations of a Dirty Joke" }, { "author": [ { "name": "H Sacks" } ], "host": { "editor": "J. M. Atkinson and J. C. Heritage", "publisher": "Cambridge University Press", "title": "Structures of Social Action", "publicationDate": "1984" }, "title": "On Doing Being Ordinary" }, { "author": [ { "name": "H Sacks" }, { "name": "Blackwell" }, { "name": "H Sacks" }, { "name": "E A Schegloff" }, { "name": "Jefferson" }, { "name": "G" } ], "host": { "volume": "1", "editor": "J. Schenkein", "publisher": "New Academic Press", "title": "Studies in the Organization of Conversational Interaction", "publicationDate": "1978" }, "title": "A Simplest Systematics for the Organization of Turn-taking for Conversation" }, { "author": [ { "name": "E A Schegloff" } ], "host": { "volume": "9", "pages": { "last": "151", "first": "111" }, "title": "Human Studies", "publicationDate": "1986" }, "title": "The Routine as Achievement" }, { "author": [ { "name": "A Schutz" } ], "host": { "volume": "3", "editor": "I. Schutz. The Hague: Martinus Nijhoff. Sharrock, W. and Anderson, B.", "title": "Collected Papers", "publicationDate": "1973" }, "title": "The Ethnomethodologists" }, { "host": { "author": [ { "name": "K Silverman" } ], "publisher": "Harper Collins", "title": "Houdini!! The Career of Erich Weiss", "publicationDate": "1996" } }, { "host": { "author": [ { "name": "L Suchman" } ], "publisher": "Cambridge University Press", "title": "Plans and Situated Actions : The Problem of Human-Machine Communication", "publicationDate": "1987" } }, { "host": { "author": [ { "name": "D Sudnow" } ], "publisher": "MIT Press", "title": "Ways of the Hand: The Organization of Improvised Conduct", "publicationDate": "1978" } }, { "author": [ { "name": "R Watson" } ], "host": { "editor": "G. Watson and R. M. Seiler", "publisher": "Sage", "title": "Text in Context: Contributions to Ethnomethodology", "publicationDate": "1992" }, "title": "The Understanding of Language Use in Everyday Life: Is There a Common Ground" }, { "host": { "author": [ { "name": "L Wittgenstein" } ], "publisher": "Blackwell", "title": "Philosophical Investigations", "publicationDate": "1953" } } ], "genre": [ "article" ], "host": { "title": "Human Studies", "language": [ "unknown" ], "publicationDate": "2004", "copyrightDate": "2004", "issn": [ "0163-8548" ], "eissn": [ "1572-851X" ], "journalId": [ "10746" ], "volume": "27", "issue": "4", "pages": { "first": "377", "last": "399" }, "genre": [ "journal" ], "subject": [ { "value": "Philosophy" }, { "value": "Modern Philosophy" }, { "value": "Philosophy of the Social Sciences" }, { "value": "Political Philosophy" }, { "value": "Sociolinguistics" } ] }, "namedEntities": { "unitex": { "date": [ "late 90s" ], "orgName": [ "LAURIER Department of Geography, University of Glasgow, Glasgow G", "US TV" ], "persName": [ "A. The", "F. A. Mesmer", "The", "B. The", "W. B. Gibson", "Gibson" ], "placeName": [ "Contemporary City", "New York", "Langsdorf" ] } }, "ark": [ "ark:/67375/VQC-0WDFB5SX-6" ], "categories": { "wos": [ "1 - social science", "2 - sociology", "2 - ethics" ], "scienceMetrix": [ "1 - general", "2 - general arts, humanities & social sciences", "3 - general arts, humanities & social sciences" ], "scopus": [ "1 - Social Sciences", "2 - Arts and Humanities", "3 - Philosophy", "1 - Social Sciences", "2 - Social Sciences", "3 - Sociology and Political Science" ], "inist": [ "1 - sciences humaines et sociales" ] }, "publicationDate": "2004", "copyrightDate": "2004", "enrichments": { "grobidFulltext": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/5908CF2B46803EC50B22FBEB12247CAD332356A7/enrichments/grobidFulltext" } ], "multicat": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/5908CF2B46803EC50B22FBEB12247CAD332356A7/enrichments/multicat" } ], "nb": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/5908CF2B46803EC50B22FBEB12247CAD332356A7/enrichments/nb" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/5908CF2B46803EC50B22FBEB12247CAD332356A7/enrichments/teeft" } ], "unitex": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/5908CF2B46803EC50B22FBEB12247CAD332356A7/enrichments/unitex" } ] }, "doi": [ "10.1007/s10746-004-3341-5" ], "id": "5908CF2B46803EC50B22FBEB12247CAD332356A7", "score": 13.855396, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/VQC-0WDFB5SX-6/fulltext.pdf" }, { "extension": "zip", "original": false, "mimetype": "application/zip", "uri": "https://api.istex.fr/ark:/67375/VQC-0WDFB5SX-6/bundle.zip" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/VQC-0WDFB5SX-6/fulltext.tei" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/VQC-0WDFB5SX-6/fulltext.txt" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/VQC-0WDFB5SX-6/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/VQC-0WDFB5SX-6/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/VQC-0WDFB5SX-6/record.json" } ], "serie": {} }, { "corpusName": "springer-ebooks", "keywords": { "teeft": [ "annotation", "explainhoudini", "houdini", "algorithm", "cand", "module", "postcondition", "precondition", "lahiri", "interprocedural", "candidate annotation", "false alarm", "lncs", "node", "inner3", "springer", "postconditions", "vanegue", "candidate precondition", "proc9", "houdini algorithm", "candidate contract", "additional annotation", "predicate", "houdini inference transparent", "inner4", "inner1", "entry procedure", "large module", "heidelberg", "caller", "external procedure", "contract inference", "modular contract", "other hand", "theorem prover", "intraprocedural path", "houdini implementation", "candidate postconditions", "annotation removal", "assertion language", "programming language" ] }, "author": [ { "name": "Shuvendu K. Lahiri", "affiliations": [ "Microsoft Research,", "E-mail: shuvendu@microsoft.com" ] }, { "name": "Julien Vanegue", "affiliations": [ "Microsoft Corporation,", "E-mail: jvanegue@microsoft.com" ] } ], "accessCondition": { "contentType": "isNotOpenAccess", "value": "closed" }, "arkIstex": "ark:/67375/HCB-5RSSDSBT-8", "language": [ "eng" ], "originalGenre": [ "OriginalPaper" ], "abstract": "Abstract: Houdini is a simple yet scalable technique for annotation inference for modular contract checking. The input to Houdini is a set of candidate annotations, and the output is a consistent subset of these candidates. Since this technique is most useful as an annotation assistant for user-guided refinement of annotations, understanding the reason for the removal of annotations is crucial for a user to refine the set of annotations, and classify false errors easily. This is especially true for applying Houdini to large legacy modules with thousands of procedures and deep call chains. In this work we present a method ExplainHoudini that explains the reason why a given candidate was removed, purely in terms of the existing candidates. We have implemented this algorithm and provide preliminary experience of applying it on large modules.", "qualityIndicators": { "hasStructuredBody": true, "teiSource": "grobid", "xmlStats": { "paragraphCount": 51, "sectionCount": 15, "sectionLevels": [ { "level": 0, "sectionCount": 15 } ], "sectionDepth": 1, "imageCount": 3, "tableCount": 0, "refCount": 15 }, "tdmReady": true, "score": 8.596, "pdfWordCount": 6888, "pdfCharCount": 33818, "pdfVersion": 1.6, "pdfPageCount": 15, "pdfPageSize": "429.442 x 659.895 pts", "pdfWordsPerPage": 459, "pdfText": true, "refBibsNative": false, "abstractWordCount": 133, "abstractCharCount": 850, "keywordCount": 0 }, "title": "ExplainHoudini: Making Houdini Inference Transparent", "hasFormula": true, "chapterId": [ "22", "Chap22" ], "refBibs": [ { "title": "Towards scalable modular checking of user-defined properties", "author": [ { "name": "T Ball" }, { "name": "B Hackett" }, { "name": "S,K Lahiri" }, { "name": "S Qadeer" }, { "name": "J Vanegue" } ], "publicationDate": "2010", "host": { "title": "VSTTE 2010", "publicationDate": "2010", "volume": "6217", "pages": { "first": "1", "last": "24" } } }, { "title": "Boogie: A modular reusable verifier for object-oriented programs", "author": [ { "name": "M Barnett" }, { "name": "B,E Chang" }, { "name": "R Deline" }, { "name": "B Jacobs" }, { "name": "K,R M Leino" } ], "publicationDate": "2006", "host": { "title": "FMCO 2005", "publicationDate": "2006", "volume": "4111", "pages": { "first": "364", "last": "387" } } }, { "title": "The spec# programming system: An overview", "author": [ { "name": "M Barnett" }, { "name": "K,R M Leino" }, { "name": "W Schulte" }, { "name": "G Barthe" }, { "name": "L Burdy" }, { "name": "M Huisman" }, { "name": "J.-L Lanet" } ], "publicationDate": "2005", "host": { "title": "CASSIS 2004", "publicationDate": "2005", "volume": "3362", "pages": { "first": "49", "last": "69" } } }, { "title": "Unifying type checking and property checking for low-level code", "author": [ { "name": "J Condit" }, { "name": "B Hackett" }, { "name": "S,K Lahiri" }, { "name": "S Qadeer" } ], "publicationDate": "2009", "host": { "title": "Principles of Programming Languages", "publicationDate": "2009", "pages": { "first": "302", "last": "314" } } }, { "title": "Abstract interpretation: A Unified Lattice Model for the Static Analysis of Programs by Construction or Approximation of Fixpoints", "author": [ { "name": "P Cousot" }, { "name": "R Cousot" } ], "publicationDate": "1977", "host": { "title": "Principles of Programming Languages (POPL 1977)", "publicationDate": "1977", "pages": { "first": "238", "last": "252" } } }, { "title": "Vcc: Contract-based modular verification of concurrent c", "author": [ { "name": "M Dahlweid" }, { "name": "M Moskal" }, { "name": "T Santen" }, { "name": "S Tobies" }, { "name": "W Schulte" } ], "publicationDate": "2009", "host": { "title": "International Conference on Software Engineering (ICSE 2009), Companion Volume", "publicationDate": "2009", "pages": { "first": "429", "last": "430" } } }, { "title": "Z3: An efficient smt solver", "author": [ { "name": "L,M De Moura" }, { "name": "N Bjørner" } ], "publicationDate": "2008", "host": { "title": "TACAS 2008", "publicationDate": "2008", "volume": "4963", "pages": { "first": "337", "last": "340" } } }, { "title": "Houdini, an annotation assistant for ESC/Java", "author": [ { "name": "C Flanagan" }, { "name": "K,R M Leino" } ], "publicationDate": "2001", "host": { "title": "FME 2001", "publicationDate": "2001", "volume": "2021", "pages": { "first": "500", "last": "517" } } }, { "title": "Extended static checking for Java", "author": [ { "name": "C Flanagan" }, { "name": "K,R M Leino" }, { "name": "M Lillibridge" }, { "name": "G Nelson" }, { "name": "J,B Saxe" }, { "name": "R Stata" } ], "publicationDate": "2002", "host": { "title": "Programming Language Design and Implementation (PLDI 2002)", "publicationDate": "2002", "pages": { "first": "234", "last": "245" } } }, { "title": "Construction of abstract state graphs with PVS", "author": [ { "name": "S Graf" }, { "name": "H Sa¨ıdisa¨ıdi" } ], "publicationDate": "1997", "host": { "title": "CAV 1997", "publicationDate": "1997", "volume": "1254", "pages": { "first": "72", "last": "83" } } }, { "title": "Abstractions from proofs", "author": [ { "name": "T,A Henzinger" }, { "name": "R Jhala" }, { "name": "R Majumdar" }, { "name": "K,L Mcmillan" } ], "publicationDate": "2004", "host": { "title": "Symposium on Principles of Programming Languages (POPL)", "publicationDate": "2004", "pages": { "first": "232", "last": "244" } } }, { "title": "Complexity and algorithms for monomial and clausal predicate abstraction", "author": [ { "name": "S,K Lahiri" }, { "name": "S Qadeer" } ], "publicationDate": "2009", "host": { "title": "CADE 2009", "publicationDate": "2009", "volume": "5663", "pages": { "first": "214", "last": "229" } } }, { "title": "Intra-module inference", "author": [ { "name": "S,K Lahiri" }, { "name": "S Qadeer" }, { "name": "J,P Galeotti" }, { "name": "J,W Voung" }, { "name": "T Wies" } ], "publicationDate": "2009", "host": { "title": "CAV 2009", "publicationDate": "2009", "volume": "5643", "pages": { "first": "493", "last": "508" } } }, { "title": "Generating error traces from verificationcondition counterexamples", "author": [ { "name": "K,R M Leino" }, { "name": "T Millstein" }, { "name": "J,B Saxe" } ], "publicationDate": "2005", "host": { "title": "Sci. Comput. Program", "publicationDate": "2005", "volume": "55", "issue": "1-3" } }, { "title": "Interpolation and sat-based model checking", "author": [ { "name": "K,L Mcmillan" } ], "publicationDate": "2003", "host": { "title": "CAV 2003", "publicationDate": "2003", "volume": "2725", "pages": { "first": "1", "last": "13" } } } ], "genre": [ "conference" ], "serie": { "title": "Lecture Notes in Computer Science", "language": [ "unknown" ], "copyrightDate": "2011", "issn": [ "0302-9743" ], "eissn": [ "1611-3349" ], "editor": [ { "name": "David Hutchison", "affiliations": [ "Lancaster University, Lancaster, UK" ] }, { "name": "Takeo Kanade", "affiliations": [ "Carnegie Mellon University, Pittsburgh, PA, USA" ] }, { "name": "Josef Kittler", "affiliations": [ "University of Surrey, Guildford, UK" ] }, { "name": "Jon M. Kleinberg", "affiliations": [ "Cornell University, Ithaca, NY, USA" ] }, { "name": "Friedemann Mattern", "affiliations": [ "ETH Zurich, Zurich, Switzerland" ] }, { "name": "John C. Mitchell", "affiliations": [ "Stanford University, Stanford, CA, USA" ] }, { "name": "Moni Naor", "affiliations": [ "Weizmann Institute of Science, Rehovot, Israel" ] }, { "name": "Oscar Nierstrasz", "affiliations": [ "University of Bern, Bern, Switzerland" ] }, { "name": "C. Pandu Rangan", "affiliations": [ "Indian Institute of Technology, Madras, India" ] }, { "name": "Bernhard Steffen", "affiliations": [ "University of Dortmund, Dortmund, Germany" ] }, { "name": "Madhu Sudan", "affiliations": [ "Massachusetts Institute of Technology, MA, USA" ] }, { "name": "Demetri Terzopoulos", "affiliations": [ "University of California, Los Angeles, CA, USA" ] }, { "name": "Doug Tygar", "affiliations": [ "University of California, Berkeley, CA, USA" ] }, { "name": "Moshe Y. Vardi", "affiliations": [ "Rice University, Houston, TX, USA" ] }, { "name": "Gerhard Weikum", "affiliations": [ "Max-Planck Institute of Computer Science, Saarbrücken, Germany" ] } ] }, "host": { "title": "Verification, Model Checking, and Abstract Interpretation", "language": [ "unknown" ], "copyrightDate": "2011", "doi": [ "10.1007/978-3-642-18275-4" ], "issn": [ "0302-9743" ], "eissn": [ "1611-3349" ], "eisbn": [ "978-3-642-18275-4" ], "bookId": [ "978-3-642-18275-4" ], "isbn": [ "978-3-642-18274-7" ], "volume": "6538", "pages": { "first": "309", "last": "323" }, "genre": [ "book-series" ], "editor": [ { "name": "Ranjit Jhala", "affiliations": [ "UC San Diego,", "E-mail: jhala@cs.ucsd.edu" ] }, { "name": "David Schmidt", "affiliations": [ "Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, Manhattan, KS, USA", "E-mail: das@ksu.edu" ] } ], "subject": [ { "value": "Computer Science" }, { "value": "Computer Science" }, { "value": "Logics and Meanings of Programs" }, { "value": "Software Engineering" }, { "value": "Programming Languages, Compilers, Interpreters" }, { "value": "Algorithm Analysis and Problem Complexity" }, { "value": "Mathematical Logic and Formal Languages" }, { "value": "Programming Techniques" } ] }, "namedEntities": { "unitex": { "orgName": [ "Microsoft Corporation" ], "persName": [ "R. Jhala", "A. The", "C. The", "K. Lahiri", "Lahiri", "Q. This", "In", "The", "J. Vanegue", "For", "Q. When", "A. This", "S.K. Lahiri", "B. For", "B. Given", "This", "Vanegue", "D. Schmidt", "Given", "B. In", "C. Notice" ] } }, "ark": [ "ark:/67375/HCB-5RSSDSBT-8" ], "categories": { "inist": [ "1 - sciences appliquees, technologies et medecines", "2 - sciences exactes et technologie" ] }, "publicationDate": "2011", "copyrightDate": "2011", "enrichments": { "grobidFulltext": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/8C2E51D161A899C13BF7373E6568CE3B9055703B/enrichments/grobidFulltext" } ], "nb": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/8C2E51D161A899C13BF7373E6568CE3B9055703B/enrichments/nb" } ], "refBibs": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/8C2E51D161A899C13BF7373E6568CE3B9055703B/enrichments/refBibs" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/8C2E51D161A899C13BF7373E6568CE3B9055703B/enrichments/teeft" } ], "unitex": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/8C2E51D161A899C13BF7373E6568CE3B9055703B/enrichments/unitex" } ] }, "doi": [ "10.1007/978-3-642-18275-4_22" ], "id": "8C2E51D161A899C13BF7373E6568CE3B9055703B", "score": 13.783444, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/HCB-5RSSDSBT-8/fulltext.pdf" }, { "extension": "zip", "original": false, "mimetype": "application/zip", "uri": "https://api.istex.fr/ark:/67375/HCB-5RSSDSBT-8/bundle.zip" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/HCB-5RSSDSBT-8/fulltext.tei" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/HCB-5RSSDSBT-8/fulltext.txt" }, { "extension": "cleaned", "original": false, "mimetype": "text/cleaned", "uri": "https://api.istex.fr/ark:/67375/HCB-5RSSDSBT-8/fulltext.cleaned" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/HCB-5RSSDSBT-8/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/HCB-5RSSDSBT-8/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/HCB-5RSSDSBT-8/record.json" } ] }, { "corpusName": "acs", "keywords": { "teeft": [ "substructure", "substructure atom", "structure generation", "chem", "comput", "substructural", "hyperstructure", "actual atom", "constraint agent", "acfs", "structure assembly", "alternative substructure", "houdini", "structure elucidation", "structure reduction", "structure generator", "constraint", "molecular formula", "backtracking", "elucidation", "datum", "sesami", "possible bond", "korytko", "hybridization", "partial structure", "munk", "subset", "substructure representation", "structural building unit", "convergent", "initial state", "carbon atom", "convergent structure generation", "parallel alternative substructure processing", "genoa", "initial step", "shortlist", "valence", "search space", "spectral datum", "generic", "molecular structure", "alternative neighborhood", "alternative acfs", "information content", "substructural inference", "generic atom", "parallel atom group", "large number", "spectral property", "exhaustive", "matrix", "constraint satisfaction problem", "final state", "structure generation problem", "alternative substructural inference", "same time", "computer representation", "null value", "structure problem", "substructure constraint", "central atom", "alternative inference", "single actual atom", "chemical environment", "stochastic", "cocoa", "chemist", "complete molecular structure", "computation time", "initial problem state", "central carbon atom", "hydrogen atom", "efficient processing", "initial hyperstructure", "spectrum prediction", "exhaustive structure generation", "stochastic method", "useful information", "complete molecule", "structure elucidation system", "residual valence", "tree search", "substructural representation", "structural representation", "chemical structure", "venn diagram", "large family", "datum structure", "small number", "recursive procedure", "molecular structure compatible", "substructure information", "expert system", "structure generation procedure", "compatible structure", "chemical shift range", "signal multiplicity", "other actual atom", "single substructure", "atom" ] }, "author": [ { "name": "KORYTKO A.", "affiliations": [ "Department of Chemistry and Biochemistry, Arizona State University, Tempe, Arizona 85287" ] }, { "name": "SCHULZ K.-P.", "affiliations": [ "Department of Chemistry and Biochemistry, Arizona State University, Tempe, Arizona 85287" ] }, { "name": "MADISON M. S.", "affiliations": [ "Department of Chemistry and Biochemistry, Arizona State University, Tempe, Arizona 85287" ] }, { "name": "MUNK M. E.", "affiliations": [ "Department of Chemistry and Biochemistry, Arizona State University, Tempe, Arizona 85287", "Corresponding author phone:  (602)965-4430; fax:  (602)965-2747." ] } ], "accessCondition": { "contentType": "isNotOpenAccess", "value": "closed" }, "arkIstex": "ark:/67375/TPS-CFXMJFLH-J", "language": [ "eng" ], "originalGenre": [ "research-article" ], "abstract": "A new method of structure generation called convergent structure generation has been developed to address limitations of earlier methods. The features of the program (HOUDINI) based on this method include the following:  a single integrated representation of the collective substructural information; the use of parallel atom groups for efficient processing of families of alternative substructural inferences; and a managed structure generation procedure designed to build required structural features early in the process.", "qualityIndicators": { "hasStructuredBody": true, "teiSource": "pub2tei", "xmlStats": { "paragraphCount": 72, "sectionCount": 4, "sectionLevels": [ { "sectionCount": 4, "level": 0 } ], "sectionDepth": 1, "imageCount": 9, "tableCount": 1, "refCount": 24 }, "tdmReady": true, "score": 5.864, "pdfWordCount": 11425, "pdfCharCount": 64153, "pdfVersion": 1.2, "pdfPageCount": 13, "pdfPageSize": "612 x 792 pts (letter)", "pdfWordsPerPage": 879, "pdfText": true, "refBibsNative": true, "abstractWordCount": 72, "abstractCharCount": 523, "keywordCount": 0 }, "title": "HOUDINI:  A New Approach to Computer-Based Structure Generation", "hasFormula": false, "genre": [ "research-article" ], "host": { "title": "Journal of Chemical Information and Computer Sciences", "language": [ "unknown" ], "publicationDate": "2003", "copyrightDate": "2003", "issn": [ "0095-2338" ], "eissn": [ "1549-960X" ], "volume": "43", "issue": "5", "pages": { "first": "1434", "last": "1446" }, "genre": [ "journal" ] }, "namedEntities": { "unitex": { "orgName": [ "Grant GM62457", "Department of Chemistry", "National Institutes of Health" ], "persName": [ "J. Chem", "Chem" ], "placeName": [ "San Diego", "New York", "New Approaches", "Bad Dürkheim" ] } }, "ark": [ "ark:/67375/TPS-CFXMJFLH-J" ], "categories": { "wos": [], "scienceMetrix": [ "1 - natural sciences", "2 - chemistry", "3 - medicinal & biomolecular chemistry" ], "scopus": [ "1 - Physical Sciences", "2 - Computer Science", "3 - Computational Theory and Mathematics", "1 - Physical Sciences", "2 - Computer Science", "3 - Computer Science Applications", "1 - Physical Sciences", "2 - Computer Science", "3 - Information Systems", "1 - Physical Sciences", "2 - Chemistry", "3 - General Chemistry" ], "inist": [ "1 - sciences appliquees, technologies et medecines", "2 - sciences biologiques et medicales", "3 - sciences biologiques fondamentales et appliquees. psychologie", "4 - biochimie analytique, structurale et metabolique" ] }, "publicationDate": "2003", "copyrightDate": "2003", "enrichments": { "multicat": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/B182214F271B328F6FF738CF4B4E50FBED7F2D67/enrichments/multicat" } ], "nb": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/B182214F271B328F6FF738CF4B4E50FBED7F2D67/enrichments/nb" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/B182214F271B328F6FF738CF4B4E50FBED7F2D67/enrichments/teeft" } ], "unitex": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/B182214F271B328F6FF738CF4B4E50FBED7F2D67/enrichments/unitex" } ] }, "doi": [ "10.1021/ci034057r" ], "id": "B182214F271B328F6FF738CF4B4E50FBED7F2D67", "score": 12.975778, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/TPS-CFXMJFLH-J/fulltext.pdf" }, { "extension": "zip", "original": false, "mimetype": "application/zip", "uri": "https://api.istex.fr/ark:/67375/TPS-CFXMJFLH-J/bundle.zip" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/TPS-CFXMJFLH-J/fulltext.tei" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/TPS-CFXMJFLH-J/fulltext.txt" }, { "extension": "cleaned", "original": false, "mimetype": "text/cleaned", "uri": "https://api.istex.fr/ark:/67375/TPS-CFXMJFLH-J/fulltext.cleaned" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/TPS-CFXMJFLH-J/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/TPS-CFXMJFLH-J/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/TPS-CFXMJFLH-J/record.json" } ], "annexes": [ { "extension": "tiff", "original": true, "mimetype": "image/tiff", "uri": "https://api.istex.fr/document/B182214F271B328F6FF738CF4B4E50FBED7F2D67/annexes/tiff" } ], "serie": {} }, { "corpusName": "acs", "keywords": { "teeft": [ "sesami", "hmbc", "datum", "shortlist", "acfs", "cosy", "execution time", "chem", "structure generator", "comput", "constraint", "cosy datum", "infer2d", "hmqc", "initial problem state", "hmbc correlation", "chemical shift", "spectral datum", "exchangeable", "hybridization", "houdini", "substructure", "structure generation", "stenocarpine", "syringolide", "carbon atom", "elucidation", "exchangeable hydrogen", "munk", "cosy correlation", "central atom", "molecular formula", "exhaustive list", "single structure", "structure elucidation", "cocoa", "chemical shift range", "computational time", "hybridized atom", "convergent structure generation", "molecular structure", "constraint disabled", "structural inference", "bond range", "hmbc inference", "carbon fragment", "several day", "chemist", "schulz", "plausible structure", "original paper", "single representation", "carbonyl group", "increase execution time", "structure elucidation system", "hmqc correlation", "hmbc experiment", "compatible structure", "arizona state university", "initial constraint", "bond cosy", "correct structure", "spectrum interpretation step", "small number", "signal multiplicity", "alternative acfs", "central carbon atom", "structure problem", "signal coupling", "hybridized carbon atom", "chemical carbon atom", "ambiguous inference", "professor sims", "single fragment", "structural feature", "cosy experiment", "hmbc datum", "search space", "ring constraint", "atom disabled", "alternative inference", "constraint relaxation", "atom constraint", "little sensitivity", "alternative structure", "vinyl hydrogen", "oxygen atom", "computer time", "professor james sims", "explicit designation" ] }, "author": [ { "name": "SCHULZ K.-P.", "affiliations": [ "Department of Chemistry and Biochemistry, Arizona State University, Tempe, Arizona 85287" ] }, { "name": "KORYTKO A.", "affiliations": [ "Department of Chemistry and Biochemistry, Arizona State University, Tempe, Arizona 85287" ] }, { "name": "MUNK M. E.", "affiliations": [ "Department of Chemistry and Biochemistry, Arizona State University, Tempe, Arizona 85287", "Corresponding author phone:  (602)965-4430; fax:  (602)965-2747." ] } ], "accessCondition": { "contentType": "isNotOpenAccess", "value": "closed" }, "arkIstex": "ark:/67375/TPS-79M6LDHF-B", "language": [ "eng" ], "originalGenre": [ "research-article" ], "abstract": "SESAMI, a comprehensive program for the elucidation of the structure of complex compounds of carbon, incorporates a structure reduction-based structure genearator (COCOA). Observed limitations with this program in the solution of higher molecular weight unknowns prompted the development of a structure generator (HOUDINI) which embodies a new concept, convergent structure generation. A comparison of the performance of COCOA-based and HOUDINI-based SESAMI using a set of complex, naturally occurring compounds as a test set of unknowns revealed faster execution times and more efficient processing of ambiguous structural information for the latter.", "qualityIndicators": { "hasStructuredBody": true, "teiSource": "pub2tei", "xmlStats": { "paragraphCount": 58, "sectionCount": 5, "sectionLevels": [ { "sectionCount": 5, "level": 0 } ], "sectionDepth": 1, "imageCount": 4, "tableCount": 5, "refCount": 8 }, "tdmReady": true, "score": 6.08, "pdfWordCount": 7945, "pdfCharCount": 41544, "pdfVersion": 1.2, "pdfPageCount": 10, "pdfPageSize": "612 x 792 pts (letter)", "pdfWordsPerPage": 795, "pdfText": true, "refBibsNative": true, "abstractWordCount": 90, "abstractCharCount": 651, "keywordCount": 0 }, "title": "Applications of a HOUDINI-Based Structure Elucidation System", "hasFormula": false, "genre": [ "research-article" ], "host": { "title": "Journal of Chemical Information and Computer Sciences", "language": [ "unknown" ], "publicationDate": "2003", "copyrightDate": "2003", "issn": [ "0095-2338" ], "eissn": [ "1549-960X" ], "volume": "43", "issue": "5", "pages": { "first": "1447", "last": "1456" }, "genre": [ "journal" ] }, "namedEntities": { "unitex": { "date": [ "1997" ], "orgName": [ "Phytochem", "Grant GM62457", "National Institutes of Health", "Arizona State University", "University of California" ], "persName": [ "H. Furthermore", "In", "The", "D. The", "H. The", "H. In", "Dr. Ronald Nieman", "D. Without", "Dr. Scott Smith" ] } }, "ark": [ "ark:/67375/TPS-79M6LDHF-B" ], "categories": { "wos": [], "scienceMetrix": [ "1 - natural sciences", "2 - chemistry", "3 - medicinal & biomolecular chemistry" ], "scopus": [ "1 - Physical Sciences", "2 - Computer Science", "3 - Computational Theory and Mathematics", "1 - Physical Sciences", "2 - Computer Science", "3 - Computer Science Applications", "1 - Physical Sciences", "2 - Computer Science", "3 - Information Systems", "1 - Physical Sciences", "2 - Chemistry", "3 - General Chemistry" ], "inist": [ "1 - sciences appliquees, technologies et medecines", "2 - sciences biologiques et medicales", "3 - sciences biologiques fondamentales et appliquees. psychologie" ] }, "publicationDate": "2003", "copyrightDate": "2003", "enrichments": { "multicat": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/72AE2A8B065D4384885E6BB1DC42B3F9D7DBF38D/enrichments/multicat" } ], "nb": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/72AE2A8B065D4384885E6BB1DC42B3F9D7DBF38D/enrichments/nb" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/72AE2A8B065D4384885E6BB1DC42B3F9D7DBF38D/enrichments/teeft" } ], "unitex": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/72AE2A8B065D4384885E6BB1DC42B3F9D7DBF38D/enrichments/unitex" } ] }, "doi": [ "10.1021/ci034058j" ], "id": "72AE2A8B065D4384885E6BB1DC42B3F9D7DBF38D", "score": 12.896838, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/TPS-79M6LDHF-B/fulltext.pdf" }, { "extension": "zip", "original": false, "mimetype": "application/zip", "uri": "https://api.istex.fr/ark:/67375/TPS-79M6LDHF-B/bundle.zip" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/TPS-79M6LDHF-B/fulltext.tei" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/TPS-79M6LDHF-B/fulltext.txt" }, { "extension": "cleaned", "original": false, "mimetype": "text/cleaned", "uri": "https://api.istex.fr/ark:/67375/TPS-79M6LDHF-B/fulltext.cleaned" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/TPS-79M6LDHF-B/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/TPS-79M6LDHF-B/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/TPS-79M6LDHF-B/record.json" } ], "annexes": [ { "extension": "tiff", "original": true, "mimetype": "image/tiff", "uri": "https://api.istex.fr/document/72AE2A8B065D4384885E6BB1DC42B3F9D7DBF38D/annexes/tiff" } ], "serie": {} }, { "corpusName": "springer-ebooks", "keywords": { "teeft": [ "annotation", "houdini", "candidate annotation", "annotation assistant", "unannotated", "unannotated program", "leino", "expr", "checker", "houdini algorithm", "heuristic", "predicate", "precondition", "algorithm", "postconditions", "compaq", "java program", "dereference", "false alarm", "websampler", "flanagan", "large number", "user interface", "result null", "cormac flanagan", "spurious warning", "library method", "cobalt program", "library annotation", "houdini user", "specification", "user", "entire program", "more useful", "reference type", "candidate precondition", "candidate invariant", "integral field", "interesting constant", "array type", "argument variable", "houdini output", "warning message", "source view", "real error", "abstract interpretation", "compaq system research center", "spurious", "cobalt", "modular checker", "preliminary evaluation", "static checker", "supply annotation", "method precondition", "object invariant", "type annotation", "locking discipline", "additional annotation", "code base", "infers suitable annotation", "programmer time", "possible error", "automatic theorem prover", "typical annotation", "possible defect", "program text", "recursive method", "expr null", "same class", "datum structure", "similar manner", "source code", "interface specification", "library specification", "pessimistic assumption", "cause houdini", "optimistic annotation", "warning point", "important aspect", "crawler mercator", "various correctness property", "third column", "optimistic library annotation", "check warning", "theorem prover", "iterative process", "dynamic refuter", "instrumented version", "valid annotation", "future work", "other annotation assistant", "first annotation assistant", "formal parameter", "second annotation assistant", "modular static checker", "abstract state space", "raymie stata", "conference record", "programming language", "technical note compaq system research center" ] }, "author": [ { "name": "Cormac Flanagan", "affiliations": [ "Compaq Systems Research Center, 130 Lytton Ave., 94301, Palo Alto, CA, USA", "E-mail: cormac.flanagan@compaq.com" ] }, { "name": "K. Rustan M. Leino", "affiliations": [ "Compaq Systems Research Center, 130 Lytton Ave., 94301, Palo Alto, CA, USA", "E-mail: rustan.leino@compaq.com" ] } ], "accessCondition": { "contentType": "isNotOpenAccess", "value": "closed" }, "arkIstex": "ark:/67375/HCB-4NX5CLDP-G", "language": [ "eng" ], "originalGenre": [ "OriginalPaper" ], "abstract": "Abstract: A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each module be accom- panied by annotations that specify the module. To help reduce the cost of writing specifications, this paper presents Houdini, an annotation as- sistant for the modular checker ESC/Java. To infer suitable ESC/Java annotations for a given program, Houdini generates a large number of candidate annotations and uses ESC/Java to verify or refute each of these annotations. The paper describes the design, implementation, and preliminary evaluation of Houdini.", "qualityIndicators": { "hasStructuredBody": true, "teiSource": "grobid", "xmlStats": { "paragraphCount": 76, "sectionCount": 11, "sectionLevels": [ { "level": 0, "sectionCount": 11 } ], "sectionDepth": 1, "imageCount": 3, "tableCount": 3, "refCount": 15 }, "tdmReady": true, "score": 6.176, "pdfWordCount": 7178, "pdfCharCount": 38563, "pdfVersion": 1.3, "pdfPageCount": 18, "pdfPageSize": "430 x 650 pts", "pdfWordsPerPage": 399, "pdfText": true, "refBibsNative": false, "abstractWordCount": 98, "abstractCharCount": 662, "keywordCount": 0 }, "title": "Houdini, an Annotation Assistant for ESC/Java", "hasFormula": true, "chapterId": [ "29", "Chap29" ], "refBibs": [ { "host": { "title": "A static analyzer for finding dynamic programming errors. Software-Practice & Experience", "publicationDate": "2000", "author": [ { "name": "William,R Bush" }, { "name": "Jonathan,D Pincus" }, { "name": "David,J Sielaff" } ], "volume": "30", "pages": { "first": "775", "last": "802" } } }, { "title": "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints", "author": [ { "name": "Patrick Cousot" }, { "name": "Radhia Cousot" } ], "publicationDate": "1977-01", "host": { "title": "Conference Record of the Fourth Annual ACM Symposium on Principles of Programming Languages", "publicationDate": "1977-01", "pages": { "first": "238", "last": "252" } } }, { "title": "Quickly detecting relevant program invariants", "author": [ { "name": "Michael,D Ernst" }, { "name": "Adam Czeisler" }, { "name": "William,G Griswold" }, { "name": "David Notkin" } ], "publicationDate": "2000-06", "host": { "title": "Proceedings of the 22nd International Conference on Software Engineering", "publicationDate": "2000-06" } }, { "host": { "title": "Extended Static Checking home page, Compaq Systems Research Center" } }, { "host": { "title": "Effective Static Debugging via Componential Set-Based Analysis", "publicationDate": "1997-05", "author": [ { "name": "Cormac Flanagan" } ] } }, { "title": "Type-based race detection for Java", "author": [ { "name": "Cormac Flanagan" }, { "name": "Steven,N Freund" } ], "publicationDate": "2000", "host": { "title": "Proceedings of the 2000 ACM SIGPLAN conference on Programming Design and Implementation (PLDI)", "publicationDate": "2000", "pages": { "first": "219", "last": "232" } } }, { "title": "Annotation inference for modular checkers", "author": [ { "name": "Cormac Flanagan" }, { "name": "Rajeev Joshi" }, { "name": "K Rustan" }, { "name": "M Leino" } ], "publicationDate": "2001", "host": { "title": "Information Processing Letters", "publicationDate": "2001" } }, { "title": "Avoiding exponential explosion: Generating compact verification conditions", "author": [ { "name": "Cormac Flanagan" }, { "name": "James,B Saxe" } ], "publicationDate": "2001-01", "host": { "title": "Conference Record of the 28th Annual ACM Symposium on Principles of Programming Languages", "publicationDate": "2001-01" } }, { "title": "Construction of abstract state graphs with PVS", "author": [ { "name": "S Graf" }, { "name": "H Saidi" } ], "publicationDate": "1997", "host": { "title": "CAV 97: Computer Aided Verification", "publicationDate": "1997", "volume": "1254", "pages": { "first": "72", "last": "83" } } }, { "title": "Set-based analysis of ML programs", "author": [ { "name": "Nevin Heintze" } ], "publicationDate": "1994", "host": { "title": "Proceedings of the ACM Conference on Lisp and Functional Programming", "publicationDate": "1994", "pages": { "first": "306", "last": "317" } } }, { "title": "Mercator: A scalable, extensible web crawler", "author": [ { "name": "Allan Heydon" }, { "name": "Marc,A Najork" } ], "publicationDate": "1999-12", "host": { "title": "World Wide Web", "publicationDate": "1999-12", "volume": "2", "issue": "4", "pages": { "first": "219", "last": "229" } } }, { "host": { "author": [ { "name": "Compaq Java2html" }, { "name": " Systems Research" }, { "name": " Center" } ] } }, { "host": { "title": "ESC/Java user's manual", "publicationDate": "2000-10", "author": [ { "name": "K Rustan" }, { "name": "M Leino" }, { "name": "Greg Nelson" }, { "name": "James,B Saxe" } ] } }, { "title": "Checking Java programs via guarded commands", "author": [ { "name": "K Rustan" }, { "name": "M Leino" }, { "name": "James,B Saxe" }, { "name": "Raymie Stata" } ], "publicationDate": "1999-05", "host": { "title": "Formal Techniques for Java Programs", "publicationDate": "1999-05" } }, { "host": { "title": "The Pachyderm email system, Compaq Systems Research Center", "publicationDate": "1997" } } ], "genre": [ "conference" ], "serie": { "title": "Lecture Notes in Computer Science", "language": [ "unknown" ], "copyrightDate": "2001", "issn": [ "0302-9743" ], "editor": [ { "name": "Gerhard Goos", "affiliations": [ "Karlsruhe University, Germany" ] }, { "name": "Juris Hartmanis", "affiliations": [ "Cornell University, NY, USA" ] }, { "name": "Jan van Leeuwen", "affiliations": [ "Utrecht University, The Netherlands" ] } ] }, "host": { "title": "FME 2001: Formal Methods for Increasing Software Productivity", "language": [ "unknown" ], "copyrightDate": "2001", "doi": [ "10.1007/3-540-45251-6" ], "issn": [ "0302-9743" ], "eisbn": [ "978-3-540-45251-5" ], "bookId": [ "3-540-45251-6" ], "isbn": [ "978-3-540-41791-0" ], "volume": "2021", "pages": { "first": "500", "last": "517" }, "genre": [ "book-series" ], "editor": [ { "name": "José Nuno Oliveira", "affiliations": [ "Computer Science Department, University of Minho, Campus de Gualtar, 4700-320, Braga, Portugal", "E-mail: jno@di.uminho.pt" ] }, { "name": "Pamela Zave", "affiliations": [ "AT&T Laboratories — Research, 180 Park Avenue, 07932, Florham Park, New Jersey, USA", "E-mail: pamela@research.att.com" ] } ], "subject": [ { "value": "Computer Science" }, { "value": "Computer Science" }, { "value": "Logics and Meanings of Programs" }, { "value": "Software Engineering" }, { "value": "Mathematical Logic and Formal Languages" }, { "value": "Business Information Systems" } ] }, "namedEntities": { "unitex": { "orgName": [ "Reasoning, Inc.", "Leino Compaq Systems Research Center" ], "persName": [ "J.N. Oliveira", "K. Rustan", "Dr. Maggie Johnson", "K.R.M. Leino", "P. Zave", "Leino" ] } }, "ark": [ "ark:/67375/HCB-4NX5CLDP-G" ], "categories": { "inist": [ "1 - sciences appliquees, technologies et medecines", "2 - sciences exactes et technologie", "3 - chimie", "4 - chimie analytique" ] }, "publicationDate": "2001", "copyrightDate": "2001", "enrichments": { "grobidFulltext": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/D61668E4B56614BEE7887B49F88D44D5D8C179D1/enrichments/grobidFulltext" } ], "nb": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/D61668E4B56614BEE7887B49F88D44D5D8C179D1/enrichments/nb" } ], "refBibs": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/D61668E4B56614BEE7887B49F88D44D5D8C179D1/enrichments/refBibs" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/D61668E4B56614BEE7887B49F88D44D5D8C179D1/enrichments/teeft" } ], "unitex": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/D61668E4B56614BEE7887B49F88D44D5D8C179D1/enrichments/unitex" } ] }, "doi": [ "10.1007/3-540-45251-6_29" ], "id": "D61668E4B56614BEE7887B49F88D44D5D8C179D1", "score": 12.411264, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/HCB-4NX5CLDP-G/fulltext.pdf" }, { "extension": "zip", "original": false, "mimetype": "application/zip", "uri": "https://api.istex.fr/ark:/67375/HCB-4NX5CLDP-G/bundle.zip" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/HCB-4NX5CLDP-G/fulltext.tei" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/HCB-4NX5CLDP-G/fulltext.txt" }, { "extension": "cleaned", "original": false, "mimetype": "text/cleaned", "uri": "https://api.istex.fr/ark:/67375/HCB-4NX5CLDP-G/fulltext.cleaned" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/HCB-4NX5CLDP-G/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/HCB-4NX5CLDP-G/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/HCB-4NX5CLDP-G/record.json" } ] }, { "corpusName": "elsevier", "keywords": { "teeft": [ "meningioma", "progesterone", "neurosurgery", "receptor", "estrogen", "neurosurg", "white arrow", "pregnancy", "meningioma growth", "magnetic resonance imaging", "surgical", "case report", "literature review", "more likely", "original article vikram chakravarthy", "houdini tumor", "black arrow", "symptomatic meningioma", "datum", "further research", "brain tumor", "loma linda", "world neurosurg", "progesterone receptor", "cbtrus statistical report", "edema", "imaging", "pregnant patient", "severe headache", "periodic blurry vision", "previous pregnancy", "transverse sinus", "supratentorial extension", "differential diagnosis", "visual change", "postpartum surgical resection", "suboccipital craniotomy", "meningioma size", "sudden disappearance", "further surgical intervention", "skull base", "central brain tumor registry", "nonmalignant meningioma", "malignant meningioma", "nonmalignant tumor", "incident rate", "meningioma shrinkage", "undetermined amount", "loma linda university school", "journal homepage", "available online", "front matter", "intracranial pressure", "pharmacologic treatment", "available research", "benign meningioma", "pregnant woman", "dural tail", "pathologic study", "occipital lobe edema", "incidental meningioma", "hormone level", "world neurosurgery", "preexisting meningioma", "world health organization", "central nervous system" ] }, "author": [ { "name": "Vikram Chakravarthy", "affiliations": [ "Cleveland Clinic Foundation, Cleveland, Ohio, USA", "Department of Neurosurgery, Loma Linda University School of Medicine, Loma Linda, California, USA", "To whom correspondence should be addressed: Vikram Chakravarthy, M.D." ] }, { "name": "Brett Kaplan", "affiliations": [ "Loma Linda University School of Medicine, Loma Linda, California, USA" ] }, { "name": "Vadim Gospodarev", "affiliations": [ "Loma Linda University School of Medicine, Loma Linda, California, USA" ] }, { "name": "Hannah Myers", "affiliations": [ "Loma Linda University School of Medicine, Loma Linda, California, USA" ] }, { "name": "Kenneth De Los Reyes", "affiliations": [ "Department of Neurosurgery, Loma Linda University School of Medicine, Loma Linda, California, USA" ] }, { "name": "Adina Achiriloaie", "affiliations": [ "Department of Radiology, Loma Linda University School of Medicine, Loma Linda, California, USA" ] } ], "subject": [ { "lang": [ "eng" ], "value": "Hormone-dependent tumor" }, { "lang": [ "eng" ], "value": "Meningioma" }, { "lang": [ "eng" ], "value": "Pregnancy" }, { "lang": [ "eng" ], "value": "Shrinkage" }, { "lang": [ "eng" ], "value": "Vanishing" } ], "articleId": [ "7799" ], "accessCondition": { "contentType": "isNotOpenAccess", "value": "closed" }, "arkIstex": "ark:/67375/6H6-Z54K0BJV-6", "language": [ "eng" ], "originalGenre": [ "Full-length article" ], "abstract": "BackgroundMeningiomas are common intracranial neoplasms of undetermined etiology. Accelerated growth during episodes of elevated serum estrogen and progesterone have been demonstrated in pregnant patients, as exhibited by an overexpression of estrogen or progesterone on immunohistochemical analysis. This case report and literature review describe a case of complete meningioma regression in a postpartum patient.Case DescriptionA 23-year-old female presented at 37 weeks of pregnancy with 1-month history of fluctuating severe left-sided headaches, periodic blurry vision, nausea, and vomiting. She had 2 previous pregnancies without complication. Magnetic resonance imaging revealed a dural-based, heterogeneously enhancing mass along the left tentorium, just posterior to the transverse sinus, with supratentorial extension and surrounding edema. Differential diagnoses included meningioma versus hemangioma versus hemangiopericytoma. The patient followed up with neurosurgery 1 month after delivery. She had continued left-sided headaches but no longer complained of visual changes. A postpartum surgical resection via left occipital and suboccipital craniotomy was planned. Approximately 1 month later (now about 3 months after delivery) a repeat magnetic resonance imaging demonstrated a marked decrease in meningioma size, and the previously seen edema had resolved. In light of the sudden disappearance of the meningioma, no further surgical intervention was pursued.ConclusionsBecause meningioma shrinkage or disappearance may occur after pregnancy, repeat imaging is advised as part of a preoperative evaluation. In addition, it is possible that an undetermined amount of meningioma removal surgeries may be avoided with further research into monitoring hormone levels connected to meningioma growth.", "qualityIndicators": { "hasStructuredBody": true, "teiSource": "pub2tei", "xmlStats": { "paragraphCount": 26, "sectionCount": 7, "sectionLevels": [ { "level": 0, "sectionCount": 1 }, { "level": 1, "sectionCount": 4 }, { "level": 2, "sectionCount": 2 } ], "sectionDepth": 3, "imageCount": 2, "tableCount": 0, "refCount": 21 }, "tdmReady": true, "score": 8.279, "pdfWordCount": 3411, "pdfCharCount": 20668, "pdfVersion": 1.7, "pdfPageCount": 5, "pdfPageSize": "612 x 792 pts (letter)", "pdfWordsPerPage": 682, "pdfText": true, "refBibsNative": true, "abstractWordCount": 239, "abstractCharCount": 1811, "keywordCount": 5 }, "title": "Houdini Tumor: Case Report and Literature Review of Pregnancy-Associated Meningioma", "hasFormula": false, "pii": [ "S1878-8750(18)30669-7" ], "refBibs": [ { "title": "Primary and metastatic tumors of the nervous system", "author": [ { "name": "L.M. DeAngelis" }, { "name": "P.Y. Wen" } ], "host": { "title": "Primary and Metasta", "author": [ { "name": " " } ] } }, { "title": "CBTRUS statistical report: primary brain and central nervous system tumors diagnosed in the United States in 2008‒2012", "author": [ { "name": "Q.T. Ostrom" }, { "name": "H. Gittleman" }, { "name": "J. Fulop" }, { "name": "M. Liu" }, { "name": "R. Blanda" }, { "name": "C. Kromer" }, { "name": " " } ], "host": { "title": "Neuro-Oncol", "issue": "Suppl 4", "pages": { "first": "iv1", "last": "iv62" } } }, { "title": "The 2016 World Health Organization classification of tumors of the central nervous system: a summary", "author": [ { "name": "D.N. Louis" }, { "name": "A. Perry" }, { "name": "G. Reifenberger" }, { "name": "A. von Deimling" }, { "name": "D. Figarella-Branger" }, { "name": "W.K. Cavenee" }, { "name": " " } ], "host": { "title": "Acta Neuropathol (Berl)", "pages": { "first": "803", "last": "820" } } }, { "title": "World Health Organization Classification of Tumors of the Central Nervous System", "author": [ { "name": "S.-P. Weathers" }, { "name": "B. O’Brien" }, { "name": "J. de Groot" } ], "host": { "title": "The MD Anderson Manual of Medical Oncology" } }, { "title": "Management of foramen magnum meningioma during pregnancy: literature review and case report", "author": [ { "name": "A.M. Casabella" }, { "name": "T.M. Urakov" }, { "name": "G. Basil" }, { "name": "J.J. Morcos" } ], "host": { "title": "World Neurosurg", "pages": { "first": "752e15", "last": "752.e18" } } }, { "title": "Foster Kennedy syndrome due to meningioma growth during pregnancy", "author": [ { "name": "J. Biller" }, { "name": "I. Hughes" }, { "name": "D. Anderson" }, { "name": "J. Lee" }, { "name": "F. Rodriguez-Porcel" } ], "host": { "title": "Front Neurol", "pages": { "first": "183" } } }, { "title": "Neurologic conditions occurring as complications of pregnancy", "author": [ { "name": "A.B. King" } ], "host": { "title": "Arch Neurol Psychiatry", "pages": { "first": "611", "last": "644" } } }, { "title": "Merlin, DAL-1, and progesterone receptor expression in clinicopathologic subsets of meningioma: a correlative immunohistochemical study of 175 cases", "author": [ { "name": "A. Perry" }, { "name": "D.X. Cai" }, { "name": "B.W. Scheithauer" }, { "name": "P.E. Swanson" }, { "name": "C.M. Lohse" }, { "name": "I.F. Newsham" }, { "name": " " } ], "host": { "title": "J Neuropathol Exp Neurol", "pages": { "first": "872", "last": "879" } } }, { "title": "Progesterone and estrogen receptors in meningiomas: prognostic considerations", "author": [ { "name": "D.W. Hsu" }, { "name": "J.T. Efird" }, { "name": "E.T. Hedley-Whyte" } ], "host": { "title": "J Neurosurg", "pages": { "first": "113", "last": "120" } } }, { "title": "Update on meningiomas", "author": [ { "name": "S. Saraf" }, { "name": "B.J. McCarthy" }, { "name": "J.L. Villano" } ], "host": { "title": "The Oncologist", "pages": { "first": "1604", "last": "1613" } } }, { "title": "Sex steroid hormone exposures and risk for meningioma", "author": [ { "name": "B.S. Jhawar" }, { "name": "C.S. Fuchs" }, { "name": "G.A. Colditz" }, { "name": "M.J. Stampfer" } ], "host": { "title": "J Neurosurg", "pages": { "first": "848", "last": "853" } } }, { "title": "Exogenous hormone use and meningioma risk—what do we tell our patients?", "author": [ { "name": "E.B. Claus" }, { "name": "P. Black" }, { "name": "M. Bondy" }, { "name": "L. Calvacoressi" }, { "name": "J.M. Schildkraut" }, { "name": "J.L. Wiemels" }, { "name": " " } ], "host": { "title": "Cancer", "pages": { "first": "471", "last": "476" } } }, { "title": "The association between breast carcinoma and meningioma in women", "author": [ { "name": "B.S. Custer" }, { "name": "T.D. Koepsell" }, { "name": "B.A. Mueller" } ], "host": { "title": "Cancer", "pages": { "first": "1626", "last": "1635" } } }, { "title": "Meningiomas in pregnancy: a clinicopathologic study of 17 cases", "author": [ { "name": "E.A. Lusis" }, { "name": "B.W. Scheithauer" }, { "name": "A.T. Yachnis" }, { "name": "B.R. Fischer" }, { "name": "M.R. Chicoine" }, { "name": "W. Paulus" }, { "name": " " } ], "host": { "title": "Neurosurgery", "pages": { "first": "951", "last": "961" } } }, { "title": "Unique features of pregnancy-related meningiomas: lessons learned from 148 reported cases and theoretical implications of a prolactin modulated pathogenesis", "author": [ { "name": "Y. Laviv" }, { "name": "V. Ohla" }, { "name": "E.M. Kasper" } ], "host": { "title": "Neurosurg Rev", "pages": { "first": "95", "last": "108" } } }, { "title": "Reproductive factors and risk of meningioma and glioma", "author": [ { "name": "A. Wigertz" }, { "name": "S. Lönn" }, { "name": "P. Hall" }, { "name": "A. Auvinen" }, { "name": "H.C. Christensen" }, { "name": "C. Johansen" } ], "host": { "title": "Cancer Epidemiol Prev Biomark", "pages": { "first": "2663", "last": "2670" } } }, { "title": "Postpartum regression of a presumed cavernous meningioma", "author": [ { "name": "S.Y. Phang" }, { "name": "P. Whitfield" } ], "host": { "title": "Case Rep Oncol Med", "pages": { "first": "2649426" } } }, { "title": "Hormone-dependent shrinkage of a sphenoid wing meningioma after pregnancy: case report", "author": [ { "name": "J. Kerschbaumer" }, { "name": "C.F. Freyschlag" }, { "name": "G. Stockhammer" }, { "name": "S. Taucher" }, { "name": "H. Maier" }, { "name": "C. Thomé" }, { "name": " " } ], "host": { "title": "J Neurosurg", "pages": { "first": "137", "last": "140" } } }, { "title": "The relapsing course of certain meningiomas in relation to pregnancy and menstruation", "author": [ { "name": "E.R. Bickerstaff" }, { "name": "J.M. Small" }, { "name": "I.A. Guest" } ], "host": { "title": "J Neurol Neurosurg Psychiatry", "pages": { "first": "89", "last": "91" } } }, { "title": "The natural history of incidental meningiomas", "author": [ { "name": "M. Nakamura" }, { "name": "F. Roser" }, { "name": "J. Michel" }, { "name": "C. Jacobs" }, { "name": "M. Samii" } ], "host": { "title": "Neurosurgery", "pages": { "first": "62", "last": "71" } } }, { "title": "Menopausal hormone therapy and central nervous system tumor risk: large UK prospective study and meta-analysis", "author": [ { "name": "V.S. Benson" }, { "name": "O. Kirichek" }, { "name": "V. Beral" }, { "name": "J. Green" } ], "host": { "title": "Int J Cancer", "pages": { "first": "2369", "last": "2377" } } } ], "genre": [ "research-article" ], "host": { "title": "World Neurosurgery", "language": [ "unknown" ], "publicationDate": "2018", "issn": [ "1878-8750" ], "pii": [ "S1878-8750(18)X0004-7" ], "volume": "114", "pages": { "first": "e1261", "last": "e1265" }, "genre": [ "journal" ] }, "ark": [ "ark:/67375/6H6-Z54K0BJV-6" ], "categories": { "wos": [ "1 - science", "2 - surgery", "2 - clinical neurology" ], "scienceMetrix": [], "scopus": [ "1 - Health Sciences", "2 - Medicine", "3 - Clinical Neurology", "1 - Health Sciences", "2 - Medicine", "3 - Surgery" ], "inist": [ "1 - sciences appliquees, technologies et medecines", "2 - sciences biologiques et medicales", "3 - sciences medicales" ] }, "publicationDate": "2018", "copyrightDate": "2018", "enrichments": { "multicat": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/5292F8A346081FCF601DCDE07D0CE30CFAB10E62/enrichments/multicat" } ], "nb": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/5292F8A346081FCF601DCDE07D0CE30CFAB10E62/enrichments/nb" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/5292F8A346081FCF601DCDE07D0CE30CFAB10E62/enrichments/teeft" } ] }, "doi": [ "10.1016/j.wneu.2018.03.187" ], "id": "5292F8A346081FCF601DCDE07D0CE30CFAB10E62", "score": 11.633534, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/fulltext.pdf" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/fulltext.txt" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/fulltext.tei" }, { "extension": "cleaned", "original": false, "mimetype": "text/cleaned", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/fulltext.cleaned" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/record.json" } ], "annexes": [ { "extension": "jpeg", "original": true, "mimetype": "image/jpeg", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/annexes.jpeg" }, { "extension": "smi", "original": true, "mimetype": "application/smil+xml", "uri": "https://api.istex.fr/ark:/67375/6H6-Z54K0BJV-6/annexes.smi" } ], "serie": {} }, { "corpusName": "sage", "keywords": { "teeft": [ "psychofamilial", "houdini", "book kotices", "psychofamilial schema", "institutional psychoanalysis", "theoretical formulation", "mental operation", "imaginary omnipotence", "reality principle", "specific mode", "institutional class struggle", "conceptual framework", "institutional social class", "class position", "class relation", "political level", "institutional conflict", "next lower developmental level", "traditional relationship", "unconscious implication", "strange formulation", "marxist theory", "forceful ascent", "marxist society", "jacob swnrtz", "fascinating picture", "legendary showman", "ehrich weiss", "tremendous need", "book section chance", "inevitable expression", "psychological force", "secret confines", "distant past", "multiple determinant", "human behavior", "vast deal", "many strand", "fascinating tapestry", "impellins motivation", "psychoanalytic portrait", "multifarious activity", "movie maker", "mental institution", "edgar allen", "conan doyle", "symbolic act", "surprising glimpse", "prodigious research", "extensive bibliography", "houdini family romance", "royal hotel", "impoverished emigrant", "unsuccessful husband", "large family", "small town", "master obscurantist", "literary quotation", "famous french conjurer", "spiritual father", "several brother", "eventual involvement", "ancient legend", "gender identity", "traumatic experience", "active control", "ultimate monument", "royal family", "granite bust", "vandal unknown", "many year", "granite decapitation", "unconscious fantasy", "worldwide appeal", "delightful reading experience", "charles sarnofl", "jason aronson", "understanding growth", "encyclopedic survey", "excellent bibliography", "good index", "widc variety", "clinical problem therapist", "case material", "common problem", "necessary condensation", "analytic case material", "interesting section", "diagnostic value", "modern research", "valuable addition", "historical review", "complex theoretical concept" ] }, "author": [ { "name": "Felix H. OCKO", "affiliations": [ "Berkeley, Cal." ] } ], "articleId": [ "10.1177_000306517902700317" ], "arkIstex": "ark:/67375/M70-G06T8VSN-T", "language": [ "eng" ], "originalGenre": [ "review-article" ], "qualityIndicators": { "hasStructuredBody": false, "teiSource": "pub2tei", "xmlStats": { "paragraphCount": 1, "sectionCount": 1, "sectionLevels": [ { "level": 0, "sectionCount": 1 } ], "sectionDepth": 1, "imageCount": 0, "tableCount": 0, "refCount": 0 }, "tdmReady": false, "score": 1.851, "pdfWordCount": 1134, "pdfCharCount": 6127, "pdfVersion": 1.4, "pdfPageCount": 3, "pdfPageSize": "432 x 648 pts", "pdfWordsPerPage": 378, "pdfText": true, "refBibsNative": false, "abstractWordCount": 0, "abstractCharCount": 0, "keywordCount": 0 }, "title": "Houdini: A Mind in Chains: A Psychoanalytic Portrait", "hasFormula": false, "refBibs": [], "genre": [ "review-article" ], "host": { "title": "Journal of the American Psychoanalytic Association", "language": [ "unknown" ], "issn": [ "0003-0651" ], "eissn": [ "1941-2460" ], "publisherId": [ "APA" ], "volume": "27", "issue": "3", "pages": { "first": "709", "last": "711" }, "genre": [ "journal" ] }, "namedEntities": { "unitex": { "date": [ "1979" ], "persName": [ "A. Conan", "E. P. Dutton", "C. Meyer", "H. Ocko", "M.D. Boston", "Ocko", "Meyer", "M.D. Berkeley" ], "placeName": [ "New York" ] } }, "ark": [ "ark:/67375/M70-G06T8VSN-T" ], "categories": { "wos": [ "1 - social science", "2 - psychology, psychoanalysis", "2 - psychiatry" ], "scienceMetrix": [ "1 - health sciences", "2 - psychology & cognitive sciences", "3 - psychoanalysis" ], "scopus": [ "1 - Social Sciences", "2 - Psychology", "3 - Clinical Psychology", "1 - Social Sciences", "2 - Arts and Humanities", "3 - Arts and Humanities (miscellaneous)" ] }, "publicationDate": "1979", "copyrightDate": "1979", "enrichments": { "multicat": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/537376C87556443081FCDFDFD54069609645ACEA/enrichments/multicat" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/537376C87556443081FCDFDFD54069609645ACEA/enrichments/teeft" } ], "unitex": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/537376C87556443081FCDFDFD54069609645ACEA/enrichments/unitex" } ] }, "doi": [ "10.1177/000306517902700317" ], "id": "537376C87556443081FCDFDFD54069609645ACEA", "score": 11.4393635, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/M70-G06T8VSN-T/fulltext.pdf" }, { "extension": "zip", "original": false, "mimetype": "application/zip", "uri": "https://api.istex.fr/ark:/67375/M70-G06T8VSN-T/bundle.zip" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/M70-G06T8VSN-T/fulltext.tei" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/M70-G06T8VSN-T/fulltext.txt" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/M70-G06T8VSN-T/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/M70-G06T8VSN-T/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/M70-G06T8VSN-T/record.json" } ], "serie": {} }, { "corpusName": "springer-journals", "keywords": { "teeft": [ "besinnet", "toledo", "spiritualism", "arthur conan doyle", "s6ance", "houdini", "ophthalmology", "s6ances", "sherlock holmes", "conan", "doyle", "conan doyle", "lady conan doyle", "psychic power", "american society", "second american adventure", "great medium", "general practitioner", "gold mine", "william roche", "psychic research", "british college", "psychic science", "weak spot", "other side", "future husband", "lady doyle", "toledo newspaper", "fraudulent medium", "doyle family", "psychical research", "toledo time", "toledo blade", "psychic" ] }, "subject": [ { "lang": [ "eng" ], "value": "History of ophthalmology" }, { "lang": [ "eng" ], "value": "Medicine and literature" }, { "lang": [ "eng" ], "value": "Spiritualism" } ], "language": [ "eng" ], "originalGenre": [ "OriginalPaper" ], "qualityIndicators": { "hasStructuredBody": true, "teiSource": "grobid", "xmlStats": { "paragraphCount": 2, "sectionCount": 1, "sectionLevels": [ { "sectionCount": 1, "level": 0 } ], "sectionDepth": 1, "imageCount": 2, "tableCount": 1, "refCount": 14 }, "tdmReady": true, "score": 5.684, "pdfWordCount": 5039, "pdfCharCount": 23567, "pdfVersion": 1.3, "pdfPageCount": 13, "pdfPageSize": "453.28 x 677 pts", "pdfWordsPerPage": 388, "pdfText": true, "refBibsNative": false, "abstractWordCount": 57, "abstractCharCount": 384, "keywordCount": 3 }, "title": "The wanderings of a literary ophthalmologist: A. Conan Doyle, Houdini, and Ada Besinnet", "refBibs": [ { "author": [ { "name": "C Snyder" } ], "host": { "volume": "85", "pages": { "last": "365", "first": "359" }, "title": "Arch Ophth", "publicationDate": "1971" }, "title": "There's Money in Ears, But the Eye is a Gold Mine" }, { "host": { "pages": { "last": "85", "first": "84" }, "author": [ { "name": "A C Doyle" }, { "name": "Memories" }, { "name": "Adventures" }, { "name": "Boston: Little" }, { "name": "Co Brown" } ], "publicationDate": "1924" } }, { "host": { "pages": { "last": "90", "first": "89" }, "author": [ { "name": "Ibid" } ] } }, { "author": [ { "name": "W H Hamilton" }, { "name": "J S Smyth" }, { "name": "J H Hyslop" }, { "name": "J H Hyslop" } ], "host": { "volume": "5", "pages": { "last": "319", "first": "289" }, "title": "Proceedings of the American Society of Psychical Research", "publicationDate": "1911" }, "title": "The Burton Case of Hysteria and Other Phenomena" }, { "author": [ { "name": "A C Doyle" }, { "name": "J H Mckenzie" } ], "host": { "volume": "1", "pages": { "last": "79", "first": "78" }, "title": "Quarterly Transactions of British College of Psychic Science", "publicationDate": "1922" }, "title": "Report of Miss Ada Besinnet's Mediumship" }, { "host": { "pages": { "first": "2" }, "title": "Toledo Times", "publicationDate": "1922-05-20" } }, { "host": { "pages": { "first": "4" }, "author": [ { "name": "Toledo News-Bee" } ], "publicationDate": "1922-05-18" } }, { "host": { "pages": { "first": "1" }, "author": [ { "name": "Toledo Blade" } ], "publicationDate": "1922-05-18" } }, { "host": { "pages": { "first": "1" }, "author": [ { "name": "Toledo News-Bee" } ], "publicationDate": "1922-05-22" } }, { "host": { "pages": { "first": "48" }, "author": [ { "name": "A C Doyle" } ], "title": "Our Second American Adventure", "publicationDate": "1924" } }, { "host": { "author": [ { "name": "B M L Ernst" }, { "name": "H Carrington" }, { "name": "Conan Houdini" }, { "name": "Doyle" } ], "publisher": "Hutchinson & Co", "title": "The Story of a Strange Friendship", "publicationDate": "1933" } }, { "author": [ { "name": "W B Gibson" } ], "host": { "title": "Cor0dn Sterling", "publicationDate": "1976" }, "title": "The Original Houdini Scrapbook" }, { "host": { "author": [ { "name": "Toledo Blade" } ], "publicationDate": "1930-07-09" } }, { "host": { "title": "Toledo Times", "publicationDate": "1930-07-08" } } ], "genre": [ "research-article" ], "host": { "title": "Documenta Ophthalmologica", "language": [ "unknown" ], "publicationDate": "1991", "copyrightDate": "1991", "issn": [ "0012-4486" ], "eissn": [ "1573-2622" ], "journalId": [ "10633" ], "volume": "77", "issue": "4", "pages": { "first": "335", "last": "347" }, "genre": [ "journal" ], "subject": [ { "value": "Ophthalmology" } ] }, "namedEntities": { "unitex": { "date": [ "1930", "1920s", "1931", "1920", "1881", "1886" ], "orgName": [ "University of Edinburgh", "Doyle party", "RAVIN The Eye Center" ], "persName": [ "Besinnet", "A. Conan", "American", "Miss Ada", "Mr. Roche", "Mr. Houdini", "Roche", "J.H. The", "The", "I. American", "Conan", "B. Pruden", "J.H. Report", "Miss Ada Besinnet", "Dr. P.L.O. Keller", "President William Howard", "Dr. Watson", "Miss Bessinet", "Houdini", "Ada", "Mrs. Laura", "Miss Besinnet", "Mrs. De Crespigny" ], "placeName": [ "New York", "San Francisco", "Atlantic City", "Crowborough" ] } }, "ark": [ "ark:/67375/1BB-R6SZDT7V-G" ], "categories": { "wos": [ "1 - science", "2 - ophthalmology" ], "scienceMetrix": [ "1 - health sciences", "2 - clinical medicine", "3 - ophthalmology & optometry" ], "scopus": [ "1 - Health Sciences", "2 - Medicine", "3 - Physiology (medical)", "1 - Life Sciences", "2 - Neuroscience", "3 - Sensory Systems", "1 - Health Sciences", "2 - Medicine", "3 - Ophthalmology" ], "inist": [ "1 - sciences humaines et sociales", "2 - histoire et sciences des religions" ] }, "publicationDate": "1991", "author": [ { "name": "James G. Ravin", "affiliations": [ "The Eye Center of Toledo, 3000 Regency Court, 43623-3081, Toledo, OH, USA" ] } ], "articleId": [ "BF00156974", "Art4" ], "accessCondition": { "contentType": "isNotOpenAccess", "value": "closed" }, "arkIstex": "ark:/67375/1BB-R6SZDT7V-G", "abstract": "Abstract: Sir Arthur Conan Doyle, the creator of Sherlock Holmes and Dr. Watson, was a general practitioner, then studied ophthalmology. Doyle and Houdini, the famous magician, shared an interest in Spiritualism. They began as friends, but ended on opposite sides of a controversy over Spiritualism. Their differing viewpoints clashed when Besinnet, a well known medium, was involved.", "pmid": [ "1769303" ], "hasFormula": false, "copyrightDate": "1991", "enrichments": { "grobidFulltext": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/0F8721FFC3543788C09BA2E78DA34B7772C11F1F/enrichments/grobidFulltext" } ], "multicat": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/0F8721FFC3543788C09BA2E78DA34B7772C11F1F/enrichments/multicat" } ], "nb": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/0F8721FFC3543788C09BA2E78DA34B7772C11F1F/enrichments/nb" } ], "teeft": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/0F8721FFC3543788C09BA2E78DA34B7772C11F1F/enrichments/teeft" } ], "unitex": [ { "original": false, "mimetype": "application/tei+xml", "extension": "tei", "uri": "https://api.istex.fr/document/0F8721FFC3543788C09BA2E78DA34B7772C11F1F/enrichments/unitex" } ] }, "doi": [ "10.1007/BF00156974" ], "id": "0F8721FFC3543788C09BA2E78DA34B7772C11F1F", "score": 11.155651, "fulltext": [ { "extension": "pdf", "original": true, "mimetype": "application/pdf", "uri": "https://api.istex.fr/ark:/67375/1BB-R6SZDT7V-G/fulltext.pdf" }, { "extension": "zip", "original": false, "mimetype": "application/zip", "uri": "https://api.istex.fr/ark:/67375/1BB-R6SZDT7V-G/bundle.zip" }, { "extension": "tei", "original": false, "mimetype": "application/tei+xml", "uri": "https://api.istex.fr/ark:/67375/1BB-R6SZDT7V-G/fulltext.tei" }, { "extension": "txt", "original": false, "mimetype": "text/plain", "uri": "https://api.istex.fr/ark:/67375/1BB-R6SZDT7V-G/fulltext.txt" }, { "extension": "cleaned", "original": false, "mimetype": "text/cleaned", "uri": "https://api.istex.fr/ark:/67375/1BB-R6SZDT7V-G/fulltext.cleaned" } ], "metadata": [ { "extension": "xml", "original": true, "mimetype": "application/xml", "uri": "https://api.istex.fr/ark:/67375/1BB-R6SZDT7V-G/record.xml" }, { "extension": "mods", "original": false, "mimetype": "application/mods+xml", "uri": "https://api.istex.fr/ark:/67375/1BB-R6SZDT7V-G/record.mods" }, { "extension": "json", "original": false, "mimetype": "application/json", "uri": "https://api.istex.fr/ark:/67375/1BB-R6SZDT7V-G/record.json" } ], "serie": {} } ], "aggregations": { "corpusName": { "docCountErrorUpperBound": 0, "sumOtherDocCount": 0, "buckets": [ { "key": "oup", "docCount": 4 }, { "key": "elsevier", "docCount": 3 }, { "key": "acs", "docCount": 2 }, { "key": "cambridge", "docCount": 2 }, { "key": "springer-ebooks", "docCount": 2 }, { "key": "springer-journals", "docCount": 2 }, { "key": "bmj", "docCount": 1 }, { "key": "sage", "docCount": 1 }, { "key": "wiley", "docCount": 1 } ], "keyCount": 9 } } }