Ursula Martin

Known as: Ursula Hilda Mary Martin 
Ursula Hilda Mary Martin CBE (born 1953) is a British computer scientist, with research interests in theoretical computer science and formal methods… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
The UniProt knowledgebase is a large resource of protein sequences and associated detailed annotation. The database contains over… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2017
2017
Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical… (More)
  • table 2
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The customization of a natural language interface to a certain application, domain or knowledge base still represents a major… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This study examines firm characteristics that lead to shareholder activism and analyzes the effects of activism on target firm… (More)
  • figure 1
  • table III
  • table IV
  • table V
  • table VI
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We used diffusion tensor imaging to examine white matter integrity in the dorsal and ventral streams among individuals with… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
Is this relevant?
2006
2006
MOTIVATION Since the knowledge about processes in living cells is increasing, modelling and simulation techniques are used to get… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2002
2002
A newly established Forsythia × intermedia cell suspension culture was shown to accumulate (+)- and (−)-pinoresinol as well as… (More)
  • figure 1
  • figure 2
Is this relevant?
2001
2001
BACKGROUND Hsp33 is a novel redox-regulated molecular chaperone. Hsp33 is present in the reducing environment of the cytosol and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The globalization of markets, the regionalization of technical and scientific expertise, and the rapid change in technologies are… (More)
  • table 1
  • figure 1
  • table 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1988
Highly Cited
1988
An environment is described, called Professor Marvel, that provides early error checking and answers questions about the program… (More)
  • figure 1
  • figure 4
  • figure 6
Is this relevant?