From 9a08d8e97088446de479b87e4b521a2d4475f6d0 Mon Sep 17 00:00:00 2001 From: ChrisRackauckas Date: Mon, 27 Jan 2025 18:37:59 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20JuliaLan?= =?UTF-8?q?g/www.julialang.org@ad894ac3463feadd87e24a1196d166e9caf13435=20?= =?UTF-8?q?=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- build.log | 2 +- jsoc/allprojects/index.html | 62 ++++ jsoc/gsoc/symbolics/index.html | 62 ++++ sitemap.xml | 498 ++++++++++++++++----------------- 4 files changed, 374 insertions(+), 250 deletions(-) diff --git a/build.log b/build.log index b4b3e8317e..e97206f19c 100644 --- a/build.log +++ b/build.log @@ -1,2 +1,2 @@ -added 1 package in 608ms +added 1 package in 509ms diff --git a/jsoc/allprojects/index.html b/jsoc/allprojects/index.html index e2b6f5551d..7da91b7b36 100644 --- a/jsoc/allprojects/index.html +++ b/jsoc/allprojects/index.html @@ -1550,6 +1550,68 @@

Herbie documents a way to optimize floating point functions so as to reduce instruction count while reorganizing operations such that floating point inaccuracies do not get magnified. It would be a great addition to have this written in Julia and have it work on Symbolics.jl expressions. An ideal implementation would use the e-graph facilities of Metatheory.jl to implement this.

Mentors: Shashi Gowda, Alessandro Cheli

Duration: 350 hours

+

Reparametrizing ODE models with scaling transformations

+

Project Overview: Many ODE models appearing in applications have hidden symmetries which makes the solution of data fitting problem nonunique. StructuralIdentifiability.jl offers algorithms for proposing new coordinates for the model removing this redundancy. The approach used at the moment relies on heavy computations and may be very slow for larger models. Scaling is a particular type of reparametrizations which can be discovered much faster. The goal of the project would be to implement such faster algorithms (adapting them to the context of identifiability assessment) and integrate into StructuralIdentifiability.jl.

+

Mentors: Alexander Demin, Gleb Pogudin

+

Project Difficulty: Medium

+

Estimated Duration: 350 hours

+

Ideal Candidate Profile:

+ +

Project Goals and Deliverables:

+ +

Useful References:

+ +

Polynomialization of ordinary differential equations

+

Project Overview: Many ODE models arising in modeling involve nonpolynomial functions (fractions, exponentials, trigonometric, etc). Polynomialization is the rewriting of nonpolynomial functions as equivalent polynomial equations. It is a necessary preprocessing step in several contexts (structural identifiability, model order reduction, reaction network synthesis). The project aims at implementing a package for polynomialization of ODEs and, potentially, adapting it for use in StructuralIdentifiability.jl.

+

Mentors: Alexander Demin, Gleb Pogudin, Chris Rackauckas

+

Project Difficulty: Medium

+

Estimated Duration: 350 hours

+

Ideal Candidate Profile:

+ +

Project Goals and Deliverables:

+ +

Useful References:

+

Taija Projects

Taija is an organization that hosts software geared towards Trustworthy Artificial Intelligence in Julia. Taija currently covers a range of approaches towards making AI systems more trustworthy: