501 citations
- T. Ransford15 · h 26
- P. Mathieu14 · h 31
- A. Chbihi2 profiles13 · h 32
- E. Rosato2 profiles13 · h 34
- G. Joncas3 profiles13 · h 29
- M. Pârlog2 profiles13 · h 29
- B. Borderie2 profiles12 · h 39
- E. Galichet2 profiles12 · h 26
- L. Drissen12 · h 32
- M. Vigilante2 profiles12 · h 29
- R. Bougault2 profiles12 · h 33
- R. Roy3 profiles12 · h 19
- Centre for Research in Astrophysics of QuébecCA41 papers
- Centre National de la Recherche ScientifiqueFR37 papers
- Université de MontréalCA19 papers
- Canadian Institute for Theoretical AstrophysicsCA16 papers
- University of TorontoCA16 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR14 papers
- Grand Accélérateur National d'Ions LourdsFR13 papers
- European Southern ObservatoryCL12 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT12 papers
- Max Planck Institute for AstronomyDE12 papers
- CEA Paris-SaclayFR11 papers
- Herzberg Institute of AstrophysicsCA11 papers
4 papers · 1 filter
The JCMT Gould Belt Survey: A First Look at the Auriga-California Molecular Cloud with SCUBA-2
H. Broekhoven-Fiene, B. C. Matthews, P. Harvey +57
We present 850 and 450 micron observations of the dense regions within the Auriga-California molecular cloud using SCUBA-2 as part of the JCMT Gould Belt Legacy Survey to identify…
Circular Antenna Array Design for Breast Cancer Detection
Kalthoum Ouerghi, Najib Fadlallah, Amor Smida +3
Microwave imaging for breast cancer detection is based on the contrast in the electrical properties of healthy fatty breast tissues. This paper presents an industrial, scientific a…
Secrecy by Witness-Functions on Increasing Protocols
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
In this paper, we present a new formal method to analyze cryptographic protocols statically for the property of secrecy. It consists in inspecting the level of security of every co…
Secrecy by Witness-Functions under Equational Theories
Jaouhar Fattahi, Mohamed Mejri
In this paper, we use the witness-functions to analyze cryptographic protocols for secrecy under nonempty equational theories. The witness-functions are safe metrics used to comput…