Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,130,286 papers from all fields of science
Search
Sign In
Create Free Account
Formal Methods Europe
Known as:
FME
Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
APCB
BCS-FACS
Computer hardware
ForTIA
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Influence of a base reflector on the performance of double exposure boxtype solar cookers with and without heat storage materials
O. B. Adetifa
,
K. Aremu
2018
Corpus ID: 54853677
Water heating experiments were carried out on four different double exposure box-type solar cookers(DEBSCs) containing different…
Expand
2015
2015
The Influence of Poly-Molecular Adsorption on the Rheological Behaviour of Lubricating Oil in a Thin Layer
I. Mukchortov
,
E. Zadorozhnaya
,
I. Levanov
,
Kseniya Pochkaylo
2015
Corpus ID: 55674971
The explanation and modelling of the impact of anti-wear additives in lubricants at modes and friction characteristics involves…
Expand
2014
2014
Effects of feeding by-products; maggot meal, fish meal, soybean meal, blood meal and beef brain on growth, survival and carcass composition of African catfish, Heterobranchus longifilis Valenciennes…
B. Atse
,
Y. Ossey
,
K. M. Koffi
,
P. Kouamé
2014
Corpus ID: 62825146
A forty nine-days feeding trial was conducted in aquaria at density of 1 larvalL to evaluate the growth performances, survival…
Expand
2012
2012
Bedrifters utbytte av deltagelse i FME (Forskingssenter for Miljøvennlig Energi)
Morten Stensli
2012
Corpus ID: 107659870
Denne masteroppgaven er en studie av verdiskapningen som skjer for partnerbedrifter i forskingssentre for miljovennlig energi…
Expand
2011
2011
An Efficient VLSI Architecture of Fractional Motion Estimation in H.264 for HDTV
G. Ruiz
,
J. A. Michell
Journal of Signal Processing Systems
2011
Corpus ID: 6864615
Fractional Motion Estimation (FME) in high-definition H.264 presents a significant design challenge in terms of memory bandwidth…
Expand
2009
2009
INTERRUPTED MACHINING TESTS OF CERAMIC CUTTING TOOLS
R. Čep
,
J. Nováková
2009
Corpus ID: 106490386
This paper deals with ceramic cutting tools availability during interrupted machining. Experiments will be provided at special…
Expand
2009
2009
Application of Data Translation Based on FME Semantic Mapping
Tao Liu
2009
Corpus ID: 63838020
This paper introduced the FME semantic mapping and transfer specification detailedly,and analysed the spatial data translation…
Expand
2001
2001
Conflict management and exit strategies in buyer-relationships in foreign markets: A case study of an Australian citrus fruit exporter
S. Freeman
2001
Corpus ID: 18407886
This study will examine the conflict and dissolution strategies of interorganizational buyer-relationships. Prior to the…
Expand
Highly Cited
1995
Highly Cited
1995
Flow rate modulation epitaxy of AlGaAs/GaAs quantum wires on nonplanar substrate
Xue-Lun Wang
,
M. Ogura
,
H. Matsuhata
1995
Corpus ID: 122341900
Flow rate modulation epitaxy (FME) is applied to the low‐temperature growth of AlGaAs/GaAs quantum wires (QWRs) on nonplanar…
Expand
1990
1990
Growth and Polyamine Production of Alteromonas spp in Fish Meat Extracts Under Modified Atmosphere
Satoru Suzuki
,
J. Noda
,
K. Takama
1990
Corpus ID: 54861959
Both marine and terrestrial types of Alteromonas 8pp were studied for their growth and polyamine production in fish meat enacts…
Expand