Search Results - LKL~

Elusive Phenomena, Unwieldy Things Historical Perspectives on Experimental Control /

Table of Contents: “…Controlling Nature in the Lab and Beyond: Methodological Predicaments in Nineteenth-Century Botany (Kärin Nickelsen) -- Chapter 8. …”
Link to Metadata

World Class Universities A Contested Concept /

Table of Contents: “…-- 2 Disorderly Identities: University rankings and the re-ordering of the academic mind -- 3 Becoming World Class: What it means and what it does -- 4 Three Notions of the Global -- Part II World-Class Around the World -- 5 The Kafkaesque Pursuit of 'World Class': Audit culture and the reputational arms race in academia -- 6 Complicit Reproductions in the Global South: Courting world class universities and global rankings -- 7 Realizing the World Class University: Litigation and the state -- 8 World Class at All Costs -- 9 The Paradox of the Global University -- Part III Playing the World-Class Numbers Game -- 10 World Class Universities, Rankings and the Global Space of International Students -- 11 What Counts as World Class? …”
Link to Metadata

Molecular Mechanism of Congenital Heart Disease and Pulmonary Hypertension

Table of Contents: “…PART I: Basic Science of Pulmonary Development and Pulmonary Arterial Disease -- 1 Perspective for Part I -- 2 The alveolar stem cell niche of the mammalian lung -- 3 Lung development and Notch signalling -- 4 Specialized smooth muscle cell progenitors in pulmonary hypertension -- 5 Diverse Pharmacology of Prostacyclin Mimetics: Implications for Pulmonary Hypertension -- 6 Endothelial-to-mesenchymal transition in pulmonary hypertension -- 7 Extracellular vesicles, MicroRNAs and Pulmonary Hypertension -- 8 Roles of Tbx4 in the lung mesenchyme for airway and vascular development -- 9 A lacZ reporter transgenic mouse line revealing the development of pulmonary artery -- 10 Roles of stem cell antigen-1 in the pulmonary endothelium -- 11 Morphological characterization of pulmonary microvascular disease in bronchopulmonary dysplasia caused by hyperoxia in newborn mice -- 12 Involvement of CXCR4 and stem cells in a rat model of pulmonary arterial hypertension -- 13 Ca2+ signal through inositol trisphosphate receptors for cardiovascular development and pathophysiology of pulmonary arterial hypertension -- PART II: Abnormal pulmonary circulation in the developing lung and heart -- 14 Perspective for Part II -- 15 Pathophysiology of Pulmonary Circulation in Congenital Heart Disease -- 16 Development of Novel Therapies for Pulmonary Hypertension by Clinical Application of Basic Research -- 17 Using Patient-Specific Induced Pluripotent Stem Cells to Understand and Treat Pulmonary Arterial Hypertension -- 18 Modeling pulmonary arterial hypertension using induced pluripotent stem cells -- 19 Dysfunction and restoration of endothelial cell communications in Pulmonary Arterial Hypertension: Therapeutic implications -- 20 Inflammatory Cytokines in the Pathogenesis of Pulmonary Arterial Hypertension -- 21 Genotypes and Phenotypes of Chinese Pediatric Patients with Idiopathic and Heritable Pulmonary Arterial Hypertension- Experiences from A Single Center -- 22 Fundamental Insight into Pulmonary Vascular Disease : Perspectives from Pediatric PAH in Japan -- 23 Risk stratification in paediatric pulmonary arterial hypertension -- 24 The Adaptive Right Ventricle in Eisenmenger Syndrome: Potential Therapeutic Targets for Pulmonary Hypertension -- 25 Impaired right coronary vasodilator function in pulmonary hypertensive rat assessed by in vivo synchrotron microangiography -- 26 Relationship between mutations in ENG and ALK1 gene and the affected organs in hereditary hemorrhagic telangiectasia -- 27 A genetic analysis for patients with pulmonary arterial hypertension -- 28 Evaluation and visualization of right ventricle using three dimensional echocardiography -- 29 Pulmonary hypertension associated with post-operative Tetralogy of Fallot -- 30 Microscopic Lung Airway Abnormality and Pulmonary Vascular Disease Associated with Congenital Systemic to Pulmonary Shunt -- 31 Respiratory syncytial virus infection in infants with heart and lung diseases -- PART III: Ductus arteriosus: bridge over troubled vessels -- 32 Perspective for Part III -- 33 The ductus arteriosus, a vascular outsider, in relation to the pulmonary circulation -- 34 Molecular, genetic, and pharmacological modulation of the ductus arteriosus: KATP channels as novel drug targets -- 35 New mediators in the biology of the ductus arteriosus: Lessons from the chicken embryo -- 36 Constriction of the Ductus Arteriosus with KATP Channel Inhibitors -- 37 New insights on how to treat patent ductus arteriosus -- 38 Antenatal Administration of Betamethasone Contributes to Intimal thickening of the Ductus Arteriosus -- 39 Prostaglandin E-EP4-mediated fibulin-1 up-regulation plays a role in intimal thickening of the ductus arteriosus -- 40 Transcriptional profiles in the chicken ductus arteriosus during hatching -- 41 Inhibition of Cyclooxygenase Contracts Chicken Ductus Arteriosus -- 42 Prostaglandin E2 receptor EP4 inhibition constricts the rat ductus arteriosus -- 43 Dilatation of the Ductus Arteriosus by Diazoxide in Fetal and Neonatal Rats -- 44 The Effect of Long-term Administration of Plostaglandin E1 on Morphological Changes in Ductus Arteriosus -- 45 Significance of SGK1 as a protein kinase transcriptionally regulated by ALK1 signaling in vascular endothelial cells -- 46 Fabrication of Implantable Human Arterial Graft by Periodic Hydrostatic Pressure -- 47 Optimum preparation of Candida albicans cell wall extra (CAWE) for the mouse model of Kawasaki disease -- PART IV: Development and Regeneration of the Cardiovascular System -- 48 Perspective for Part IV -- 49 Advances in the second heart field -- 50 Novel cardiac progenitors for all components of the heart except for the right ventricle -- 51 Regional and TBX5-dependent gene expression in the atria: Implications for pulmonary vein development and atrial fibrillation -- 52 The Endocardium as a Master Regulator of Ventricular Trabeculation -- 53 The Role of Alternative mRNA Splicing in Heart Development -- 54 Progress in the Generation of Multiple Lineage Human-iPSC-derived 3D Engineered Cardiac Tissues for Cardiac Repair -- 55 Quantification of contractility in stem cell derived cardiomyocytes -- 56 A neurotrophic factor receptor GFRA2, a specific surface antigen for cardiac progenitor cells, regulates the process of myocardial compaction -- 57 Cardiac cell specification and differentiation by the defined factors -- 58 A Temporo-Spatial Regulation of Sema3c is Essential for Interaction of Progenitor Cells during Cardiac Outflow Tract Development -- 59 Spatiotemporally restricted developmental alterations in the anterior and secondary heart fields cause distinct conotruncal heart defects -- 60 Significance of transcription factors in the mechanisms of great artery malformations -- 61 The different c-kit expression in human induced pluripotent stem (iPS) cells between with feeder cells and without feeder cells -- 62 Establishment of induced pluripotent stem cells from immortalized B cell lines and their differentiation into cardiomyocytes -- 63 Establishment of an in vitro LQT3 model, using induced pluripotent stem cells from LQT3 patient-derived cardiomyocytes -- 64 Genetic Assessments for clinical courses of Left ventricle noncompaction -- 65 Elucidating the pathogenesis of congenital heart disease in the era of next-generation sequencing.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

West African Youth Challenges and Opportunity Pathways

Table of Contents: “…Introduction; Mora Mclean -- 1. Education for All: The Case of Out of School Migrants in Ghana; Daniel Kyereko -- 2. …”
Link to Metadata

Narrative Ethics in Public Health: The Value of Stories

Table of Contents: “…Boyle's "The Fugitive" -- Addressing Historical Trauma among US American Indian/Alaskan Natives: The Ethics of Making Space for Multiple Narratives in Public Health Research and Practice -- Using paired poems to crystallize and (re)consider public health breastfeeding promotion -- Database of Individual Patient Experiences (DIPEx): Potential for Public Health Considerations -- Poverty as Trauma: Considering Social Determinants of Health through the Lens of Narrative Ethics -- Ethical Imperatives and Challenges with Community-based Participatory Research in Public Health: Reflections of One Academic -- Disclosure of HIV Status during a Household HIV Survey in Namibia -- Vaccine Refusal: Stories from the Front Lines of Immunization Education -- What Is This All About: Tipping theBalance toward Treatment and Recovery -- The Boys Under My Deck: Fostering Resilience In Diverse Urban Neighborhoods -- Overweight and Obesity: A New Narrative -- Voices of Our Fathers: Narrative (Care) Ethics, Pragmatic Bioethics, Trust and Trustworthiness -- Stories, Stigma and Sequences: HIV Cluster Detection and Response Activities Through a Narrative Ethics Lens -- A Novel Approach to Public Health Crises Using Narrative Ethics -- Patient Rights versus Public Health.…”
Link to Metadata

Big Data and Artificial Intelligence in Digital Finance Increasing Personalization and Trust in Digital Finance using Big Data and AI /

Table of Contents: “…Introduction -- Part I: Novel Big Data and AI Technologies for Digital Finance -- A Reference Architecture for Big Data Systems and AI Applications in the Finance Sector -- Hybrid Transactional and Analytical Processing for Integrated Data Management in Digital Finance and FinTech Applications -- Semantic Interoperability Modelling for Digital Finance Applications -- Semantic Streaming for Digital Finance Applications -- Part II: Blockchain Technologies and Digital Currencies for Digital Finance Applications -- Central Bank Digital Currencies and a Euro for the Future -- Efficient and Accelerated KYC Using Blockchain Technologies -- Part III: Applications of Big Data and AI in Digital Finance -- AI-based platform for Intelligent and Automated Accounting -- Addressing Intra-Day Volatility in Risk Assessments for Forex Trading -- Next-Generation Personalized Investment Recommendations -- Personalized Finance Management for Small Medium Businesses -- AML/CF supervision empowered by AI -- AnalyzingLarge Scale Blockchain Transaction Graphs for Fraudulent Activities -- Cybersecurity and Fraud Detection in Financial Transactions -- Part IV: Applications of Big Data and AI in Insurance -- Risk assessment for personalized health insurance products -- Alternative Data for Personalized Insurance products -- Part V: Technologies for Regulatory Compliance in the Finance Sector -- AI Governance -Trustworthy and Responsible use of AI -- Large Scale Data Anonymization for GDPR Compliance -- Conclusion.…”
Link to Metadata

Vitalism and Its Legacy in Twentieth Century Life Sciences and Philosophy

Table of Contents: “…Crystal Hall (Bowdoin College) and Erik L. Peterson (University of Alabama): Who were the vitalists and where did they go? …”
Link to Metadata

Rangeland Wildlife Ecology and Conservation

Table of Contents: “…White-tailed Deer -- 19. Pronghorn -- 20. Elk -- 21. Feral Equids -- 22. Mountain Ungulates -- 23. …”
Link to Metadata

The International Bureau of Education (1925-1968) "The Ascent From the Individual to the Universal" / by Hofstetter, Rita, Schneuwly, Bernard

Table of Contents: “…Scenography of the first intergovernmental parliament on education -- Chapter 12. A commitment that was all the more binding because it was freely chosen -- Chapter 13. …”
Link to Metadata

Opening Science The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing /

Table of Contents: “…Towards Another Scientific Revolution -- Open Science: One Term, Five Schools of Thought -- Excellence by Nonsense: The Competition for Publications in Modern Science -- Science Caught Flat-footed: How Academia Struggles with Open Science Communication -- Open Science and the Three Cultures: Expanding Open Science to All Domains of Knowledge Creation -- (Micro)blogging Science? …”
Link to Metadata

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Table of Contents: “…HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers -- HBasechainDB -- A Scalable Blockchain Framework on Hadoop Ecosystem -- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric -- Querying Large Scientific Data Sets with Adaptable IO System ADIOS -- On the Performance of Spark on HPC Systems: Towards a Complete Picture -- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems -- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use -- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers -- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems -- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics -- Machine Learning Predictions for Underestimation of Job Runtime on HPC System -- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPCSystems -- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation -- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner -- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code -- Optimization of Hierarchical matrix computation on GPU.…”
Link to Metadata

Mathematics Teacher Education in the Andean Region and Paraguay A Comparative Analysis of Issues and Challenges /

Table of Contents: “…Reporto n Mathematics Teacher Preparation in Peru: Augusta Osorio Gonzales, María Aredo Alvarado, María del Carmen Bonilla Tumialan, Olimpia Castro Mora, Lilian Isidro Cámac, Cerapio Quintanilla Cóndor, Carlos Sabino Escobar, Martha Rosa Villavicencio Ubillús -- Conclusions: Yuriko Yamamoto Baldin, Uldarico Malaspina -- Acronyms.…”
Link to Metadata

Arbeit in der digitalisierten Welt Praxisbeispiele und Gestaltungslösungen aus dem BMBF-Förderschwerpunkt /

Table of Contents: “…TransWork - Transformation der Arbeit durch Digitalisierung -- Teil I Assistenzsysteme und Kompetenzentwicklung: Arbeits- und prozessorientierte Digitalisierung - Vorgehensweisen, Praxiserfahrungen und Erkenntnisse -- Gesundes mobiles Arbeiten mit digitalen Assistenzsystemen im technischen Service (ArdiAS) -- Entwicklung eines digitalen Lehr- und Lernarrangements für das deutsche Handwerk -- Auswirkungen der Digitalisierung auf die Arbeit im Dienstleistungssektor am Beispiel der Steuerberatung - Ergebnisse des Verbundprojekts KODIMA -- Gestaltung und Integration erfahrungsbasierter Assistenzsysteme in der Stahlindustrie - Eine Reflexion aus dem Forschungsprojekt StahlAssist -- Digitalisierung und Arbeitsorganisation - Wie Assistenzsysteme Gruppenarbeit stärken können (TeamWork 4.0) -- Teil II Projekt- und Teamarbeit in der digitalisierten Arbeitswelt: Gestaltung der Arbeit mit Kollaborationsplattformen - Ergebnisse aus dem Verbundvorhaben CollaboTeam -- Alles agil, alles gut? Warum Gute Arbeit auch in der agilen Welt kein Automatismus ist -- GADIAM - Gesundes Arbeiten mit vernetzten digitalen Arbeitsmitteln: Lösungen zur Prävention von Fremd- und Selbstüberforderung bei entgrenzter Wissens- und Innovationsarbeit -- KAMiiSo - Digitale Hilfsmittel für Kommunikation und Methodeneinsatz in der standortübergreifenden Produktentwicklung -- Selbstständiges Arbeiten in der digitalen Fabrik -- Modelle ressourcenorientierter und effektiver Führung digitaler Projekt- und Teamarbeit - vLead -- Teil III Produktivitätsmanagement: Mit dem InAsPro-Transformationskonzept die Digitalisierung planen -- Integration digitaler Assistenzsysteme für die industrielle Montage -- Arbeit 4.0 in der Produktentstehung mit IviPep - Identifizierung und ganzheitliche Umsetzung von Szenarien digitalisierter Arbeit -- Informatorische Assistenzsysteme - Steigerung der Produktivität durch Minderungder mentalen Beanspruchung -- Einfach mal anders gucken?! …”
Link to Metadata

Debating Transformations of National Citizenship

Table of Contents: “…Spiro -- Citizenship Forecast: Partly Cloudy with Chances of Algorithms: Costica Dumbrava -- The Separation of Territory and State: a Digital French Revolution?: Yussef Al Tamimi -- A Brave New Dawn? Digital Cakes, Cloudy Governance and Citizenship á la Carte: Jelena Dzankic -- Old Divides New Devices: Global Citizenship for Only Half of the World: Lea Ypi -- Escapist Technology in the Service of Neo-Feudalism: Dimitry Kochenov -- CloudCommunities and the Materiality of the Digital: Stefania Milan -- Cloud Agoras: When Blockchain Technology Meets Arendt's Virtual Public Spaces,: Dora Kostakopoulou -- Global Cryptodemocracy Is Possible and Desirable: Ehud Shapiro -- The Future of Citizenship: Global and Digital - A Rejoinder: Liav Orgad. .…”
Link to Metadata

The EBMT Handbook Hematopoietic Stem Cell Transplantation and Cellular Therapies /

Table of Contents: “…Prevention and management of relapse -- 57. Monitoring MRD in ALL and AML -- 58. Preventing/treating relapse with drugs -- 59. …”
Link to Metadata

Global Political Demography The Politics of Population Change /

Table of Contents: “…Populations and Policies in a Younger but Faster-Ageing East Central Europe: The Political Demography of Missed Opportunity -- 16. Combating Low Life Expectancy and Low Fertility in Tumultuous Political Times: A Comparison of the Ukraine, Russia and Belarus -- 17. …”
Link to Metadata

Primary and Secondary Education During Covid-19 Disruptions to Educational Opportunity During a Pandemic /

Table of Contents: “…Learning from a pandemic.The impact of COVID-19 on education around the world -- Experiences with risk-management and remote learning during the COVID-19 pandemic in Brazil: crises, destitutions, and (possible) resolutions -- The fragility of the school-in-pandemic in Chile -- Experiences of moving quickly to distance teaching and learning at all levels of education in Finland -- Covid-19 and Education on the Front Lines in Japan: What Caused Learning Disparities and How did the Government and Schools Take Initiative? …”
Link to Metadata

Digital Writing Technologies in Higher Education Theory, Research, and Practice /

Table of Contents: “…Introduction -- Section1: Word processing software -- Name of chapter -- The Beginnings of Word Processing: A Historical Account -- Establishing the Standard: The Rise of Microsoft Word -- Expansions and Alternatives: Beyond Microsoft Word -- Section2: Web applications and platform technology -- Name of chapter -- Hypertext, Hyperlinks, and the World Wide Web -- Creativity Software and Idea Mapping Technology -- Digital tools for Written Argumentation -- Digital Note-taking for Writing -- Synchronous and Asynchronous Collaborative Writing -- Social Annotation: Promising Technologies and Practices in Writing -- Multimodal chat-based apps: enhancing copresence when writing -- Learning Management Systems (LMSs) -- Digital Teacher Feedback Tools -- Digital Student Peer Review Systems -- Reference Management Systems -- Plagiarism Detection and Intertextuality Software -- The Electronic Portfolio: self-regulation and reflective practice -- CMS 3.0: The All-in-One Digital Writing Workspace -- Section3: Writing analytics and language technologies -- Name of chapter -- Automated Text Generation and Summarization -- Information Retrieval and Knowledge Extraction for Academic Writing -- Analytic Techniques for Automated Analysis of Writing -- Automated Scoring of Writing -- Automated Feedback on Writing -- Intelligent Tutoring for Writing -- On Corpora and Writing -- Investigating Writing Processes with Keystroke Logging -- Section4: Implications -- Writing and Learning: What Changed with Digitalization? …”
Link to Metadata

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
Link to Metadata