Shakedown Social

0 posts0 participants0 posts today

Constraints JournalMany thanks to Springer's SharedIt program!From now on, we will share new issues of the Constraints Journal on the Association for Constraint Programming website, along with bonus content (e.g., videos about the contents): <a href="https://www.a4cp.org/cj2" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.a4cp.org/cj2</a><a href="https://mastodon.acm.org/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ConstraintProgramming</a> <a href="https://mastodon.acm.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ArtificialIntelligence</a> <a href="https://mastodon.acm.org/tags/AssociationForConstraintProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AssociationForConstraintProgramming</a> <a href="https://mastodon.acm.org/tags/ACP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ACP</a> <a href="https://mastodon.acm.org/tags/Springer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Springer</a> <a href="https://mastodon.acm.org/tags/SpringerPublishing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SpringerPublishing</a> <a href="https://mastodon.acm.org/tags/Journal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Journal</a> <a href="https://mastodon.acm.org/tags/CP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CP</a> <a href="https://mastodon.acm.org/tags/Optimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimisation</a> <a href="https://mastodon.acm.org/tags/Optimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimization</a> <a href="https://mastodon.acm.org/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mastodon.acm.org/tags/SharedIt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SharedIt</a> <a href="https://mastodon.acm.org/tags/OpenScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenScience</a> <a href="https://mastodon.acm.org/tags/OpenAccess" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenAccess</a> <a href="https://mastodon.acm.org/tags/OpenAccessPublishing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenAccessPublishing</a>

Ross GaylerSome probability/maths/optimisation questions for the Fedi-hive mind:Bayes' Theorem is P(H | E) = P(E | H) P(H) / P(E) where H and E are events (that I have labelled for my mnemonic convenience to suggest Hypothesis and Evidence, but they're just events).Assume that: * There is some fixed database of records with a fixed set of fields. * The events H and E are predicates of individual database records. * The event predicates are functions of the field values in the record being evaluated. * We are interpreting the relative frequency of the event predicate being true over all the record in the database as the probability of the event defined by the predicate.The typical statement of Bayes' Theorem appears to assume that the definitions of the events H and E are fixed and given, and the only thing of interest is how to calculate with them.1. Does it make sense to have a fixed definition of H and search over the space of possible definitions of E to maximise P(H | E)?2. Is there a name for this? (I presume it's been suggested many times already.) Is it abductive inference because you're trying to find the "best explanation" of H?3. Are there constraints that need to be placed on the optimisation? (a. You wouldn't want the E definition to be a copy of or equivalent to the H definition. b. You wouldn't want the E definition to be some degenerate case, e.g. with P(E) vanishingly small. c. You probably want some regularisation penalty that prefers simple definitions of E over more complex ones.Any comments on this and pointers into the literature would be greatly appreciated.<a href="https://aus.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> <a href="https://aus.social/tags/probability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#probability</a> <a href="https://aus.social/tags/Bayes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bayes</a> <a href="https://aus.social/tags/optimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#optimisation</a> <a href="https://aus.social/tags/AbductiveInference" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AbductiveInference</a>

Dr. Anna LatourMy colleagues at TU Delft are seeking to hire a postdoc to work on Applied Planning and Scheduling under Uncertainty, with applications in modelling supply chain scenarios for offshore wind farm installation: <a href="https://careers.tudelft.nl/job/Delft-Postdoc-in-Applied-Planning-and-Scheduling-under-Uncertainty-2628-CD/814890902/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://careers.tudelft.nl/job/Delft-Postdoc-in-Applied-Planning-and-Scheduling-under-Uncertainty-2628-CD/814890902/</a><a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicMastodon</a> <a href="https://mathstodon.xyz/tags/PostdocLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostdocLife</a> <a href="https://mathstodon.xyz/tags/Hiring" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hiring</a> <a href="https://mathstodon.xyz/tags/Research" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Research</a> <a href="https://mathstodon.xyz/tags/Planning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Planning</a> <a href="https://mathstodon.xyz/tags/Scheduling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scheduling</a> <a href="https://mathstodon.xyz/tags/ReasoningUnderUncertainty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ReasoningUnderUncertainty</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ArtificialIntelligence</a> <a href="https://mathstodon.xyz/tags/JobSearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JobSearch</a> <a href="https://mathstodon.xyz/tags/Vacancy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Vacancy</a> <a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicChatter</a> <a href="https://mathstodon.xyz/tags/Career" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Career</a> <a href="https://mathstodon.xyz/tags/CombinatorialOptimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CombinatorialOptimisation</a> <a href="https://mathstodon.xyz/tags/Sustainability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Sustainability</a> <a href="https://mathstodon.xyz/tags/EnergyTransition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#EnergyTransition</a> <a href="https://mathstodon.xyz/tags/Wind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Wind</a> <a href="https://mathstodon.xyz/tags/WindEnergy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WindEnergy</a> <a href="https://mathstodon.xyz/tags/ReinforcementLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ReinforcementLearning</a> <a href="https://mathstodon.xyz/tags/ML" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ML</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/WindTurbines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WindTurbines</a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ComputerScience</a> <a href="https://mathstodon.xyz/tags/Optimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimisation</a> <a href="https://mathstodon.xyz/tags/Optimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimization</a> <a href="https://mathstodon.xyz/tags/CombinatorialOptimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CombinatorialOptimization</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/AcademicCareer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicCareer</a> <a href="https://mathstodon.xyz/tags/Academia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Academia</a> <a href="https://mathstodon.xyz/tags/AcademicJob" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicJob</a> <a href="https://mathstodon.xyz/tags/AcademicJobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicJobs</a> <a href="https://mathstodon.xyz/tags/TUDelft" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TUDelft</a>

.:\dGh/:.This is a godsend. Having 14k subs is so unfair.<a href="https://www.youtube.com/watch?v=nnpPYlg1G2g" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=nnpPYlg1G2g</a><a href="https://mastodon.social/tags/YouTube" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#YouTube</a> <a href="https://mastodon.social/tags/Video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Video</a> <a href="https://mastodon.social/tags/Optimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimisation</a> <a href="https://mastodon.social/tags/Settings" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Settings</a> <a href="https://mastodon.social/tags/GameSettings" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GameSettings</a> <a href="https://mastodon.social/tags/Videogames" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Videogames</a> <a href="https://mastodon.social/tags/Gaming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Gaming</a> <a href="https://mastodon.social/tags/Game" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Game</a> <a href="https://mastodon.social/tags/Games" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Games</a> <a href="https://mastodon.social/tags/MarvelsSpiderman2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MarvelsSpiderman2</a> <a href="https://mastodon.social/tags/Marvel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Marvel</a> <a href="https://mastodon.social/tags/SpiderMan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SpiderMan</a> <a href="https://mastodon.social/tags/PC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PC</a> <a href="https://mastodon.social/tags/PCGaming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PCGaming</a> <a href="https://mastodon.social/tags/PCGames" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PCGames</a> <a href="https://mastodon.social/tags/PCGame" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PCGame</a>

Constraints JournalDear all,📓 This is the official account of the Constraints Journal (<a href="https://link.springer.com/journal/10601" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://link.springer.com/journal/10601</a>). 📣 We will use this account to notify you of new publications, extra materials, CfPs and special issues. 💬 We look forward to connecting with the CP community, and thank ACM for hosting.🚀 Please boost, tnx! <a href="https://mastodon.acm.org/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicMastodon</a> <a href="https://mastodon.acm.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ArtificialIntelligence</a> <a href="https://mastodon.acm.org/tags/AutomatedReasoning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AutomatedReasoning</a> <a href="https://mastodon.acm.org/tags/CombinatorialAlgorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CombinatorialAlgorithms</a> <a href="https://mastodon.acm.org/tags/ComputationalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ComputationalLogic</a> <a href="https://mastodon.acm.org/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ConstraintProgramming</a> <a href="https://mastodon.acm.org/tags/OperationsResearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OperationsResearch</a> <a href="https://mastodon.acm.org/tags/Optimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimisation</a> <a href="https://mastodon.acm.org/tags/Satisfiability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Satisfiability</a>

Dr. Anna LatourExcited to attend my first PhD defence at TU Delft: Daniël Vos will be defending his thesis "Decision Tree Learning: Algorithms for Robust Prediction and Policy Optimization", containing work he did under supervision of Prof. Dr. Ir. R.L. Lagendijk and Dr. Ir. Sicco Verwer.<a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicMastodon</a> <a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicChatter</a> <a href="https://mathstodon.xyz/tags/PhDLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhDLife</a> <a href="https://mathstodon.xyz/tags/Delft" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Delft</a> <a href="https://mathstodon.xyz/tags/TUDelft" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TUDelft</a> <a href="https://mathstodon.xyz/tags/DelftUniversityOfTechnology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DelftUniversityOfTechnology</a> <a href="https://mathstodon.xyz/tags/Dissertation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Dissertation</a> <a href="https://mathstodon.xyz/tags/Defence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Defence</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/PhDDefence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhDDefence</a> <a href="https://mathstodon.xyz/tags/DecisionTrees" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DecisionTrees</a> <a href="https://mathstodon.xyz/tags/Optimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimization</a> <a href="https://mathstodon.xyz/tags/Optimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimisation</a> <a href="https://mathstodon.xyz/tags/Algorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Algorithms</a> <a href="https://mathstodon.xyz/tags/ExplainableAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ExplainableAI</a> <a href="https://mathstodon.xyz/tags/RobustOptimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RobustOptimization</a> <a href="https://mathstodon.xyz/tags/RobustAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RobustAI</a> <a href="https://mathstodon.xyz/tags/Defense" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Defense</a> <a href="https://mathstodon.xyz/tags/PhDDefense" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhDDefense</a>

Dr. Anna Latour2/n Very much like this visualisation presented by Frank Phillipson (based on a fig from Caceres-Cruz et al., 2014) of solvers for optimisation problems. Might try to use this or something like it in the course on algorithm for NP-hard problems that I am involved in.<a href="https://mathstodon.xyz/tags/Algorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Algorithms</a> <a href="https://mathstodon.xyz/tags/Algorithmics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Algorithmics</a> <a href="https://mathstodon.xyz/tags/CombinatorialOptimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CombinatorialOptimisation</a> <a href="https://mathstodon.xyz/tags/CombinatorialOptimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CombinatorialOptimization</a> <a href="https://mathstodon.xyz/tags/Optimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimisation</a> <a href="https://mathstodon.xyz/tags/Optimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Optimization</a> <a href="https://mathstodon.xyz/tags/SIGAlgo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SIGAlgo</a> <a href="https://mathstodon.xyz/tags/SIGAlgo24" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SIGAlgo24</a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ComputerScience</a>

IT NewsThe Performance Impact of C++’s `final` Keyword for Optimization - In the world of software development the term ‘optimization’ is generally reason f... - <a href="https://hackaday.com/2024/04/24/the-performance-impact-of-cs-final-keyword-for-optimization/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://hackaday.com/2024/04/24/the-performance-impact-of-cs-final-keyword-for-optimization/</a> <a href="https://schleuss.online/tags/softwaredevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#softwaredevelopment</a> <a href="https://schleuss.online/tags/optimisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#optimisation</a> <a href="https://schleuss.online/tags/software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#software</a> <a href="https://schleuss.online/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#c</a>

Recent searches

Search options

Administered by:

Server stats:

#optimisation