SAFARI

SAFARI was an attempt by the French government, under the presidency of Georges Pompidou, to create a centralized database of personal data. The… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1994-2017
0246819942017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Utilizing state-of-the-art TES detector arrays, the SAFARI imaging spectrometer onboard the Japanese SPICA mission will take… (More)
  • figure 2
  • figure 1
Is this relevant?
2012
2012
We present SAFARI, a model checker designed to prove (possibly universally quantified) safety properties of imperative programs… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2012
2012
The SAFARI instrument is a far-infrared imaging Fourier transform spectrometer for JAXA's SPICA mission. Taking advantage of the… (More)
  • table I
  • table II
  • figure 1
  • table III
  • figure 2
Is this relevant?
2010
2010
SPICA, a Japanese led mission, is part of the JAXA future science program and is planned for launch in 2018. SPICA will perform… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2006
2006
Getting a new programming language into the hands of users is still a huge undertaking. SAFARI is an Eclipse-based meta-tooling… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
[1] The Southern African Regional Science Initiative (SAFARI 2000) was a major surface, airborne, and spaceborne field campaign… (More)
  • figure 1
  • figure 2
Is this relevant?
2003
2003
[1] During the Aerosol Recirculation and Rainfall Experiment (ARREX 1999) and Southern African Regional Science Initiative… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
[1] On 11 September 2000, a NASA ER-2 aircraft underflew the Terra spacecraft during the Southern Africa Regional Science… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 4
Is this relevant?
2001
2001
  • M. A. Wani
  • IEEE Trans. Systems, Man, and Cybernetics, Part B
  • 2001
This paper describes a new algorithm for obtaining rules automatically from training examples. The algorithm is applicable to… (More)
  • table I
  • table II
  • table III
  • table IV
  • table V
Is this relevant?
1994
1994
industrial formation requires specific tools and architecture. The Safari project aims at developing various architectures with… (More)
  • figure 1
  • figure 2
Is this relevant?