01039nam0-2200325---450-99000943760040332120110930093358.0000943760FED01000943760(Aleph)000943760FED0100094376020110929d1927----km-y0itay50------baitaITa---j---001yyFisiopatologia generale del ricambioPiero RondoniTorinoUTET1927152 p.27 cmTrattato di anatomia patologica per medici e studentipubblicato dal prof. Pio Foà ; con la collaborazione dei professori E. Marchiafava ... [et al.]1Parte generale3Malattie del ricambioMetabolismoFisiopatologiaRondoni,Pietro<1882-1956>83385ITUNINARICAUNIMARCBK99000943760040332146 A 202591DMVAPDMVAPFisiopatologia generale del ricambio760804UNINA05619nam 22008895 450 99646599870331620230221174622.01-280-94921-X97866109492123-540-72397-810.1007/978-3-540-72397-4(CKB)1000000000490698(EBL)3061559(SSID)ssj0000299888(PQKBManifestationID)11947467(PQKBTitleCode)TC0000299888(PQKBWorkID)10241883(PQKB)11398837(DE-He213)978-3-540-72397-4(MiAaPQ)EBC3061559(MiAaPQ)EBC6742878(Au-PeEL)EBL6742878(OCoLC)184986501(PPN)123162165(EXLCZ)99100000000049069820100301d2007 u| 0engur|n|---|||||txtccrIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems[electronic resource] 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings /edited by Pascal Van Hentenryck, Laurence Wolsey1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (399 p.)Theoretical Computer Science and General Issues,2512-2029 ;4510Description based upon print version of record.3-540-72396-X Includes bibliographical references and index.Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches -- Connections in Networks: Hardness of Feasibility Versus Optimality -- Modeling the Regular Constraint with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems -- The “Not-Too-Heavy Spanning Tree” Constraint -- Eliminating Redundant Clauses in SAT Instances -- Cost-Bounded Binary Decision Diagrams for 0-1 Programming -- YIELDS: A Yet Improved Limited Discrepancy Search for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows for RCPSPWET with the Primal-Dual Method -- Necessary Condition for Path Partitioning Constraints -- A Constraint Programming Approach to the Hospitals / Residents Problem -- Best-First AND/OR Search for 0/1 Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional Interchangeability for Enhancing CSP Solving -- A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production -- Replenishment Planning for Stochastic Inventory Systems with Shortage Cost -- Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search -- The Deviation Constraint -- The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width -- On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via Concavity Cuts -- Bender’s Cuts Guided Large Neighborhood Search for the Traveling Umpire Problem -- A Large Neighborhood Search Heuristic for Graph Coloring -- Generalizations of the Global Cardinality Constraint for Hierarchical Resources -- A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems.This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. The 27 revised full papers presented were carefully reviewed and selected from 80 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.Theoretical Computer Science and General Issues,2512-2029 ;4510Artificial intelligenceNumerical analysisComputer science—MathematicsDiscrete mathematicsAlgorithmsOperations researchArtificial IntelligenceNumerical AnalysisDiscrete Mathematics in Computer ScienceAlgorithmsOperations Research and Decision TheoryDiscrete MathematicsArtificial intelligence.Numerical analysis.Computer science—Mathematics.Discrete mathematics.Algorithms.Operations research.Artificial Intelligence.Numerical Analysis.Discrete Mathematics in Computer Science.Algorithms.Operations Research and Decision Theory.Discrete Mathematics.658.53Van Hentenryck PascalWolsey Laurence A.International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation ProblemsMiAaPQMiAaPQMiAaPQBOOK996465998703316Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems771927UNISA02339nam 2200661Ia 450 991078581480332120230209235113.03-11-088234-510.1515/9783110882346(CKB)2670000000251198(EBL)937415(OCoLC)843206118(SSID)ssj0000608932(PQKBManifestationID)11423053(PQKBTitleCode)TC0000608932(PQKBWorkID)10609678(PQKB)10586144(MiAaPQ)EBC937415(WaSeSS)Ind00012887(DE-B1597)55314(OCoLC)979593239(DE-B1597)9783110882346(Au-PeEL)EBL937415(CaPaEBR)ebr10598142(EXLCZ)99267000000025119820120927e19842010 uy 0engurnn#---|u||utxtrdacontentcrdamediacrrdacarrierVarieties of spoken standard ChineseVolume 2A speaker from Taipei /Cornelius C. Kubler, George T.C. HoReprint 2010Dordrecht, Holland ;Cinnaminsin, N.J. Foris Publications19841 online resource (184 pages)Publications in Modern Chinese Language and Literature ;4English and Chinese.3-11-013316-4 Includes bibliographical references.Front matter --Introduction --Conversation One: The Professor --Conversation Two: The Student --Conversation Three: The Housewife --Conversation Four: The Clerk --BibliographyVarieties of Spoken Standard Chinese: A Speaker from Taipei v. 2.Publications in Modern Chinese Language and Literature;4Chinese languageDialectsChinese languageTextbooks for foreign speakersChinese languageDialects.Chinese language495.17495.18Liang James C. P.1551039Kubler Cornelius C849861Ho George T. C1551040MiAaPQMiAaPQMiAaPQBOOK9910785814803321Varieties of spoken standard Chinese3810333UNINA