LEADER 03677oam 2200661I 450 001 9910449760303321 005 20210401162240.0 010 $a0-429-17625-2 010 $a1-4822-8934-2 010 $a1-4200-1725-X 010 $a1-282-77797-1 010 $a9786612777974 010 $a0-203-18425-4 024 7 $a10.1201/9781482289343 035 $a(UkCvUL)(CKB)1000000000002452 035 $a(UkCvUL)(EBL)168520 035 $a(UkCvUL)(OCoLC)62589237 035 $a(UkCvUL)(SSID)ssj0000278993 035 $a(UkCvUL)(PQKBManifestationID)11211539 035 $a(UkCvUL)(PQKBTitleCode)TC0000278993 035 $a(UkCvUL)(PQKBWorkID)10260528 035 $a(UkCvUL)(PQKB)11140436 035 $a(UkCvUL)(MiAaPQ)EBC168520 035 $a(UkCvUL)991000000000002452 035 $a(OCoLC)1027753151 035 $a(EXLCZ)991000000000002452 100 $a20180706d2014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aElectron Microscopy and Analysis, Third Edition /$fPeter J. Goodhew, John Humphreys, Richard Beanland 205 $a3rd ed. 210 1$aBoca Raton, FL :$cCRC Press,$d2014. 215 $a1 online resource (262 p.) 300 $aDescription based upon print version of record. 311 $a1-138-44153-8 311 $a0-7484-0968-8 320 $aIncludes bibliographical references and index. 327 $aBook Cover; Title; Contents; Acronyms; Preface; Microscopy with light and electrons; Methods of image formation; Pixels; The light-optical microscope; Magnification; Resolution; Depth of field and depth of focus; Aberrations in optical systems; Electrons versus light; Questions; Electrons and their interaction with the specimen; Generating a beam of electrons; Deflection of electrons magnetic lenses; The scattering of electrons by atoms; Elastic scattering; Inelastic scattering; Secondary effects; The family of electron microscopes; Questions; Electron diffraction 327 $aThe geometry of electron diffractionDiffraction spot patterns; Use of the reciprocal lattice in diffraction analysis; Other types of diffraction pattern; Questions; The transmission electron microscope; Contrast mechanisms; High voltage electron microscopy (HVEM); Scanning transmission electron microscopy (STEM); Questions; The scanning electron microscope; Obtaining a signal in the SEM; The optics of the SEM; The performance of the SEM; The ultimate resolu 330 2 $a"Electron Microscopy and Analysis deals with several sophisticated techniques for magnifying images of very small objects by large amounts - especially in a physical science context. It has been ten years since the last edition of Electron Microscopy and Analysis was published and there have been rapid changes in this field since then. The authors have vastly updated their very successful second edition, which is already established as an essential laboratory manual worldwide, and they have incorporated questions and answers in each chapter for ease of learning. Equally as relevant for material scientists and bioscientists, this third edition is an essential textbook."--Provided by publisher. 606 $aElectron microscopy 608 $aElectronic books. 615 0$aElectron microscopy. 676 $a502.825 676 $a502/.8/25 700 $aGoodhew$b Peter J.$0477169 702 $aBeanland$b Richard 702 $aHumphreys$b John 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910449760303321 996 $aElectron Microscopy and Analysis, Third Edition$92242815 997 $aUNINA LEADER 07688nam 22008655 450 001 996465541803316 005 20200706132146.0 010 $a1-280-30804-4 010 $a9786610308040 010 $a3-540-24664-9 024 7 $a10.1007/b96957 035 $a(CKB)1000000000212356 035 $a(DE-He213)978-3-540-24664-0 035 $a(SSID)ssj0000180405 035 $a(PQKBManifestationID)11170725 035 $a(PQKBTitleCode)TC0000180405 035 $a(PQKBWorkID)10149581 035 $a(PQKB)10658226 035 $a(MiAaPQ)EBC3087571 035 $a(PPN)15522333X 035 $a(EXLCZ)991000000000212356 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems$b[electronic resource] $eFirst International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings /$fedited by Jean-Charles Régin, Michel Rueher 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XIII, 415 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3011 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21836-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Paper -- Using MILP and CP for the Scheduling of Batch Chemical Processes -- Technical Papers -- SIMPL: A System for Integrating Optimization Techniques -- A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times -- Simple Rules for Low-Knowledge Algorithm Selection -- Filtering Algorithms for the Same Constraint -- Cost Evaluation of Soft Global Constraints -- SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems -- Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming -- Generating Benders Cuts for a General Class of Integer Programming Problems -- A Constraint Programming Model for Tail Assignment -- Super Solutions in Constraint Programming -- Local Probing Applied to Network Routing -- Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights -- Filtering Methods for Symmetric Cardinality Constraint -- Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints -- Combining Forces to Solve the Car Sequencing Problem -- Travelling in the World of Local Searches in the Space of Partial Assignments -- A Global Constraint for Nesting Problems -- Models and Symmetry Breaking for ?Peaceable Armies of Queens? -- A Global Constraint for Graph Isomorphism Problems -- Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem -- Scheduling Abstractions for Local Search -- O(nlog n) Filtering Algorithms for Unary Resource Constraint -- Problem Decomposition for Traffic Diversions -- Short Papers -- LP Relaxations of Multiple all_different Predicates -- Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming -- Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework -- The Challenge of Generating Spatially Balanced Scientific Experiment Designs -- Building Models through Formal Specification -- Stabilization Issues for Constraint Programming Based Column Generation -- A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem. 330 $aThis volume contains the proceedings of the First International Conference on IntegrationofAIandORTechniquesinConstraintProgrammingforCombina- rialOptimisation Problems.This new conferencefollows the seriesof CP-AI-OR International Workshops on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems held in Ferrara (1999), Paderborn (2000), Ashford (2001), Le Croisic (2002), and Montreal (2003). The success of the previous workshops has demonstrated that CP-AI-OR is bec- ing a major forum for exchanging ideas and methodologiesfrom both ?elds. The aim of this new conference is to bring together researchersfrom AI and OR, and to give them the opportunity to show how the integration of techniques from AI and OR can lead to interesting results on large scale and complex problems. The integration of techniques from Arti?cial Intelligence and Operations - search has provided e?ective algorithms for tackling complex and large scale combinatorial problems with signi?cant improvements in terms of e?ciency, scalability and optimality. The bene?t of this integration has been shown in applications such as hoist scheduling, rostering, dynamic scheduling and vehicle routing. At the programming and modelling levels, most constraint languages embed OR techniques to reason about collections of constraints, so-calledglobal constraints. Some languages also provide support for hybridization allowing the programmer to build new integrated algorithms. The resulting multi-paradigm programmingframeworkcombines the ?exibility and modelling facilities of C- straint Programming with the special purpose and e?cient methods from - erations Research. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3011 606 $aSoftware engineering 606 $aNumerical analysis 606 $aComputer science?Mathematics 606 $aAlgorithms 606 $aArtificial intelligence 606 $aOperations research 606 $aDecision making 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aOperations Research/Decision Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/521000 615 0$aSoftware engineering. 615 0$aNumerical analysis. 615 0$aComputer science?Mathematics. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 0$aOperations research. 615 0$aDecision making. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aNumeric Computing. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aArtificial Intelligence. 615 24$aOperations Research/Decision Theory. 676 $a005.1/16 702 $aRégin$b Jean-Charles$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRueher$b Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465541803316 996 $aIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems$9771927 997 $aUNISA LEADER 07210nam 22008295 450 001 996465807303316 005 20231006142800.0 010 $a3-540-85836-9 024 7 $a10.1007/978-3-540-85836-2 035 $a(CKB)1000000000490484 035 $a(SSID)ssj0000715746 035 $a(PQKBManifestationID)11413783 035 $a(PQKBTitleCode)TC0000715746 035 $a(PQKBWorkID)10706064 035 $a(PQKB)11072750 035 $a(DE-He213)978-3-540-85836-2 035 $a(MiAaPQ)EBC3063552 035 $a(MiAaPQ)EBC6283013 035 $a(PPN)12906260X 035 $a(EXLCZ)991000000000490484 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aData Warehousing and Knowledge Discovery$b[electronic resource] $e10th International Conference, DaWak 2008 Turin, Italy, September 1-5, 2008, Proceedings /$fedited by Il-Yeol Song, Johann Eder, Tho Manh Nguyen 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XIV, 434 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v5182 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-85835-0 320 $aIncludes bibliographical references and index. 327 $aConceptual Design and Modeling -- UML-Based Modeling for What-If Analysis -- Model-Driven Metadata for OLAP Cubes from the Conceptual Modelling of Data Warehouses -- An MDA Approach for the Development of Spatial Data Warehouses -- OLAP and Cube Processing -- Built-In Indicators to Discover Interesting Drill Paths in a Cube -- Upper Borders for Emerging Cubes -- Top_Keyword: An Aggregation Function for Textual Document OLAP -- Distributed Data Warehouse -- Summarizing Distributed Data Streams for Storage in Data Warehouses -- Efficient Data Distribution for DWS -- Data Partitioning in Data Warehouses: Hardness Study, Heuristics and ORACLE Validation -- Data Privacy in Data Warehouse -- A Robust Sampling-Based Framework for Privacy Preserving OLAP -- Generalization-Based Privacy-Preserving Data Collection -- Processing Aggregate Queries on Spatial OLAP Data -- Data Warehouse and Data Mining -- Efficient Incremental Maintenance of Derived Relations and BLAST Computations in Bioinformatics Data Warehouses -- Mining Conditional Cardinality Patterns for Data Warehouse Query Optimization -- Up and Down: Mining Multidimensional Sequential Patterns Using Hierarchies -- Clustering I -- Efficient K-Means Clustering Using Accelerated Graphics Processors -- Extracting Knowledge from Life Courses: Clustering and Visualization -- A Hybrid Clustering Algorithm Based on Multi-swarm Constriction PSO and GRASP -- Clustering II -- Personalizing Navigation in Folksonomies Using Hierarchical Tag Clustering -- Clustered Dynamic Conditional Correlation Multivariate GARCH Model -- Document Clustering by Semantic Smoothing and Dynamic Growing Cell Structure (DynGCS) for Biomedical Literature -- Mining Data Streams -- Mining Serial Episode Rules with Time Lags over Multiple Data Streams -- Efficient Approximate Mining of Frequent Patterns over Transactional Data Streams -- Continuous Trend-Based Clustering in Data Streams -- Mining Multidimensional Sequential Patterns over Data Streams -- Classification -- Towards a Model Independent Method for Explaining Classification for Individual Instances -- Selective Pre-processing of Imbalanced Data for Improving Classification Performance -- A Parameter-Free Associative Classification Method -- Text Mining and Taxonomy I -- The Evaluation of Sentence Similarity Measures -- Labeling Nodes of Automatically Generated Taxonomy for Multi-type Relational Datasets -- Towards the Automatic Construction of Conceptual Taxonomies -- Text Mining and Taxonomy II -- Adapting LDA Model to Discover Author-Topic Relations for Email Analysis -- A New Semantic Representation for Short Texts -- Document-Base Extraction for Single-Label Text Classification -- Machine Learning Techniques -- How an Ensemble Method Can Compute a Comprehensible Model -- Empirical Analysis of Reliability Estimates for Individual Regression Predictions -- User Defined Partitioning - Group Data Based on Computation Model -- Data Mining Applications -- Workload-Aware Histograms for Remote Applications -- Is a Voting Approach Accurate for Opinion Mining? -- Mining Sequential Patterns with Negative Conclusions. 330 $aThis book constitutes the refereed proceedings of the 10th International Conference on Data Warehousing and Knowledge Discovery, DaWak 2008, held in Turin, Italy, in September 2008. The 40 revised full papers presented were carefully reviewed and selected from 143 submissions. The papers are organized in topical sections on conceptual design and modeling, olap and cube processing, distributed data warehouse, data privacy in data warehouse, data warehouse and data mining, clustering, mining data streams, classification, text mining and taxonomy, machine learning techniques, and data mining applications. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v5182 606 $aComputer communication systems 606 $aData mining 606 $aComputer engineering 606 $aDatabase management 606 $aApplication software 606 $aArtificial intelligence 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer communication systems. 615 0$aData mining. 615 0$aComputer engineering. 615 0$aDatabase management. 615 0$aApplication software. 615 0$aArtificial intelligence. 615 14$aComputer Communication Networks. 615 24$aData Mining and Knowledge Discovery. 615 24$aComputer Engineering. 615 24$aDatabase Management. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aArtificial Intelligence. 676 $a005.74 702 $aSong$b Il-Yeol$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEder$b J$g(Johann),$f1958-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNguyen$b Tho Manh$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465807303316 996 $aData Warehousing and Knowledge Discovery$9772048 997 $aUNISA