LEADER 12210nam 2200601 450 001 996538664903316 005 20231121003551.0 010 $a3-031-36030-3 024 7 $a10.1007/978-3-031-36030-5 035 $a(MiAaPQ)EBC30611286 035 $a(Au-PeEL)EBL30611286 035 $a(DE-He213)978-3-031-36030-5 035 $a(PPN)272259667 035 $a(EXLCZ)9927279096800041 100 $a20231121d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aComputational Science - ICCS 2023 $e23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V /$fJiri? Mikyska [and five others], editors 205 $aFirst edition. 210 1$aCham, Switzerland :$cSpringer,$d[2023] 210 4$dİ2023 215 $a1 online resource (809 pages) 225 1 $aLecture Notes in Computer Science Series ;$vVolume 10477 311 08$aPrint version: Mikyska, Ji?í Computational Science - ICCS 2023 Cham : Springer International Publishing AG,c2023 9783031360299 320 $aIncludes bibliographical references and index. 327 $aIntro -- Preface -- Organization -- Contents - Part V -- Quantum Computing -- Searching B-Smooth Numbers Using Quantum Annealing: Applications to Factorization and Discrete Logarithm Problem -- 1 Introduction -- 2 Classical Methods for Integer Factorization and Discrete Logarithm -- 2.1 Quadratic Sieve Method -- 2.2 Index Calculus Method -- 3 Hybrid Methods -- 3.1 Known Results and Previous Work -- 3.2 Our Result - Factorization by Quantum Annealing as a Subroutine -- 3.3 Quantum Annealing Stage - Summary -- 4 Experiments -- 4.1 Results for Integer Factorization -- 4.2 Results for Discrete Logarithm Problem over Prime Field -- 5 Summary -- References -- Classification of Hybrid Quantum-Classical Computing -- 1 Introduction -- 2 Literature -- 3 Types of Hybrid Computing -- 3.1 Vertical Hybrid Quantum Computing -- 3.2 Horizontal Hybrid Quantum Computing -- 4 Application -- 5 Conclusions -- References -- Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization -- 1 Introduction -- 2 Foundations -- 2.1 Satisfiability Problems -- 2.2 Quadratic Unconstrained Binary Optimization -- 3 Related Work -- 3.1 Chancellorn+m -- 3.2 Choi3m -- 4 Approaches -- 4.1 A 2n + m Approach -- 4.2 An n + m Approach -- 5 Empirical Evaluation -- 6 Conclusion and Future Work -- References -- Black Box Optimization Using QUBO and the Cross Entropy Method -- 1 Introduction -- 2 Background -- 2.1 MAX-SAT -- 2.2 Feedback Vertex Set (FVS) -- 2.3 MaxClique -- 2.4 Quadratic Unconstrained Binary Optimization (QUBO) -- 2.5 Cross-Entropy Method -- 3 Related Work -- 4 Black Box Optimization with Cross Entropy and QUBO (BOX-QUBO) -- 5 Experiments -- 6 Conclusion and Future Work -- References -- Sub-exponential ML Algorithm for Predicting Ground State Properties -- 1 Introduction -- 2 Preliminaries and Related Work -- 2.1 Formulation -- 2.2 Classical Shadows. 327 $a2.3 Predicting Ground States of Quantum Many-Body Systems -- 3 Proposed Method -- 3.1 Idea -- 3.2 Algorithm Details -- 4 Conclusion -- References -- Quantum Factory Method: A Software Engineering Approach to Deal with Incompatibilities in Quantum Libraries -- 1 Introduction -- 2 State of the Art -- 2.1 Quantum Software Engineering -- 2.2 OpenQASM: A Not-so-Standard Standard -- 3 Proposal -- 3.1 Design Patterns -- 3.2 Application -- 4 Examples -- 4.1 Building Simple Circuits -- 4.2 Building Quantum Rule-Based Systems -- 4.3 Experiments and Results -- 5 Discussion and Conclusions -- References -- A Polynomial Size Model with Implicit SWAP Gate Counting for Exact Qubit Reordering -- 1 Introduction -- 2 Background -- 2.1 Building Blocks of QC -- 2.2 Decomposing Multi-qubit Gates -- 3 Problem Definition -- 4 Mathematical Model -- 5 Experimental Results -- 5.1 Experimental Setup -- 5.2 Results -- 6 Conclusion -- References -- Translating Constraints into QUBOs for the Quadratic Knapsack Problem -- 1 Introduction -- 2 Background -- 2.1 Quantum and Simulated Annealing -- 2.2 QUBO Definition -- 2.3 Original QUBO Formulation for the QKP -- 2.4 Alternative QUBO Formulations for the QKP -- 3 Benchmark of QUBO Formulations -- 3.1 Problem Instances -- 3.2 Penalty Values -- 3.3 Approach -- 3.4 Results -- 4 Conclusion -- References -- Qubit: The Game. Teaching Quantum Computing through a Game-Based Approach -- 1 Introduction -- 2 Related Works -- 3 Quantum Concepts -- 3.1 Qubit -- 3.2 Superposition -- 3.3 Bloch Sphere -- 3.4 Quantum Gates -- 3.5 Projection -- 3.6 Entanglement -- 3.7 Decoherence -- 4 Qubit: The Game -- 4.1 General Description -- 4.2 Design -- 4.3 Mechanics -- 4.4 Quick Start -- 5 Pilot Study -- 5.1 Survey Design -- 5.2 Findings -- 5.3 Discussion -- 6 Conclusions -- References. 327 $aSoftware Aided Approach for Constrained Optimization Based on QAOA Modifications -- 1 Introduction -- 2 Preliminaries -- 2.1 Combinatorial Problem Formulation Models -- 2.2 Quantum Approximate Optimization Algorithm -- 2.3 Knapsack Problem -- 3 Related Work -- 4 Proposed QAOA Modifications for Constrained Problems -- 4.1 Weight-Free Hamiltonian -- 4.2 Alternate Variational Parameter Set -- 5 QHyper Experiment Framework -- 6 Global Optimizer Variants -- 7 Experiment Results -- 8 Summary and Future Work -- References -- GCS-Q: Quantum Graph Coalition Structure Generation -- 1 Introduction -- 2 Problem Formulation -- 3 Related Works -- 4 Methods -- 4.1 Optimal Split -- 4.2 QUBO Formulation for Optimal Split -- 4.3 GCS-Q Algorithm -- 4.4 Discussion -- 5 Evaluation -- 5.1 Experimental Settings -- 5.2 Results -- 5.3 Performance Analysis -- 6 Conclusion and Future Work -- References -- Learning qubo Models for Quantum Annealing: A Constraint-Based Approach -- 1 Introduction -- 2 Quantum Annealing and qubo -- 3 Motivating Example -- 3.1 Basic Example -- 3.2 A More Complex Example -- 4 Method Design -- 5 Experiments -- 5.1 Experimental Protocols -- 5.2 Experimental Results -- 6 Conclusion -- References -- TAQOS: A Benchmark Protocol for Quantum Optimization Systems -- 1 Introduction -- 1.1 Related Work -- 2 TAQOS Benchmark Protocol -- 2.1 Metrics -- 2.2 Use Case on the Max-Cut Problem -- 3 Conclusion -- References -- Enabling Non-linear Quantum Operations Through Variational Quantum Splines -- 1 Introduction -- 2 Related Works -- 3 Contribution -- 4 Methods -- 4.1 Preliminaries -- 4.2 VQSplines: Variational Algorithm for QSplines -- 4.3 GQSplines: Generalized Quantum Splines -- 5 Evaluation -- 5.1 Experimental Settings -- 5.2 Results -- 6 Discussion -- 7 Conclusion -- References. 327 $aExploring the Capabilities of Quantum Support Vector Machines for Image Classification on the MNIST Benchmark -- 1 Introduction -- 2 Theoretical Background -- 2.1 Introduction to Quantum Computing -- 2.2 Support Vector Machine -- 2.3 Quantum Kernel -- 3 Computational Experiments -- 4 Conclusions -- References -- Determination of the Lower Bounds of the Goal Function for a Single-Machine Scheduling Problem on D-Wave Quantum Annealer -- 1 Introduction -- 2 Formulation of the Problem -- 3 Determining the Lower Bound on the D-Wave Quantum Machine -- 4 Experimental Research -- 5 Summary -- References -- Simulating Sparse and Shallow Gaussian Boson Sampling -- 1 Introduction -- 2 Setup -- 3 Classical Simulation of Sparse and Shallow GBS -- 4 Complexity of the Classical Algorithm for Non-displaced Gaussian Threshold Boson Sampling -- 5 Conclusion and Outlook -- A Matrix Operations -- B Factorizing Probabilities over Block Direct Sums -- C Supplementary Calculations -- References -- Solving Higher Order Binary Optimization Problems on NISQ Devices: Experiments and Limitations -- 1 Introduction -- 2 Problem Formulation -- 3 Experimental Setup -- 3.1 Setup of D-Wave Systems -- 3.2 Setup of the QAOA -- 4 Results -- 5 Conclusion -- References -- Constructing Generalized Unitary Group Designs -- 1 Introduction -- 2 Background and Notation -- 3 Constructing Higher Order Designs from Lower Ones -- 3.1 Constructing 2-designs -- 3.2 Possible Construction of Higher Designs -- 4 Unitary 2-Designs from Orthogonal and Symplectic 2-Designs -- 5 Summary and Outlook -- References -- Multi-objective Quantum-Inspired Genetic Algorithm for Supervised Learning of Deep Classification Models -- 1 Introduction -- 2 Related Work -- 3 Dataset with X-Ray Image Collection -- 4 Multi-objective Quantum Deep Learning -- 5 Numerical Experiments -- 6 Concluding Remarks -- References. 327 $aSimulations of Flow and Transport: Modeling, Algorithms and Computation -- Numerical Simulation of Virus-Laden Droplets Transport from Lung to Lung by Using Eighth-Generation Airway Model -- 1 Introduction -- 2 Numerical Approach -- 2.1 Flow Field and Heat Analysis -- 2.2 Movement of Virus-Laden Droplets -- 3 Simulation of Droplets -- 3.1 Numerical Model -- 3.2 Computational Condition for Droplets Analysis -- 3.3 Assessing the Risk of Infection -- 3.4 Computational Conditions for Flow and Heat Analysis -- 4 Results and Discussion of Droplets Analysis -- 5 Conclusions -- References -- Constraint Energy Minimizing Generalized Multiscale Finite Element Method for Highly Heterogeneous Compressible Flow -- 1 Introduction -- 2 Formulation of the Problem -- 3 Construction of Multiscale Basis Function -- 4 Numerical Results -- 5 Conclusions and Future Directions -- References -- Numerical Simulation of Propeller Hydrodynamics Using the Open Source Software -- 1 Introduction -- 2 Numerical Method -- 2.1 Governing Equations -- 2.2 Open-Source Software -- 3 Numerical Setup -- 4 Results and Discussions -- 5 Conclusion -- References -- Numerical Simulation of Supersonic Jet Noise Using Open Source Software -- 1 Introduction -- 2 Mathematical Model and Numerical Method -- 2.1 OpenFOAM Software, HybridCentralSolvers -- 2.2 OpenFOAM Software, QGDSolver -- 2.3 AMReX Software, CNS Solver -- 2.4 LibAcoustics Library -- 3 Computational Setup -- 4 Results and Discussion -- 5 Conclusion -- References -- DNS of Thermocapillary Migration of a Bi-dispersed Suspension of Droplets -- 1 Introduction -- 2 Mathematical Formulation and Numerical Methods -- 2.1 One Fluid Formulation for Incompressible Two-Phase Flow -- 2.2 The Multi-marker UCLS Method -- 2.3 Marangoni Force -- 2.4 Equation of State = (T) and Energy Equation -- 2.5 Regularization of Physical Properties. 327 $a2.6 Numerical Methods. 330 $aThe five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others. 410 0$aLecture notes in computer science ;$vVolume 10477. 606 $aComputational complexity 606 $aComputational complexity$vCongresses 606 $aComputer science 606 $aComputer science$vCongresses 615 0$aComputational complexity. 615 0$aComputational complexity 615 0$aComputer science. 615 0$aComputer science 676 $a511.3 702 $aMikys?ka$b Jir?i? 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996538664903316 996 $aComputational science - ICCS 2023$93551814 997 $aUNISA LEADER 03684nam 2200625 a 450 001 9910778804703321 005 20230126202645.0 010 $a1-283-44703-7 010 $a9786613447036 010 $a0-8108-8178-0 035 $a(CKB)2550000000079438 035 $a(EBL)850741 035 $a(OCoLC)775302627 035 $a(SSID)ssj0000600845 035 $a(PQKBManifestationID)12221077 035 $a(PQKBTitleCode)TC0000600845 035 $a(PQKBWorkID)10603619 035 $a(PQKB)10838672 035 $a(MiAaPQ)EBC850741 035 $a(Au-PeEL)EBL850741 035 $a(CaPaEBR)ebr10538160 035 $a(CaONFJC)MIL344703 035 $a(EXLCZ)992550000000079438 100 $a20110607d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aIsland songs$b[electronic resource] $ea global repertoire /$fedited by Godfrey Baldacchino 210 $aLanham, Md. $cScarecrow Press$d2011 215 $a1 online resource (340 p.) 300 $aDescription based upon print version of record. 311 $a0-8108-8177-2 320 $aIncludes bibliographical references and index. 327 $aEnglish Caribbean : when people cannot talk, they sing / Ijahnya Christian -- Spanish Caribbean : liquid identities / Soraya Marcano -- French Caribbean : Adieu foulard, adieu madras : a sonic study in (post)colonialism / Yoko Oryu and Godfrey Baldacchino -- Cape Breton Island : living in the past? Gaelic language, song and competition / Heather Sparling -- Newfoundland : from Ron Hynes to Hey Rosetta! / Deatra Walsh -- Scotland's Hebrides : song and culture, transmission and transformation / Ray Burnett and Kathryn Burnett -- Jersey : Je?rriais, song and language revitalization / Henry Johnson -- Papua New Guinea : popular music and the continuity of tradition : an ethnographic study of songs by the band Paramana Strangers / Oli Wilson -- Fiji islands : a sustainable future for sigidrigi? / Jennifer Cattermole -- Chiloe? : an offshore song culture / Waldo Garrido and Philip Hayward -- Crete : souls of soil : island identity through song / Maria Hnaraki -- Sicily : navigating responses to global cultural patterns / Sergio Bonanzinga -- Aeolian islands : three singers, their folk songs and the interpretation of tradition / Cristoforo Garigliano -- Ibiza and Formentera : worlds of singers and songs / Judith R. Cohen -- Gotland : where "folk culture" and "island" overlap / Owe Ronstro?m. 330 $aIsland Songs is a work of sonic anthropology that does more than probe song as a part of the sociocultural life on islands. It illuminates how song performs island life. Gathered here are 15 case study chapters on islands in the Caribbean, North Atlantic, Mediterranean, Baltic, and the South Pacific, all framed by four eclectic, conceptual essay contributions. In Island Songs, islands are presented as distinct vantage points f 606 $aSinging$xSocial aspects 606 $aIsland people$xMusic$xHistory and criticism 606 $aIsland people$xSocial life and customs 606 $aMusic$xPhilosophy and aesthetics 615 0$aSinging$xSocial aspects. 615 0$aIsland people$xMusic$xHistory and criticism. 615 0$aIsland people$xSocial life and customs. 615 0$aMusic$xPhilosophy and aesthetics. 676 $a782.420914/2 701 $aBaldacchino$b Godfrey$01506330 712 02$aAdvance Interdisciplinary Research in Singing (Project) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910778804703321 996 $aIsland songs$93736527 997 $aUNINA LEADER 05411nam 22006494a 450 001 9910830148603321 005 20170815112812.0 010 $a1-280-73979-7 010 $a9786610739790 010 $a0-470-03483-1 010 $a0-470-03482-3 035 $a(CKB)1000000000356151 035 $a(EBL)284462 035 $a(SSID)ssj0000211807 035 $a(PQKBManifestationID)11912138 035 $a(PQKBTitleCode)TC0000211807 035 $a(PQKBWorkID)10136312 035 $a(PQKB)10219256 035 $a(MiAaPQ)EBC284462 035 $a(PPN)221582282 035 $a(OCoLC)180858415 035 $a(EXLCZ)991000000000356151 100 $a20060329d2006 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aNondestructive testing of deep foundations$b[electronic resource] /$fBernard Hertlein and Allen Davis 210 $aChichester, England ;$aHoboken, NJ $cJ. Wiley$dc2006 215 $a1 online resource (292 p.) 300 $aDescription based upon print version of record. 311 $a0-470-84850-2 320 $aIncludes bibliographical references (p. [255]-265) and index. 327 $aNondestructive Testing of Deep Foundations; Contents; Foreword; Preface; About the Authors; Acknowledgements; Photography and IllustrationCredits; 1Introduction and a Brief History; 1.1 Introduction; 1.2 A Brief History of Deep Foundations and the Advent of NDT; 1.2.1 Caveat and Acknowledgement; 1.2.2 The History; 1.3 Deep Foundation Failures and NDT; 1.3.1 Esso Oil Tanks, Fawley, Hants, UK; 1.3.2 Neumaier Hall, Moorhead, MN, USA; 1.3.3 Tampa Crosstown Expressway, Tampa, FL, USA; 1.3.4 Yuen Chau Kok, Shatin Area 14B, Phase 2, Hong Kong; 1.4 Deficiencies in Existing Foundations 327 $a2 Deep Foundation Construction Methods2.1 Driven Piles - Timber, Steel and Concrete; 2.1.1 Drop-hammers; 2.1.2 Diesel Hammers; 2.1.3 Hydraulic Hammers; 2.1.4 Pile-driving Vibrators; 2.1.5 Direct-push Pile Installers; 2.1.6 Advantages and Limitations of Driven Piles; 2.2 Caissons and Drilled Shafts; 2.2.1 Advantages and Limitations of Drilled Shafts; 2.2.2 Advantages and Limitations of Slurry; 2.3 Diaphragm Walls, Cut-off Walls and Barrettes; 2.4 Augered, Cast-in-Place Piles; 2.4.1 Advantages and Limitations of ACIP Piles; 2.5 Micropiles or Minipiles; 2.5.1 Applications 327 $a2.5.2 Drilled Micropile Type/Classification2.5.3 Relationship between Micropile Application, Design Concept and Construction Type; 2.5.4 Design Aspects; 2.5.5 Nondestructive Testing; 2.5.6 Research and Development; 2.6 Stone Columns and other Soil Improvement Techniques; 2.6.1 Stone Columns; 2.6.2 Deep Mixing; 2.6.3 Permeation Grouting; 2.6.4 Dynamic Compaction; 3How Soils Affect the Choiceof Foundation; 4Traditional, Visual and NewInspection Methods for DeepFoundation Construction; 4.1 Driven Piles; 4.2 Augered, Cast-in-Place Piles; 4.3 Drilled Shafts; 4.3.1 Dry Hole Construction 327 $a4.3.2 Wet Hole Construction4.4 The Inspector's Role; 5A Review of Full-scaleLoad-testing Techniques; 5.1 Static Load-Test Techniques - Axial Compression; 5.1.1 Reaction Systems; 5.1.2 Proof Testing; 5.1.3 Load-Transfer Tests; 5.1.4 Quick Load Test; 5.1.5 Constant Rate of Penetration Test; 5.1.6 Bi-directional Load Test (Osterberg Cell); 5.2 Static Load-Test Techniques - Axial Tension; 5.3 Static Load-Test Techniques - Lateral; 6High-strain Testing for Capacityand/or Integrity; 6.1 High-Strain Dynamic (Drop-Weight) Testing of Driven Piles; 6.1.1 The Case Method; 6.1.2 The TNO Method 327 $a6.1.3 The Effect of Soil and Other Factors6.2 High-Strain Testing of Drilled Shafts and Augered, Cast-in-Place Piles; 6.2.1 CEBTP Simbat; 6.2.2 SIMBAT Test Methodology; 6.3 Modification of Shaft Head for High-Strain Tests; 6.4 Practical Considerations for Drop-Weight Techniques; 6.4.1 Newton's Apple; 6.5 HSDT Alternatives; 6.5.1 The Statnamic Method; 6.5.2 The Fundex Method; 6.6 Limitations of High-Strain Dynamic Testing; 7Low-strain SurfaceTests - Sonic Echo; 7.1 Sonic Echo (Impulse ECHO); 7.1.1 Test Principle; 7.1.2 Typical Test Procedure; 7.1.3 Data Processing and Display 327 $a7.1.4 Effect of Impedance Change 330 $aNondestructive Testing involves the use of methods such as wave propagation, electromagnetism, electrical conductivity, and thermal conductivity to test structural integrity and thereby allow nondestructive assessment of structures and the possibility of structural failures before they occur. Nondestructive Testing of Deep Foundations covers different techniques designed to provide information about the integrity and quality of the material that makes up a deep foundation. Nondestructive Testing methods are used at all stages of a structure's life - from new construction quality co 606 $aFoundations$xTesting 606 $aPiling (Civil engineering)$xTesting 606 $aNondestructive testing 615 0$aFoundations$xTesting. 615 0$aPiling (Civil engineering)$xTesting. 615 0$aNondestructive testing. 676 $a624.150287 700 $aHertlein$b Bernhardt H$0594765 701 $aDavis$b Allen George$0964137 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910830148603321 996 $aNondestructive testing of deep foundations$92186504 997 $aUNINA