LEADER 05399nam 2200637 450 001 9910464339903321 005 20200520144314.0 010 $a3-03813-979-3 035 $a(CKB)3710000000025458 035 $a(EBL)1873053 035 $a(SSID)ssj0001127209 035 $a(PQKBManifestationID)11603706 035 $a(PQKBTitleCode)TC0001127209 035 $a(PQKBWorkID)11151214 035 $a(PQKB)10998811 035 $a(MiAaPQ)EBC1873053 035 $a(Au-PeEL)EBL1873053 035 $a(CaPaEBR)ebr10777697 035 $a(OCoLC)897641273 035 $a(EXLCZ)993710000000025458 100 $a20130111h20132013 fy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aAdvances technologies in nano materials and electric devices $eselected, peer reviewed papers from the 2012 International Conference on Nano Materials and Electric Devices (ICNMED 2012), December 19-20, 2012, Hong Kong /$fedited by Tingting Wang 210 1$aSwitzerland :$cTrans Tech Publications Ltd,$d[2013] 210 4$dİ2013 215 $a1 online resource (268 p.) 225 0$aAdvanced materials research,$x1022-6680 ;$v646 300 $aDescription based upon print version of record. 311 $a3-03785-598-3 320 $aIncludes bibliographical references and index. 327 $aAdvanced Technologies in Nano Materials and Electric Devices; Preface and Committee; Table of Contents; Chapter 1: Material Science Engineering and Technology; Copolymerization of Carbon Dioxide and Propylene Oxide with Multi-Metal Cyanide Complexes as Catalyst; Effects of Alloy Elements (Mo, Al, and B) Addition on the Damping Property of Ti-25Nb-1.5O Alloys; Microwave Absorbing Properties of Polymer Composites Containing High-Permeability Magnetic Flake Particles in Quasi-Microwave Frequency Band; Thermal Stability of Thiolate Self-Assembled Monolayers on Copper Surface 327 $aThe Synthesis and Bioactivities of 2-Hydroxyethyl Benzo[d] Isothiazole-3(2H)-One Marine Antifouling PaintsPreparation and Curing Behaviour of N-Phenylmaleimide-Styrene-Maleic Anhydride Copolymer/o-Cresol Formaldehyde Epoxy Resin Composite System; Deterministic Single InGaN Quantum Dots grown on GaN Micro-Pyramid Arrays; Study on the Effect of Matrix Properties on the Mechanical Performance of Carbon Fabric Composites; Research Progress of Surface Treatment Techniques in the Application of Fouling Prevention and Heat Transfer Enhancement; Chapter 2: Nano Materials and Technologies 327 $aPhotoelectric Characteristics of ZnO Nanowires Grown on AZO Thin FilmComparative Evaluation of Different Methods for Preparation of SiO2/Epoxy Nanocomposite; Influence of Magnetoelastic Anisotropy on Properties of Nanostructured Microwires; Distribution Time of Gold Nanoparticles Pass through the Solid State Nanopore in Deionized Water; Synthesis of Silver Nanowire Using a Template Wetting Process; Synthesis and Characterization of Nanocrystalline MgO for Optical Applications Using Sol-Gel Method; Optimal Processing for Hydrophobic Nanopillar Polymer Surfaces Using Nanoporous Alumina Template 327 $aUsing Modified Creep and Recovery Tests to Evaluate the Foam-Based Warm Mix Asphalt Contained Nano Hydrated LimeHybrids of Graphenes and Silver Nanoparticles Prepared by In Situ Process Employing Microwaveirradiation; The Morphologies of Pt Decorated on PANI Membrane and Effects on Glucose Biosensor; Silver Metal Pattern Fabrication on a Glass Substrate Using a Conformal Contact Printing; Chapter 3: Advanced Mechanical Engineering and Mechatronics Application; Configuration Evaluation of Printing Machine Based on Intuitionistic Fuzzy Entropy and TOPSIS 327 $aIterative Detection Scheme for Turbo-BLAST System with Adaptive Power Allocation in the Presence of Channel State Information ImperfectionComparison of Human Jogging and Walking Patterns Using Statistical Tabular, Scatter Distribution and Artificial Classifier; Direct Torque Control Using Fuzzy and Neural as Switching Vector Selector for Doubly Fed IM; Kinematics Analysis and Design of a Novel Robot Shoulder Joint; Analysis of Static and Optimization of Structural Parameters for a Novel Leg Mechanism 327 $aPrimary Methods of Decreasing the Pollutant Emissions in an Industrial Furnace of Liquid Fuel of 100 MW 330 $aThe volume contains selected, peer reviewed papers from the 2012 International Conference on Nano Materials and Electric Devices (ICNMED 2012), December 19-20, 2012, Hong Kong. The papers are grouped as follows: Chapter 1: Material Science Engineering and Tecnology; Chapter 2: Nano Materials and Technologies; Chapter 3: Advanced Mechanical Engineering and Mechatronics Application; Chapter 4: Electric and Magnetic Engineering, Electronics and Information Technology Application. 410 0$aAdvanced Materials Research 606 $aNanotechnology$vCongresses 606 $aElectrical engineering$vCongresses 608 $aElectronic books. 615 0$aNanotechnology 615 0$aElectrical engineering 676 $a620.115 701 $aWang$b Tingting$0914666 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910464339903321 996 $aAdvances technologies in nano materials and electric devices$92049893 997 $aUNINA LEADER 06446nam 22007575 450 001 996466147903316 005 20200702084825.0 010 $a3-540-48984-3 024 7 $a10.1007/3-540-58468-4 035 $a(CKB)1000000000234184 035 $a(SSID)ssj0000323245 035 $a(PQKBManifestationID)11223087 035 $a(PQKBTitleCode)TC0000323245 035 $a(PQKBWorkID)10296660 035 $a(PQKB)11513117 035 $a(DE-He213)978-3-540-48984-9 035 $a(PPN)155210025 035 $a(EXLCZ)991000000000234184 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques in Real-Time and Fault-Tolerant Systems$b[electronic resource] $eThird International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings /$fedited by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (XIV, 787 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v863 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-58468-4 327 $aHybrid verification by exploiting the environment -- Correctness of real time systems by construction -- Specifying and verifying fault-tolerant systems -- Development of hybrid systems -- Linear duration invariants -- Efficient reconfiguration of trees: A case study in methodical design of nonmasking fault-tolerant programs -- A comparison of Statecharts variants -- A calculus of stochastic systems -- Verification of an audio control protocol -- Verifying invariance properties of timed systems with duration variables -- Predicting logical and temporal properties of real-time systems using Synchronized Elementary Nets -- Designing and implementing correct real-time systems -- Specification and refinement of finite dataflow networks ? a relational approach -- Activation-oriented specification of real-time systems -- Provably Correct Systems -- Simulation approach to provably correct hardware compilation -- Verification methods for the divergent runs of clock systems -- Fault-tolerant bisimulation and process transformations -- Layering of real-time distributed processes -- Testing and refinement for nondeterministic and probabilistic processes -- Proving safety properties of hybrid systems -- A layered real-time specification of a RISC processor -- A real time fault tolerant microprocessor based On-Board Computer System for INSAT-2 spacecraft -- Reasoning about durations in Metric Temporal Logic -- Scheduling in critical real-time systems: a manifesto -- Stepwise development of fault-tolerant reactive systems -- Distributed implementation of SIGNAL: Scheduling & graph clustering -- Derivation of the input conditional formula from a reactive system specification in temporal logic -- From physical modelling to compositional models of hybrid systems -- Specification and transformation of reactive systems with time restrictions and concurrency -- Languages for reactive specifications: Synchrony vs asynchrony -- Specification and verification of controlled systems -- Towards a duration calculus proof assistant in PVS -- Algebraic reasoning for real-time probabilistic processes with uncertain information -- Specifying timed state sequences in powerful decidable logics and timed automata -- A calculus for hybrid sampled data systems -- Formal design of hybrid systems -- A formal proof of the Deadline Driven scheduler -- Tools Demonstration. 330 $aThis volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v863 606 $aComputers 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aMicroprocessors 606 $aSpecial purpose computers 606 $aComputer memory systems 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aMemory Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I12034 615 0$aComputers. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aMicroprocessors. 615 0$aSpecial purpose computers. 615 0$aComputer memory systems. 615 14$aTheory of Computation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aProcessor Architectures. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aMemory Structures. 676 $a004.0151 702 $aLangmaack$b Hans$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoever$b Willem-Paul de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVytopil$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466147903316 996 $aFormal Techniques in Real-Time and Fault-Tolerant Systems$91944996 997 $aUNISA LEADER 01057aam a2200253 a 4500 001 991002905159707536 008 070723s20070720it bj b 001 0 eng 020 $a9788889190395 035 $ab13599574-39ule_inst 040 $aICCU$dIT-MiUCS 041 0 $aeng$bita 082 04$a929.75 100 1 $aShaw, Christine$0500264 245 14$aThe political role of the Orsini family from Sixtus 4. to Clement 7. :$bbarons and factions in the papal States /$cChristine Shaw 260 $aRoma :$bnella sede dell'Istituto,$c2007 300 $a289 p. :$bill. ;$c26 cm 440 0$aNuovi studi storici / Istituto storico italiano per il Medioevo ;$v73 600 34$aOrsini$c$ySec. 15.-16. 907 $a.b13599574$b28-01-14$c04-10-07 912 $a991002905159707536 945 $aLE009 MSM V COLL.45A/73$g1$i2009000276697$lle009$o-$pE0.00$q-$rn$so $t0$u2$v0$w2$x0$y.i14572746$z04-10-07 996 $aPolitical role of the Orsini family from Sixtus 4. to Clement 7.$91214772 997 $aUNISALENTO 998 $ale009$b04-10-07$cm$da $e-$feng$git $h4$i0 LEADER 01411nam 2200421 450 001 9910704761303321 005 20130731165329.0 035 $a(CKB)5470000002444111 035 $a(OCoLC)854768045 035 $a(EXLCZ)995470000002444111 100 $a20130731d2013 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aDefense acquisitions $econtinued management attention needed to enhance use and review of DOD's inventory of contracted services : report to congressional committees 210 1$a[Washington, D.C.] :$cUnited States Government Accountability Office,$d2013. 215 $a1 online resource (ii, 34 pages) $cillustrations 300 $aTitle from title screen (viewed July 16, 2013). 300 $a"May 2013." 300 $a"GAO-13-491." 320 $aIncludes bibliographical references. 517 $aDefense acquisitions 606 $aPublic contracts$zUnited States 606 $aDefense contracts$zUnited States 606 $aContracting out$zUnited States 606 $aPrivatization$zUnited States 615 0$aPublic contracts 615 0$aDefense contracts 615 0$aContracting out 615 0$aPrivatization 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910704761303321 996 $aDefense acquisitions$93422519 997 $aUNINA