LEADER 04550nam 2200649 450 001 9910459904603321 005 20200520144314.0 010 $a3-03826-685-X 035 $a(CKB)3710000000281204 035 $a(EBL)1910998 035 $a(SSID)ssj0001406834 035 $a(PQKBManifestationID)11788892 035 $a(PQKBTitleCode)TC0001406834 035 $a(PQKBWorkID)11408736 035 $a(PQKB)10324849 035 $a(MiAaPQ)EBC1910998 035 $a(Au-PeEL)EBL1910998 035 $a(CaPaEBR)ebr10986834 035 $a(OCoLC)899148337 035 $a(EXLCZ)993710000000281204 100 $a20141201h20142014 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$a13th International Ceramics Congress $eproceedings of the 13th International Ceramics Congress, part of CIMTEC 2014-13th International Ceramics Congress and 6th Forum on New Materials, June 8-13, 2014, Montecatini Terme, Italy. Part C /$fedited by Pietro Vincenzini, World Academy of Ceramics and National Research Council, Italy ; co-edited by Ali Erdemir, Argonne National Laboratory, USA [and three others] 210 1$aFaenza, Italy :$cTTP,$d[2014] 210 4$dİ2014 215 $a1 online resource (168 p.) 225 1 $aAdvances in science and technology,$x1662-8969 ;$vvolume 89 300 $aDescription based upon print version of record. 311 $a3-03835-301-9 320 $aIncludes bibliographical references and index. 327 $a13th International Ceramics Congress - Part C; Preface; Table of Contents; Chapter 1: Materials for Tribology Applications; Novel Super-Elastic Materials for Advanced Bearing Applications; Tribological Behaviour of Ceramic Hip Replacements; Carbon Based Coatings for Hermetic Compressor Applications; Effect of Different Form of Carbon Addition on the Wear Behaviour of Copper Based Composites; Chapter 2: High and Ultra High Temperature Ceramics; Amorphization, Field Activated Sintering and Superplastic Forming of UHTCs; Nonoxide High-Melting Point Compounds as Materials for Extreme Conditions 327 $aReaction Bonded Si3N4 (RBSN)/BN Composites for Industrial ApplicationsDevelopment and Processing of SiAlON Nano-Ceramics by Spark Plasma Sintering; Two-Step Pressureless Sintering of Silicon Carbide-Based Materials; Dispersion of Carbon Nanotubes in Alumina Using a Novel Mixing Technique and Spark Plasma Sintering of the Nanocomposites with Improved Fracture Toughness; Corrosion of Polymer-Derived Ceramics in Hydrofluoric Acid and Sodium Salts; Fracture Mechanics of Y2O3 Ceramics at High Temperatures; Development of Cordierite Ceramics from Natural Raw Materials 327 $aFirst Principles Calculations of Interfaces in Ultra High Temperature CeramicsInfluence of B4C, SiC and Si3N4 Additions on Microstructures and Selected Properties of Titanium Nitride Matrix Materials Obtained by HPHT Method; Chapter 3: Max Phases; Critical Review of the Oxidation of Cr2AlC; Study of the Thermal Stability and Mechanical Characteristics of MAX Phases of Ti-Al-C(N) System and their Solid Solutions; Chapter 4: Fiber Composites; Heat-Resistant Inorganic Fibers; Poly-Siloxane Impregnation and Pyrolysis of Basalt Fibers for the Cost-Effective Production of CFCCs 327 $aMultilayered Fiber-Reinforced Oxide Composites Produced by Lamination of Thermoplastic PrepregsEvaluation of Wearing Properties of Polyamide 66 Containing Glass Wool; Keywords Index; Authors Index 330 $aCollection of selected, peer reviewed papers from the 13 th International Ceramics Congress, part of CIMTEC 2014-13 th International Ceramics Congress and 6 th Forum on New Materials, June 8-13, 2014, Montecatini Terme, Italy. The 21 papers are grouped as follows: Chapter 1: Materials for Tribology Applications, Chapter 2: High and Ultra High Temperature Ceramics, Chapter 3: Max Phases, Chapter 4: Fiber Composites. 410 0$aAdvances in science and technology ;$vv. 89. 606 $aCeramics$vCongresses 606 $aCeramic materials$vCongresses 606 $aCeramic engineering$vCongresses 608 $aElectronic books. 615 0$aCeramics 615 0$aCeramic materials 615 0$aCeramic engineering 676 $a620.14 702 $aVincenzini$b P.$f1939- 702 $aErdemir$b A. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459904603321 996 $a13th International Ceramics Congress$92049596 997 $aUNINA LEADER 04395nam 22007935 450 001 996466149703316 005 20200701200226.0 010 $a3-540-49133-3 024 7 $a10.1007/3-540-58867-1 035 $a(CKB)1000000000548823 035 $a(SSID)ssj0000323211 035 $a(PQKBManifestationID)11243644 035 $a(PQKBTitleCode)TC0000323211 035 $a(PQKBWorkID)10299234 035 $a(PQKB)10842352 035 $a(DE-He213)978-3-540-49133-0 035 $a(PPN)155194380 035 $a(EXLCZ)991000000000548823 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Development of Reactive Systems$b[electronic resource] $eCase Study Production Cell /$fedited by Claus Lewerentz, Thomas Lindner 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XII, 400 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v891 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-58867-1 327 $aTask description -- Comparative survey -- CSL -- Esterel -- Lustre -- Signal -- Statecharts -- TLT -- SDL -- Focus -- Spectrum -- KIV -- Tatzelwurm -- HTTDs and HOL -- Raise -- Deductive synthesis -- Symbolic Timing Diagrams -- LCM and MCM -- Modula-3 -- TROLL light -- Simulation. 330 $aThis book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v891 606 $aSoftware engineering 606 $aSpecial purpose computers 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer-aided engineering 606 $aControl engineering 606 $aRobotics 606 $aMechatronics 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer-Aided Engineering (CAD, CAE) and Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I23044 606 $aControl, Robotics, Mechatronics$3https://scigraph.springernature.com/ontologies/product-market-codes/T19000 615 0$aSoftware engineering. 615 0$aSpecial purpose computers. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer-aided engineering. 615 0$aControl engineering. 615 0$aRobotics. 615 0$aMechatronics. 615 14$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer-Aided Engineering (CAD, CAE) and Design. 615 24$aControl, Robotics, Mechatronics. 676 $a670.42/7 702 $aLewerentz$b Claus$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLindner$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466149703316 996 $aFormal development of reactive systems$91502003 997 $aUNISA LEADER 05016nam 22007335 450 001 9910624322203321 005 20250609194740.0 010 $a981-19-5331-7 024 7 $a10.1007/978-981-19-5331-6 035 $a(MiAaPQ)EBC7133283 035 $a(Au-PeEL)EBL7133283 035 $a(CKB)25299343100041 035 $a(DE-He213)978-981-19-5331-6 035 $a(PPN)26635209X 035 $a(EXLCZ)9925299343100041 100 $a20221107d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aICT Infrastructure and Computing $eProceedings of ICT4SD 2022 /$fedited by Milan Tuba, Shyam Akashe, Amit Joshi 205 $a1st ed. 2023. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2023. 215 $a1 online resource (749 pages) 225 1 $aLecture Notes in Networks and Systems,$x2367-3389 ;$v520 311 08$aPrint version: Tuba, Milan ICT Infrastructure and Computing Singapore : Springer,c2022 9789811953309 320 $aIncludes bibliographical references and index. 327 $a1. Survey Paper on Multi-View Object Detection: Challenges and Techniques -- 2. Exploring the Scheduling techniques for the RTOS -- 3. Grid Power Smoothing Management for Direct Drive PMSG Variable Speed Wind Energy Conversion System with Multilevel Converter -- 4. Fall Detection using Transformer Model -- 5. Survey on various IOT based irrigation techniques in India -- 6. Empirical analysis of crop-yield analysis and disease detection systems: A statistical perspective -- 7.Analysis of Public Perception of Autonomous Vehicles Based on Unlabelled Data from Twitter -- 8. DFCNNet: A Convolutional Neural Network to Detect Deepfakes -- 9. White Blood Cells Classification Using Deep Learning Technique -- 10. Comparative Analysis of Convolutional Neural Network in Object Detection -- 11. A Review of the Applications and Future Scope of Artificial Intelligence in Smart Transport -- 12.Besuited EEG Signal Analysis for Stress Monitoring Using BIONIC Sensor -- 13. Publish ?Subscribe With Iot For A Smart Soil Moisture Irrigation System -- 14. An Optimized Taxonomy And Identification Of Retinal Eye Diseases For Diabetes Patients Using CNN -- 15. Axiomatically Designed Research Support Systems -- 16. Detection Of Hepatitis-B Virus Using NFC-Enabled Smartphone Based Portable Amperometric Immunosensor -- 17. Encrypto ? Decrypto -- 18. Enhancing the employability of engineering graduates: An assertion on fundamental educational aspect of engineering education with proposing a hypothesis of ?Wishing Theory? based on prospective machine learning model -- 19. UpMove DownMove Strategy using NeuralNetwork Techniques For The Prediction Of Stock Prices -- 20. Breast Cancer Detection Using Bag Of visual Words -- etc. 330 $aThis book proposes new technologies and discusses future solutions for ICT design infrastructures, as reflected in high-quality papers presented at the 7th International Conference on ICT for Sustainable Development (ICT4SD 2022), held in Goa, India, on 29?30 July 2022. The book covers the topics such as big data and data mining, data fusion, IoT programming toolkits and frameworks, green communication systems and network, use of ICT in smart cities, sensor networks and embedded system, network and information security, wireless and optical networks, security, trust, and privacy, routing and control protocols, cognitive radio and networks, and natural language processing. Bringing together experts from different countries, the book explores a range of central issues from an international perspective. 410 0$aLecture Notes in Networks and Systems,$x2367-3389 ;$v520 606 $aComputational intelligence 606 $aTelecommunication 606 $aTechnology$xSociological aspects 606 $aInformation technology 606 $aInternet of things 606 $aComputer networks 606 $aComputational Intelligence 606 $aCommunications Engineering, Networks 606 $aInformation and Communication Technologies (ICT) 606 $aInternet of Things 606 $aComputer Networks 615 0$aComputational intelligence. 615 0$aTelecommunication. 615 0$aTechnology$xSociological aspects. 615 0$aInformation technology. 615 0$aInternet of things. 615 0$aComputer networks. 615 14$aComputational Intelligence. 615 24$aCommunications Engineering, Networks. 615 24$aInformation and Communication Technologies (ICT). 615 24$aInternet of Things. 615 24$aComputer Networks. 676 $a620.00286 702 $aTuba$b Milan 702 $aAkashe$b Shyam 702 $aJoshi$b Amit 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910624322203321 996 $aICT infrastructure and computing$93070714 997 $aUNINA