#solvers — Public Fediverse posts

В мире уменьшающихся кубиков: когда заводу нужны математики

Представьте, что вы пришли работать на фабрику по производству моделей игрушечных машин. Вам предстоит вручную собрать каждую машинку, как конструктор, из кубиков, подаваемых в ваши руки конвейером. Поначалу вам поручают только несложную сборку из крупных блоков, и красивые модели машин собираются сами собой. Но с каждым днём кубики становятся мельче, а модели — сложнее и реалистичнее. Работа требует всё больше концентрации и времени. В какой-то момент вы понимаете, что просто не успеваете — деталей слишком много, а скорость конвейера не снижается! Кроме того, надо держать в голове все инструкции для сборки всех моделей. На первый взгляд — это вымышленная ситуация, разве сборка конструктора может быть настолько неавтоматизированной? На самом деле, именно в такой ситуации ежедневно оказываются планировщики и диспетчеры, начальники производства и руководители цехов на современных высокоавтоматизированных предприятиях. Вместо кубиков для машинок у них – заказы, бригады, сырье, оборудование, последовательность обработки. Вместо моделей – широкая номенклатура готовой продукции требуемого качества. И если пальцев на руках десять, рук – две, то голова – одна и она еще должна учесть дополнительные детали:

https://habr.com/ru/companies/nlmk/articles/1005696/

#solvers #APS #математическая_оптимизация #стратегия_развития

В мире уменьшающихся кубиков: когда заводу нужны математики

Представьте, что вы пришли работать на фабрику по производству моделей игрушечных машин. Вам предстоит вручную собрать каждую машинку, как конструктор, из кубиков, подаваемых в ваши руки конвейером. Поначалу вам поручают только несложную сборку из крупных блоков, и красивые модели машин собираются сами собой. Но с каждым днём кубики становятся мельче, а модели — сложнее и реалистичнее. Работа требует всё больше концентрации и времени. В какой-то момент вы понимаете, что просто не успеваете — деталей слишком много, а скорость конвейера не снижается! Кроме того, надо держать в голове все инструкции для сборки всех моделей. На первый взгляд — это вымышленная ситуация, разве сборка конструктора может быть настолько неавтоматизированной? На самом деле, именно в такой ситуации ежедневно оказываются планировщики и диспетчеры, начальники производства и руководители цехов на современных высокоавтоматизированных предприятиях. Вместо кубиков для машинок у них – заказы, бригады, сырье, оборудование, последовательность обработки. Вместо моделей – широкая номенклатура готовой продукции требуемого качества. И если пальцев на руках десять, рук – две, то голова – одна и она еще должна учесть дополнительные детали:

https://habr.com/ru/companies/nlmk/articles/1005696/

#solvers #APS #математическая_оптимизация #стратегия_развития

В мире уменьшающихся кубиков: когда заводу нужны математики

Представьте, что вы пришли работать на фабрику по производству моделей игрушечных машин. Вам предстоит вручную собрать каждую машинку, как конструктор, из кубиков, подаваемых в ваши руки конвейером. Поначалу вам поручают только несложную сборку из крупных блоков, и красивые модели машин собираются сами собой. Но с каждым днём кубики становятся мельче, а модели — сложнее и реалистичнее. Работа требует всё больше концентрации и времени. В какой-то момент вы понимаете, что просто не успеваете — деталей слишком много, а скорость конвейера не снижается! Кроме того, надо держать в голове все инструкции для сборки всех моделей. На первый взгляд — это вымышленная ситуация, разве сборка конструктора может быть настолько неавтоматизированной? На самом деле, именно в такой ситуации ежедневно оказываются планировщики и диспетчеры, начальники производства и руководители цехов на современных высокоавтоматизированных предприятиях. Вместо кубиков для машинок у них – заказы, бригады, сырье, оборудование, последовательность обработки. Вместо моделей – широкая номенклатура готовой продукции требуемого качества. И если пальцев на руках десять, рук – две, то голова – одна и она еще должна учесть дополнительные детали:

https://habr.com/ru/companies/nlmk/articles/1005696/

#solvers #APS #математическая_оптимизация #стратегия_развития

В мире уменьшающихся кубиков: когда заводу нужны математики

Представьте, что вы пришли работать на фабрику по производству моделей игрушечных машин. Вам предстоит вручную собрать каждую машинку, как конструктор, из кубиков, подаваемых в ваши руки конвейером. Поначалу вам поручают только несложную сборку из крупных блоков, и красивые модели машин собираются сами собой. Но с каждым днём кубики становятся мельче, а модели — сложнее и реалистичнее. Работа требует всё больше концентрации и времени. В какой-то момент вы понимаете, что просто не успеваете — деталей слишком много, а скорость конвейера не снижается! Кроме того, надо держать в голове все инструкции для сборки всех моделей. На первый взгляд — это вымышленная ситуация, разве сборка конструктора может быть настолько неавтоматизированной? На самом деле, именно в такой ситуации ежедневно оказываются планировщики и диспетчеры, начальники производства и руководители цехов на современных высокоавтоматизированных предприятиях. Вместо кубиков для машинок у них – заказы, бригады, сырье, оборудование, последовательность обработки. Вместо моделей – широкая номенклатура готовой продукции требуемого качества. И если пальцев на руках десять, рук – две, то голова – одна и она еще должна учесть дополнительные детали:

https://habr.com/ru/companies/nlmk/articles/1005696/

#solvers #APS #математическая_оптимизация #стратегия_развития

Autoresearch for SAT Solvers

https://github.com/iliazintchenko/agent-sat

#HackerNews #Autoresearch #SAT #Solvers #AI #Research #GitHub #Optimization

Начал изучать солверы
после какой-то статьи с лобсте.рс, с месседжем "солверы могут решать значительную часть сложного литкода (хоть и не максимально быстро и без прогнозов скорости), и решение легко адаптируется к изменению требований"

Не вижу, где это можно применить мне; теоретически, можно попробовать сделать декларативный язык программирования для создания музыки (где ты накладываешь на мелодию ограничения, выбираешь сид и тебе генерируется мелодия)... Ещё всё лелею идею на работе сделать планировщик, который бы работал на солвере, но это так (я не хочу тут где работаю сейчас работать программистом а не QA)

https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/

#Solvers #MiniZinc #Солверы #Миницинк #SAT #САТ #лытдыбр

Начал изучать солверы
после какой-то статьи с лобсте.рс, с месседжем "солверы могут решать значительную часть сложного литкода (хоть и не максимально быстро и без прогнозов скорости), и решение легко адаптируется к изменению требований"

Не вижу, где это можно применить мне; теоретически, можно попробовать сделать декларативный язык программирования для создания музыки (где ты накладываешь на мелодию ограничения, выбираешь сид и тебе генерируется мелодия)... Ещё всё лелею идею на работе сделать планировщик, который бы работал на солвере, но это так (я не хочу тут где работаю сейчас работать программистом а не QA)

https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/

#Solvers #MiniZinc #Солверы #Миницинк #SAT #САТ #лытдыбр

Начал изучать солверы
после какой-то статьи с лобсте.рс, с месседжем "солверы могут решать значительную часть сложного литкода (хоть и не максимально быстро и без прогнозов скорости), и решение легко адаптируется к изменению требований"

Не вижу, где это можно применить мне; теоретически, можно попробовать сделать декларативный язык программирования для создания музыки (где ты накладываешь на мелодию ограничения, выбираешь сид и тебе генерируется мелодия)... Ещё всё лелею идею на работе сделать планировщик, который бы работал на солвере, но это так (я не хочу тут где работаю сейчас работать программистом а не QA)

https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/

#Solvers #MiniZinc #Солверы #Миницинк #SAT #САТ #лытдыбр

'Parallel-in-Time Probabilistic Numerical ODE Solvers', by Nathanael Bosch, Adrien Corenflos, Fatemeh Yaghoobi, Filip Tronarp, Philipp Hennig, Simo Särkkä.

http://jmlr.org/papers/v25/23-1261.html

#kalman #solvers #bayesian

'Stable Implementation of Probabilistic ODE Solvers', by Nicholas Krämer, Philipp Hennig.

http://jmlr.org/papers/v25/20-1423.html

#numerical #solvers #odes

We've been working on a massive riddle tying together #self-organization, #carbonate #diagenesis, reactive transport, #paleoclimate and #Milankovich cycles, and very stiff PDE systems.

If you've missed the poster at #egu24, you can still find it attached to the abstract in the conference program (https://meetingorganizer.copernicus.org/EGU24/EGU24-16400.html) and on Zenodo https://zenodo.org/records/10943274 If you're into numerical methods, tricky PDEs or other aspects of #modeling, please see if you have any advice to us 😄 #solvers #PDE

'Multilevel CNNs for Parametric PDEs', by Cosmas Heiß, Ingo Gühring, Martin Eigel.

http://jmlr.org/papers/v24/23-0421.html

#pdes #solvers #deep

'Scalable Computation of Causal Bounds', by Madhumitha Shridharan, Garud Iyengar.

http://jmlr.org/papers/v24/22-1081.html

#causal #confounders #solvers

Dear Friends of the #positivemind set,

As we gnaw/know the non solutions are easy to drown in. Be swamped by. Be baited by. yuck, muck, ruckus …

The good, #useful, solving scenario is boring but not for more oil, profit, #consumption of trivial #exploitation.

… and that dear friends is the secret:

- ignore the firing squadies
- find the #solvers, be with them #friendly #like
- be content to #improvise #improvement

https://www.wwf.org.uk/thingsyoucando

Dear Friends of the #positivemind set,

As we gnaw/know the non solutions are easy to drown in. Be swamped by. Be baited by. yuck, muck, ruckus …

The good, #useful, solving scenario is boring but not for more oil, profit, #consumption of trivial #exploitation.

… and that dear friends is the secret:

- ignore the firing squadies
- find the #solvers, be with them #friendly #like
- be content to #improvise #improvement

https://www.wwf.org.uk/thingsyoucando

Dear Friends of the #positivemind set,

As we gnaw/know the non solutions are easy to drown in. Be swamped by. Be baited by. yuck, muck, ruckus …

The good, #useful, solving scenario is boring but not for more oil, profit, #consumption of trivial #exploitation.

… and that dear friends is the secret:

- ignore the firing squadies
- find the #solvers, be with them #friendly #like
- be content to #improvise #improvement

https://www.wwf.org.uk/thingsyoucando

Dear Friends of the #positivemind set,

As we gnaw/know the non solutions are easy to drown in. Be swamped by. Be baited by. yuck, muck, ruckus …

The good, #useful, solving scenario is boring but not for more oil, profit, #consumption of trivial #exploitation.

… and that dear friends is the secret:

- ignore the firing squadies
- find the #solvers, be with them #friendly #like
- be content to #improvise #improvement

https://www.wwf.org.uk/thingsyoucando

4/

Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.

Submission deadline: July 10, 2023

https://sites.google.com/view/dpsolve2023

#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers

4/

Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.

Submission deadline: July 10, 2023

https://sites.google.com/view/dpsolve2023

#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers

4/

Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.

Submission deadline: July 10, 2023

https://sites.google.com/view/dpsolve2023

#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers

4/

Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.

Submission deadline: July 10, 2023

https://sites.google.com/view/dpsolve2023

#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers

2/ Second: PTHG-23, The Sixth Workshop on Progress Towards the Holy Grail, organised by Eugene Freuder, Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, and Helmut Simonis.

Submission deadline: 10 days before the CP 2023 conference early registration deadline

https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/

#ConstraintProgramming #CP2023 #CallForPapers #AcademicMastodon #ArtificialIntelligence #Solvers #CP2023conf #AI

2/ Second: PTHG-23, The Sixth Workshop on Progress Towards the Holy Grail, organised by Eugene Freuder, Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, and Helmut Simonis.

Submission deadline: 10 days before the CP 2023 conference early registration deadline

https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/

#ConstraintProgramming #CP2023 #CallForPapers #AcademicMastodon #ArtificialIntelligence #Solvers #CP2023conf #AI

2/ Second: PTHG-23, The Sixth Workshop on Progress Towards the Holy Grail, organised by Eugene Freuder, Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, and Helmut Simonis.

Submission deadline: 10 days before the CP 2023 conference early registration deadline

https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/

#ConstraintProgramming #CP2023 #CallForPapers #AcademicMastodon #ArtificialIntelligence #Solvers #CP2023conf #AI

2/ Second: PTHG-23, The Sixth Workshop on Progress Towards the Holy Grail, organised by Eugene Freuder, Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, and Helmut Simonis.

Submission deadline: 10 days before the CP 2023 conference early registration deadline

https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/

#ConstraintProgramming #CP2023 #CallForPapers #AcademicMastodon #ArtificialIntelligence #Solvers #CP2023conf #AI

'Combinatorial Optimization and Reasoning with Graph Neural Networks', by Quentin Cappart, Didier Chételat, Elias B. Khalil, Andrea Lodi, Christopher Morris, Petar Velickovic.

http://jmlr.org/papers/v24/21-0449.html

#graph #combinatorial #solvers