LEADER 05616nam 2200661 450 001 9910459787603321 005 20200903223051.0 010 $a3-03826-729-5 035 $a(CKB)3710000000321513 035 $a(EBL)1912644 035 $a(SSID)ssj0001435020 035 $a(PQKBManifestationID)11782836 035 $a(PQKBTitleCode)TC0001435020 035 $a(PQKBWorkID)11428761 035 $a(PQKB)11020762 035 $a(MiAaPQ)EBC1912644 035 $a(Au-PeEL)EBL1912644 035 $a(CaPaEBR)ebr11001199 035 $a(OCoLC)899942335 035 $a(EXLCZ)993710000000321513 100 $a20150113h20152015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aMaterial engineering practice$hIX $eselected, peer reviewed papers from the 9 th International Conference on Material in Engineering Practice IX, June 1213, 2014, Herl'any, Slovak Republic /$fedited by Ma?ria Mihalikova? and Pavol Zubko 210 1$aZurich, Switzerland :$cTrans Tech Publications,$d2015. 210 2$aEnfield, New Hampshire :$cTrans Tech Publications,$d[date of distribution not identified] 210 4$dİ2015 215 $a1 online resource (233 p.) 225 1 $aKey Engineering Materials,$x1662-9795 ;$vVolume 635 300 $aDescription based upon print version of record. 311 $a3-03835-344-2 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aMaterial Engineering Practice IX; Preface and Committees; Table of Contents; Changes of Mechanical Properties of AlSi7Mg0.3 Cast Alloy through Filtration; Fatigue Properties of Synthetic Nodular Cast Irons; The Fractography Analysis of IN 718 Alloy after Fatigue Test; The Modified AlSi7Mg0.3 Cast Alloy Mechanical Properties Changes at Different Testing Temperatures; The Influence of Severe Plastic Deformation on Structure and Mechanical Properties the Aluminium Alloy EN AW 6082; A Study on Sloshing Frequencies of Liquid-Tank System 327 $aAnalysis of New Generation Material Solutions of Lower Structure for Energy Efficient BuildingsThe Parameters Affecting Strength Calculation of Gears; The Analysis of Chosen Material Properties at Thermal Drilling; Changing the Hardness Automotive Steels at Different Strain Rate; Fluidity Test of Al-Si Alloy Using by Computer Simulation; Aberration Problem within the Process of Automation of the Photoelastic Measurement of the Stresses; Corrosion Behaviour of Automotive Steel Sheets Depending on the Degree of Deformation; Usability of Various LTCC in Microstrip Filters Construction 327 $aStructure and Properties of Selected Natural MaterialsCyclic Test of DP600 Steel under Tension-Compression Load for Different Pre-Strain Levels; New Austenitic Creep Resistant Steels for Superheaters of USC Boilers; Comparison of Experimental Stamping Punch Machinability Made out of Unconventional Materials; Facesheet-Core Interface Delamination in Sandwich Panels; Possibilities of Preparing Tools Working in Conditions of Abrasion Wear with the Modification of the Tool Surfaces by Nitridation; The Methodic of Testing Using Experimental Equipment 327 $aInfluence of the Strain Rate and Heat Treatment on the Mechanical Properties of Steel SheetsHigh Temperature Oxidation of 9-12% Cr Materials P91 and P92 in Supercritical Water; Cleanness and Mechanical Properties of Steel after Remelting under Different Slags by ESR; IF Steel Effect of Rate Deformation on the Fracture Surface Change; Microstructure of Agglomerate Produced with Charcoal as Substitution Fuel; The Influence of Current Density on Tribological Behavior Ni-Co Electroplated Coatings; Analysis of Crack in Kaplan Turbine Blade 327 $aCalibration Process and Constructions of Extrusion CalibratorsA Comparison of Mechanical Properties of Lumbar Bilateral Implants Manufactured by Additive and Conventional Technologies; Influence of Welding Parameters on the Quality of Resistance Spot Welded Joints of DP600 Steels; Hydrodynamic Analysis of Fluid Effect in Rigid Rectangular Tank due to Harmonic Motion; The Methodology for Determining the Springback of Large Metal Stampings; A Study of Thickness Change of Spherical Cup Made from TRIP Steel after Hydraulic Bulge Test; Steel KODUR 460MC under Creep Condition 327 $aAnalysis of Material Solutions of Exterior Walls with Contact Thermal Insulation System 330 $aThese are the proceedings of the 9th Scientific-Technical Conference on ""Material in engineering practice, 2014"". Its content was intended to present innovative materials on improving the properties of materials and quality of materials and, also on the degradation of properties during operation. Special attention was paid to the prediction of mechanical and technology materials properties as well as modern methods for testing the characteristics of materials. These are the proceedings of the 9th Scientific-Technical Conference on ""Material in engineering practice, 2014"". Its content was i 410 0$aKey engineering materials ;$vVolume 635. 606 $aMaterials science$vCongresses 606 $aMaterial engineering$vCongresses 608 $aElectronic books. 615 0$aMaterials science 615 0$aMaterial engineering 676 $a620.11 702 $aMihalikova?$b Ma?ria 702 $aZubko$b Pavol 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459787603321 996 $aMaterial engineering practice$92160825 997 $aUNINA LEADER 04013nam 22007092 450 001 9910789484403321 005 20151005020621.0 010 $a1-107-21829-2 010 $a1-283-12720-2 010 $a1-139-07459-8 010 $a9786613127204 010 $a1-139-08139-X 010 $a1-139-07684-1 010 $a1-139-06880-6 010 $a1-139-07912-3 010 $a0-511-85200-2 035 $a(CKB)3460000000002922 035 $a(EBL)691797 035 $a(OCoLC)735593475 035 $a(SSID)ssj0000521227 035 $a(PQKBManifestationID)11345542 035 $a(PQKBTitleCode)TC0000521227 035 $a(PQKBWorkID)10517189 035 $a(PQKB)11255434 035 $a(UkCbUP)CR9780511852008 035 $a(Au-PeEL)EBL691797 035 $a(CaPaEBR)ebr10476490 035 $a(CaONFJC)MIL312720 035 $z(PPN)261325574 035 $a(MiAaPQ)EBC691797 035 $a(PPN)157263525 035 $a(EXLCZ)993460000000002922 100 $a20101102d2011|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBoolean functions $etheory, algorithms, and applications /$fYves Crama, Peter L. Hammer$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2011. 215 $a1 online resource (xxi, 687 pages) $cdigital, PDF file(s) 225 1 $aEncyclopedia of mathematics and its applications 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a0-521-84751-6 320 $aIncludes bibliographical references and index. 327 $aFundamental concepts and applications -- Boolean equations -- Prime implicants and minimal DNFs / Peter L. Hammer and Alexander Kogan -- Duality theory / Yves Crama and Kazuhisa Makino -- Quadratic functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular functions -- Threshold functions -- Red-once functions / Martin C. Golumbic and Vladimir Gurvich -- Characterizations of special classes by functional equations / Lisa Hellerstein -- Partially defined Boolean functions / Toshihide Ibaraki -- Pseudo-Boolean functions -- Graphs and hypergraphs -- Algorithmic complexity -- JBool : a software tool / Claude Benzaken and Nadia Brauner. 330 $aWritten by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations) and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form for the first time. Because of the depth and breadth and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering and economics. 410 0$aEncyclopedia of mathematics and its applications. 606 $aAlgebraic functions 606 $aAlgebra, Boolean 615 0$aAlgebraic functions. 615 0$aAlgebra, Boolean. 676 $a511.3/24 686 $aMAT017000$2bisacsh 700 $aCrama$b Yves$f1958-$0785846 702 $aHammer$b P. L.$f1936-2006, 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910789484403321 996 $aBoolean functions$93675965 997 $aUNINA