Interval Methods for Scientific Computing in Julia
Explore interval methods for scientific computing in Julia, focusing on constraint propagation, global optimization, and root finding using IntervalConstraintProgramming.jl and IntervalArithmetic.jl packages.
Personalized Shift Scheduling Problems: From Modelling to Efficient Resolution
Explore personalized shift scheduling challenges, modeling techniques, and efficient resolution methods for complex employee scheduling problems like nurse rostering.
Using Constraint Programming to Improve Grocery Picking Efficiency at Loblaws
Explore constraint programming techniques to optimize grocery picking efficiency, reduce costs, and improve profitability in online retail operations.
Goals as Constraints: Writing miniKanren Constraints in miniKanren
Explore an extension to miniKanren allowing goals to run as constraints, enhancing expressiveness and efficiency in relational programming.
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization
Explore a hybrid approach combining reinforcement learning and constraint programming for solving complex combinatorial optimization problems, with applications in various fields.
Prediction + Optimisation - Without and With Decision-Focused Learning
Explore AI-enhanced combinatorial optimization, including preference learning, decision-focused learning, and explanation generation. Discover CPMpy, a modern constraint programming language integrating multiple solving paradigms with machine learning.
Propagators Part 1
Explore algorithms for information propagation, including CRDTs, Datalog, and SAT solving. Learn about Sussman and Radul's propagators and Kuper's lattice variables, blending frameworks for consistent, terminating results.
Propagators Part 2
Explores advanced concepts in propagator algorithms, blending frameworks to optimize termination and consistency in various computational domains like CRDTs, Datalog, and constraint programming.
Constraint Programming in the Browser
Explore constraint programming in JavaScript using Cassowary, enabling dynamic relationships between variables for innovative browser applications.
Building AI Solutions with Google OR-Tools
Learn to build AI solutions using Google OR-Tools for optimization problems. Explore constraint programming, linear programming, and mixed-integer programming through practical examples like Sudoku and scheduling.
Solving Scheduling Problems with Constraint Programming and Graph Neural Networks
Explore innovative approaches combining constraint programming and graph neural networks to tackle complex scheduling challenges.
The New DisjunctiveProgramming.jl - Modeling Generalized Disjunctive Programs
Explore the enhanced DisjunctiveProgramming.jl for modeling Generalized Disjunctive Programs, featuring improved performance, expanded constraint support, and compatibility with JuMP and InfiniteOpt.
klogic: miniKanren in Kotlin - miniKanren'23 Conference
Explore miniKanren implementation in Kotlin with klogic, covering its features, design decisions, and practical applications in logic programming.
Prompting Is Programming: A Query Language for Large Language Models
Explore Language Model Programming (LMP) and LMQL, a novel approach combining text prompting and scripting for efficient language model interactions and task adaptations.
Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries
Explores computing rainbow cycle numbers using SAT modulo Symmetries, enhancing understanding of envy-freeness in fair division of indivisible goods and improving EFX allocation feasibility guarantees.
DLSS 5 - Нейрослоп или революция? | Стрим, общение
Новый курс Супер Blender https://cloudlessons.ru/v/550/ Курс по нейросетям https://cloudlessons.ru/v/540/ Бесплатный мини-курс по созданию игровой 3D-модели с нуля - https://cloudlessons.ru/mc/3d-mini-v2/?camp_id=26408 Курс "Профессия 3D-художник в геймдеве". Полный пайплайн, от моделирования в Bl