GLORIA

GEOMAR Library Ocean Research Information Access

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Language
  • 1
    Online Resource
    Online Resource
    Singapore :Springer Singapore Pte. Limited,
    Keywords: Neurosciences. ; Electronic books.
    Type of Medium: Online Resource
    Pages: 1 online resource (118 pages)
    Edition: 1st ed.
    ISBN: 9789811570865
    Series Statement: Advances in Experimental Medicine and Biology Series ; v.1284
    DDC: 612.8
    Language: English
    Note: Intro -- Contents -- Contributors -- Chapter 1: Neural Circuits Underlying Innate Fear -- 1.1 Introduction -- 1.2 Animal Studies -- 1.2.1 Retinal Ganglion Cells That Detect Looming Signals -- 1.2.2 Brain Circuits That Mediate Looming-Evoked Fear Responses in Mice -- 1.3 Human Studies -- References -- Chapter 2: Neurobiology and Neural Circuits of Aggression -- 2.1 Introduction -- 2.2 Experimental Paradigms to Explore Aggression in Rodents -- 2.3 Neuroendocrinology of Aggression -- 2.4 Neurotransmitter Systems in Aggression -- 2.5 Neurocircuitry of Aggressive Behavior -- 2.5.1 Amygdala -- 2.5.2 Hypothalamus -- 2.5.3 Prefrontal Cortex -- 2.5.4 Lateral Septum -- 2.5.5 Other Brain Areas -- 2.5.6 Synthesis -- 2.6 Translational Implications -- References -- Chapter 3: Neural Regulation of Feeding Behavior -- 3.1 Introduction -- 3.2 Homeostatic Feeding -- 3.2.1 Sensing Metabolic State -- 3.2.2 Foraging and Hunting for Food -- 3.2.3 Consuming Food -- 3.2.4 Termination of Feeding -- 3.3 Hedonic Feeding -- 3.4 Conclusion -- References -- 4: Neural Circuits for Reward -- 4.1 Introduction -- 4.2 Dopamine and Innate Behavior -- 4.3 Medium Spiny Neurons in Striatum and Innate Behavior -- 4.4 Ventral Tegmental Area (VTA) Neurons and Innate Behavior -- 4.5 Prefrontal Cortex and Innate Behavior -- 4.6 Conclusion -- References -- Chapter 5: Neuronal Response and Behavioral Modulation in Social Interactions -- 5.1 Neuronal Response in Social Behavior -- 5.1.1 Neuronal Response in Social Interaction -- 5.1.1.1 Medial Prefrontal Cortex -- 5.1.1.2 Amygdala -- 5.1.1.3 Ventral Tegmental Area -- 5.1.2 Neuronal Response in Aggression -- 5.1.2.1 Hypothalamus -- 5.1.3 Neuronal Response in Dominance -- 5.1.3.1 mPFC -- 5.1.4 Neuronal Response in Social Defeat -- 5.1.5 Neuronal Response in Social Memory -- 5.1.5.1 Hippocampus. , 5.2 Neural Circuit Manipulation and Social Behavior -- 5.2.1 Social Interaction -- 5.2.1.1 mPFC -- 5.2.1.2 VTA -- 5.2.1.3 Amygdala -- 5.2.2 Social Memory -- 5.2.2.1 Hippocampus -- 5.2.3 Dominance Behavior -- 5.2.3.1 mPFC -- 5.2.4 Aggression -- 5.2.4.1 Hypothalamus -- References -- Chapter 6: Neural Circuit Mechanisms That Underlie Parental Care -- 6.1 Introduction -- 6.2 Factors That Influence the Display of Parental Behaviors -- 6.2.1 Olfactory and Auditory Cues Emitted by Pups -- 6.2.2 Environmental Stressors -- 6.2.3 Reproductive Status -- 6.3 Brain Areas Involved in Parental Care -- 6.3.1 Main Olfactory Epithelium and Vomeronasal Organ (MOE and VNO) -- 6.3.2 Auditory Cortex -- 6.3.3 Medial Amygdala (MeA) -- 6.3.4 Medial Preoptic Area (mPOA) -- 6.3.4.1 mPOA Galanin+ Neurons -- 6.3.4.2 mPOA Esr1+ Neurons -- 6.3.4.3 mPOA Vgat+ Neurons -- 6.3.5 Ventral Tegmental Area (VTA) -- 6.3.6 Periaqueductal Gray (PAG) -- 6.3.7 Paraventricular Nucleus of the Hypothalamus (PVN) -- 6.3.8 Medial Prefrontal Cortex (mPFC) -- 6.3.9 Ventrolateral Division of the Ventromedial Hypothalamus (VMHvl) -- 6.4 Cross Talk Between Neural Control of Parental Care and Other Innate Behaviors -- 6.4.1 Overlaps Between Neural Control of Paternal Care and Other Social Behaviors -- 6.4.2 Reciprocal Antagonisms Between Neural Control of Maternal Care and Feeding -- 6.5 Toward a Neural Circuit Mechanism for Parental Care -- 6.6 Conclusion and Perspective -- References -- Chapter 7: Spatial Navigation -- 7.1 Introduction -- 7.2 Role of the Hippocampus in Three Navigation Strategies -- 7.2.1 Role of the Hippocampus in Path Integration -- 7.2.2 Role of the Hippocampus in the S-R Strategy -- 7.2.3 Role of the Hippocampus in Map-Based Navigation -- 7.3 Spatially Specific Activity in the Hippocampus and the Related Limbic Circuits -- 7.3.1 Place Cells -- 7.3.2 Grid Cells. , 7.3.3 Head Direction Cells -- 7.3.4 The Relationship of Spatial Encoding by Place Cells, Grid Cells, and HD Cells -- 7.3.4.1 Place Cells Versus Grid Cells -- 7.3.4.2 HD Cells Versus Place Cells and Grid Cells -- 7.3.5 Shared Properties of Place Cells, Grid Cells, and HD Cells -- 7.4 Allocentric Space Perception Is Behind All the Spatially Specific Firing Patterns -- 7.4.1 Neural Substrate of the Allocentric Space Perception -- 7.4.2 Path Integration Is the Allocentric Space Perception in Mammals Provided with Idiothetic Inputs -- 7.4.3 Allocentric Space Perception in Place Field Repetition -- 7.4.4 Spatial and Nonspatial Information Processing in the Hippocampal Pathway -- 7.5 Conclusion -- References -- Chapter 8: Neural Circuits for Sleep-Wake Regulation -- 8.1 Introduction -- 8.2 BF Subregions and Cholinergic Neurons Functions in Wakefulness Regulation -- 8.3 The Local Microcirculation of BF -- 8.4 Afferents to BF Cholinergic Neurons in Mediating Arousal -- 8.4.1 Monoaminergic Effects via BF Cholinergic Neurons on Arousal -- 8.4.2 Lateral Hypothalamus Orexinergic Inputs to the BF Cholinergic Neurons -- 8.4.3 LDT/PPT Afferents to the BF Cholinergic Neurons -- 8.4.4 Glutamatergic Afferents to the BF Cholinergic Neurons in Mediating Arousal -- 8.5 Interlink BF Cholinergic Systems Between Sleep-Wake Cycle and General Anesthesia -- References.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Cham :Springer International Publishing AG,
    Keywords: Mine water-Prevention. ; Electronic books.
    Type of Medium: Online Resource
    Pages: 1 online resource (521 pages)
    Edition: 1st ed.
    ISBN: 9783030670597
    Series Statement: Professional Practice in Earth Sciences Series
    DDC: 622.5
    Language: English
    Note: Intro -- Preface -- Contents -- 1 Water Hazards in Coal Mines and Their Classifications -- 1.1 Introduction -- 1.2 Water Inrush Conceptual Site Models for Coal Mines of China -- 1.2.1 Development of Water Inrush Conceptual Site Models -- 1.2.2 Benefits of Water Inrush Conceptual Site Models -- 1.3 Classification of Water Inrush for Coal Mines of China -- 1.3.1 Principles for Classification of Mine Water Inrush -- 1.3.2 Types of Mine Water Inrush -- 1.3.3 Characteristics of Mine Water Inrushes -- 1.4 Hydrogeological Classification for Mine Water Hazard Control -- 1.4.1 Criteria of Hydrogeological Classification -- 1.4.2 Hydrogeological Classification of Coal Mines in China -- 1.4.3 Hydrogeological Characteristics of Mines -- 1.5 Advances in Prevention and Control Technologies of Mine Water Hazards -- 1.5.1 Updated Mining Principles -- 1.5.2 Evolution of Water Inrush Coefficient -- 1.5.3 Supplemental Investigation and Water Inrush Prediction -- 1.5.4 Advanced Detection and Dewatering Technologies -- 1.5.5 Early Warning Technique -- 1.5.6 Innovated Grouting Technique -- References -- 2 Mine Water Inrush Mechanisms and Prediction Methods -- 2.1 Overview of Water Inrush Studies -- 2.2 Water Inrush Mechanisms in North China's Coalfields -- 2.2.1 Hydrogeological Background -- 2.2.2 Relationship Between Aquiclude Thickness and Groundwater Pressure -- 2.2.3 Impact of Mining Activities on Geologic Barrier -- 2.2.4 Laboratory Experiments on Failure of Geologic Barrier -- 2.2.5 Initial Conductive Zone in Geologic Barrier -- 2.2.6 In-Situ Hydrofracturing Tests -- 2.3 Water Inrush Mechanism Through Karst Collapse Columns -- 2.3.1 Karst Collapse Columns and Their Relationship with Mining -- 2.3.2 Hydrogeological Characteristics of Karst Collapse Columns -- 2.3.3 Water Inrushes Through Karst Collapse Columns -- 2.4 Prediction Methods. , 2.4.1 Water Inrush Coefficient Method -- 2.4.2 Vulnerability Index Method -- 2.4.3 Three-Map and Two-Prediction Method -- 2.4.4 Five-Map and Two-Coefficient Method -- References -- 3 Modeling of Groundwater Flow in Karst Aquifers for Mine Water Control -- 3.1 Inputs to Karst Hydrogeological Systems -- 3.1.1 Discharge-Storage Method -- 3.1.2 Recession-Curve-Displacement Method -- 3.1.3 Meteorological Model -- 3.2 Groundwater Flow in Karst Hydrogeological Systems -- 3.2.1 Groundwater Flow Patterns in Karst Aquifers -- 3.2.2 Influenced Flow Patterns -- 3.2.3 Confluent Flow in Karst Aquifers -- 3.2.4 Siphon Karst Flow -- 3.3 Water Budget Analyses -- 3.3.1 Discharge Hydrograph -- 3.3.2 Discharge Recession Analysis -- 3.3.3 Discharge Chemograph -- 3.3.4 Groundwater Level Hydrograph -- 3.4 Statistical and Stochastic Methods -- 3.4.1 Regression Analysis -- 3.4.2 Kernel Analysis -- 3.4.3 Threshold Autoregressive Analysis -- 3.5 Mixing-Cell Models -- 3.5.1 Discrete-State-Compartment Model -- 3.5.2 Water Tank Models -- 3.6 Physics-Based Models -- 3.6.1 Equivalent-Porous-Medium Models -- 3.6.2 Discrete-Fracture Models -- 3.6.3 Double-Continuum Models -- 3.6.4 Determination of Hydraulic Parameters at Respective Scales -- 3.7 Quantitative Analysis of Tracer Tests -- 3.7.1 Tracer-Breakthrough Curves -- 3.7.2 Estimation of Hydraulic Parameters of Karst Conduits -- 3.7.3 Evaluation of Dynamic Dispersion in Karst Aquifers -- 3.8 Application of Dual-Porosity Model to Groundwater Simulation in the Ordovician Limestone in Jiaozuo Coalfield, China -- 3.8.1 Introduction to Jiaozuo Coalfield -- 3.8.2 Karst Conduit Distribution -- 3.8.3 Calibration of the Dual-Porosity Model -- References -- 4 Prevention and Control of Mine Water Hazards from Underlying Aquifers. , 4.1 Water Prevention and Control Technology in Mining Lower Coal Seams Under Potentiometric Pressure in Xingtai Dongpang Mine -- 4.1.1 Mine Background -- 4.1.2 Application of Water Prevention and Control Technology to Mining Under Potentiometric Pressure -- 4.2 Grouting Technology in Thin-Bedded Limestone to Prevent Water Inrushes from Underlying Aquifers in Zhuzhuang Coal Mine of Huaibei Coalfield -- 4.2.1 Background -- 4.2.2 Large-Scale Advance Grouting Technology in Transforming Limestone into Water Barrier -- 4.3 Utilization of the Top of the Ordovician Limestone in the Sangshuping Mine of Hancheng and the Underground Grouting Transformation Technology -- 4.3.1 Mine Background -- 4.3.2 Utilization of Top of the Ordovician Limestone and Underground Grouting Transformation Technology -- 4.4 Emergency Mitigation Technology of Water Inrush Induced Mine Flooding in Luotuoshan Coal Mine in Wuhai Energy Co., Ltd. -- 4.4.1 Overview -- 4.4.2 Emergency Water-Plugging Technology in #16 Coal Seam Air Return Lane -- 4.4.3 Comprehensive Investigation Technology of Water Inrush Point -- 4.5 Characterization and Remediation of Karst Collapse Columns in Renlou Coal Mine, China -- 4.5.1 Mine Background -- 4.5.2 Water Source Discrimination by Temperature and Hardness Measurements -- 4.5.3 Geophysical Investigations -- 4.5.4 Borehole Exploration and Grouting -- 4.5.5 Summary -- 4.6 Design and Construction of Watertight Plugs in Permeable Karst Collapse Columns in Restoration of Flooded Dongpang Mine, China -- 4.6.1 Mine Background -- 4.6.2 Construction of the Watertight Plug -- 4.6.3 Completion Criteria of Grouting -- 4.6.4 Grout Intake Distribution -- 4.6.5 Evaluation of Plug Effectiveness -- 4.6.6 Summary -- 4.7 Utilization of Paleokarst Crust of Ordovician Limestone in Water Inrush Control in Sihe Coal Mine, Shanxi Province. , 4.7.1 Introduction to Paleokarst Crust -- 4.7.2 Characteristics of Paleokarst Crust at Sihe Mine -- 4.7.3 Hydrogeogical Properties of Fengfeng Formation -- 4.7.4 Thickness of Aquifuge in Fengfeng Formation -- 4.7.5 Summary -- 5 Prevention and Control of Mine Water Hazards from Overlying Aquifers -- 5.1 Water Control Technology for Overlying Thick-Bedded Sandstone Fissure Aquifer in Hujiahe Mine, Binchang, Shaanxi -- 5.1.1 Mine Background -- 5.1.2 Exploration and Prevention Techniques for Water Hazards Posed by the Overlying Thick Sandstone Fissure Aquifer -- 5.1.3 Exploration and Prevention Technologies of Water Hazards from Overlying Thick Sandstone Fissure Aquifers -- 5.2 Prevention and Control Technology for Water Disaster from Bed-Separation Voids of Overlying Formations in Hongliu Coal Mine, Ningdong Coalfield -- 5.2.1 Mine Background -- 5.2.2 Investigation and Mitigation of Bed-Separation Water Inrush -- 5.2.3 Summary of Bed-Separation Groundwater Control -- 5.3 Prevention Technology on Water and Sand Inrush in Halagou Coal Mine, Shendong Coalfield -- 5.3.1 Mine Background -- 5.3.2 Mechanism and Conditions of Water and Sand Inrush -- 5.3.3 Prevention and Control Technology of Water and Sand Inrush -- 6 Investigation and Prevention of Water Hazards from Old Mine Pools in Ordos -- 6.1 Background of Mining Area -- 6.2 Technical Approaches -- 6.3 Geophysical Methods -- 6.3.1 High-Density Electrical Resistivity Imaging -- 6.3.2 Transient Electromagnetic Method -- 6.3.3 Shallow Seismic Method -- 6.3.4 EH4 Magnetotelluric Method -- 6.3.5 Control-Source Audio Magnetotelluric Method -- 6.3.6 Magnetic Method -- 6.4 Achievements by Electrical and Magnetic Imaging -- 6.4.1 Geophysical Survey Layout -- 6.4.2 Results of Electrical Resistivity Imaging Survey -- 6.4.3 Results of Transient Electromagnetic Survey -- 6.4.4 Results of Magnetic Survey. , 6.5 Experience with Reconnaissance of Coal Mine Goafs in Ordos -- 6.5.1 Unified Organization and Implementation Led by Government -- 6.5.2 Reliance on Technical Institutions to Improve Reconnaissance Effectiveness -- 6.5.3 Active Cooperation of Coal Mine Enterprises -- 6.5.4 Concerted Efforts from All Parties -- 7 Technologies in Sealing Massive Karst Conduits in Restoration of a Flooded Open Pit Quarry in West Virginia, United States -- 7.1 Mine Background -- 7.2 Water Source and Pathway Investigations -- 7.3 Concept of Remediation Design -- 7.3.1 Selection of Cut off Methodology -- 7.3.2 Selection of Grouting Concepts -- 7.3.3 Evolution of the Remediation Program -- 7.4 Execution of Mitigation -- 7.4.1 Drilling -- 7.4.2 Grouting -- 7.5 Drilling and Grouting Quantities -- 7.6 Impact of Grouting Program on Quarry Inflow Characteristics -- 7.7 Summary -- References -- 8 Environmental Impact Assessment in Hongliulin Coal Mine -- 8.1 Mine Background Setting -- 8.1.1 Geographical Location -- 8.1.2 Mining History -- 8.1.3 Resources and Reserves -- 8.2 Geoenvironmental Background -- 8.2.1 Physical Geography -- 8.2.2 Topography -- 8.2.3 Stratum Lithology and Geological Structure -- 8.2.4 Aquifer and Aquiclude -- 8.2.5 Groundwater Flow, Recharge, and Discharge -- 8.2.6 Analysis of Groundwater Recharge Conditions in the Mine -- 8.2.7 Geotechnical Conditions -- 8.2.8 Characteristics of Coal Seam -- 8.2.9 Other Human Engineering Activities in the Mine and its Vicinity -- 8.3 Geoenvironmental Impact Assessment -- 8.3.1 Evaluation Scope and Level -- 8.3.2 Assessment of Background Conditions -- 8.3.3 Soil Erosion Intensity -- 8.3.4 Vegetation and Coverage -- 8.3.5 Summary -- 8.4 Predictive Geoenvironmental Assessment -- 8.4.1 Predictive Assessment of Geological Disasters -- 8.4.2 Predictive Assessment of Aquifers. , 8.4.3 Evaluation of Impact on Topography and Landscape.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Cambridge :Royal Society of Chemistry,
    Keywords: Biomedical materials. ; Electronic books.
    Description / Table of Contents: This book focusses on the fundamental principles and recent advances in the materials science developed for tissue engineering purposes.
    Type of Medium: Online Resource
    Pages: 1 online resource (659 pages)
    Edition: 1st ed.
    ISBN: 9781782626756
    Series Statement: ISSN ; v.24
    DDC: 612.028
    Language: English
    Note: Cover -- Smart Materials for Tissue Engineering: Fundamental Principles -- Foreword -- Preface -- Contents -- Chapter 1 - Smart Design of Materials for Tissue Engineering -- 1.1 Introduction -- 1.2 Mechanism Underlying Interaction of Cells with the Extracellular Matrix -- 1.2.1 Direct Physical Signal Transmission Pathway -- 1.2.2 Indirect Mechanochemical Signal Transduction Pathway -- 1.2.3 Control of Cell Differentiation, Proliferation, and Migration by Defining the Dynamics of the Cell Adhesion Complex and Act... -- 1.2.3.1 Stem Cell Differentiation -- 1.2.3.2 Cell Proliferation -- 1.2.3.3 Cell Migration -- 1.3 Determinants of Cell Fate in the Extracellular Matrix -- 1.3.1 Composition of Cell Adhesion Proteins -- 1.3.2 ECM Topography -- 1.3.3 ECM Stiffness -- 1.4 Spatial and Temporal Scales in Cell and Material Interactions -- 1.4.1 Molecular Level: Integrin -- 1.4.2 Molecular Assembly Level -- 1.4.2.1 Integrin Cluster -- 1.4.2.2 Actin Cytoskeleton -- 1.4.3 Single-Cell Level -- 1.4.4 Multiple-Cell Level -- 1.4.5 Integration of Multiple Spatiotemporal Effects -- 1.5 Smart Design of Materials to Control the Dynamic State of Tissues -- 1.6 Future Challenges -- Acknowledgements -- References -- Chapter 2 - Smart Surfaces Chemistry and Coating Materials for Tissue Engineering -- 2.1 Introduction -- 2.1.1 Tissue Engineering and Scaffolds -- 2.1.2 Cell-EMC Interaction via Integrin and Surface Topography -- 2.2 RGD Nanospacing -- 2.2.1 Nanospacing in 2-D Substrates with Different Stiffness -- 2.2.2 3-D Substrates -- 2.3 Surface Topography-Mediated Stem Cell Fate -- 2.4 Scaffold-Mediated Gene Delivery by Biomimetic Coating -- 2.4.1 Gene-Transfer -- 2.4.2 DNA/CP Complex as a Drug-Delivery System by Biomimetic Coating -- 2.4.3 Polyplexes as Drug-Delivery Systems -- 2.4.4 Targeting the Nucleus -- 2.4.5 Multi-Modal Delivery. , 2.4.6 Scaffolds for Bone Tumor Destruction -- 2.5 Concluding Remarks and Perspectives -- References -- Chapter 3 - Protein-Based Stimuli Responsive Materials for Tissue Engineering -- 3.1 Stimuli Responsiveness -- 3.2 Types of Stimuli Responsiveness -- 3.2.1 Temperature Responsiveness -- 3.2.2 Electrical Responsiveness -- 3.2.3 Light Responsiveness -- 3.2.4 pH Responsive -- 3.2.5 Redox Responsiveness -- 3.2.6 Ion-Responsive Polymers -- 3.2.7 Glucose Responsiveness -- 3.2.8 Enzyme-Responsive Polymers -- 3.3 Types of Polymeric Stimuli-Responsive Structures -- 3.3.1 Hydrogels -- 3.3.2 Micelles -- 3.3.3 Dendrimers -- 3.3.4 Nanoparticles -- 3.4 Protein-Based Responsive Systems -- 3.5 Application in Tissue Engineering -- 3.6 Conclusions and Future Perspectives -- Acknowledgements -- References -- Chapter 4 - Stimuli-Responsive Hydrogels for Tissue Engineering -- 4.1 Introduction -- 4.2 The Properties of Hydrogels for Tissue Engineering -- 4.2.1 Mechanical Properties of Hydrogels -- 4.2.2 Surface Chemistry of Hydrogels -- 4.2.3 Biocompatibility and Biodegradability of Hydrogels -- 4.2.4 Electrical Properties of Hydrogels -- 4.3 Stimuli-Responsive Hydrogels -- 4.3.1 Natural-Based Smart Hydrogels -- 4.3.1.1 Chitosan -- 4.3.1.2 Collagen and Gelatin -- 4.3.1.3 Hyaluronic Acid -- 4.3.1.4 Alginate -- 4.3.2 Synthetic-Based Smart Hydrogels -- 4.3.2.1 Temperature-Responsive Hydrogels -- 4.3.2.2 pH-Responsive Hydrogels -- 4.3.2.3 Electrical Field Responsive Hydrogels -- 4.3.2.4 Bio-Responsive Hydrogels -- 4.3.2.5 Magneto-Responsive Hydrogels -- 4.3.2.6 Photo-Responsive Hydrogels -- 4.3.2.7 Mechano-Responsive Hydrogels -- 4.3.2.8 Self-Assembled Hydrogels -- 4.4 Conclusions and Future Outlook -- Acknowledgements -- References -- Chapter 5 - Self-Assembled Biomaterials for Tissue Engineering -- 5.1 Introduction -- 5.2 Peptide-Based Self-Assembled Scaffold. , 5.2.1 Self-Assembled Peptide Unit -- 5.2.1.1 Ionic Self-Complementary Peptides (Peptide Lego) -- 5.2.1.2 Peptide Amphiphiles -- 5.2.2 Functional Peptide Scaffolds -- 5.3 Self-Assembled Synthetic Polymer Materials -- 5.3.1 Self-Assembled Conjugated Polymers -- 5.3.2 Biomimetic Nanofibrous Matrices -- 5.3.3 Supramolecular Polymeric Materials -- 5.4 Self-Assembled Hybrid Materials -- 5.4.1 Self-Assembly Surface Modification Complexes -- 5.4.2 Inorganic/Organic Hybrid Self-Assembled Materials -- 5.5 Natural Biomolecular Matrix -- 5.6 Conclusion -- Acknowledgements -- References -- Chapter 6 - Natural Materials as Smart Scaffolds for Tissue Engineering -- 6.1 Introduction to Natural Materials as Smart Scaffolds -- 6.2 Collagen-Based Biomaterials as Smart Scaffolds for Tissue Engineering -- 6.2.1 Applications of Collagen-Based Materials as Smart Scaffolds in Tissue Engineering -- 6.3 Decellularized Extracellular Matrices as Smart Scaffolds for Tissue Engineering -- 6.3.1 Applications of Decellularized Tissues as Smart Scaffolds in Tissue Engineering -- 6.4 Natural Hydrogels as Smart Scaffolds for Tissue Engineering -- 6.4.1 Chitosan -- 6.4.1.1 Applications of Chitosan-Based Smart Scaffolds in Tissue Engineering -- 6.4.2 Hyaluronic Acid -- 6.4.2.1 Applications of HA-Based Smart Scaffolds in Tissue Engineering -- 6.4.3 Chondroitin Sulfate and Heparan Sulfate/Heparin -- 6.4.3.1 Applications of Chondroitin Sulfate- and Heparan Sulfate/Heparin-Based Smart Scaffolds in Tissue Engineering -- 6.5 Self-Assembling Peptides as Smart Scaffolds for Tissue Engineering -- 6.5.1 RAD16 Peptides -- 6.5.1.1 Applications of RAD16 Self-Assembling Peptides as Smart Scaffolds in Tissue Engineering -- 6.5.2 P11 β-Sheet Tapes -- 6.5.2.1 Applications of P11 β-Sheet Tapes as Smart Scaffolds in Tissue Engineering -- 6.5.3 Q11 β-Sheet Tapes. , 6.5.3.1 Applications of Q11 β-Sheet Tapes as Smart Scaffolds in Tissue Engineering -- 6.5.4 β-Hairpin Peptides -- 6.5.4.1 Applications of β-Hairpin Peptides as Smart Scaffolds in Tissue Engineering -- 6.5.5 Elastin-Like Peptides -- 6.5.5.1 Applications of Elastin-Like Peptides as Smart Scaffolds in Tissue Engineering -- 6.5.6 Peptide Amphiphiles -- 6.5.6.1 Applications of Peptide Amphiphiles as Smart Scaffolds in Tissue Engineering -- 6.6 Calcium Phosphate-Based Materials as Smart Scaffolds for Tissue Engineering -- 6.6.1 Applications of Calcium Phosphate-Based Materials as Smart Scaffolds for Tissue Engineering -- 6.7 Concluding Remarks and Future Directions -- List of Abbreviations -- References -- Chapter 7 - Engineering Stem Cell Niche and Stem Cell-Material Interactions -- 7.1 Introduction -- 7.2 Engineering the Stem Cell Niche -- 7.2.1 Influence of Topography -- 7.2.2 Influence of Cell Patterning -- 7.2.3 Influence of Surface Chemistry -- 7.2.4 Influence of Physical and Mechanical Properties of Substrates -- 7.2.4.1 Physical Properties -- 7.2.4.2 Mechanical Properties -- 7.3 Changing from 2D to 3D Culture Systems for Stem Cell Niche Engineering -- 7.3.1 Transition from 2D to 3D Culture Systems -- 7.3.2 Influence of the Physical and Mechanical Properties of a 3D Scaffold -- 7.3.3 Influence of 3D Patterning and 3D Scaffold Design Containing Biochemical Cues -- 7.4 Future Perspectives -- Acknowledgements -- References -- Chapter 8 - Smart Biomaterials with Smart Surfaces for Stem Cell Culture -- 8.1 Introduction -- 8.2 Photoresponsive Smart Biomaterials for Stem Cell Culture -- 8.3 Smart Biomaterials Coated with Recombinant Proteins for Stem Cell Culture -- 8.4 Thixotropic Smart Hydrogels for Stem Cell Culture -- 8.5 Thermoresponsive Smart Biomaterials for Stem Cell Culture -- 8.5.1 Thermoresponsive Polysaccharide Smart Biomaterials. , 8.5.2 Synthetic Thermoresponsive Smart Biomaterials -- 8.5.2.1 Poly(N-isopropyl acrylamide) Smart Biomaterials -- 8.5.2.2 Elastin-Like Polypeptide Smart Biomaterials -- 8.6 Small Molecule-Controlled Smart Biomaterials for Stem Cell Culture -- 8.7 Conclusions and Perspectives -- Acknowledgements -- References -- Chapter 9 - Conducting Polymers as Smart Materials for Tissue Engineering -- 9.1 Introduction -- 9.2 Properties Critical to Tissue Engineering -- 9.2.1 Electrical Conduction -- 9.2.2 Biocompatibility -- 9.2.3 Bio-Functionalization -- 9.2.4 Electroactuation -- 9.2.5 Micro/Nanofabrication Processability -- 9.3 Application in Tissue Engineering -- 9.3.1 Fundamental Studies -- 9.3.2 Electroactive Nerve Conduits -- 9.4 Future Perspectives -- Acknowledgements -- References -- Chapter 10 - Silica Materials as Smart Scaffolds for Tissue Engineering -- 10.1 Introduction -- 10.2 Silicon-Based Scaffolds for Tissue Engineering -- 10.2.1 Porous Silicon Scaffold-Cell Interactions -- 10.2.2 Silica-Based Composites -- 10.3 Silica-Based Scaffolds for Hard Tissue Engineering -- 10.3.1 Silica-Based Scaffolds for Bone Tissue Engineering -- 10.3.2 Silica-Based Scaffolds for Dental Regeneration -- 10.4 Silica-Based Scaffolds for Soft Tissue Engineering -- 10.4.1 Silica Gel Encapsulating Pancreatic Islets for Insulin Production -- 10.4.2 Use of Silicon-Based Materials for Nerve Tissue Engineering -- 10.4.3 Silica-Based Scaffolds for Cartilage Tissue Engineering -- 10.4.4 Silica-Based Scaffolds for Wound Healing Applications -- 10.4.5 Silica-Based Systems for Ophthalmic Applications -- 10.4.6 Silica-Based Materials for Ossicular Replacement -- 10.5 Silicon Micromachining Techniques in Tissue Engineering -- 10.6 Molecular Imprinted Silica Scaffolds -- 10.7 Silica Bio-Replication Techniques -- 10.8 Silica-Based Coatings for Stenting Applications. , 10.9 Future Perspectives.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Zurich :Trans Tech Publications, Limited,
    Keywords: Electronic books.
    Description / Table of Contents: Selected, peer reviewed papers from the 4th International Conference of Bionic Engineering (ICBE'13), August 13-16, 2013, Nanjing, China.
    Type of Medium: Online Resource
    Pages: 1 online resource (1015 pages)
    Edition: 1st ed.
    ISBN: 9783038263135
    Series Statement: Applied Mechanics and Materials Series ; v.Volume 461
    Language: English
    Note: Intro -- Advances in Bionic Engineering -- Preface, Committees and Sponsors -- Table of Contents -- Chapter 1: Bionic Structures -- A Method for Quantitative Analysis of Geometrical Structure of Animal Organs in Meso-Scale: The Dung Beetle Foreleg End Tooth as a Case Example -- A Model of Sheath of Bovine Horn Coupled Nano-Mechanical Properties and Microstructures -- Acoustic Performance Analysis of Bionic Coupling Multi-Layer Structure -- Anatomical Study of Insect Flight Structure -- Study on Wear of Bionic Roller Based on Arca Subcrenala Lischke -- Characteristics on Stability of a Hydraulic-Driven Bionic Structure Based on Undulating Rhythm Motion -- Design and Experiments of a Bionic Hook-Shape Subsoiler -- Design of the Lightweight Structure and its Mechanical Properties -- Effects of Bionic Geometric Structure Press Rollers on Reducing Rolling Resistance and Adhesion against Soil -- Multi-Functional Optimization of Sandwich Panel with Bio-Inspired Lightweight Structure Cores -- Structural Integrity Analysis of Hole Shape and Location in Lotus Root -- Study on Design of Metallic Sandwish Structure and its Mechanical and Thermal Properties -- The Research on Noise Reduction Device Based on Micropore Structure of Honeycomb -- Trial Manufacture of Bionic Honeycomb Plates and their Bending Properties -- Reconstruction of Geometrical Structure of Claw of Mole Rat (Scaptochirus moschatus) and Finite Element Analysis of Claw against Soil -- Simulation and Analysis of Butterfly-Inspired Eclosion Deployable Structure -- The Bearing Capacity and the Rational Loading Mode of Pigeon during Takeoff -- Biomimetic Studies of the Beetle Forewing in China -- Grasshopper [Chondracris rosea rosea (De Geer)] Incisors Cutting Edge Contour Data Extraction and Quantitative Analysis -- What is a Physicist Doing in the Jungle? Biomimetics of the Rainforest. , Chapter 2: Biomechanics -- A Biologically Motivated Flight Control System for PAVs -- Aerodynamic Force Test on Tethered Bamboo Beetle Otidognathus davidis fair -- Bionic Flexible Wings Design of the Flapper -- Bionic Jump Mechanism Analysis Based on Locust Hind -- Design and Kinematics Analysis of a Bionic Mechanical Goat Hoof -- Drag Reduction Study about Bird Feather Herringbone Riblets -- Experimental Research on a Novel Design of Variable Area Caudal Fin -- Finite Element Analysis in the Characteristics of Ostrich Foot Toenail Traveling on Sand -- High-Lift Mechanism of a Bionic Slat -- Hydrostatic Stress and Triaxiality Factors in a Lotus Root Cross Section -- Locomotive and Adhesive Behavior of Apopestes spectrum on Murals in Mogao Grottoes, Dunhuang -- Mechanical Performance Tests of Bamboo Beetles Otidognathus davidis fairs' Abdominal Shells -- Mechanics of Locomotion Energetics in Chinese Mitten Crab Eriocheir sinensis Milne-Edwards -- Morphing Models of a Bat Wing in Flapping Flight -- New Design, Kinematic and Static Force Modeling of a Bio-Inspired Leg Mechanism for Rough Terrain -- Propulsive Performance of Flexible Fin with Fluid-Structure Interaction Study -- Research on Kinematic Modeling of Octopus-Like Arm Manipulator Composed with Mixed Joints -- Research on Morphology Specificity of Gecko Feet at Different Scales -- The Mechanism of Air-Righting Performance in Tree Frogs -- Wing Kinematics of Long Eared Owl and Sparrow Hawk in Flapping Flight -- Surface Texture and Mechanical Behavior of Claw Material in Beetle Dorcus titanus (Coleoptera: Lucanidae) -- Modeling of Fish Adaptive Behaviors in Unsteady Flows -- Chapter 3: Bionic Actuator -- A New Kind of Electro-Active Nano-Composite Actors Based on SSMA-Reinforced Nafion -- An Inchworm Bionic Stepping Actuator Based on PZT/ER Hybrid Dive and Control. , Analysis of Characteristics and Applications of IPMC Material Using Nafion Membrane -- Design of a Portable IPMC Actuator Tester -- Implementation and Control of a Rotary Manipulator Driven by Soft Dielectric Electroactive Polymer -- Investigation on a Linear Actuator Using an Ionic Polymer-Metal Composite -- Chapter 4: Materials -- A New Ortho-POD Biotribometer for Orthopaedic Biomaterials Wear Testing -- Biomimetic Films of BLMs Based on Conductive Hybrid Films of Au NPs and Cellulose -- Effect of Top Structure on Adhesion of Carbon Nanotubes Based Gecko Inspired Dry Adhesive -- Hybrid Biological Fiber-Reinforced Resin-Based Friction Materials Friction and Wear Performance Test -- Model and Fabrication of Biomimetic Integrated Porous Core Laminated Composite -- Preparation and Characterization of SPS-PMHS Hybrid Ionic Polymer-Metal Composites Studies -- Research on the Performance Influence of Partly Granulation Technology for Friction Materials -- Research on the Performance Influence of Second Adhesive to Friction Materials -- Study on the Tribological Behavior of the Foamed Copper Filled with Epoxy Matrix -- Study on Shear Property of Corn Root-Soil Complex -- Electrophoretic Deposition of Foam Ni/CNT Composites and their Electromagnetic Interference Shielding Performance -- Prokaryotic Expression and Functional Characterization of the 19 kDa Protein in Balanus albicostatus Cement -- Simulation Platform for Fishlike Swimming -- Chapter 5: Agricultural, Industry Application & -- Engineering -- A New Approach to the Similarity Analysis in Bionic Engineering and its Applications -- Advancement and Prospect of Bionic Techniques in the Conservation of the Cultural Heritage -- Application of Bionic Non-Smooth Theory in Solid Expandable Tubular Technology -- Application of Management Bionics to Technological Innovation in Agriculture. , Bionic Sawblade Based on Grasshopper Incisor for Corn Stalk Cutting -- Design and Analysis of the Bio-Inspired Rear Under-Run Protection Devices for Heavy Truck -- Design of Control Strategy for Autonomous Perching with a Quadrotor -- Improvement of Torque Control in EPS Using Induction Motor -- Power Supply Design of Magnetic Resonance Sounding Equipment for Detecting Mine Groundwater -- Prospects of Using Bionic Technologies in Oil/Gas Development -- Research on the Design of Intelligent Obstacle Avoidance Car Model Based on Ultrasonic Wave -- Simulation of Bionic Anti-Drag Subsoiler with Exponential Curve Feature Using Discrete Element Method -- The Study of Prediction of Agricultural Source Pollution Emissions of Ammonia Nitrogen (AN) and Chemical Oxygen Demand (COD) Based on Bionic Neural Network Algorithm -- The Role of Bionic Modifications in Reducing Adhesion and Draft of Agricultural and Earthmoving Machinery -- Chapter 6: Biomedical Engineering -- A Multi-Step Neural Control for Motor Brain-Machine Interface by Reinforcement Learning -- An Equipment Used for Studying the Vestibular Perception of Gekko gecko -- Design and Fabrication of One-Chip MEMS Microphone for the Hearing Impaired -- Design and Realization of a Wireless Data Acquisition System Based on Multi-Nodes and Multi-Base-Stations -- Design and Simulation of a PAM Based Bionic Elbow Joint -- Design of the Bionic Rehabilitative Leg Based on the Passive Gait Biped -- Dynamic Electromyographic Models to Assess Elbow Joint Torque -- Emotional Expression System Based on Expression Intensity Recognition and Affective Model -- Review of Current Available Dental Articular Simulators -- Study on Optimization of CPG Model for Lower Limb Prosthesis -- Succulent Intracalvarium Enclosing and Protecting the Brain of a Falling Gecko. , Topology Analysis of a Metabolic Functional Gene Transcriptional Regulatory Network of Escherichia Coli -- Tracking Time Variant Neuron Tuning Properties of Brain Machine Interfaces -- Design and Realization of an Early Pre-Impact Fall Alarm System Based on MEMS Inertial Sensing Units -- Design and Realization of a Wearable Hip-Airbag System for Fall Protection -- Chapter 7: Bio-Inspired Functional Surface -- Controllable Adjustment of Bio-Replicated Shark Skin Drag Reduction Riblets -- Coupling Function and Mechanism of the Bionic Coupling Functional Surface (BCFS) Caused by the Dual Factors of Form and Flexible Material -- Experimental and Numerical Study on Aerodynamic Noise Reduction of Cylindrical Rod with Bionic Wavy Surface -- Experimental Study of the Concave Bionic Drag Reduction Needles -- Friction and Wear Properties of the Tergum Surface of Mole Cricket, Gryllotalpa orientalis -- Hydrodynamics Analysis of Air Flow over Pitted Surface -- Influence of Jet Hole Configuration on Drag Reduction of Bionic Jet Surface -- Microstructure and Wettability on the Elytral Surface of Aquatic Beetle -- Preparation of Biomimetic Multi-Scale Oleophobic Surface on X70 Pipeline Steel -- Simulation and Analysis of Flow Field Control in Bionic Jet Surface for Drag Reduction -- The Effect of Bionic V-Ring Surface on the Aerodynamic Noise of a Circular Cylinder -- Visual Reconstruction and Analysis of the Surface of Earthworm in AVS -- Wind Tunnel Test for Drag Reduction of Airfoil Bionic Soft Surface -- Chapter 8: Bio-Inspired Sensor -- A Method of Rapid Position Estimation -- A Method to Improve the Accuracy of the Ultrasonic Detection for Drainage Pipeline -- A New Mobile Visual Search System Based on the Human Visual System -- Artificial Olfactory System Technology on Chicken Freshness Detection. , Culturing and Bonding of Diatom on a Microfluidic Chip for Biosensing Application.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 5
    Keywords: Mine water. ; Electronic books.
    Type of Medium: Online Resource
    Pages: 1 online resource (194 pages)
    Edition: 1st ed.
    ISBN: 9783030401160
    Series Statement: Springer Theses Series
    DDC: 622.5
    Language: English
    Note: Intro -- Supervisor's Foreword -- Parts of this thesis have been published in the following journal articles: -- This research was supported by the following projects: -- Contents -- Executive Summary -- 1 Introduction -- 1.1 Research Background and Significance -- 1.2 Current Research Status -- 1.2.1 Research on Water-Bearing and Water-resisting Properties of the TOL in NCCs -- 1.2.2 Pertinent Research on Grouting Reconstruction of the TOL -- 1.3 Major Limitations of Current Research -- 1.4 Research Content and Technical Approach -- 1.4.1 Research Content -- 1.4.2 Research Method and Technical Approach -- References -- 2 Paleosedimentary Environments and Karst Characteristics of Ordovician Limestone in North China Coalfields -- 2.1 Paleotectonic Movement in NCCs -- 2.2 Evolution of the Paleosedimentary Environments in NCCs -- 2.3 Characteristics of Karst Development of Ordovician Limestone in NCCs -- References -- 3 Water-Bearing and Water-resisting Properties of Top of Ordovician Limestone in North China Coalfields -- 3.1 Research on Planar Division of Water Yield Property of TOL in NCCs -- 3.1.1 Analysis on the Influencing Factors of Water Abundance of the TOL -- 3.1.2 Comprehensive Evaluation Method of Water Abundance of the TOL -- 3.1.3 Case Study of Water Abundance of the TOL -- 3.2 Research on Vertical Zonation of Water-Bearing and Water-resisting Properties of the TOL in NCCs -- 3.2.1 Three Vertical Zones in the TOL -- 3.2.2 Case Study of Vertical Zoning of Water-Bearing and Water-resisting Properties of the TOL -- References -- 4 Utilizability of Weathered and Filled Zone of Top of Ordovician Limestone in North China Coalfields -- 4.1 Formation, Evolution, and Spatial Distribution Characteristics of the Weathered and Filled Zone of the TOL -- 4.2 Experimental Study on the Utilizability of the Weathered and Filled Zone of TOL as Aquifuge. , 4.2.1 Rock Strength Test -- 4.2.2 Rock Permeability Test -- 4.2.3 Water-resisting Capacity and Rock Strength Test of TOL -- 4.3 Utilizability of the Weathered and Filled Zone of the TOL as Aquifuge -- References -- 5 Criterion for Utilization and Grouting Reconstruction of Top of Ordovician Limestone -- 5.1 Criterion for Utilization and Grouting Reconstruction of the TOL -- 5.2 Thickness of Grouting Reconstruction of the TOL -- 5.3 Prediction Methods of Damage Depth in Coal Seam Floor -- References -- 6 Technical System of Grouting Reconstruction of Top of Ordovician Limestone -- 6.1 Experimental Study on Grouting Material Formula Using Pulverized Coal Ash -- 6.2 Dispersion Properties of Grout in Karst Fractures of the TOL -- 6.3 Surface Automatic Grouting System Using Fly Ash-Based Grouting Materials -- References -- 7 Case Study of Utilization and Grouting Reconstruction of Top of Ordovician Limestone -- 7.1 Background of Tested Working Face 3105 in Sangshuping Coal Mine, Hancheng Mining Area -- 7.2 Karst Characteristics and Water Yield Properties of TOL in Sangshuping Coal Mine -- 7.3 Utilization of the TOL in Working Face 3105 -- Reference -- 8 Conclusions and Innovation Points -- 8.1 Conclusions -- 8.2 Innovation Points.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 6
    Online Resource
    Online Resource
    Cham : Springer International Publishing | Cham : Imprint: Springer
    Keywords: Geology. ; Geotechnical engineering. ; Hydrogeology.
    Description / Table of Contents: Introduction -- Paleosedimentary Environments And Karst Characteristics Of Ordovician Limestone In North China Coalfields -- Water-Bearing And Water-Resisting Properties Of Top Of Ordovician Limestone In North China Coalfields -- Utilizability Of Weathered And Filled Zone Of Top Of Ordovician Limestone In North China Coalfields -- Criterion For Utilization And Grouting Reconstruction Of Top Of Ordovician Limestone -- Technical System Of Grouting Reconstruction Of Top Of Ordovician Limestone -- Case Study Of Utilization And Grouting Reconstruction Of Top Of Ordovician Limestone -- Conclusions And Innovation Points.
    Type of Medium: Online Resource
    Pages: 1 Online-Ressource(XVI, 183 p. 98 illus., 83 illus. in color.)
    Edition: 1st ed. 2020.
    ISBN: 9783030401160
    Series Statement: Springer Theses, Recognizing Outstanding Ph.D. Research
    Language: English
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Cham : Springer International Publishing | Cham : Imprint: Springer
    Keywords: Hydrogeology. ; Water-supply. ; Geotechnical engineering. ; Water pollution.
    Description / Table of Contents: Water Hazards in Coal Mines and Their Classifications -- Mechanisms of Water Hazards in Coal Mines -- Techniques of Identifying Water Hazards in Coal Mines -- Evaluations and Prediction of Water Hazards in Coal Mines -- Monitoring and Early-Warning Techniques for Water Hazards in Coal Mines -- Proactive Mitigation of Water Inrush Risk on Regional Scales -- Emergency Responses to Water Hazards in Coal Mines -- Integration of Mine Water into Resource Planning -- Regulations on Water Hazard Control and Management -- Case Studies on Prevention and Mitigation of Water Hazards in Coal Mines.
    Type of Medium: Online Resource
    Pages: 1 Online-Ressource(XIV, 510 p. 223 illus., 121 illus. in color.)
    Edition: 1st ed. 2021.
    ISBN: 9783030670597
    Series Statement: Professional Practice in Earth Sciences
    Language: English
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik (WIAS)
    Keywords: Forschungsbericht
    Type of Medium: Online Resource
    Pages: 1 Online-Ressource (24 Seiten, 324,74 KB)
    Series Statement: Preprint / Weierstraß-Institut für Angewandte Analysis und Stochastik im Forschungsverbund Berlin e.V. no. 935
    DDC: 510
    RVK:
    Language: English
    Note: Literaturverzeichnis: Seite 20-22
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik (WIAS)
    Keywords: Forschungsbericht
    Description / Table of Contents: A non-critical branching immigration superprocess with dependent spatial motion is constructed and characterized as the solution of a stochastic equation driven by a time-space white noise and an orthogonal martingale measure. A representation of its conditional log-Laplace functionals is established, which gives the uniqueness of the solution and hence its Markov property. Some properties of the superprocess including an ergodic theorem are also obtained.
    Type of Medium: Online Resource
    Pages: 1 Online-Ressource (29 Seiten, 353,36 KB)
    Series Statement: Preprint / Weierstraß-Institut für Angewandte Analysis und Stochastik im Forschungsverbund Berlin e.V. no. 900
    DDC: 510
    Language: English
    Note: Literaturverzeichnis: Seite 26-27
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Dordrecht : Elsevier Science
    Keywords: Logic, Symbolic and mathematical ; Logic, Symbolic and mathematical ; Logic, Symbolic and mathematical ; Electronic books ; Electronic books
    Description / Table of Contents: Axiomatic method -- Eighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory
    Type of Medium: Online Resource
    Pages: Online Ressource (v, 651 pages)
    Edition: Online-Ausg.
    ISBN: 0444533982 , 9780444533982
    Series Statement: Studies in Logic and the Foundations of Mathematics v. 33
    DDC: 511.3
    Language: English
    Note: Print version record , Axiomatic methodEighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory. , Axiomatic method -- Eighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...