Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2012, held in Cambgridge, UK, in April 2012. The 41 papers, presented together with 2 invited talks, were carefully reviewed and selected from 195 submissions. The papers are organized in topical sections on index calculus, symmetric constructions, secure computation, protocols, lossy trapdoor functions, tools, symmetric cryptanalysis, fully homomorphic encryption, asymmetric cryptanalysis, efficient reductions, public-key schemes, security models, and lattices."

"This book constitutes the refereed proceedings of the 18th International Conference on the Theory and Application of Cryptology and Information Security, Asiacrypt 2012, held in Beijing, China, in December 2012. The 43 full papers presented were carefully reviewed and selected from 241 submissions. They are organized in topical sections named: public-key cryptography, foundation, symmetric cipher, security proof, lattice-based cryptography and number theory, hash function, cryptographic protocol, and implementation issues."

"This book constitutes the refereed proceedings of the 32nd Annual International Cryptology Conference, CRYPTO 2012, held in Santa Barbara, CA, USA, in August 2012. The 48 revised full papers presented were carefully reviewed and selected from 225 submissions. The volume also contains the abstracts of two invited talks. The papers are organized in topical sections on symmetric cryptosystems, secure computation, attribute-based and functional encryption, proofs systems, protocols, hash functions, composable security, privacy, leakage and side-channels, signatures, implementation analysis, black-box separation, cryptanalysis, quantum cryptography, and key encapsulation and one-way functions."

"The 13 revised full papers presented together with 26 extended abstracts were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics in disciplines related to genetic and epigenetic networks, transcriptomics and gene regulation, signalling pathways and responses, protein structure and metabolic networks, patterning and rhythm generation, neural modelling and neural networks, biomedical modelling and signal processing, information processing and representation, and algorithmic approaches in computational biology."

"This book constitutes the refereed proceedings of the 13th Conference on Towards Autonomous Robotic Systems, TAROS 2012 and the 15th Robot World Congress, FIRA 2012, held as joint conference in Bristol, UK, in August 2012. The 36 revised full papers presented together with 25 extended abstracts were carefully reviewed and selected from 89 submissions. The papers cover various topics in the field of autonomous robotics."

"Contents :- Recent Developments in the Understanding of Stainless Steel Welding Metallurgy - Tailoring the Phase Balance During Laser and GTA Keyhole Welding of SAF 2205 Duplex Stainless Steel - Pitting Corrosion Resistance of Duplex Stainless Steels Multipass Welds - Investigation of the Kinetics of the Ferrite/Austenite Phase Transformation in the HAZ of a 2205 Duplex Stainless Steel Weldment - Effect of GTAW Flux on the Microstructure and Properties of Austenitic, Super Austenitic and Super Duplex Stainless Steel Welds - COlumnar-to-Equiaxed Transition During Solidification of Steel Welds - Analysis of Autogenous Gas Tungsten Arc and Laser Welding of Superaustenitic Stainless Steels for Naval Combatant Hulls - Laser Welding of Superaustenitic Stainless Steel - Prediction of Solidification Mode and Hot Cracking Susceptibility in Laser Welds of High Nitrogen Stainless Steels - HAZ Properties of High Nitrogen Austenitic Stainless Steel - Ductility-Dip Cracking Susceptibility of Austenitic Alloys - Fatigue Crack Propagation of Stainless Steel Welds - Hot Cracking Resistance of Laser and Hybrid Welded Austenitic Stainless Steels - Improved Models for Predicting Ferrite Content in Stainless Steel Welds - Progress in Joining Austenitic Stainless Steels by Friction Stir Welding - Effect of Twin-Induced Grain Boundary Engineering on Intergranular Corrosion in Austenitic Stainless Steel - Effect of CTE on Fatigue Cracking of Stainless Steel Vessels - Recent Developments in Transport Phenomena in Fusion Welding - Laser Weld Keyhole Dynamics - Computer Modeling of Keyhole Mode Laser Welding to Avoid Macro-porosity - Dimensionless Relationships for the Keyhole Weld Characteristics in AZ80 Magnesium Alloy - Numerical Modeling of Stationary GTA Welding - Validation of Computed Weld Pool Temperature Profiles for GTA Welding of Gamma TiAl - Anode Heat Transfer in GTA Welding - A k-E Model for Turbulent Weld Pool Convection in Gas Metal Arc Welding Process - Analysis of Friction Stir Weld Using the Inverse-Problem Approach - Phase Distribution and Transformation Dynamics in Fusion Welds Using In-situ Synchrotron Diffraction Methods - Advanced Characterization Techniques for Weld Microstructures - Nonequilibrium solidification in Fe-C-Al-Mn steel welds - Mapping Phase Transformations in the Heat-Affected-Zone of Carbon Manganese Steel Welds Using Spatially Resolved X-Ray Diffraction - Modeling of Ferrite to Austenite Transformation and Real Time Mapping of Phases During GTA Welding of 1005 Steel - Magnetic Force Microscopy as a Tool for Weld Metal Studies - Characterization of Delta Ferrite Content in GTAW Deposited Stainless Steel Cladding - Grain Growth in the Heat-Affected Zone of Ti-6Al-4V Welds: Measurements and Three Dimensional Monte Carlo Simulation - Friction Stir Welding Developments - A Detailed Three-Dimensional Transient Heat Transfer Model For Friction Stir Welding - Input Torque Based Thermal Model of Friction Stir Welding of Al-6061 - High-Speed Video Flow Visualization in Friction Stir Welds of Polycarbonate - Visualization of Material Flow During Friction Stir Welding (FSW) of the Same and Dissimilar Aluminum Alloys - Force Sensing in Friction Stir Welding - Microstructural Analysis and Modeling of the Heat Affected Zone in Al 2519 Friction Stir Welds - Thermo-Mechanicat Anatyses of Wetding Atuminium Alloy with TIG and Friction Stir Welding - Residual Stress Distributions in Friction Stir Welded Al Sheets Determined by Neutron Strain Scanning - Effect of Pin Tool Shape on Metal Flow During Friction Stir Welding - Reproduction of Ultra-Fine Grains in Equal Channel Angular Pressed Al Alloy by Friction Stir Process - Improvement of Mechanical Properties in Thixomolded Mg Alloy AZ91D by Friction Stir Welding - The Evaluation of the Mechanical Properties of AA5083 Friction Stir Welds by Electronic Speckle Pattern Interferometry - Investigating Post-Weld Heat Treatments to Increase the Corrosion and the Environmental Cracking Behavior of 7075-T6 Friction Stir Weld - Pitting Corrosion Behavior of Friction Stir Welded 7050-T74 Aluminum Alloy - The Effect of the Welding Conditions on the Nugget Zone in Friction Stir Welds in an AA7010 Alloy - Metallurgical Characterization of Friction Stir Welded 7050-T74 and C458-T3 Aluminum Alloys - Weld Efficiency and Defect Formation: Correlation Between Experiment and Simple Models - Low Plasticity Burnishing of Friction Stir Welds in 2219 Aluminum to Increase Corrosion Fatigue Life - Mechanical Property and Microstructural Evaluation of Friction Stir Welded AL- 6XN - Post-Weld Aging of Friction Stir Wel"

"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."

"This book constitutes the refereed proceedings of the 5th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Ifrane, Morocco, in July 2012. The 24 papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 56 submissions. They are organized in topical sections on signature schemes, stream ciphers, applications of information theory, block ciphers, network security protocols, public-key cryptography, cryptanalysis of hash functions, hash functions: design and implementation, algorithms for public-key cryptography, and cryptographic protocols."