Hasil Pencarian  ::  Simpan CSV :: Kembali

"This volume constitutes the refereed proceedings of the Third International ICST Conference, ADHOCNETS 2011, held in Paris, France, in September 2011. The 15 revised full papers - selected from 42 submissions - and the 2 invited papers cover several fundamental aspects of ad hoc networking, including security, quality of service, radio and spectrum analysis, mobility, energy efficiency, and deployment. They are organized in topical sections on security and QoS, WSN development and evaluation, radio and spectrum analysis, mobile WSNs, mobile ad hoc networks, and energy."

"Contents :

• Foreword
• Surface Modifications in Aerospace Applications
• In Situ Formation of Titanium Carbide by Reactive Plasma Spraying with Elemental Titanium Powder
• A Comparative Study of Mechanical Properties and Residual Stress Distributions of Copper Coatings Obtained by Different Thermal Spray Processes
• Damage Progression in Thermal Barrier Coatings During Four-Point Bend Tests with Acoustic Emission Monitor
• A Study of the Strength of Spray Coated Layer by Cross Sectional Electron Microscopy
• A Comparative Study of Different Plasma Sprayed Coatings Applied to Railway Disc Brakes
• Optimization and Monitoring of the Production of Thermal Barrier Coatings
• Benefits of Surface Preparation by Laser for Thermal Sprayed Coatings
• Fabrication of Ti02 Photocatalytic Coating by Thermal Spray Process
• Indentation Fracture Toughness and Interfacial Indentation Tests Associated with Acoustic Emission on WC-Co Coated Specimens
• Fatigue Processes in Bodies with Surface Coatings
• Laboratory Evaluation of Hot Erosion Resistance of Six Thermal Sprayed Coatings
• Vacuum Plasma Sprayed WC-12% Co Coatings: Optimization of Spraying Parameters and Subsequent Laser Treatment
• Optical Properties of Al Film Deposited on Polymer
• Slurry and Thermal Spray Coatings for Protection of New Generation Steam Engine Components
• Surface State Modifications in Powder Products Induced by a Spray-Coating Technique
• Relationship Between Dilution and Solidification Cracking in PTAW Ni-Base Superalloy Overlays
• A Novel Friction Thermomechanical Process for Surface Modification of Aluminum Castings
• Characterization and Modelling of Multilayer Ti-Based Coating
• Electrolytic Deposits on Stainless Steel as High Temperature Coatings
• Investigation of Ceramic Sol-Gel Thin Films for Wet Corrosion Protection of Mild Steel
• Need for Environmentally Friendly Surface Modification Technology in the Japanese Automotive Industry
• Development of Bioceramic Composites: Processing Solutions and In-Vitro Evaluations
• Wear of Ultra High Molecular Weight Polyethylene Sliding Against a CoCrMo Coating Applied by Physical Vapor Deposition
• Physico-Chemical and Mechanical Approaches to the Dentin-Resin Adhesive Interface
• Surface Quality of Master Screw Dental Implant
• Suspension Plasma Sprayed Hydroxyapatite Nano-Powder for Biomedical Application
• Ceramographic Analysis of Ceramo-Metal Bonding Interfaces
• A Nanoindentation Study of PVD WC/C Coatings Supported by Cross-Sectional Electron Microscopy Observations
• Effect of a Ni Interlayer on the Corrosion Behavior of CrN PVD Coating Deposited onto Plastic Mold Steels
• Structure of Diamond-Like Carbon Films Obtained by PECVD: XPS, X-Rays Reflectometry and Hardness Measurements
• Application of Surface Modified Silica Thin Films to Biosensors
• Surface Treatments and Coatings in the Steel-Making Industry: From Metallurgy to Processing
• Changes in Structure and Properties of AIN Thin Films Due to Surface Oxidation
• Carbo-Nitride Thin Films and Nanofibers Synthesized by HF-CVD
• Effect of Various Plasma Nitriding Procedures on Surface Characteristics of P/M Ledeburitic Tool Steels
• Characterization of PVD Ni Coatings Deposited at Various Conditions
• Challenges and Opportunities in Surface Engineering
• Correlations Between Surface Modification and Tribological Performance of Brake Pads
• Development of Novel Fe-Cr-C/NbC Composite Materials for Wear Resistant Coatings Using a Laser Rapid-Alloy-Prototyping Technique
• Dose Rate Influence on the Microstructure of Chromium Steels Subjected to Low-Energy Nitrogen Ion Implantation
• Effect of Coatings on Mechanical Properties and Fretting Fatigue Strength of a Titanium Alloy in Cryotechnical Environment
• Wear Behavior of Colored Stainless Steel
• Wear Analysis of Coated Carbide Tools when Machining Nickel Base, Inconel, Alloy
• Wear Modelling of Contact Plan/Plan Between Graphite and Titanium Alloy
• Wear Criterion for Cold Forging Tool
• Surface Modification of a FeCrAlY-Alloy by Ion Implantation and Oxidation for Potential Implant Applications
• Functionally Graded Materials Produced by Laser Cladding: A Novel Approach
• Improvement of Adhesive Properties of Polymers After Excimer Laser Irradiation
• Properties and Applications of Coatings Deposited by Laser Beam
• WC-Co Plasma Sprayed Coatings Partially Re-fused with Laser
• Modeling of Temperature Fields in Graphite Target at Pulsed Laser Deposition of CNx Films
• Laser Treatment of BN Pre-Coated Steels: Correlation of Hardness and Microstructure
• Surface Alloying of Ceramic Powders on F

"

"This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations."