Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics."

"This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence."

"This book constitutes the thoroughly refereed proceedings of the 18th International Conference, Euro-Par 2012, held in Rhodes Islands, Greece, in August 2012. The 75 revised full papers presented were carefully reviewed and selected from 228 submissions. The papers are organized in topical sections on support tools and environments, performance prediction and evaluation, scheduling and load balancing, high-performance architectures and compilers, parallel and distributed data management, grid, cluster and cloud computing, peer to peer computing, distributed systems and algorithms, parallel and distributed programming, parallel numerical algorithms, multicore and manycore programming, theory and algorithms for parallel computation, high performance network and communication, mobile and ubiquitous computing, high performance and scientific applications, GPU and accelerators computing."

"Contents : - Preface - The Use of Ion Exchange Compounds as Corrosion Inhibiting and Sensing Pigments in Organic Coatings - A Novel Self-Priming Coating for Corrosion Protection - SVET Investigations of Protection Mechanism of Mg-rich Primer on Al 2024 - Development of Ni-Si-Nb APS Coatings for Sulfuric Acid Resistance - Salt Fog Corrosion Testing of Al-Y-Co based Nanocrystalline and Amorphous Coatings Produced by Atmospheric Plasma Spray - Advancements In Artificial Heart Valve Disks Using Nanoscale Thin Films Deposited By CVD and Sol-gel Techniques - Nucleation Studies of Pulsed Bias Enhanced CVD on Biomaterials - Machining Cancellous Bone Using Coated Cutting Tools - Novel Diamond Coated Burs for Dental Drilling Applications - Immobilization of Doxorubicin on Surfaces of Plasma Synthesized C/Fe and C/Fe/N Magnetic Nanoparticles for Targeted Drug Delivery - Developments in CVD of Dental Tools - Aspects of Deposition and Characterization - Experimental and Gas-Phase Modeling of Nanocrystalline Diamond Films Grown by Hot Filament Chemical Vapor Deposition - Deposition of Polycrystalline Diamond Films on High Speed Steel Using TiN Interlayers - Micro/Nanotribological Behavior of Interfaces in Total Replacement Joints - Effect of Gas Composition on Sputtered TiCN Coatings - MAX, an Innovative Solution for Measuring Stresses in Hard-to-Access Locations - Surface Engineering for Improved Tribological Properties of Forming Tools - Influence of High Pressure Water-Jet Assisted Turning on Surface Residual Stresses on Ti-6AL-4V Alloy by Measurement and Finite Element Simulation - Optimization of Thermally Sprayed Metallic Nanocomposite Coatings - Self-Protective Boronizing Paste for Surface Treatment of Steel and Cast Iron - Tribological Behaviour of Diamond/HSS Couple : An Experimental and Numerical Study - Creation of Various Diffusion Protective Coatings on Steel Parts by New Scanning Liquid Induction Carburizing (LINCARBTM) Technology - Effect of Nickel Nano-Interlayers on the Property of CrN Coated Steels - Pulsed Electrodeposition of Organofunctional Silanes for Imroved Corrosion Protection of Aluminum Alloys - Microstructure and Process Induced Residual Stresses of Laser Clad CPM-9V and CPM-10V Tool Steels - Plasma Modification of Rutile TiO2 for Improved Photoreactivity - New Effective and Inexpensive Patented Method for Rapid Creation of Corrosion Resistant Surface Layer on Inexpensive Iron-Based Alloys - A quest for a Protective Liner Against Steam Oxidation at High Temperature. - Development of a Novel DC Plasma Source for Coating and Surface Modification Under Atmospheric Pressure. - A Comparison of EBPVD and Thermal Spray Thermal Barrier Coating Systems - New & Affordable Technical Solutions for Turbine Component Coatings - Investigation of Micro/Nanoscale Friction Behavior of Grafted Poly- (Nisopropylacrylamide) on Silicon - Nanotribological Properties of Nanocomposite CrBN and TiBN Thin Films - P.R.I.M.E. Surface Coating - A Novel Technique of Applying Thick Ceramic Coatings - Development and Characterization of Near Friction Less Carbon Coatings using a Large Area Filtered Arc Deposition System - Friction and Wear Characteristics of a Modified Composite Solid Lubricant Plasma Spray Coating - Hybrid Deposition Methods for Nanocomposite Coating Growth - Deposition of Nanocrystalline Diamond Using A New Film Growth Regime - Nano-engineered, Nanocomposite PVD Coatings for Superior Tribological Properties - Magnetron Sputtered Nc-TiC/a-C Nanocomposite Coatings: Processing, Characterization and Properties - Effect of Substrate Bias on Sputtered TiN Coatings - Greening of Cleaning: Renewable Feed-Stock Alternatives in Surface Cleaning Bio-Based Alternative Solvents: How Well Do They Work - Review of Thermally Sprayed Thermal Barrier Coatings - Initiation and Growth of Delamination Cracks in Vacuum Plasma Sprayed Thermal Barrier Coatings - Thermal Conductivity of Plasma and EBPVD Thermal Barrier Coatings - Laser-based Inspection of Thermal Barrier Coatings - Study of the Relationships Between Processing Parameters, Microstructure and Properties of Ni-Based Plasma Sprayed Thermal Coatings - Sinter-Brazing of Carbides to P/M Steel - The Surface Morphology of Rubber Compounds Studied by AFM - Side Laser Cladding Deposition and Residual Stress in a Co-based Layer on Steel - Characterization of (111) and (100) Textured CVD Diamond Sheets Using FTIR spectroscopy - Growth and Characterization of N-doped Polycrystalline Diamond Films - Author Index - Keyword Index "