I was wondering if there was any work in the field of evolving 'creatures' moving in a virtual space, beyond what Karl Sims did 23 years ago. https://www.karlsims.com/evolved-virtual-creatures.html https://www.karlsims.com/galapagos/index.html It would be nice if Karl Sims could open source it as it is really inspiring visual example in the field of Artificial Life, next to seeing the generations of metuselahs unfold…
Formal Systems in Biology
11–20 of 38 posts
Re: Formal Systems in Biology
#12Re: Formal Systems in Biology
#13 > We shall presently describe a class of events which we will call "regular events" (We would welcome any suggestions as to a more descriptive term.*)
> [...]
> * McCulloch and Pitts use the term "prehensible," introduced rather differently; but since we did not understand their definition, we did not adopt the term.
So, had McCulloch and Pitts been a bit clearer in their seminal paper, then maybe it would have been called "prehensible expressions" :).[1] https://www.rand.org/content/dam/rand/pubs/research_memorand...
Re: Formal Systems in Biology
#14Re: Formal Systems in Biology
#15I ask because I'm starting my masters in CS, but I've also been going to workshops/events at a local citizen bio lab and really enjoying it. I'd really like to go deeper into the cross-section of CS and Bio, specifically the kinds of things listed in this repo (modeling biological phenomenon as formal systems, using computation to simulate those systems, etc.)
But when I look at potential programs to pursue after my CS course, I get a bit lost in all the different titles—bioinformatics, systems biology, computational biology, etc. It's hard for an outsider in the field to discern any meaningful delineation. Does anyone with experience in the field know what category of study these resources would fall under, from a university perspective?
Re: Formal Systems in Biology
#16https://www.youtube.com/watch?v=RjD1aLm4Thg
https://news.ycombinator.com/item?id=18736698
and
"Team Builds the First Living Robots, Tiny 'xenobots' assembled from cells..."
https://www.uvm.edu/uvmnews/news/team-builds-first-living-ro...
Re: Formal Systems in Biology
#17Wow - takes me back to my PhD - I think I must have read everything on that list that was published before 2000. Wonderful stuff! Steve
What was your thesis about?
Re: Formal Systems in Biology
#18Looks interesting, gotta take a closer look in the summer. I think it's Stanislaw (Ulam) not Stainslaw.
Re: Formal Systems in Biology
#19This maybe a rudimentary question, but if someone was going to study this at a university level, what would they study? I ask because I'm starting my masters in CS, but I've also been going to workshops/events at a local citizen bio lab and really enjoying it. I'd really like to go deeper into the cross-section of CS and Bio, specifically the kinds of things listed in this repo (modeling biological phenomenon as form…
Of those bioinformatics is more specific (usually genomics data); the other two are overlapping and pretty non-specific terms.
For example I started a Sys Bio PhD and ended up in a Comp Bio research group. A friend started the same way but ended up in control theory/microbiology.
The title and even the department are somewhat arbitrary and more to do with the organisation at the university than anything else (e.g. I was in CS but my friend was Engineering I think).
If you can find a good interdisciplinary course they will be familiar with people moving around depending on their interests.
Re: Formal Systems in Biology
#20This maybe a rudimentary question, but if someone was going to study this at a university level, what would they study? I ask because I'm starting my masters in CS, but I've also been going to workshops/events at a local citizen bio lab and really enjoying it. I'd really like to go deeper into the cross-section of CS and Bio, specifically the kinds of things listed in this repo (modeling biological phenomenon as form…
In particular, that repo collects what are basically discrete maths approaches to biology: representing living things as systems of symbols rather than differential equations. I have always found that approach intuitively appealing - something about biological robustness meaning you have an opportunity to ignore a load of quantitative details and focus on the underlying structure. But in twenty-five years of being vaguely interested in it, i have never seen a really productive application of that approach, outside of treating DNA as a string of symbols.
Still, perhaps 'marginal' is just another way of saying 'cutting-edge'. I think it's most likely to show up in elite research institutes where people can do slightly out-there stuff, or in explicitly cross-disciplinary institutes or programmes.
The specific terms you mention have different meanings to me:
bioinformatics - treating DNA, RNA, and protein sequences as text and applying computation to them, eg searching, phylogeny, structure and function prediction
computational biology - various approaches to simulating cells and tissues, usually involving numerically evaluating differential equations at some level, eg how morphogens cause tissue patterning
computational biophysics - computational chemistry but for large biomolecules, eg simulating how proteins work
systems biology - smoke and mirrors used to obtain grants
But biologists aren't really into rigorous definitions and fixed boundaries, so you might find interesting stuff within any of these.