The Thiele Machine – Coq-Verified Computational Model Beyond Turing

https://github.com/sethirus/The-Thiele-Machine

#HackerNews #ThieleMachine #CoqVerification #ComputationalModels #BeyondTuring #HackerNews

Pulmonary diseases accurate recognition using adaptive multiscale feature fusion in chest radiography

Data processing of pulmonary medical images This experimental dataset is derived from four publicl…
#NewsBeep #News #Headlines #Computationalmodels #Computeraideddiagnosis #Computerscience #Deeplearning #Featurefusion #HumanitiesandSocialSciences #Imageprocessing #Latvia #LV #machinelearning #multidisciplinary #Pulmonarydiseases #Respiratorytractdiseases #Science
https://www.newsbeep.com/51159/

The #Tolman "sunburst maze" results (from 1946) are often used to demonstrate shortcut ability in rats... but do they really? More on this later!

For now, would you know of any #ComputationalModels that were tested in this protocol (whether they replicate the original results or not)? We know of a few (well... 4) but would like to make sure we are not missing any.

#BehaviouralNeuroscience #SpatialCognition #Shortcuts #CognitiveMap #Neuroscience (kind of)

Hello Mastodon!

#introduction

This is the official account for COPASI, the popular open source software for modeling and simulation of biochemical reaction networks

#SystemsBiology
#Chemistry
#Kinetics
#ChemicalKinetics
#ReactionNetworks
#Dynamics
#ComputationalModels

Secrets of Memory - How AI Models Mimic the Human Brain's Learning and Recall Processes: https://www.reviewspace.info/secrets-of-memory-how-ai-models-mimic-the-human-brain-s-learning-and-recall-processes

#ArtificialIntelligence #AI #Neuroscience #GenerativeNeuralNetwork #CognitiveProcesses #HumanBrain #ComputationalModels #TechnologyNews #Science #ReviewSpace

Large language models are universal biomedical simulators
https://www.biorxiv.org/content/10.1101/2023.06.16.545235v1?rss=1

LLMs such as GPT-4 have proven surprisingly successful for a wide range of tasks. We explore the potential of leveraging LLMs as simulators of biological systems.

This text-based simulation paradigm is well-suited for modeling & understanding complex living systems difficult to describe with physics-based 1st-principle simulations

#LLM #LargeLanguageModels #GPT4 #ComputationalModels #biomedical

Microplastics stick around in human airways
https://www.sciencedaily.com/releases/2023/06/230613190832.htm

Inhaled microplastics can pose serious health risks; understanding how they travel in the respiratory system is essential for prevention & treatment of respiratory diseases. Researchers developed a computational fluid dynamics model to analyze microplastic transport & deposition in the upper airway. ...

#pollution #microplastics #EnvironmentalHealth #toxicology #environment #ComputationalModels #modeling #bioaccululation

There will be two interesting #ComputationalNeuroscience seminars this Wednesday, both online:

Simon Danner, "#ComputationalModels of spinal locomotor circuitry"
⏰ Wednesday, June 14, 2023 10:00 AM CET
🌎 https://www.world-wide.org/seminar/9337/

Neil Burgess, "Understanding our #memory system as a #GenerativeModel"
⏰ Wednesday, June 14, 2023 3:00 PM CET
🌎 https://www.ucl.ac.uk/research/domains/events/2023/jun/ucl-neuroai-talk-series-professor-neil-burgess

#compneuro #neuroscience

Hello Mastodon!

This is the official account for COPASI, the popular open source software for modeling and simulation of biochemical reaction networks

#SystemsBiology #Chemistry #Kinetics #ChemicalKinetics #ReactionNetworks #Dynamics #ComputationalModels