Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,548,578 papers from all fields of science
Search
Sign In
Create Free Account
Kaisa Sere
Kaisa Sere (1954 – 5 December 2012) was a Finnish computer scientist, specialising in research into formal methods. Kaisa Sere was born in Kokkola…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Computer science
Formal methods
Lecture Notes in Computer Science
Ralph-Johan Back
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A collective case study of athletic identity and successful injury rehabilitation
Kaisa-Mari Jama
2015
Corpus ID: 55970894
Jama Kaisa-Mari, 2015. A Collective Case Study of Athletic Identity and Successful Injury Rehabilitation. Master’s Thesis in…
Expand
2014
2014
Changes in diversity and importance of clonal plants during sand dune succession in northeastern China
Jiyi Zhang
,
Ying Wu
Ecological research
2014
Corpus ID: 15984363
Many major biomes throughout the world are dominated by plants with clonal growth forms. While many recent studies have examined…
Expand
2011
2011
Den nye grammatikken i høgere utdanning
Sissel Østrem
2011
Corpus ID: 190976852
Artikkelen diskuterer det nasjonale kvalifi kasjonsrammeverket for hogere utdanning, dets tilblivelse og utforming. Spesielt…
Expand
Review
2007
Review
2007
Corneal Epithelial Cell Culture Model for Pharmaceutical Studies
Y. J. A. F. Tieteet
2007
Corpus ID: 17850210
In general, drug absorption into the eye from eye drops is limited. Only 1-7% of the dose eventually reaches aqueous humor since…
Expand
2006
2006
Moisture Buffering in the Indoor Environment
K. Svennberg
2006
Corpus ID: 127063256
Moisture buffering in the indoor environment is the ability, through absorption and desorption, of surface materials to attenuate…
Expand
2005
2005
Foltok detektálása mammogrammokon textúra-analízis segítségével
Tóth Norbert
2005
Corpus ID: 192562997
A nok daganatos megbetegedesei kozott az egyikleggyakoribb az emlorak [1]. Statisztika szerint mindennyolcadik noben elete soran…
Expand
2004
2004
Automata Construction for Regular Expressions in Model Checking
Shoham Ben-David
,
D. Fisman
,
Sitvanit Ruah
2004
Corpus ID: 18921029
Industrial temporal languages like PSL/Sugar and ForSpec have augmented the language with Regular Expressions ( REs). An RE…
Expand
2003
2003
Spike detection and correction in Brewer spectroradiometer ultraviolet spectra
O. Meinander
,
W. Josefsson
,
J. Kaurola
,
T. Koskela
,
K. Lakkala
2003
Corpus ID: 55644053
The occurrence of spikes in Brewer UV spectra is studied. Use is made of continuous measurement data over several years, com…
Expand
1994
1994
Changes in vegetation and nutrient pools during riparian succession
K. Boggs
,
T. Weaver
Wetlands (Wilmington, N.C.)
1994
Corpus ID: 21219714
Changes in vegetation composition, structure, biomass, and the nutrient pools of phosphorus, nitrogen, and potassium are…
Expand
1969
1969
Einige aktuelle Probleme der Blutgruppenkunde (Die Protectine)
O. Prokop
Klinische Wochenschrift
1969
Corpus ID: 24292111
B b U ~ A ~ , It. T., and A. W. B~a~s: Adv. GeronfoI. Res. 1, 289 (1964). B~ADBU~Y, S., and H. S. MIeKLF~: Am,zr. J. Path. 46…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE