01911nam 2200565 a 450 991045624930332120200520144314.01-280-20336-697866102033690-309-58375-60-585-08463-7(CKB)110986584751116(OCoLC)43475627(CaPaEBR)ebrary10055392(SSID)ssj0000222460(PQKBManifestationID)11175776(PQKBTitleCode)TC0000222460(PQKBWorkID)10169814(PQKB)11765997(MiAaPQ)EBC3376299(Au-PeEL)EBL3376299(CaPaEBR)ebr10055392(OCoLC)923262698(EXLCZ)9911098658475111619911004d1991 uy 0engurcn|||||||||txtccrPlasma processing of materials[electronic resource] scientific opportunities and technological challenges /Panel on Plasma Processing of Materials, Plasma Science Committee, Board on Physics and Astronomy, Commission on Physical Sciences, Mathematics, and Applications, National Research CouncilWashington, D.C. National Academy Press19911 online resource (87 p.) Bibliographic Level Mode of Issuance: Monograph0-309-04597-5 Plasma engineeringMicroelectronicsMaterialsEffect of radiation onSurfaces (Technology)Electronic books.Plasma engineering.MicroelectronicsMaterialsEffect of radiation on.Surfaces (Technology)621.044MiAaPQMiAaPQMiAaPQBOOK9910456249303321Plasma processing of materials1982096UNINA00784nam0 2200253 i 450 99646415340331620221005160712.0978-88-13-37586-720220104d2022----||||0itac50 baitaITDizionario giuridicoad uso e consumo di avvocati, di magistrati e del legislatoreFrancesco Saverio MerlinoMilanoWolters Kluwer CEDAM2022XXIX, 257 p.24 cmDirittoLessicoBNCF340.03MERLINO,Francesco Saverio<1941- >836772ITcbacbaREICATcba996464153403316XXI.5. 21293451 G.XXI.5.538195BKGIUDizionario giuridico2917080UNISA03051nam 22006254a 450 991082426490332120240410153652.00-8157-9833-4(CKB)111087027970374(EBL)3004350(SSID)ssj0000157903(PQKBManifestationID)11149265(PQKBTitleCode)TC0000157903(PQKBWorkID)10140066(PQKB)10612126(OCoLC)1132226374(MdBmJHUP)muse73429(Au-PeEL)EBL3004350(CaPaEBR)ebr10026282(OCoLC)53798343(MiAaPQ)EBC3004350(EXLCZ)9911108702797037420010321h20012001 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierFrance in an age of globalization /Hubert Védrine, with Dominique Moïsi ; translated by Philip H. Gordon1st ed.Washington, D.C. :Brookings Institution Press,2001.©20011 online resource (xi, 143 pages)Includes index.0-8157-0007-5 ""Contents""; ""Preface""; ""The World Today""; ""France in the World""; ""How to Deal with the United States?""; ""Franceâ€?s European Ambition and Its Dilemmas""; ""Common Foreign Policy, National Foreign Policies""; ""Ethics and Realism""; ""Epilogue""; ""Index"""This book takes the form of a dialogue between French foreign minister Hubert Vedrine and international relations expert Dominique Moisi. In this conversation, Vedrine spells out his vision of the U.S. "hyperpower," France's role in the world, Europe's future, the current structure of the international system, and the role of ethics in international affairs." "An earlier, French-language version of this work was published under the title Les cartes de la France a l'heure de la mondialisation (France's Assets in an Age of Globalization) in spring 2000. This English-language version adds extensive new material and covers many important developments, including Vedrine's assessments of the 2000 U.S. presidential election; the July-December 2000 French presidency of the European Union; the breakdown of the Middle East peace process; and developments in Russia, Africa, and Asia."--JacketWorld politics1995-2005GlobalizationFranceForeign relations1981-1995FranceForeign relationsUnited StatesUnited StatesForeign relationsFranceUnited StatesForeign relations1993-2001World politicsGlobalization.327.44073Védrine Hubert1664138Moïsi Dominique249136MiAaPQMiAaPQMiAaPQBOOK9910824264903321France in an age of globalization4022007UNINA07095nam 22008655 450 991014419450332120230810201019.01-280-30804-497866103080403-540-24664-910.1007/b96957(CKB)1000000000212356(DE-He213)978-3-540-24664-0(SSID)ssj0000180405(PQKBManifestationID)11170725(PQKBTitleCode)TC0000180405(PQKBWorkID)10149581(PQKB)10658226(MiAaPQ)EBC3087571(PPN)15522333X(EXLCZ)99100000000021235620121227d2004 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings /edited by Jean-Charles Régin, Michel Rueher1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XIII, 415 p.) Lecture Notes in Computer Science,1611-3349 ;3011Bibliographic Level Mode of Issuance: Monograph3-540-21836-X Includes bibliographical references at the end of each chapters and index.Invited 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.This 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.Lecture Notes in Computer Science,1611-3349 ;3011Software engineeringNumerical analysisComputer scienceMathematicsDiscrete mathematicsAlgorithmsArtificial intelligenceOperations researchSoftware EngineeringNumerical AnalysisDiscrete Mathematics in Computer ScienceAlgorithmsArtificial IntelligenceOperations Research and Decision TheorySoftware engineering.Numerical analysis.Computer scienceMathematics.Discrete mathematics.Algorithms.Artificial intelligence.Operations research.Software Engineering.Numerical Analysis.Discrete Mathematics in Computer Science.Algorithms.Artificial Intelligence.Operations Research and Decision Theory.005.1/16Régin Jean-Charlesedthttp://id.loc.gov/vocabulary/relators/edtRueher Micheledthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation ProblemsMiAaPQMiAaPQMiAaPQBOOK9910144194503321Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems771927UNINA