LEADER 04979nam 22006375 450 001 996466801203316 005 20200630213422.0 010 $a3-540-38541-X 024 7 $a10.1007/3-540-09727-9 035 $a(CKB)1000000000778457 035 $a(SSID)ssj0000323907 035 $a(PQKBManifestationID)12116212 035 $a(PQKBTitleCode)TC0000323907 035 $a(PQKBWorkID)10304191 035 $a(PQKB)11253116 035 $a(DE-He213)978-3-540-38541-7 035 $a(PPN)155225154 035 $a(EXLCZ)991000000000778457 100 $a20121227d1980 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aImaging Processes and Coherence in Physics$b[electronic resource] $eProceedings of a workshop, Held at the Centre de Physique, Les Houches, France, March 1979 /$fedited by M. Schlenker, M. Fink, J.-P. Goedgebuer, C. Malgrange, J.-C. Vienot, R. H. Wade 205 $a1st ed. 1980. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1980. 225 1 $aLecture Notes in Physics,$x0075-8450 ;$v112 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-09727-9 327 $aLasers sources -- Lasers as stable frequency sources -- Electron sources -- Intense sources of thermal neutrons for research -- X-ray sources -- Ultrasonic waves and optics -- Imaging processes and coherence in optics -- Propagation of neutron beams -- Coherence of illumination in electron microscopy -- Propagation of sound and ultrasound in non-homogeneous media -- Classical apples and quantum potatoes -- Outline of a coherent theory of skiing -- Wave-matter interactions : A general survey -- Basic X-ray interactions with matter -- Scattering experiments in ultrasonic spectroscopy -- Acousto-optical interactions -- H.F. phonon transmission as a probe of condensed matter -- Infrared detectors infrared imaging systems -- The elastic scattering of fast electrons -- Inelastic electron scattering -- Interaction of thermal neutrons with matter -- Structure information retrieval from solution X-ray and neutron scattering experiments -- Guided waves propagation and integrated optics -- Prospects for long-wavelength X-ray microscopy and diffraction -- Kinematical and dynamical diffraction theories -- Dynamical theory of X-ray propagation in distorted crystals -- Polarization phenomena in X-ray diffraction -- Perfect crystal neutron optics -- Coherent approach to neutron beam polarization -- X-ray and neutron interferometry -- X-ray topography : Principles -- Examples of X-ray topographic results -- Neutron topography -- Crystal diffraction optics for x-rays and neutrons -- Electron imaging techniques -- Speckle and intensity interferometry. Applications to astronomy -- Electron holography -- Prospects of X-ray holography -- Imageing by means of channelled particles -- Neutron optics using non-perfect crystals -- Ultrasonic real-time reconstruction imaging -- What can be done with high voltage electron microscopy? -- Transfer functions and electron microscope image formation -- Acoustic microscopy -- Use of coded apertures in gamma-imaging techniques -- Principles and techniques of acoustical imaging -- NMR imaging -- Nuclear scattering radiography -- Computerized tomography scanners -- Recording materials and transducers in optics -- Some applications in hybrid image processing -- X-ray image detectors -- Electron detectors -- Image processing of regular biological objects -- Cathodoluminescence topography -- Image processing in electron microscopy : Non-periodic objects -- Interpretation of X-Ray topography -- ?Coherence is beautiful?. 410 0$aLecture Notes in Physics,$x0075-8450 ;$v112 606 $aOptics 606 $aElectrodynamics 606 $aLasers 606 $aPhotonics 606 $aClassical Electrodynamics$3https://scigraph.springernature.com/ontologies/product-market-codes/P21070 606 $aOptics, Lasers, Photonics, Optical Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/P31030 615 0$aOptics. 615 0$aElectrodynamics. 615 0$aLasers. 615 0$aPhotonics. 615 14$aClassical Electrodynamics. 615 24$aOptics, Lasers, Photonics, Optical Devices. 676 $a535.2 676 $a537.6 702 $aSchlenker$b M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFink$b M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGoedgebuer$b J.-P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMalgrange$b C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVienot$b J.-C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWade$b R. H$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466801203316 996 $aImaging processes and coherence in physics$91118622 997 $aUNISA LEADER 01253nam 2200397 450 001 9910812082603321 005 20230124200155.0 010 $a1-5275-1457-9 035 $a(CKB)4100000005599245 035 $a(MiAaPQ)EBC5477620 035 $a(EXLCZ)994100000005599245 100 $a20180905d2018 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFormal methods in architecture and urbanism /$fedited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz 210 1$aNewcastle upon Tyne, UK :$cCambridge Scholars Publishing,$d2018. 215 $a1 online resource (405 pages) 311 $a1-5275-0762-9 606 $aArchitecture$xData processing 606 $aFormal methods (Computer science) 615 0$aArchitecture$xData processing. 615 0$aFormal methods (Computer science) 676 $a720.28402855369 702 $aViana$b David Leite 702 $aMorais$b Franklim 702 $aVaz$b Jorge Vieira 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910812082603321 996 $aFormal methods in architecture and urbanism$94037828 997 $aUNINA LEADER 07658nam 22008295 450 001 9910484882603321 005 20251226195731.0 010 $a1-280-38859-5 010 $a9786613566515 010 $a3-642-15396-8 024 7 $a10.1007/978-3-642-15396-9 035 $a(CKB)2670000000045057 035 $a(SSID)ssj0000446705 035 $a(PQKBManifestationID)11291506 035 $a(PQKBTitleCode)TC0000446705 035 $a(PQKBWorkID)10496424 035 $a(PQKB)10484277 035 $a(DE-He213)978-3-642-15396-9 035 $a(MiAaPQ)EBC3065792 035 $a(PPN)149025254 035 $a(EXLCZ)992670000000045057 100 $a20100906d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPrinciples and Practice of Constraint Programming - CP 2010 $e16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /$fedited by David Cohen 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XX, 650 p. 145 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v6308 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-15395-X 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic, and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming to Identification and Assignment of Service Professionals -- Computing the Density of States of Boolean Formulas -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity -- Improving the Performance of maxRPC -- Checking-Up on Branch-and-Check -- Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows -- Decomposition of the NValue Constraint -- Propagating the Bin Packing Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class of Soft Constraint Problems -- A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies -- Using Learnt Clauses in maxsat -- Domain Consistency with Forbidden Values -- Generating Special-Purpose Stateless Propagators for Arbitrary Constraints -- Including Ordinary Differential Equations Based Constraints in the Standard CP Framework -- Structural Tractability of Enumerating CSP Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD-Based Constraint Programming -- A Complete Multi-valued SAT Solver -- Exact Cover via Satisfiability: An Empirical Study -- On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry -- Ensemble Classification for Constraint Solver Configuration -- On Testing Constraint Programs -- On the Containment of Forbidden Patterns Problems -- Improving the Floating Point Addition and Subtraction Constraints -- The Lattice Structure of Sets of Surjective Hyper-Operations -- Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution -- Local Consistency and SAT-Solvers -- Heuristics for Planning with SAT -- Value-Ordering Heuristics: Search Performance vs. Solution Diversity -- A New Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints -- A Generic Visualization Platform for CP -- Database Constraints and Homomorphism Dualities -- A Box-Consistency Contractor Based on Extremal Functions -- Exponential Propagation for Set Variables -- Applications Track -- An Empirical Study of Optimization for Maximizing Diffusion in Networks -- An Integrated Modelling, Debugging, and Visualisation Environment for G12 -- Global Constraints on Feature Models -- Constraint Programming for Mining n-ary Patterns -- An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management -- Context-Sensitive Call Control Using Constraints and Rules -- Load Balancing and Almost Symmetries for RAMBO Quorum Hosting -- Testing Continuous Double Auctions with a Constraint-Based Oracle -- A Safe and Flexible CP-Based Approach for Velocity Tuning Problems -- Contingency Plans for Air Traffic Management. 330 $aThe 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6?10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of computing with constraints, including:theory,algorithms,applications,environments,languages,modelsand systems. We received a wide variety of submissions, each of which was reviewed by at least three referees. Referees were chosen for each submission by an initial bidding process where Program Committee members chose papers from their area of interest. The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed by subject experts on the Program Committee, or by colleagues chosen by members of the Program Committee for their particular expertise. Papers weresolicitedeither as long (15 page), or short (8 page) submissions. Short-paper submissions were refereed to exactly the same high standards as long-paper submissions but naturally were expected to contain a smaller quantity of new material. Thus there is no disti- tion in these proceedings between short and long papers. I used the excellent EasyChair conference management system to support this process of reviewing, and for the collation and organization of these proceedings. Submissions were made either to the applications track or to the research track. Therewere101(23short)researchtracksubmissionsofwhich36(8short) wereaccepted,whichisa36%(35%ofshort)acceptancerate. Applicationstrack submissions received special consideration and the acceptance rate was sign- cantly higher than for the research track. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v6308 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aAlgorithms 606 $aMachine theory 606 $aComputer science 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aAlgorithms. 615 0$aMachine theory. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1/16 701 $aCohen$b David$0199989 712 12$aCP 2010 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484882603321 996 $aPrinciples and practice of constraint programming-- CP 2010$94198720 997 $aUNINA