Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking."

"This book constitutes the refereed proceedings of the 12 th International Symposium on Privacy Enhancing Technologies, PET 2012, held in Vigo, Spain, in July 2012. The 16 full papers presented were carefully selected from 72 submissions. Topics addressed include anonymization of statistics, content, and traffic, network traffic analysis, censorship-resistant systems, user profiling, training users in privacy risk management, and privacy of internet and cloud-bases services. A further highlight is the HotPETS session, designed as a venue to present existing but still preliminary and evolving ideas."

"The 14 revised full papers presented together with 2 invited talks and 2 invited tutorials were carefully reviewed and selected from 17 initial submissions. Datalog 2.0 is a workshop for Datalog pioneers, implementors, and current practitioners; the contributions aim to bring every participant up-to-date with the newest developments and map out directions for the future."

"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 refereed proceedings of the International RuleML Symposium, RuleML 2012, held in Montpellier, France, in August 2012 - collocated with the 20th biennial European Conference on Artificial Intelligence, ECAI 2012. The 14 full papers, 8 short papers and 2 track papers presented together with 2 keynote talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as business rules and processes, rule-based event processing and reaction rules, rule-based policies and agents on the pragmatic web, rules and the semantic web, rule markup languages and rule interchange, and rule transformation, extraction and learning."

"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 book constitutes the refereed proceedings of the 11th International Symposium on Experimental Algorithms, SEA 2012, held Bordeaux, France, in June 2012. The 31 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 64 submissions and present current research in the area of design, analysis, and experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications."

"This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Conference on Case-Based Reasoning Research and Development (ICCBR 2012) held in Lyon, France, September 3-6, 2012. The 34 revised full papers presented were carefully selected from 51 submissions. The presentations and posters covered a wide range of CBR topics of interest to both practitioners and researchers, including foundational issues covering case representation, similarity, retrieval, and adaptation; conversational CBR recommender systems; multi-agent collaborative systems; data mining; time series analysis; Web applications; knowledge management; legal reasoning; healthcare systems and planning and scheduling systems."

"This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games."

"This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Unconventional Computation, UC 2012, held in Orléans, France, during September 3-7, 2012. The 28 revised full papers presented were carefully selected from numerous submissions. Conference papers are organized in 4 technical sessions, covering topics of hypercomputation, chaos and dynamical systems based computing, granular, fuzzy and rough computing, mechanical computing, cellular, evolutionary, molecular, neural, and quantum computing, membrane computing, amorphous computing, swarm intelligence; artificial immune systems, physics of computation, chemical computation, evolving hardware, the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes."