cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
sj-docx-1-wso-10.1177_17474930221138014 – Supplemental material for Primary results of mechanical thrombectomy for acute ischemic stroke: The K-NET registry in the Japanese metropolitan area
Creators: name: Ueda, Toshihiro
name: Hasegawa, Yasuhiro
name: Takeuchi, Masataka
name: Morimoto, Masafumi
name: Tsuboi, Yoshifumi
name: Yamamoto, Ryoo
name: Kaku, Shogo
name: Ayabe, Junichi
name: Akiyama, Takekazu
name: Ishima, Daisuke
name: Mori, Kentaro
name: Kagami, Hiroshi
name: Ito, Hidemichi
name: Onodera, Hidetaka
name: Doi, Hiroshi
name: Tsumoto, Tomoyuki
name: Hataoka, Shunsuke
name: Noda, Masayuki
name: Tomura, Nagatsuki
name: Masuo, Osamu
name: Yoshida, Yoichi
name: Kaga, Yasuyuki
name: Tatsuno, Kentaro
name: Yoshie, Tomohide
name: Takaishi, Satoshi
name: Yamano, Yoshihisa
Publisher: name: SAGE Journals
Year: 2022
Subjects: subject: Cardiology
subject: Medicine
subject: 110904 Neurology and Neuromuscular Diseases
subject: FOS: Clinical medicine

description: Supplemental material, sj-docx-1-wso-10.1177_17474930221138014 for Primary results of mechanical thrombectomy for acute ischemic stroke: The K-NET registry in the Japanese metropolitan area by Toshihiro Ueda, Yasuhiro Hasegawa, Masataka Takeuchi, Masafumi Morimoto, Yoshifumi Tsuboi, Ryoo Yamamoto, Shogo Kaku, Junichi Ayabe, Takekazu Akiyama, Daisuke Ishima, Kentaro Mori, Hiroshi Kagami, Hidemichi Ito, Hidetaka Onodera, Hiroshi Doi, Tomoyuki Tsumoto, Shunsuke Hataoka, Masayuki Noda, Nagatsuki Tomura, Osamu Masuo, Yoichi Yoshida, Yasuyuki Kaga, Kentaro Tatsuno, Tomohide Yoshie, Satoshi Takaishi and Yoshihisa Yamano in International Journal of Stroke
uniforum 25 (2012) Nr. 3
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2012
Subjects: subject: ddc:000

description: Wo Doktorandinnen und Doktoranden aus drei Fachbereichen eine Plattform für interdisziplinäre Zusammenarbeit finden: im neu gegründeten Gießener Graduiertenzentrum Sozial-, Wirtschafts- und Rechtswissenschaften (GGS).Wie ein ehemaliges DDRKrebsmedikament dank Gießener Untersuchungen international Furore macht: Prof. Rummel präsentierte seine Ergebnisse vor der US-amerikanischen Krebsgesellschaft ASCO.Warum der Sport Dies ein ganz besonderer war: Die langjährigen Organisatoren Dr. Roland Metsch und Dr. Roland Franz gehen in den Ruhestand. Doch statt traurigem Abschied bescherten sie noch einmal eine großartige Party.Wie man alte Bücher vor dem Verfall rettet und ein besonderes Exlibris bekommt: Prof. Cora Dietl hat an der UB die erste Buchpatenschaft und damit die Kosten für die Restaurierung einer Handschrift übernommen.
title: "Mademoiselle Nadia Boulanger"... eine Pädagogin prägt eine Epoche
Creators: name: Heger, Katharina
Year: 2009

description: Nadia Boulanger ist eine der herausragenden MusikpädagogInnen des 20. Jahrhunderts. In ihrer Wirkungsperiode, die über sieben Jahrzehnte andauert, prägt sie KomponistInnen, MusikerInnen und MusikpädagogInnen aller Welt. Als Mitglied einer Musikerfamilie kommt Nadia Boulanger schon früh in Kontakt mit wichtigen Persönlichkeiten der Pariser Musikwelt. Gepaart mit einer strengen Erziehung und einem ehrgeizigen Training bildet dies die Basis für ihre spätere Karriere. Nadia Boulangers Charakter wird vor allem durch enge Vertraute wie ihre Mutter Raïssa Boulanger oder ihren Mentor Raoul Pugno geprägt. Ihre Pädagogentätigkeit ist für Nadia Boulanger vorerst Mittel um Geld zu verdienen, wird aber nach und nach zu ihrem Lebensinhalt. Durch ihre Offenheit Neuer Musik gegenüber und innovativen Unterrichtsformen wie dem Gruppenunterricht im berühmten Appartement in der Rue Ballu erreicht Nadia Boulanger einen hohen Bekanntheitsgrad. Als Lehrbeauftragte am Amerikanischen Konservatorium Fontainebleau nützt sie ihre Kontakte in die Vereinigten Staaten und wird schließlich zur „one-woman musical UN“ , der Frau, die die amerikanische Musik des 20. Jahrhunderts wie kein/e andere/r prägt.
uniforum 25 (2012) Nr. 4
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2012
Subjects: subject: ddc:000

description: Wie die JLU über Nacht mehr als 1.000 Fans bekam: Die Gießener Universität ist jetzt auch auf Facebook präsent mit Veranstaltungshinweisen, Alumni-Bereich, Jobportal und vielem mehr. Das Echo auf die Seite ist positiv.Wie sich die Forschung zur Holocaustliteratur an der JLU weiterentwickelt: Ein digitaler Atlas wird erstellt, es gibt neue Räume für die Arbeitsstelle Holocaustliteratur und einen internationalen Workshop.Wie Energie künftig gespeichert werden kann: Mit diesem Zukunftsthema punkteten Gießener Wissenschaftlerinnen und Wissenschaftler erneut bei der hessischen Exzellenzinitiative LOEWE. Store-E heißt ihr Projekt.Wie es in Gießen laut und hell wird: Das Institut für Angewandte Theaterwissenschaft lädt vom 10. bis 14. Oktober zum 28. Diskurs-Festival ein mit vielfältigen Performances, Musik und Installationen.
Additional file 9 of Preoperative profiles of plasma amino acids and derivatives distinguish periampullary cancer and benign disease
Creators: name: Stålberg, Stina Margrethe
name: Silwal-Pandit, Laxmi
name: Bastani, Nasser Ezzatkhah
name: Nebdal, Daniel Johan Hammer
name: Lingjærde, Ole Christian
name: Skålhegg, Bjørn Steen
name: Kure, Elin Hegland
Publisher: name: figshare
Year: 2024
Subjects: subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer

description: Additional file 9. ROC curve – Patients with benign and malignant disease. ROC curve of the classification from the “Benign cluster” and the “Malignant cluster” in Fig. 4 on patients with benign and malignant disease (N = 117). ROC = receiver operating characteristic, AUC = area under the curve.
Schule, Bibliotheken, Schulbibliotheken : Vortrag vorgesehen für den Workshop "Bibliotheken als Bildungspartner der Schulen: Modelle – Standpunkte – Erfahrungen des Weiterbildungszentrums der Freien Universität Berlin und der DBV-Expertengruppe Bibliothek und Schule" am 1. Dezember 2006 im Weiterbildungszentrum der Freien Universität Berlin
Creators: name: Umlauf, Konrad
Publisher: name: Humboldt-Universität zu Berlin
Year: 2007
Subjects: subject: 020 Bibliotheks- und Informationswissenschaft

description: Der Beitrag untersucht, inspiriert durch die Diskursanalyse, Argumentationen der akademischen Pädagogik, der Schulpraktiker und der Bibliothekare zum Thema Schulbibliothek. Ferner wird die Frage nach den Kosten verschiedener Modelle schulbibliothekarischer Versorgung behandelt. Die akademische Pädagogik baut Argumentationen um den Begriff offener Unterricht auf, die aus bibliothekarischer Sicht sowie aus Sicht der Schulpraktiker Schulbibliotheken begründen können, geht aber auf Schulbibliotheken nahezu nicht ein. Bibliothekarische Argumentationen knüpfen terminologisch oft zu unscharf an pädagogische Problemstellungen an. Das kostengünstigste Modell schulbibliothekarischer Versorgung ist eine vorhandene Filiale der Öffentlichen Bibliothek, die ihre Dienstleistungen auf die Schule fokussiert. Aber auch eine ausgebaute schulinterne Bibliothek verbraucht höchstens 4 % der Gesamtkosten der Schule. Gesichert ist, dass bessere Schulbibliotheken die Leseleistung der Schüler steigern. Am pädagogischen Effekt einer Schulbibliothek haben sowohl unmittelbar kostenwirksame Faktoren (Ausstattung mit Personal, Computern, elektronischen Medien und gedruckten Büchern) wie auch Verhaltensweisen der Beteiligten (Zusammenarbeit des Personals der Schulbibliothek mit dem Lehrerkollegium, Kurse zur Vermittlung von Informationskompetenz, Information des Lehrerkollegiums über Angebote der Schulbibliothek, Häufigkeit individueller Besuche der Schulbibliothek durch Schüler) einen Anteil. Empirisch belegt ist die Kosteneffizienz von Schulbibliotheken: Schulbibliotheken können den Anteil der Schüler, die überdurchschnittliche Leseleistungen erreichen, von ca. 40 % auf ca. 80 % steigern, wenn sie rund 60 % mehr Personal und Medien bekommen und das Personal eng mit dem Lehrerkollegium zusammenarbeitet.
$N$-player game formulation of the majority-vote model of opinion dynamics
Creators: name: Soares, João P. M.
name: Fontanari, José F.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: FOS: Physical sciences

description: From a self-centered perspective, it can be assumed that people only hold opinions that can benefit them. If opinions have no intrinsic value, and acquire their value when held by the majority of individuals in a discussion group, then we have a situation that can be modeled as an $N$-player game. Here we explore the dynamics of (binary) opinion formation using a game-theoretic framework to study an $N$-player game version of Galam's local majority-vote model. The opinion dynamics is modeled by a stochastic imitation dynamics in which the individuals copy the opinion of more successful peers. In the infinite population limit, this dynamics is described by the classical replicator equation of evolutionary game theory. The equilibrium solution shows a threshold separating the initial frequencies that lead to the fixation of one opinion or the other. A comparison with Galam's deterministic model reveals contrasting results, especially in the presence of inflexible individuals, who never change their opinions. In particular, the $N$-player game predicts a polarized equilibrium consisting only of extremists. Using finite-size scaling analysis, we evaluate the critical exponents that determine the population size dependence of the opinion's fixation probability and mean fixation times near the threshold. The results underscore the usefulness of combining evolutionary game theory with opinion dynamics and the importance of statistical physics tools to summarize the results of Monte Carlo simulations.
sj-docx-2-tag-10.1177_17562848221141501 – Supplemental material for Impact of recurrent hospitalization for Clostridioides difficile on longitudinal outcomes in patients with inflammatory bowel diseases: a nationally representative cohort
Creators: name: Venkat, Preethi G.
name: Nguyen, Nghia H.
name: Luo, Jiyu
name: Qian, Alexander S.
name: Khanna, Sahil
name: Singh, Siddharth
Publisher: name: SAGE Journals
Year: 2022
Subjects: subject: 111199 Nutrition and Dietetics not elsewhere classified
subject: FOS: Health sciences
subject: 111299 Oncology and Carcinogenesis not elsewhere classified
subject: FOS: Clinical medicine
subject: 111599 Pharmacology and Pharmaceutical Sciences not elsewhere classified

description: Supplemental material, sj-docx-2-tag-10.1177_17562848221141501 for Impact of recurrent hospitalization for Clostridioides difficile on longitudinal outcomes in patients with inflammatory bowel diseases: a nationally representative cohort by Preethi G. Venkat, Nghia H. Nguyen, Jiyu Luo, Alexander S. Qian, Sahil Khanna and Siddharth Singh in Therapeutic Advances in Gastroenterology
uniforum 26 (2013) Nr. 4
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2013
Subjects: subject: ddc:000

description: Wo es seit vier Jahrzehnten Rat und Hilfe für Studierende und Studieninteressierte gibt: Die Zentrale Studienberatung feiert ihr 40-jähriges Jubiläum. Ein Modellversuch wurde hier zur Erfolgsgeschichte.Wie wir uns in der Zukunft fortbewegen: An der JLU führt bei der Entwicklung von Batterien für Elektroautos kein Weg vorbei. Die Chemiker sind auch beimhessischen Kooperationsprojekt Well2Battery2Well dabei.Welche Rolle spielte die Gießener Universität im Kontext von Revolution und Repression im Großherzogtum Hessen? Dieser Frage widmet sich die Ausstellung ImVisier der Staatsgewalt an der JLU im Büchner-Jahr.Wo Justus Kopfhörer trägt: Das erste Campus-Radio der JLU findet immer mehr Fans nicht nur auf Facebook. Das uniforum hat das hochmotivierte studentische Redaktionsteam im Studio besucht.
uniforum 26 (2013) Nr. 3
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2013
Subjects: subject: ddc:000

description: Wo das Gehirn seine Geheimnisse preisgibt: Im BION steht einer der modernsten 3-Tesla-Magnetresonanztomographen weltweit das zweite Gerät dieser Art. Es ermöglicht Forschung auf höchstem internationalem Niveau.Wenn Kabinettsmitglieder nach Gießen kommen: Die Aktionswochen Forschungrücken die Leistungen von Wissenschaft und Forschung in den Blick. Besonders häufig wurden Projekte an der JLU besucht.Was Kühe uns zu sagen haben: Der Kuhflüsterer Dr. Joep Driessen unterrichteteStudierende der Veterinärmedizin im Hörsaal und im Kuhstall auf der Lehr- und Forschungsstation Oberer Hardthof.Warum schnelle Finger und eine gute Spieltechnik für einen Gitarristen nichtdas Wichtigste sind: JLU-Dozent Alfred Schadeberg über den Mikrokosmosder Klänge, sein Instrument und die Gießener Gitarrentage.
title: Waldtraut Lewins Kriminalromane
Creators: name: Widy, Verena
Year: 2009

description: Nach einer Biographie und Ergographie Waldtraut Lewins, beschäftige ich mich mit den Ermittlerinnen ihrer Kriminalromane (Marion Quade-Krimis, Vergleich von Miss Marple und Marion Quade; Amateurdetektivin Aurora Lenssen). Zudem setze ich mich mit dem Ermittler Benjamin Jost und W. Lewins Hansekrimis "Weiberwirtschaft" und "Männersache" auseinander.
Searches for neutral BSM Higgs bosons in fermionic decays in CMS
Creators: name: Vagnerini, Antonio
Publisher: name: Deutsches Elektronen-Synchrotron, DESY, Hamburg
Year: 2018

description: Prospects for Charged Higgs Discovery at Colliders, Charged 2018, Uppsala, Sweden, 25 Sep 2018 - 28 Sep 2018
Search for additional neutral MSSM Higgs bosons in the $\tau\tau$ final state in CMS
Creators: name: Cardini, Andrea
Publisher: name: Deutsches Elektronen-Synchrotron, DESY, Hamburg
Year: 2018

description: The 4th Asia-Europe-Pacific School of High-Energy Physics, AEPSHEP2018, Qui Nhon, Viet Nam, 12 Sep 2018 - 25 Sep 2018
description: This poster contains the results for searches of additional neutral Higgs bosons, predicted in the MSSM model, in the tau tau final state using the data collected by the CMS experiment in 2016.Speakers
Additional file 11 of Preoperative profiles of plasma amino acids and derivatives distinguish periampullary cancer and benign disease
Creators: name: Stålberg, Stina Margrethe
name: Silwal-Pandit, Laxmi
name: Bastani, Nasser Ezzatkhah
name: Nebdal, Daniel Johan Hammer
name: Lingjærde, Ole Christian
name: Skålhegg, Bjørn Steen
name: Kure, Elin Hegland
Publisher: name: figshare
Year: 2024
Subjects: subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer

description: Additional file 11. Blood type and overall survival of cancer patients. Kaplan-Meier curve illustrating overall survival of cancer patients with blood types A and O. Patients that received neoadjuvant chemotherapy (N = 6), one patient with metastasis at the time of diagnosis and one patient with non-standard treatment regime were excluded. Patients with blood types B and AB are not illustrated (N = 5 and 1, respectively).
Zugänglichkeit Der Luzerner Bars Für Menschen Im Rollstuhl: Bedürfnis Von Menschen Im Rollstuhl Nach Sozialer Teilhabe In Luzerner Bars
Creators: name: Bonanomi, Nathalie
name: Steiner, Livius
Publisher: name: Zenodo
Year: 2018

description: Die vorliegende Bachelor-­Arbeit beschäftigt sich mit der Frage nach dem Bedürfnis von Menschen im Rollstuhl, nach der Zugänglichkeit der Luzerner Bars und weiteren Bedürfnissen von Menschen im Rollstuhl, die in Bars abgedeckt werden können. Dabei stützt sich die Autorenschaft auf relevante kantonale, nationale und internationale Gesetzgebungen und Theoriebezüge aus der Freizeitwissenschaft. Das Ziel der Forschung ist, die Bedürfnisse der Menschen im Rollstuhl in Bezug auf Luzerner Bars zu erfassen und herauszuarbeiten ob ein Handlungsbedarf für die Soziale Arbeit besteht. Um herauszufinden, wie das Bedürfnis von Menschen im Rollstuhl nach der Zugänglichkeit der Luzerner Bars aussieht, wurden vier Leitfadeninterviews durchgeführt. Die Ergebnisse der Auswertung wurden im Schlussteil in Verbindung mit den Theorien und der Praxis der Sozialen Arbeit gesetzt. Am Ende werden Empfehlungen für den professionellen Umgang der Sozialen Arbeit mit der Thematik definiert.
description: + Code Diss LU: hslusa basa 2018 + Code Diss LU: hslusa basp 2018 + Fussnote: Bachelor-Arbeit, Hochschule Luzern - Soziale Arbeit, Ausbildungsgang Sozialpädagogik & Sozialarbeit, 2018 + NL-Code: NLLUHSA201809
uniforum 27 (2014) Nr. 1
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2014
Subjects: subject: ddc:000

description: Wie die Stärken der JLU zum Erfolg des Wissenschaftsstandorts Hessen beitragen: Der neue Hessische Wissenschaftsminister Boris Rhein informierte sich über das besondere Profil der Gießener Universität.Wenn sich Kooperation auszahlt: Die DFG fördert zwei neue Sonderforschungsbereiche der Forschungsallianz der Unis Gießen und Marburg zu historischer Sicherheitsforschung sowie zu Hirn und Wahrnehmungsforschung.Warum sich Deutschland frühzeitig in Konflikte einmischen sollte: Der Bundesaußenminister und JLU-Alumnus Dr. Frank-Walter Steinmeier sprach bei der Ringvorlesung des Präsidenten in der voll besetzten Uni-Aula.Wenn das Sekretariat keine Insel ist: Das Netzwerk Justus Sekretariate feiert im März sein einjähriges Bestehen. Es bietet neben Vernetzung und regelmäßigem Austausch auch Weiterbildungen an.
uniforum 28 (2015) Nr. 3
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2015
Subjects: subject: ddc:000

description: Wo Studierende von einer Bundesverfassungsrichterin oder vom Interpol-Chef lernen: Der Fachbereich Rechtswissenschaft ist gut vernetzt; berühmte Alumni sind ihm bis heute eng verbunden.Wie eine gemeinsame Campus- und Stadtentwicklung gelingt: Das Symposium Zukunft:Hochschule:Campus:Stadt bildet den Auftakt einer zweiten Auflage des Prozesses Consilium Campusentwicklung Gießen.Wie man hochpathogene Influenzaviren erkennt: Eine Forschergruppe entwickelt eine Methode zur Abschätzung des pandemischen Risikos von Vogelgrippeviren, die sich leicht auf Menschen übertragen lassen.Wo die Tierdocs im Einsatz sind: Das ZDF drehte eine weitere Folgen der Dokumentation über Studierende der Veterinärmedizin in Tierkliniken, Ställen, Hörsälen, WG-Zimmern und der Lehrschmiede.
A Study into the Application of Occupational Therapy Theoretical Framework in a Public Space Design for Kirkwood Neighborhood Park
Creators: name: Moody, Kelsey
Publisher: name: Digital Repository at the University of Maryland
Year: 2022
Subjects: subject: Landscape architecture

description: The discipline of landscape architecture and the profession of occupational therapy both aim to improve the quality of life for people and communities by removing environmental barriers for people in their everyday lives and increasing the compatibility of people with the environments they occupy. This is especially important in urban environments, where there are a multitude of barriers to green space and natural elements, including accessibility, safety, and proximity. All people, regardless of age, ability, demographic, or location, deserve access to environments that improve health and wellbeing. By working with occupational therapy practitioners in an interdisciplinary context to integrate the foundational goals of occupational therapy in design, landscape architects can create environments that improve health and wellbeing in ways that target the user group to promote engagement in meaningful activities. By doing so, landscape architects have the capacity to improve health for individuals and communities on a micro-level, while also addressing macro-level issues of environmental and occupational justice to provide accessible spaces that allow people to participate in ways that are personally meaningful to them. This research design thesis focuses on user-centered design to create a public space for the community surrounding Kirkwood Neighborhood Park, located in Hyattsville, MD.
sj-docx-1-eus-10.1177_00131245221121668 – Supplemental material for Looking Back to Move Forward: Exploring Urban Secondary Education Teacher Perceptions of Culturally Relevant Pedagogy
Creators: name: Sellers, Kathleen M.
name: MacKenzie, Ann Haley
Publisher: name: SAGE Journals
Year: 2022
Subjects: subject: Education
subject: 120599 Urban and Regional Planning not elsewhere classified
subject: FOS: Social and economic geography

description: Supplemental material, sj-docx-1-eus-10.1177_00131245221121668 for Looking Back to Move Forward: Exploring Urban Secondary Education Teacher Perceptions of Culturally Relevant Pedagogy by Kathleen M. Sellers and Ann Haley MacKenzie in Education and Urban Society
uniforum 28 (2015) Nr. 2
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2015
Subjects: subject: ddc:000

description: Wie Netzwerke eine Region stark machen: Neben den mittelhessischen Hochschulen arbeitet die JLU auch mit vielen außeruniversitären Forschungseinrichtungen in der Metropolregion Rhein-Main eng zusammen.Warum El Niño nicht überraschend kam: Gießener Wissenschaftler haben mit Kollegen aus Israel eine Methode entwickelt, mit der sich das Wetterphänomen so früh wie nie zuvor vorhersagen lässt.Wie Studierende mit ihren Fähigkeiten punkten können: In rund 350 Lehrveranstaltungen und Kursangeboten lassen sich außerfachliche Kompetenzen vertiefen. Und ein Zeugnis gibt es dafür auch.Wie der Spagat zwischen Seminaralltag und Filmset gelingt: Die Schauspielerin Lisa Friederich studiert am Institut für Angewandte Theaterwissenschaft und dreht in den Semesterferien Filme.
sj-pdf-1-tct-10.1177_15330338221143224 - Supplemental material for Machine Learning Radiomics Model for External and Internal Respiratory Motion Correlation Prediction in Lung Tumor
Creators: name: Zhang, Xiangyu
name: Song, Xinyu
name: Li, Guangjun
name: Duan, Lian
name: Wang, Guangyu
name: Dai, Guyu
name: Song, Ying
name: Li, Jing
name: Bai, Sen
Publisher: name: SAGE Journals
Year: 2022
Subjects: Oncology and Carcinogenesis not elsewhere classified
Radiology and Organ Imaging
Biochemistry

description: Supplemental material, sj-pdf-1-tct-10.1177_15330338221143224 for Machine Learning Radiomics Model for External and Internal Respiratory Motion Correlation Prediction in Lung Tumor by Xiangyu Zhang, Xinyu Song, Guangjun Li, Lian Duan, Guangyu Wang, Guyu Dai, Ying Song, Jing Li and Sen Bai in Technology in Cancer Research & Treatment
Recensione a: R. Fabiani,  I decreti onorari di Iasos.  Cronologia e storia , München, Verlag C.  H. Beck, 2015 (Vestigia. Beiträge zur alten  Geschichte Band 66), p. XIV + 354
Creators: name: Faraguna, Michele
Publisher: name: Dike - Rivista di Storia del Diritto Greco ed Ellenistico
Year: 2018

description: Dike - Rivista di Storia del Diritto Greco ed Ellenistico, V. 19 (2017)
Additional file 14 of Preoperative profiles of plasma amino acids and derivatives distinguish periampullary cancer and benign disease
Creators: name: Stålberg, Stina Margrethe
name: Silwal-Pandit, Laxmi
name: Bastani, Nasser Ezzatkhah
name: Nebdal, Daniel Johan Hammer
name: Lingjærde, Ole Christian
name: Skålhegg, Bjørn Steen
name: Kure, Elin Hegland
Publisher: name: figshare
Year: 2024
Subjects: subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer

description: Additional file 14. Nutritional status and overall survival of cancer patients. Kaplan-Meier curve illustrating overall survival in cancer patients with no, moderate, and severe malnutrition. Patients that received neoadjuvant chemotherapy (N = 6), one patient with metastasis at the time of diagnosis and one patient with non-standard treatment regime were excluded. NA = 3.
uniforum 28 (2015) Nr. 1
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2015
Subjects: subject: ddc:000

description: Wo Internationalität zum Kern des Selbstverständnisses gehört: Als eine von fünf Pilothochschulen ist die JLU mit dem Re-Audit-Zertifikat Internationalisierung der HRK ausgezeichnet worden. Wie der Campusbereich Seltersberg/Medizin Gestalt annimmt: Im Wintersemester konnten gleich zwei Richtfeste gefeiert werden für das Forschungsgebäude Medizin und das Lehr- und Dekanatsgebäude.Warum Afghanistan kein weißer Fleck auf der Landkarte mehr ist: Gießener Geographen legen mit afghanischen Kolleginnen und Kollegen einen Nationalatlas vor, der erstmals verlässliche Informationen bietet.Wer für Gleichstellung eintritt: Die beiden Frauenbeauftragten Dr. Nadyne Stritzke und Prof. Dr. Sabine Wenisch haben die Nachfolge von Marion Oberschelp angetreten. Ein Gespräch über Etappen und Erfolge.
sj-docx-4-tct-10.1177_15330338221142400 - Supplemental material for Combined Radiomics–Clinical Model to Predict Radiotherapy Response in Inoperable Stage III and IV Non-Small-Cell Lung Cancer
Creators: name: Chen, Wenrui
name: Wang, Li
name: Hou, Yu
name: Li, Lan
name: Chang, Li
name: Li, Yunfen
name: Xie, Kun
name: Qiu, Linbo
name: Mao, Dan
name: Li, Wenhui
name: Xia, Yaoxiong
Publisher: name: SAGE Journals
Year: 2022
Subjects: Oncology and Carcinogenesis not elsewhere classified
Radiology and Organ Imaging
Biochemistry

description: Supplemental material, sj-docx-4-tct-10.1177_15330338221142400 for Combined Radiomics–Clinical Model to Predict Radiotherapy Response in Inoperable Stage III and IV Non-Small-Cell Lung Cancer by Wenrui Chen, Li Wang, Yu Hou, Lan Li, Li Chang, Yunfen Li, Kun Xie, Linbo Qiu, Dan Mao, Wenhui Li and Yaoxiong Xia in Technology in Cancer Research & Treatment
Note sul postillato del "Discorso sul testo della Commedia di Dante" di Foscolo e commento di una postilla ‘quacchera’
Creators: name: Piola Caselli, Chiara
Publisher: name: Prassi Ecdotiche della Modernità Letteraria
Year: 2018
Subjects: Discorso sul testo della Commedia di Dante; postille foscoliane; quaccheri; Robert Barclay; William Allen; postille; notes; quakers

description: La copia livornese della princeps del Discorso sul testo della Commedia di Dante di Foscolo è un caso esemplare di volume postillato dallo stesso autore. Il saggio propone un primo esame delle postille in esso contenute e delle soluzioni editoriali adottate nell’Edizione Nazionale. Si concentra quindi sul commento di una postilla autografa che offre nuovi spunti interpretativi sulla concezione foscoliana di Dante riformatore religioso e sui rapporti del poeta con la comunità quacchera negli ultimi anni del suo soggiorno londinese.

The Livorno copy of the princeps of Foscolo's Discorso sul testo della Commedia di Dante is a paradigmatic case of a volume glossed by the author himself. The present work aims at providing a first analysis of the said glosses and of the editorial solutions adopted in the Edizione Nazionale. In particular, the study focuses on the comment of an autograph gloss that may bring new insight into Foscolo's idea of Dante as religious reformer and into the relationship between the late Foscolo and the Quaker community during the poet's final years in London.
description: Prassi Ecdotiche della Modernità Letteraria, N. 3 (2018)
Simulation of Horse-Fence Contact and Interaction Affecting Rotational Falls in the Sport of Eventing
Creators: name: Robles Vega, Gregorio
Publisher: name: University of Kentucky Libraries
Year: 2017
Subjects: subject: Acoustics, Dynamics, and Controls
subject: Applied Mechanics
subject: Electro-Mechanical Systems

description: Rotational falls, or somersault falls, have led to serious and fatal injuries during the cross-country phase of Eventing competitions. Research to improve the safety of the sport began in 2000 after five fatal injuries occurred in the 1999 Eventing season. These efforts led to safety devices such as air jackets, improved helmets, and frangible/deformable fences. The focus of this thesis is to develop a more complete understanding of the horse-fence interaction as the approach motion transitions to a rotational fall. To achieve this, a large distribution of inertial properties was compiled through the development of a cylinder-based inertia approximation and a citizen science effort to gather equine geometrical measurements through a survey distributed by the United States Eventing Association (USEA). Furthermore, fundamental kinematic properties of the horse and rider were gathered from the literature. These distributions were used to conduct a Monte Carlo analysis to examine if the approach conditions of the horse and rider would result in a transition to a rotational fall upon horse-fence contact. Through the analysis the sensitivity of the main control parameters was explored to determine the dominant variables in the transition.
title: Autonomie statt Entwicklung
Creators: name: Moser, Bettina
Year: 2009

description: Eine umfassende Analyse des zapatistischen Autonomieprojektes aus entwicklungskritischer Perspektive ist neu. Die Zielsetzung der vorliegenden Arbeit besteht darin, das Verhältnis zwischen der zapatistischen Autonomie und dem radikal-demokratischen Post-Development-Ansatz zu untersuchen. Dem zugrunde liegt die Frage, ob in den zapatistischen Gemeinden in Chiapas eine Alternative zu „Entwicklung“, wie sie vom Post-Development-Ansatz skizziert wird, entsteht. Die Arbeit nähert sich der Forschungsfrage an, indem verschiedene Aspekte des Autonomieprojekts analysiert werden. Zunächst wird die politische Autonomie betrachtet, die sich durch lokale, dezentralisierte und basisdemokratische Organisationsformen charakterisiert. Anschließend untersuche ich die drei Hauptachsen der zapatistischen Autonomie: Bildung, Gesundheitsversorgung und den produktiven Sektor. Für alle Bereiche lässt sich feststellen, dass lokale kulturelle Praktiken und indigenes Wissen eine wichtige Rolle spielen, obwohl gleichzeitig stark auf Wissen von außerhalb der Gemeinden Bezug genommen wird und die zapatistische Bewegung ihre Einbindung in globalisierte wirtschaftliche und politische Strukturen als Herausforderung erkannt hat. Diese Hybridisierung, die ein wesentliches Merkmal des zapatistischen Autonomieprozesses darstellt, wird im zapatistischen Diskurs über „Entwicklung“ unterstrichen. Wie im Post-Development werden universalistische Modelle und so genanntes „ExpertInnenwissen“ abgelehnt. Auffällig ist jedoch die gelegentliche Geringschätzung des indigenen Wissens. In einem weiteren Schritt wird das Verhältnis zwischen zapatistischer Bewegung und NGOs sowie Solidaritätsgruppen untersucht. Dabei zeigt sich, dass trotz gemeinsamer politischer Ziele häufig Muster des Entwicklungsparadigmas bestehen bleiben. Zusammenfassend schätze ich das Autonomieprojekt der zapatistischen Bewegung als Alternative zu fremdbestimmter „Entwicklung“ ein. Es finden sich viele Elemente des emanzipatorischen, radikaldemokratischen Post-Development-Ansatzes im zapatistischen Autonomieprojekt wieder.
sj-docx-1-acr-10.1177_02841851221141656 - Supplemental material for Deep learning-based noise reduction for coronary CT angiography: using four-dimensional noise-reduction images as the ground truth
Creators: name: Kobayashi, Takuma
name: Nishii, Tatsuya
name: Umehara, Kensuke
name: Ota, Junko
name: Ohta, Yasutoshi
name: Fukuda, Tetsuya
name: Ishida, Takayuki
Publisher: name: SAGE Journals
Year: 2022
Subjects: subject: 110320 Radiology and Organ Imaging
subject: FOS: Clinical medicine

description: Supplemental material, sj-docx-1-acr-10.1177_02841851221141656 for Deep learning-based noise reduction for coronary CT angiography: using four-dimensional noise-reduction images as the ground truth by Takuma Kobayashi, Tatsuya Nishii, Kensuke Umehara, Junko Ota, Yasutoshi Ohta, Tetsuya Fukuda and Takayuki Ishida in Acta Radiologica
Additional file 15 of Preoperative profiles of plasma amino acids and derivatives distinguish periampullary cancer and benign disease
Creators: name: Stålberg, Stina Margrethe
name: Silwal-Pandit, Laxmi
name: Bastani, Nasser Ezzatkhah
name: Nebdal, Daniel Johan Hammer
name: Lingjærde, Ole Christian
name: Skålhegg, Bjørn Steen
name: Kure, Elin Hegland
Publisher: name: figshare
Year: 2024
Subjects: subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer

description: Additional file 15. BMI and overall survival of cancer patients. Kaplan-Meier curve illustrating overall survival in cancer patients with normal weight (BMI 18.5–25), overweight (BMI 25–30, and obesity (BMI > 30) according to WHO’s classification. Patients that received neoadjuvant chemotherapy (N = 6), one patient with metastasis at the time of diagnosis and one patient with non-standard treatment regime were excluded. Underweight patients (N = 3, BMI < 18.5) are not illustrated. NA = 1.
uniforum 29 (2016) Nr. 3
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2016
Subjects: subject: ddc:000

description: Wie die JLU ihre Verbindungen zu chinesischen Hochschulen intensiviert: Ein Gespräch mit dem China-Beauftragten des Präsidiums und der Leiterin des Akademischen Auslandsamts zur Regionalstrategie der JLU.Wie die Zukunft des Hochschulstandorts aussehen kann: Beim Consilium Campusentwicklung Gießen II kooperieren JLU, Stadt und THM bei Themen wie Flächenentwicklung, Wohnen und Mobilität.Wie ein Gießener Forscherteam Seepferdchen züchtet und damit die bedrohten Wildbestände schützt: Das Geheimnis des ungewöhnlichen Zuchterfolgs ist eine optimierte Haltung mit speziellem Futter.Wie lebensgroße Tier-Simulatoren eine bessere Ausbildung der Tiermedizin-Studierenden ermöglichen: Das Skills Lab PETS am Fachbereich Veterinärmedizin bietet tolle Möglichkeiten zum Erlernen praktisch-klinischer Fertigkeiten.
sj-docx-1-dli-10.1177_23969415221137293 - Supplemental material for What children with and without ASD see: Similar visual experiences with different pathways through parental attention strategies
Creators: name: Perkovich, Elizabeth
name: Sun, Lichao
name: Mire, Sarah
name: Laakman, Anna
name: Sakhuja, Urvi
name: Yoshida, Hanako
Publisher: name: SAGE Journals
Year: 2022
Subjects: subject: 110904 Neurology and Neuromuscular Diseases
subject: FOS: Clinical medicine
subject: 200399 Language Studies not elsewhere classified
subject: FOS: Languages and literature
subject: 170199 Psychology not elsewhere classified
subject: FOS: Psychology
subject: 130312 Special Education and Disability
subject: FOS: Educational sciences

description: Supplemental material, sj-docx-1-dli-10.1177_23969415221137293 for What children with and without ASD see: Similar visual experiences with different pathways through parental attention strategies by Elizabeth Perkovich, Lichao Sun, Sarah Mire, Anna Laakman, Urvi Sakhuja and Hanako Yoshida in Autism & Developmental Language Impairments
uniforum 29 (2016) Nr. 1
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2016
Subjects: subject: ddc:000

description: Wo ein Elefant in die Suppe taucht: In der Mensa-Küche ist alles ein paar Nummern größer als von der heimischen Küche bekannt. Ein Blick hinter die Kulissen und auf viele helfende Hände lohnt sich auf jeden Fall.Was alte Bäume verraten: Geographen haben mit Jahrringmessungen eine drastische Kälteperiode in Eurasien zwischen 536 und ca. 660 nach Christus aufgedeckt eine Spätantike Kleine Eiszeit .Wie an einen großen Schriftsteller und Maler erinnert wird: Drei Ausstellungen mit einer Klammer sind das Ergebnis einer Annäherung an das bildnerische Werk von Peter Kurzeck.Wer Bücher und Wissen weitergibt: Heike Duill und Marianne Groß haben der Universitätsbibliothek ihre Privatbibliothek mit Werken zum Nationalsozialismus und über den Holocaust geschenkt.
Additional file 16 of Preoperative profiles of plasma amino acids and derivatives distinguish periampullary cancer and benign disease
Creators: name: Stålberg, Stina Margrethe
name: Silwal-Pandit, Laxmi
name: Bastani, Nasser Ezzatkhah
name: Nebdal, Daniel Johan Hammer
name: Lingjærde, Ole Christian
name: Skålhegg, Bjørn Steen
name: Kure, Elin Hegland
Publisher: name: figshare
Year: 2024
Subjects: subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer

description: Additional file 16. Plasma Phenylalanine and overall survival of cancer patients. Scatter plot illustrating the association between levels of plasma Phenylalanine and overall survival in cancer patients. Each dot represents a sample. The line represents the direction of the correlation. Patients that received neoadjuvant chemotherapy (N = 6), one patient with metastasis at the time of diagnosis and one patient with non-standard treatment regime were excluded.
Wall of Noise, Web of Silence
Creators: name: Pledger, David
Publisher: name: RMIT University
Year: 2024
Subjects: classificationCode: 360603
subject: Performance art
classificationCode: 440811
subject: Political theory and political philosophy
classificationCode: 470207
subject: Cultural theory

description: The Artist Formerly Known as David Pledger will release his first concept album WALL OF NOISE WEB OF SILENCE with LINER NOTES Using the moniker, dp, the artist takes his lead from all those brave artists who embraced the challenge of the concept album, from Brian Wilson of The Beach Boys through to Radiohead and Bjork. “The concept album best serves my ambition to create a kind of knowledge in which aesthetics and scholarship operate in a complementary and expansive mode, so that argument may be understood simultaneously through the processes of thinking and feeling.” dp is renowned for his exploratory and experimental artistic adventures that include The Austral/Asian Post-Cartoon: sports edition (1997), Blowback (2004), The Strangeland Triptych (2006-9), Ampersand et al (2010) and David Pledger Is Running For Office (2015). Side 1 is dp’s thesis on democracy in the age of neo-liberalism through the lens of the arts. Side 2 is its antithesis, an atmosphere of democracy in which artistic practice is the prevailing determinant. Noise and silence are the aesthetic frames. The arts, society and politics provide the windows. “On Side 1, you’ll play ‘concept’ tracks, a mini-EP and three 12-inch 45s backgrounded by the beautiful sounds and disturbing speeches of my artistic oeuvre. On Side 2, I take you on a journey that aspires to ‘listen’ a way towards a ‘solution’ to our deepest problem: what to do about democracy?” Two sides riffing off each other and a comprehensive clutch of Liner Notes that reflect on what it means for dp’s artistic practice. “For thirty years, my life as an artist has been a procession of master shots of Western culture from different vantage points: minor pop culture personality, writer, performer, director, producer, arts leader, cultural activist. These are the band members on my new album taking the lead on some tracks, playing back-up on others. The most ambitious and comprehensive explication of my practice to date, Wall of Noise, Web of Silence poses the perfect question: what next, dp, what next….?
title: Die ostseefinnischen Minderheitssprachen in Russland seit dem Ende des 19. Jahrhunderts
Creators: name: Schwarz, Christian
Year: 2009

description: In dieser Arbeit wird die Entwicklung der kleinen ostseefinnischen Sprachen in Russland seit dem Ende der Zarenzeit bis heute bearbeitet. Diese Arbeit ist aber soziolinguistisch zu verstehen, was bedeutet, dass hier vor allem die historischen und politischen Einflüsse auf diese Sprachen seit dem Ende des 19. Jahrhunderts behandelt werden. Bis zur Oktoberrevolution war Russland vor allem agrarisch organisiert, was den kleinen ostseefinnischen Völkern die Möglichkeit gab, abgeschlossen von den anderen zu leben und so ihre Sprache zu bewahren. Mit der Oktoberrevolution wurde dies unmöglich, da Russland nun industrialisiert wurde und diese Völker somit gezwungen waren, russische Schulen zu besuchen und in die Städte zu ziehen. Es gab zwar eine Nationalitätenpolitik, die diesen Völkern die Möglichkeit geben sollte ihre Sprache zu verwenden, diese Programme griffen jedoch zu kurz und Stalins Russifizierungspolitik beendete dann auch diese Versuche. Auch Stalins Nachfolger konnten und wollten diese Politik im Grunde nicht ändern. Mit der Machtübernahme Gorbatschows kam dann für diese Völker wieder eine Hoffnung auf und es wurden erneut Programme für diese Völker gestartet, jedoch die wirtschaftlichen Probleme Russlands in den 1990er Jahren machten diese Hoffnungen wieder zunichte. Trotzdem haben diese Völker heute mehr Freiheiten als früher.
Refining microstructures in additively manufactured Al/Cu gradients through TiB$_2$ inclusions
Creators: name: Abere, Michael J.
name: Choi, Hyein
name: Van Bastian, Levi
name: Jauregui, Luis
name: Babuska, Tomas F.
name: Rodriguez, Mark. A
name: DelRio, Frank W.
name: Whetten, Shaun R.
name: Kustas, Andrew B.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Applied Physics (physics.app-ph)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The additive manufacture of compositionally graded Al/Cu parts by laser engineered net shaping (LENS) is demonstrated. The use of a blue light build laser enabled deposition on a Cu substrate. The thermal gradient and rapid solidification inherent to selective laser melting enabled mass transport of Cu up to 4 mm away from a Cu substrate through a pure Al deposition, providing a means of producing gradients with finer step sizes than the printed layer thicknesses. Printing graded structures with pure Al, however, was prevented by the growth of Al$_2$Cu$_3$ dendrites and acicular grains amid a matrix of Al$_2$Cu. A combination of adding TiB$_2$ grain refining powder and actively varying print layer composition suppressed the dendritic growth mode and produced an equiaxed microstructure in a compositionally graded part. Material phase was characterized for crystal structure and nanoindentation hardness to enable a discussion of phase evolution in the rapidly solidifying melt pool of a LENS print.
description: In review at JOM
Numerical analysis of two-stroke engine with direct injection and jet ignition.
Creators: name: Jiang, Shuheng
Publisher: name: RMIT University
Year: 2024

description: This thesis is carried out to evaluate the combustion evolution and the engine performance parameters of a two-stroke engine with direct injection and jet ignition.

Two-stroke engines are lightweight, simple to construct, high power- to- weight ratios and offer low cost to manufacture. The main problems with two-stroke engines are emissions and low fuel-efficiency.

This research used a two-stroke engine with crankcase scavenging. It also adopted an exhaust reed valve and lamellar intake, accommodating a high pressure direct injector as used in the latest two-stroke gasoline engines. The jet ignition device is replacing traditional spark plug. The main chamber and jet ignition use hydrogen as fuel. The jet ignition instrument is a pre-chamber accommodating a high-pressure injector operated with hydrogen fuel, and an 8 mm racing spark plug. The pre-chamber inside the jet ignition device is connected to the main combustion chamber through calibrated orifices. Lubrication is performed by selective oil injection where needed, rather than oil mixed with fuel.

A two-stroke engine CAD model has been designed by using 3D CAD software SolidWorks. Included are a jet ignition device, fuel injector, gas exchange system, combustion systems, lubricating system and other major engine components. The CFD simulations were performed in Star CCM+ to analyse the combustion evolution with hydrogen fuel in the cylinder from exhaust port closure to exhaust port opening. The obtained combustion rate results from CFD simulation were transferred into 1D software to investigate and analyse the performance of the two-stroke engine.

This research has shown good modelling results with efficiencies well in excess of 30% in the area of best engine operation, and reduced energy penalties when changing load and speed. The solution offers the opportunity to produce an efficient alternative to four- stroke engines with improved power density running an alternative fuel with better combustion properties and reduced pollution than traditional diesel and gasoline fuels.
Flexible agent protocols via temporal linear logic
Creators: name: Pham, Quang Duc
Publisher: name: RMIT University
Year: 2024

description: Multi-agent systems have emerged as a new field that addresses issues among distributed, interconnected and intelligent systems such as conflicts of interests, global constraints, and sharing of resources. Our research addresses an important aspect of multi-agent systems study, specifying interaction protocols, that ensures proper coordination among agents’ activities. Because traditional approaches to specifying protocols tend to pre-specify sequences of interactive behaviors that agents should exhibit, protocols are likely prone to failure when the operating environment, such as the Internet, changes quickly. Our work aims to specify protocols with a richer degree of flexibility in agent interaction and gives agents more autonomy over their interactive actions to cope with on-going changes.

In order to achieve that, we take a declarative approach to protocol specification and make use of the notion of commitment, which provides a mechanism for coordinating interactive behaviours among agents, as a structural element. We show how agents can reason about commitments and protocol actions, choices and changes to achieve the desired results. Such a reasoning system is based on temporal linear logic, which incorporates both temporal and resource-sensitive reasoning. We also provide logic mechanisms that enable agents to reason about partial handling of resources and commitments as well as various strategies on agents’ choices and changes from the environment. Our specification and execution frameworks are shown to include many features that increase flexibility in agent interaction.
First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory
Creators: name: Sterling, Jonathan
Publisher: name: Zenodo
Year: 2021
Subjects: homotopy type theory
type theory
computer science
logic
topos theory

description: The implementation and semantics of dependent type theories can be studied in a syntax-independent way: the objective metatheory of dependent type theories exploits the universal properties of their syntactic categories to endow them with computational content, mathematical meaning, and practical implementation (normalization, type checking, elaboration). The semantic methods of the objective metatheory inform the design and implementation of correct-by-construction elaboration algorithms, promising a principled interface between real proof assistants and ideal mathematics. In this dissertation, I add synthetic Tait computability to the arsenal of the objective metatheorist. Synthetic Tait computability is a mathematical machine to reduce difficult problems of type theory and programming languages to trivial theorems of topos theory. First employed by Sterling and Harper to reconstruct the theory of program modules and their phase separated parametricity, synthetic Tait computability is deployed here to resolve the last major open question in the syntactic metatheory of cubical type theory: normalization of open terms.
description: Doctoral thesis of Jonathan Sterling, Carnegie Mellon University