खोज परिणाम - Sysmä~
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- Research & information: general 44
- Technology: general issues 29
- History of engineering & technology 25
- Biology, life sciences 21
- Medicine 16
- History 14
- International relations 14
- Education 12
- Politics & government 12
- Literary studies: classical, early & medieval 10
- International law 9
- Medieval history 8
- Middle Eastern history 8
- Political control & freedoms 8
- Sociology 8
- Religion & beliefs 7
- Society & culture: general 7
- Software Engineering 7
- Church history 6
- Humanities 6
- Migration, immigration & emigration 6
- Natural Hazards 6
- Natural disasters 6
- Philosophy of religion 6
- Physics 6
- Science 6
- Social & cultural anthropology, ethnography 6
- Architecture 5
- Human rights 5
- Law 5
-
1381
-
1382
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
प्रकाशित 2023विषय - सूची: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
1383
Compendium for Early Career Researchers in Mathematics Education
प्रकाशित 2019विषय - सूची: “…Ferdinando Arzarello and Carlotta Soldano 10200 -- 11 A friendly introduction to "Knowledge in Pieces": Modeling types of knowledge and their roles in learning. Andrea diSessa 9300 -- 12 Task design frameworks in mathematics education research: An example of a domain-specific frame for algebraic learning with technological tools. …”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
1384
WAC and Second-Language Writers Research Towards Linguistically and Culturally Inclusive Programs and Practices
प्रकाशित 2014विषय - सूची: “…Writing Histories: Lingua Franca English in a Swedish Graduate Program, Thomas Lavelle and Alan Shima -- Afterword: Writing Globally, Right Here, Right Now, Chris Thaiss -- Notes on Editors and Contributors…”
Access online version
इलेक्ट्रोनिक ई-पुस्तक -
1385
Non-affirmative Theory of Education and Bildung
प्रकाशित 2023विषय - सूची: “…Revisiting forgotten relationships between justice and education - Non-Affirmative Education as complementing distributive justice (Juan José SosaAlonso) -- Chapter 8. Between doxa and transformational Bildung - A phenomenological and social-theoretical rehabilitation of the formation of opinions with Egon Schütz and Pierre Bourdieu (Johannes Türstig) -- Chapter 9. …”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
1386
Conceptualizing Environmental Citizenship for 21st Century Education
प्रकाशित 2020विषय - सूची: “…. -- Values, Beliefs and Environmental Citizenship; Audra Balunde, Mykolas Simas Poškus, Lina Jovarauskait, Ariel Sarid, Georgios Farangitakis, Marie-Christine Knippels, Andreas Hadjichambis, Demetra Paraskeva-Hadjichambi -- Attitudes and Environmental Citizenship; Nicole Bauer, Boldizsár Megyesi, Rares Halbac, Cristina Zamfir -- PART III: Environmental Citizenship in the context of Environmental Education and Education for Sustainability -- Education for Environmental Citizenship & Responsible Environmental Behaviour; Daphne Goldman, Ralph Hansmann, Jan Čincera, Vesela Radović, Audronė Telešienė, Aistė Balžekienė, Jan Vávra -- Environmental Citizenship & Youth Activism; Pedro Reis -- Environmental Citizenship and Education for Sustainability; Gema Parra, Ralph Hansmann, Andreas Ch. …”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
1387
Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings /
प्रकाशित 2019विषय - सूची: “…A local government case study -- The Future of Agile -- A taxonomy of software engineering challenges for machine learning sys-tems: An empirical investigation -- Evolution of Scrum Transcending Business Domains and the Future of Agile Management. .…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
1388
Masterpieces on Japan by Foreign Authors From Goncharov to Pinguet /
प्रकाशित 2023विषय - सूची: “…Marius B. Jansen, Sakamoto Ryoma and the Meiji Restoration -- Chapter 33. Roland Barthes, L'empire des signes -- Chapter 34. …”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
1389
Food Studies Matter, Meaning, Movement
प्रकाशित 2022विषय - सूची: “…Walters -- Case: 'Reading' Menus, L. Sasha Gora -- Creative: Tasting 'Authenticity,' Annika Walsh and fin-xuan lee -- Case: Foood in Samoa, Garrett Hillyer -- Perspective: Place-Based Designations, Eden Kinkaid -- Creative: Food Tours, Natalie Doonan -- Perspective: Food Meanings, Marylynn Steckley -- Perspective: Gastronomy, Stan Blackley and Donald Reid -- Case: Food ni Kyrgyzstan, Christian Kelly Scott and Guangqing Chi -- Creative: Street Food Vendors, Vincent Andrisani -- Case: School Lunchtimes, Yukari Seko and Lina Rahouma -- Creative: Collaborative Eating Performances, Annika Walsh -- Perspective: Food Relationships, Sara Rotz -- Creative: Poems for Pollniatoors, Andrea Elena Noriega -- Case: Food and Folklore, Lucy Long -- Perspective: Household Foodwork, Mary Anne Martin and Michael Classens -- Creative: Making Mead, Joshua Steckley -- Perspective: Nutrition Paradigms, Alissa Overend -- Perspective: Eating Healthy, Jennifer Brady -- Activity: Classifying Food, Erin Sperling and Sara Scharf -- Creative: The Foodish Gaze, Annika Walsh -- Perspective: Food Allergies, Janis Goldiie -- Creative: Form and Matter, Annika Walsh -- Perspective: Salt, Liam Cole Young -- Case: Artisan Cheese, Amy Trubek -- Perspective: Disordered Eating, Danyael Lutgens and Andrew Ryder -- Case: Superfood Advertising, Anne F. …”
Access online version
इलेक्ट्रोनिक ई-पुस्तक -
1390
Rice Green Revolution in Sub-Saharan Africa
प्रकाशित 2023विषय - सूची: “…Toward Quality Upgrading of Rice Production in SSA:Experimental Evidence from Northern Ghana -- Chapter 14. …”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
1391
-
1392
Molecular Mechanism of Congenital Heart Disease and Pulmonary Hypertension
प्रकाशित 2020विषय - सूची: “…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
इलेक्ट्रोनिक ई-पुस्तक -
1393
-
1394
Proceedings of the 13th International Congress on Mathematical Education ICME-13 /
प्रकाशित 2017विषय - सूची: “…- And why we should ask where one should experience or learn that, and how to teach it, Günter Ziegler, Andreas Loos -- International Comparative Studies in Mathematics: Lessons and Future Directions For Improving Students' Learning, Jinfa Cai, Ida Mok, Vijay Reddy, Kaye Stacey -- Transitions in Mathematics Education, Ghislaine Gueudet, Marianna Bosch, Andrea A. diSessa, Oh Nam Kwon, Lieven Verschaffel -- Part 2: Awardees' lectures -- ICMI Awards Ceremony, Carolyn Kieran, Jeremy Kilpatrick -- Mathematics Discourse in Instruction (MDI): A discursive resource as boundary object across practices, JillAdler -- The challenging relationship between fundamental research and action in mathematics education, Michèle Artigue -- Elementary mathematicians from advanced standpoints - a cultural perspective on mathematics education, Alan Bishop -- Design and Development for Large-Scale Improvement, Hugh Burkhardt, Malcolm Swan -- Making Sense of Mathematics Achievement in East Asia: Does culture really matter? …”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
1395
-
1396
-
1397
-
1398
-
1399
-
1400
The quality of life among the elderly people in Sarawak
प्रकाशित 2019Connect to this object online.
पुस्तक