00984nam0-22003251i-450-99000663383040332120120110105728.088-13-17206-0000663383FED01000663383(Aleph)000663383FED0100066338320010426d1990----km-y0itay50------baitaITy-------001yy<<Le >>strategie di sviluppo esterno dell' impresa industrialeMario MustilliPadovaCedam1990X, 364 p.ill.22 cmStudi di economia e gestione dell'impresa industriale4Mustilli,Mario<1959- >373831ITUNINARICAUNIMARCBK990006633830403321AZOA25A(DEP)4992ADECBCCOLLEZ. 1292 (4)13080FSPBCFSPBCDECBCStrategie di sviluppo esterno dell' impresa industriale614381UNINA04367nam 22006495 450 991086419750332120240909114206.09783031605994303160599310.1007/978-3-031-60599-4(CKB)32200492300041(MiAaPQ)EBC31355638(Au-PeEL)EBL31355638(DE-He213)978-3-031-60599-4(OCoLC)1438672638(EXLCZ)993220049230004120240527d2024 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierIntegration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II /edited by Bistra Dilkina1st ed. 2024.Cham :Springer Nature Switzerland :Imprint: Springer,2024.1 online resource (332 pages)Lecture Notes in Computer Science,1611-3349 ;147439783031606014 3031606019 Core Boosting in SAT-Based Multi-Objective Optimization -- Fair Minimum Representation Clustering -- Proof Logging for the Circuit Constraint -- Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model -- Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization -- LEO: Learning Efficient Orderings for Multiobjective BDDs -- Minimizing the Cost of Leveraging Influencers in Social Networks: IP and CP Approaches -- Learning Deterministic Surrogates for Robust Convex QCQP -- Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin -- Improving Metaheuristic Effciency for Stochastic Optimization Problems by Sequential Predictive Sampling -- SMT-based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability -- CaVE: A Cone-aligned Approach for Fast Predict-then-optimize with Binary Linear Programs -- A Constraint Programming Approach for Aircraft Disassembly Scheduling -- Optimization Over Trained Neural Networks: Taking a Relaxing Walk -- Learning From Scenarios for Repairable Stochastic Scheduling -- Explainable Algorithm Selection for the Capacitated Lot Sizing Problem -- Efficient Structured Perceptron for NP-hard Combinatorial Optimization Problems -- Robustness Verification in Neural Networks -- An Improved Neuro-Symbolic Architecture to Fine-Tune Generative AI Systems -- Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification -- Learning Heuristics for Combinatorial Optimization Problems on K-Partite Hypergraphs.This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28–31, 2024.The 33 full papers and the 9 short papers presented in the proceedings were carefully reviewed and selected from a total of 104 submissions. The content of the papers focus on new techniques or applications in the area and foster the integration of techniques from different fields dealing with large and complex problems. .Lecture Notes in Computer Science,1611-3349 ;14743Computer scienceMathematicsArtificial intelligenceComputer scienceComputer networksMathematics of ComputingArtificial IntelligenceTheory of ComputationComputer Communication NetworksComputer scienceMathematics.Artificial intelligence.Computer science.Computer networks.Mathematics of Computing.Artificial Intelligence.Theory of Computation.Computer Communication Networks.40,151Dilkina Bistra1740227MiAaPQMiAaPQMiAaPQBOOK9910864197503321Integration of Constraint Programming, Artificial Intelligence, and Operations Research4165662UNINA01279nam0 22002891i 450 UON0010811420231205102624.36220020107d1925 |0itac50 baitaIT|||| 1||||Sommario degli annali di al-Tabari per gli anni dell'Egira 65-99 (E.v. 684-85/716-17)Ignazio GuidiRoma : R. Accademia dei Lincei192556 p.25 cmEstratto dai Rendiconti della R. Acc. dei Lincei, classe di scienze morali, storiche e filologiche v. 1, fasc. 6Mondo arabo Storia e geografiaUONC023938FIITRomaUONL000004ARA IVPAESI ARABI - STORIAAGuidiIgnazioUONV013435641454Reale Accademia dei LinceiUONV246624650GUIDI, IgnatiusGuidi, IgnazioUONV042177ITSOL20250808RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00108114SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI ARA IV 185 (MISC 9) SI MR 18881 5 185 (MISC 9) Sommario degli annali di al-Tabari per gli anni dell'Egira 65-99 (E.v. 684-851849739UNIOR