Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Administered by:

Server stats:

9K
active users

mastodon.world: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#cs

19 posts13 participants7 posts today
Public *
Somosdisca :vf:

Hola Titánicos, cada 19 de mayo se celebra el día Mundial del Médico de Familia, visibilizando el gran trabajo que realizan estos médicos, este año bajo el lema: “Cuidando a todos, pero también con necesidad de ser cuidados"

somosdisca.es/dia-mundial-del-

#díaMundialdelMédicodeFamilia, #MédicodeFamilia #medicodeatencionprimaria #atencionprimaria #AP #centrodesalud #CS #atencionmedica #medico #medicos #doctores #doctor #salud #enfermedad #cuidados #prevencion #dolor #saludmental #discapacidad #disability #visibilidad #visibilizar #MIR #disabilities #disca #titan #titanicos #titanico #gentetitanica #somosdisca

Somosdisc@ · Día Mundial del Médico de Familia 2025 - Somosdisc@Cada 19 de mayo se celebra el día Mundial del Médico de Familia, para visibilizar el gran trabajo que realizan estos médicos.
Public
Rxiv mechanobio

📰 "Potential failures of physics-informed machine learning in traffic flow modeling: theoretical and experimental analysis"
arxiv.org/abs/2505.11491 #Physics.Comp-Ph #Dynamics #Matrix #Cs.Lg

arXiv logo
arXiv.orgPotential failures of physics-informed machine learning in traffic flow modeling: theoretical and experimental analysisThis study critically examines the performance of physics-informed machine learning (PIML) approaches for traffic flow modeling, defining the failure of a PIML model as the scenario where it underperforms both its purely data-driven and purely physics-based counterparts. We analyze the loss landscape by perturbing trained models along the principal eigenvectors of the Hessian matrix and evaluating corresponding loss values. Our results suggest that physics residuals in PIML do not inherently hinder optimization, contrary to a commonly assumed failure cause. Instead, successful parameter updates require both ML and physics gradients to form acute angles with the quasi-true gradient and lie within a conical region. Given inaccuracies in both the physics models and the training data, satisfying this condition is often difficult. Experiments reveal that physical residuals can degrade the performance of LWR- and ARZ-based PIML models, especially under highly physics-driven settings. Moreover, sparse sampling and the use of temporally averaged traffic data can produce misleadingly small physics residuals that fail to capture actual physical dynamics, contributing to model failure. We also identify the Courant-Friedrichs-Lewy (CFL) condition as a key indicator of dataset suitability for PIML, where successful applications consistently adhere to this criterion. Lastly, we observe that higher-order models like ARZ tend to have larger error lower bounds than lower-order models like LWR, which is consistent with the experimental findings of existing studies.
Public
Rxiv mechanobio

📰 "Modeling Cell Dynamics and Interactions with Unbalanced Mean Field Schr\"odinger Bridge"
arxiv.org/abs/2505.11197 #Dynamics #Q-Bio.Qm #Math.Oc #Cs.Lg #Cell

arXiv logo
arXiv.orgModeling Cell Dynamics and Interactions with Unbalanced Mean Field Schrödinger BridgeModeling the dynamics from sparsely time-resolved snapshot data is crucial for understanding complex cellular processes and behavior. Existing methods leverage optimal transport, Schrödinger bridge theory, or their variants to simultaneously infer stochastic, unbalanced dynamics from snapshot data. However, these approaches remain limited in their ability to account for cell-cell interactions. This integration is essential in real-world scenarios since intercellular communications are fundamental life processes and can influence cell state-transition dynamics. To address this challenge, we formulate the Unbalanced Mean-Field Schrödinger Bridge (UMFSB) framework to model unbalanced stochastic interaction dynamics from snapshot data. Inspired by this framework, we further propose CytoBridge, a deep learning algorithm designed to approximate the UMFSB problem. By explicitly modeling cellular transitions, proliferation, and interactions through neural networks, CytoBridge offers the flexibility to learn these processes directly from data. The effectiveness of our method has been extensively validated using both synthetic gene regulatory data and real scRNA-seq datasets. Compared to existing methods, CytoBridge identifies growth, transition, and interaction patterns, eliminates false transitions, and reconstructs the developmental landscape with greater accuracy.
Public
Tariq

Today I have been learning the basics of λ-calculus

α- equivalence

β- reduction

... all necessary basics before I can get the cool stuff about using type checkers to prove maths (I think).

#cs#maths
Public *
Tariq

learning the basics of λ-calculus

book says the term λx. (x x) has 4 sub terms :

λx. (xx)
(xx)
left x in (x x)
right x in (x x)

BUT not the x in λx

why is this?

is it because the y in λy (something) is only pointing out which variable in (something) is the "abstract" variable, or the one that takes on values to whatever (something) is applied to?

in which case why is λx. (x x) different to (xx) ?

#cs#maths#typetheory
Public
Rxiv mechanobio

📰 "VTX: Real-time high-performance molecular structure and dynamics visualization software"
arxiv.org/abs/2501.12750 #Physics.Chem-Ph #Dynamics #Q-Bio.Bm #Cs.Gr #Cell

arXiv logo
arXiv.orgVTX: Real-time high-performance molecular structure and dynamics visualization softwareSummary: VTX is a molecular visualization software capable to handle most molecular structures and dynamics trajectories file formats. It features a real-time high-performance molecular graphics engine, based on modern OpenGL, optimized for the visualization of massive molecular systems and molecular dynamics trajectories. VTX includes multiple interactive camera and user interaction features, notably free-fly navigation and a fully modular graphical user interface designed for increased usability. It allows the production of high-resolution images for presentations and posters with custom background. VTX design is focused on performance and usability for research, teaching and educative purposes. Availability and implementation: VTX is open source and free for non commercial use. Builds for Windows and Ubuntu Linux are available at http://vtx.drugdesign.fr. The source code is available at https://github.com/VTX-Molecular-Visualization . Supplementary Information: A video displaying free-fly navigation in a whole-cell model is available
Public *
Tariq

I'm on the last chapter of the University of Finland's Haskell mooc course.

Of all the languages I've tried over 30+ years

* #haskell pushed me to think in terms of higher-order functions - and also to value the importance of types

* #prolog was the first to make think declaratively and to solve problems by riding on its internal (search) mechanism

* #6502 on the BBC micro gave me empathy for what's happening "on metal"

* #lean opened my eyes to the power of #cs theory to check maths

ExploreLive feeds
About