Annotated link http://www.diigo.com/bookmark/http://mayoresearch.mayo.edu/mayo/research/staff/fridley_bl.cfm

does Belay use an encrypted vat for serialization?

interesting... Alloy

ugh. conversion from natural deduction to axiomatic is a pain. Annotated link http://www.diigo.com/bookmark/http://en.wikipedia.org/wiki/Deduction_theorem#Conversion_from_proof_using_the_deduction_meta-theorem_to_axiomatic_proof

my PHL313K prof

larch
Roy
topology
fractals
diff eq
stats
simpy (a la mathematica). jsmath?
owl, i2b2

saw him present clinicaltrials.gov inclusion exclusion criteria mining Oct 2010 in DC

Annotated link http://www.diigo.com/bookmark/http://research.microsoft.com/en-us/projects/fine

I'd like to play with one of the python mathematica work-alikes that does stats to study stuff like this...

9 Excel spreadsheets -> OWLspell check, duplicatesdata normalization: anionic names, ...

?, 11179 ISO

compare difference in data: how? distribution?
 - local description
 - mean, stddev
 - units of measure
 - list of values and frequency, for non-numerics
 - overall frequency

code written in python/java, installed in VM

456 3-cycles
2/3 accounted by cat 1,2

Q: Veins vs Arteries: only in text?
A: yes

Q: patching in derived... interfere with regenerating source vocab?
A: sometimes reflects bug in src (snomed example)... or you can mask

Q: applicability beyond UMLS?
A: ...

CEM Clinical Element Model

represented in CEML (syntax, not semantics. (?))

CEM underspecified w.r.t. OWL, though you can write clinical decision support rules (?)
authored in CDL: Constraint Definition Language [CEML?]

core: separate from context/provenance ("ordered within...")

Q: consistency checking benefits yet?
A: not yet, but we'll be converting CEMs, where we expect to find consistency issues

Q: ... RDF ...
A: UIMA pipelines

credit for work experience, online degree

talked with Matthew.Lechtenberg@ischool.drexel.edu

chime's presentation materials

bummer

egon

KANSAS CITY, Kan., March 8, 2011 /PRNewswire/ -- The University of Kansas Cancer Center and Kansas City Cancer Center (KCCC) announced today they will combine operations, creating an outpatient cancer care organization.  The partnership will expand opportunities for advanced cancer research, Phase I clinical research trials and supports the efforts of National Cancer Institute (NCI) designation.  Current and future patients will have greater access to 50 hematologists, oncologists and radiation oncologists at 12 locations, offering the most comprehensive cancer care in the region.
This partnership will unite two premier cancer centers, combining the area's leading community-based oncology program with the area's premier academic medical center to create an unprecedented approach to cancer prevention, diagnosis, treatment and survivorship for patients in this region and a national model for cancer care delivery.

"the principle of induction is never valid for a Haskell program!"

Initial Semantic Web support
Given PowerLoom's emphasis on expressive representation, we have not yet focused much on Semantic Web languages such as OWL, which restricts expressivity to gain decidability. OWL also has other limitations such as restriction to binary relations and lack of support for arithmetic and inequalities which limits its usefulness for practical applications.

"Digital Vita is based on a social network and allows users to manage CV and NIH biosketch information, and to create and edit an online profile. " hResume, please?

"The current design of Digital|Vita provides for several standard output formats for biographical information such as a university-specific CV, a brief CV, and NIH and NSF biosketches. " how about hResume?

oops... I should have let Deb put my name on this.

on mad scientists