LEADER 05358nam 22007935 450 001 996465899703316 005 20200704051502.0 010 $a1-280-38889-7 010 $a9786613566812 010 $a3-642-15675-4 024 7 $a10.1007/978-3-642-15675-5 035 $a(CKB)2670000000045086 035 $a(SSID)ssj0000446608 035 $a(PQKBManifestationID)11312986 035 $a(PQKBTitleCode)TC0000446608 035 $a(PQKBWorkID)10497753 035 $a(PQKB)11624034 035 $a(DE-He213)978-3-642-15675-5 035 $a(MiAaPQ)EBC3065838 035 $a(PPN)149025173 035 $a(EXLCZ)992670000000045086 100 $a20100913d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence$b[electronic resource] $e12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings /$fedited by Tomi Janhunen, Ilkka Niemelä 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XIV, 374 p. 48 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6341 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-15674-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Nonmonotonic Tools for Argumentation -- Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference -- Counter Systems for Data Logics -- Regular Papers -- Similarity-Based Inconsistency-Tolerant Logics -- Decomposition of Distributed Nonmonotonic Multi-Context Systems -- Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases -- A Decidable Constructive Description Logic -- A Normal Form for Linear Temporal Equilibrium Logic -- Rational Closure for Defeasible Description Logics -- Extensional Higher-Order Logic Programming -- dl2asp: Implementing Default Logic via Answer Set Programming -- Sets of Boolean Connectives That Make Argumentation Easier -- Retroactive Subsumption-Based Tabled Evaluation of Logic Programs -- Preference-Based Inconsistency Assessment in Multi-Context Systems -- A Logical Semantics for Description Logic Programs -- An Incremental Answer Set Programming Based System for Finite ModelComputation -- Parametrized Logic Programming -- Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription -- : A Context Description Logic -- Stable Belief Sets Revisited -- Efficient Inferencing for OWL EL -- Translating First-Order Causal Theories into Answer Set Programming -- Preprocessing Boolean Formulae for BDDs in a Probabilistic Context -- Minimal Knowledge and Belief via Minimal Topology -- A Logical Account of Lying -- Tabling with Answer Subsumption: Implementation, Applications and Performance -- Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic -- An Approximative Inference Method for Solving ???SO Satisfiability Problems -- Horn Contraction via Epistemic Entrenchment -- System Descriptions -- The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems -- The mcs-ie System for Explaining Inconsistency in Multi-Context Systems -- Coala: A Compiler from Action Languages to ASP -- DLV MC : Enhanced Model Checking in DLV -- A Dynamic-Programming Based ASP-Solver. 410 0$aLecture Notes in Artificial Intelligence ;$v6341 606 $aArtificial intelligence 606 $aMathematical logic 606 $aApplication software 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer science?Mathematics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer science?Mathematics. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aSymbolic and Algebraic Manipulation. 676 $a006.3 702 $aJanhunen$b Tomi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNiemelä$b Ilkka$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aJELIA 2010 906 $aBOOK 912 $a996465899703316 996 $aLogics in Artificial Intelligence$9772596 997 $aUNISA LEADER 04849nam 2200637 450 001 9910807645903321 005 20200520144314.0 010 $a1-78242-026-6 035 $a(CKB)2670000000601887 035 $a(EBL)1997678 035 $a(SSID)ssj0001546279 035 $a(PQKBManifestationID)16136539 035 $a(PQKBTitleCode)TC0001546279 035 $a(PQKBWorkID)14792266 035 $a(PQKB)10007706 035 $a(Au-PeEL)EBL1997678 035 $a(CaPaEBR)ebr11033603 035 $a(CaONFJC)MIL751545 035 $a(OCoLC)908097541 035 $a(MiAaPQ)EBC1997678 035 $a(EXLCZ)992670000000601887 100 $a20150330h20152015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aBiomedical textiles for orthopaedic and surgical applications $efundamentals, applications and tissue engineering /$fedited by Todd Blair 210 1$aAmsterdam, Netherlands :$cWoodhead Publishing,$d2015. 210 4$d©2015 215 $a1 online resource (212 p.) 225 1 $aWoodhead Publishing Series in Biomaterials ;$vNumber 93 300 $aDescription based upon print version of record. 311 $a1-336-20259-9 311 $a1-78242-017-7 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aFront Cover; Biomedical Textiles for Orthopaedic and Surgical Applications: Fundamentals, Applications and Tissue Engineering; Copyright; Contents; List of contributors; Woodhead Publishing Series in Biomaterials; Chapter 1: Biomechanical testing and the development of silk-based textiles for regenerative medicine and surgery; 1.1. Introduction; 1.2. Current landscape; 1.3. A new paradigm: Compliance Matching and Material Property Led Engineering Technologies; 1.3.1. Phase 1: Understanding natural tissue; 1.3.2. Phase 2: Comparison with current solutions 327 $a1.3.3. Phase 3: Novel compliance-matched solutions1.3.4. Importance of sample quantity and quality; 1.3.5. Mechanical testing; 1.3.6. Thermal testing; 1.3.7. Optical testing; 1.4. CoMMPLETe case study: Rotator cuff tendons; 1.4.1. CoMMPLETe phase 1: Understanding rotator cuff properties; 1.4.2. CoMMPLETe phase 2: Comparison with existing patches; 1.5. Future trends and applications; 1.5.1. CoMMPLETe phase 3: Developing silk-based solutions; 1.6. Conclusions; 1.7. Sources of further information and advice; Websites; Acknowledgements; References 327 $aChapter 2: Embroidery technology for hard-tissue scaffolds2.1. Introduction; 2.1.1. Incidence and medical relevance of critical size defects; 2.1.2. Applied therapies and their limitations; 2.1.3. Regeneration of critical size defects by tissue engineering; 2.1.4. Scaffolds for bone tissue engineering; 2.2. Manufacturing of porous textile structures using embroidery technology; 2.2.1. Principal aspects of embroidery technology; 2.2.2. Thread materials for scaffold fabrication using embroidery technology; 2.2.2.1. Surgical thread materials; 2.2.2.2. Noncommercial fibres 327 $a2.2.3. Embroidered scaffolds2.3. Application of embroidered scaffolds for hard-tissue engineering; 2.3.1. Tissue engineering strategies for hard-tissue implants based on embroidered scaffolds; 2.3.2. Coatings for improved osteoconductivity and osteoinductivity; 2.3.3. Cell selection and seeding procedures; 2.3.4. Tissue engineering of hard tissue; 2.4. Conclusion; 2.5. Future trends; References; Chapter 3: Nonwoven scaffolds for bone regeneration; 3.1. The structure of bone and the mechanisms for self-repair; 3.2. Fibre manufacture from biomaterials; 3.2.1. Collagen 327 $a3.2.2. Poly(?-caprolactone)3.3. Design and assembly of scaffold architectures; 3.4. Considerations for surgical implantation of nonwoven scaffolds; 3.5. Future trends; Acknowledgements; References; Chapter 4: Bioabsorbable fabrics for musculoskeletal scaffolds; 4.1. Introduction; 4.2. Bioabsorbable materials, fibre spinning and properties, and yarn preparation; 4.3. Processing technologies for fabrics; 4.3.1. Weaving; 4.3.2. Knitting; 4.3.3. Braiding; 4.3.4. Other methods; 4.4. Fabric structures and their characteristics; 4.4.1. Characteristics of woven structures 327 $a4.4.2. Characteristics of knitted structures 410 0$aWoodhead Publishing series in biomaterials ;$vNumber 93. 606 $aBiomedical materials$xTherapeutic use 606 $aBiomedical engineering 615 0$aBiomedical materials$xTherapeutic use. 615 0$aBiomedical engineering. 676 $a610.28 702 $aBlair$b Todd 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910807645903321 996 $aBiomedical textiles for orthopaedic and surgical applications$94019706 997 $aUNINA