Monthly Archives: June 2007

Collaborative Organic Synthesis (a subversive proposal)

Every months we get several new chemistry blogs - I don't have time to do more than glance at them but I was struck by a newcomer, TotallyRetrosynthetic. (TotallyFoo is a metasyntactic linguistic style sparked off by TotallySynthetic.) Retrosynthesis is … Continue reading

Posted in "virtual communities", chemistry, open issues | Leave a comment

Stochastic hyperslide at MKM2007

I have just given my presentation at Mathematical Knowledge Management 2007 for which I wrote an abstract about 2-3 months ago : Mathematics and scientific markup. I knew that in the intervevning time I would find something new to get … Continue reading

Posted in general, mkm2007 | 2 Comments

A snapshot of the chemical blogosphere

I want to show the mathematicians the vibrancy and value of the chemical blogosphere so - at random - I picked today's TotallySynthetic. By chance it's very fitting as it is a review of a paper by one of the … Continue reading

Posted in "virtual communities", chemistry | 2 Comments

Synergy between "MKM"-math and "CML"

In this post I am using the context of the Mathematical Knowledge Management 2007 conference to try to construct similarities in the MathML and CML communities and their thought processes. I'll show this list in my presentation tomorrow - I … Continue reading

Posted in chemistry, mkm2007, programming for scientists | Leave a comment

The Handbook of Integer Sequences

I am at the Mathematical Knowledge Management 2007 and having a wonderful time. At present Neil Sloane is talking about his marvellous On-Line Encyclopedia of Integer Sequences a collection of every known (and voluntarily communicated) sequence. e.g. what is next … Continue reading

Posted in mkm2007 | Leave a comment

OpenMath/MathML, CML and communities of practice

James Davenport - one of the originators of OpenMath is presenting the current status. (OpenMath and MathML are converging and although they are distinct I shall confalte them here). What is the formal semantics? OM has 4 flags: official experimental … Continue reading

Posted in chemistry, mkm2007 | Leave a comment

Towards Mechanized Mathematical Assistants (and the Scientist's Amanuensis)

I'm now at MKM2007 whose book[1] has the splendid title: Towards Mechanized Mathematical Assistants the vision that computers can work together with humans to enhance the the understanding of both parties. This vision has much in common with our own … Continue reading

Posted in mkm2007 | Leave a comment

HHMI - green or gold? And the data?

Peter Suber has highlighted a new policy by HHMI and given a careful critique of what "Open" may or may not mean. It's a good illustration of the fuzzy language that is often used to describe "Open".  See: HHMI mandates … Continue reading

Posted in data, open issues | Leave a comment

What we do at UCC - job opportunity in Polymer Informatics

I don't normally say very much in this blog about what our day jobs are; now is a useful time to do so. The Centre is sponsored by Unilever PLC - the multinational company with many brands in foods and … Continue reading

Posted in chemistry, Uncategorized | Leave a comment

Top-down or bottom-up ontologies?

I am working out some of the ideas I want to talk about at Mathematical Knowledge Management 2007 - and in this post I explore how a knowledge framework might be constructed, and also how it can be represented in … Continue reading

Posted in mkm2007 | Leave a comment