ViewTube

Two students attempt to compute the dimensions of a fence that minimize its cost. Their problem-solving and thinking illuminates ...

This is a part of the CAPRI training session 2021. The complete agenda and course materials can be found here: ...

a video and code resource for people building large-scale, fast mathematical optimization models and deploying these as apps in ...

Multi-objective optimisation and exploration of system simulations A talk by Prof. Patrik Jansson as part of the session "Structures ...

Training large language models (LLMs) is a tricky balancing act. Push them too hard and they become unstable be too cautious ...

Alloy (http://alloytools.org/) is a modelling language for software systems, out of MIT. Like TLA+, it comes bundled with an IDE and ...

In the field of mathematical optimization, Python is one of the most popular scripting language for modeling realistic problem, ...

AI models are incredibly powerful, but out-of-the-box intelligence isn't enough for real-world applications. Fine-tuning is the ...

Speaker: Melvin Zhang Info: https://2018.fossasia.org/event/speakers.html#melvin-zhang3241 What do Sudoku and finding a ...

EuroPython 2023 — North Hall on 2023-07-19] ...

On 23 June 2022, SURF and Netherlands eScience Center hosted a webinar on using Julia for high-performance computing ...

Patricks' talk from C++Now! 2012 Problems in fields as diverse as operations research, finance, and chip design can be modeled ...

Slides: https://drive.google.com/file/d/1XYMw8vnFKFar1bGVYSrQzIH_NuOrs4dO/view Exercise Notebook: ...

The TLA+ Foundation invites you to join an in-depth webinar focused on the fundamentals of modeling concurrent algorithms ...

How to set up a decision model in Excel to optimize using Solver. The Objective function, constraints, and decision variables must ...

Ever wondered why your Naive Bayes model only hits 70% accuracy? In this short, we reveal the real reason — the lack of data ...

Quantization is an excellent technique to compress Large Language Models (LLM) and accelerate their inference. In this video ...

Dynamic Programming : Solving Linear Programming Problem.

This video explores a groundbreaking approach to formalizing mathematics using Category Theory, aiming to bridge the gap ...

As part of the Wisla'23 (http://www.baltinmat.com/wisla23/) Summer School & Workshop, this is lectures 1 and 2 (our of 3) in the ...