Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,055,824 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
Highly Cited
2017
Highly Cited
2017
Multi period disassembly-to-order of end of life product based on scheduling to maximize the profit in reverse logistic operation
T. Sathish
,
J. Jayaprakash
,
P. Senthil
,
R. Saravanan
2017
Corpus ID: 55751871
In recent era, the creation of electronic contraptions is expanding step by step, which leads to tremendous electronic waste…
Expand
2016
2016
Multi-objective optimization of LQR control quarter car suspension system using genetic algorithm
M. Nagarkar
,
V. Patil
2016
Corpus ID: 73638728
In this paper, genetic algorithm (GA) based multi-objective optimization technique is presented to search optimum weighting…
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
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
Low-complexity algorithm for fractional-pixel motion estimation
M. Sayed
,
Wael Badawy
,
G. Jullien
International Conference on Information Photonics
2009
Corpus ID: 18966158
This paper presents low-complexity algorithm for fractional-pixel motion estimation (FME). The proposed algorithm uses a…
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
2008
2008
A Flexible Heterogeneous Hardware/Software Solution for Real-Time HD H.264 Motion Estimation
F. Urban
,
Ronan Poullaouec
,
J. Nezan
,
O. Déforges
IEEE transactions on circuits and systems for…
2008
Corpus ID: 25148360
Quarter-pixel accuracy and variable block-size significantly enhance compression performances of the MPEG-4 AVC/H.264 video…
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