Showing 1–6 of 6 results for author: Fontaine, A

A Graph Theory Approach for Regional Controllability of Boolean Cellular Automata

Authors: Sara Dridi, Samira El Yacoubi, Franco Bagnoli, Allyx Fontaine

Abstract: Controllability is one of the central concepts of modern control theory that allows a good understanding of a system's behaviour. It consists in constraining a system to reach the desired state from an initial state within a given time interval. When the desired objective affects only a sub-region of the domain, the control is said to be regional. The purpose of this paper is to study a particular… ▽ More Controllability is one of the central concepts of modern control theory that allows a good understanding of a system's behaviour. It consists in constraining a system to reach the desired state from an initial state within a given time interval. When the desired objective affects only a sub-region of the domain, the control is said to be regional. The purpose of this paper is to study a particular case of regional control using cellular automata models since they are spatially extended systems where spatial properties can be easily defined thanks to their intrinsic locality. We investigate the case of boundary controls on the target region using an original approach based on graph theory. Necessary and sufficient conditions are given based on the Hamiltonian Circuit and strongly connected component. The controls are obtained using a preimage approach. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Journal ref: International Journal of Parallel, Emergent and Distributed Systems 35, 499-513 (2019)

Spatial resolution in atom probe tomography

Authors: Baptiste Gault, Michael P. Moody, Frederic de Geuser, Alex La Fontaine, Leigh T. Stephenson, Daniel Haley, Simon P. Ringer

Abstract: This article addresses gaps in definitions and a lack of standard measurement techniques to assess the spatial resolution in atom probe tomography. This resolution is known to be anisotropic, being better in the depth than laterally. Generally the presence of atomic planes in the tomographic reconstruction is considered as being a sufficient proof of the quality of the spatial resolution of the in… ▽ More This article addresses gaps in definitions and a lack of standard measurement techniques to assess the spatial resolution in atom probe tomography. This resolution is known to be anisotropic, being better in the depth than laterally. Generally the presence of atomic planes in the tomographic reconstruction is considered as being a sufficient proof of the quality of the spatial resolution of the instrument. Based on advanced spatial distribution maps, an analysis methodology that interrogates the local neighborhood of the atoms within the tomographic reconstruction, it is shown how both the in-depth and the lateral resolution can be quantified. The influences of the crystallography and the temperature are investigated, and models are proposed to explain the observed results. We demonstrate that the absolute value of resolution is specimenspecific. △ Less

Submitted 10 October, 2015; originally announced October 2015.

Journal ref: Microscopy & Microanalysis 16, 99 110 2010

The k-mismatch problem revisited

Authors: Raphaël Clifford, Allyx Fontaine, Ely Porat, Benjamin Sach, Tatiana Starikovskaya

Abstract: We revisit the complexity of one of the most basic problems in pattern matching. In the k-mismatch problem we must compute the Hamming distance between a pattern of length m and every m-length substring of a text of length n, as long as that Hamming distance is at most k. Where the Hamming distance is greater than k at some alignment of the pattern and text, we simply output "No". We study this… ▽ More We revisit the complexity of one of the most basic problems in pattern matching. In the k-mismatch problem we must compute the Hamming distance between a pattern of length m and every m-length substring of a text of length n, as long as that Hamming distance is at most k. Where the Hamming distance is greater than k at some alignment of the pattern and text, we simply output "No". We study this problem in both the standard offline setting and also as a streaming problem. In the streaming k-mismatch problem the text arrives one symbol at a time and we must give an output before processing any future symbols. Our main results are as follows: 1) Our first result is a deterministic $O(n k^2\log{k} / m+n \text{polylog} m)$ time offline algorithm for k-mismatch on a text of length n. This is a factor of k improvement over the fastest previous result of this form from SODA 2000 by Amihood Amir et al. 2) We then give a randomised and online algorithm which runs in the same time complexity but requires only $O(k^2\text{polylog} {m})$ space in total. 3) Next we give a randomised $(1+ε)$-approximation algorithm for the streaming k-mismatch problem which uses $O(k^2\text{polylog} m / ε^2)$ space and runs in $O(\text{polylog} m / ε^2)$ worst-case time per arriving symbol. 4) Finally we combine our new results to derive a randomised $O(k^2\text{polylog} {m})$ space algorithm for the streaming k-mismatch problem which runs in $O(\sqrt{k}\log{k} + \text{polylog} {m})$ worst-case time per arriving symbol. This improves the best previous space complexity for streaming k-mismatch from FOCS 2009 by Benny Porat and Ely Porat by a factor of k. We also improve the time complexity of this previous result by an even greater factor to match the fastest known offline algorithm (up to logarithmic factors). △ Less

Submitted 27 August, 2015; v1 submitted 4 August, 2015; originally announced August 2015.

Dictionary matching in a stream

Authors: Raphael Clifford, Allyx Fontaine, Ely Porat, Benjamin Sach, Tatiana Starikovskaya

Abstract: We consider the problem of dictionary matching in a stream. Given a set of strings, known as a dictionary, and a stream of characters arriving one at a time, the task is to report each time some string in our dictionary occurs in the stream. We present a randomised algorithm which takes O(log log(k + m)) time per arriving character and uses O(k log m) words of space, where k is the number of strin… ▽ More We consider the problem of dictionary matching in a stream. Given a set of strings, known as a dictionary, and a stream of characters arriving one at a time, the task is to report each time some string in our dictionary occurs in the stream. We present a randomised algorithm which takes O(log log(k + m)) time per arriving character and uses O(k log m) words of space, where k is the number of strings in the dictionary and m is the length of the longest string in the dictionary. △ Less

Submitted 23 April, 2015; originally announced April 2015.

Influence of domain wall interactions on nanosecond switching in magnetic tunnel junctions

Authors: Jan Vogel, Wolfgang Kuch, Riccardo Hertel, Julio Camarero, Keiki Fukumoto, Fabien Romanens, Stefania Pizzini, Marlio Bonfim, Frédéric Petroff, Alain Fontaine, Jürgen Kirschner

Abstract: We have obtained microscopic evidence of the influence of domain wall stray fields on the nanosecond magnetization switching in magnetic trilayer systems. The nucleation barrier initiating the magnetic switching of the soft magnetic Fe20Ni80 layer in magnetic tunnel junction-like FeNi/Al2O3/Co trilayers is considerably lowered by stray fields generated by domain walls present in the hard magneti… ▽ More We have obtained microscopic evidence of the influence of domain wall stray fields on the nanosecond magnetization switching in magnetic trilayer systems. The nucleation barrier initiating the magnetic switching of the soft magnetic Fe20Ni80 layer in magnetic tunnel junction-like FeNi/Al2O3/Co trilayers is considerably lowered by stray fields generated by domain walls present in the hard magnetic Co layer. This internal bias field can significantly increase the local switching speed of the soft layer. The effect is visualized using nanosecond time- and layer-resolved magnetic domain imaging and confirmed by micromagnetic simulations. △ Less

Submitted 1 September, 2005; originally announced September 2005.

Comments: 5 Pages, 3 Figures. Submitted to Physical Review Letters

Journal ref: Physical Review B 72 (2005) 220402

Interplay between magnetic anisotropy and interlayer coupling in nanosecond magnetization reversal of spin-valve trilayers

Authors: Jan Vogel, Wolfgang Kuch, Julio Camarero, Keiki Fukumoto, Yan Pennec, Stefania Pizzini, Marlio Bonfim, Frédéric Petroff, Alain Fontaine, Jürgen Kirschner

Abstract: The influence of magnetic anisotropy on nanosecond magnetization reversal in coupled FeNi/Cu/Co trilayers was studied using a photoelectron emission microscope combined with x-ray magnetic circular dicroism. In quasi-isotropic samples the reversal of the soft FeNi layer is determined by domain wall pinning that leads to the formation of small and irregular domains. In samples with uniaxial magne… ▽ More The influence of magnetic anisotropy on nanosecond magnetization reversal in coupled FeNi/Cu/Co trilayers was studied using a photoelectron emission microscope combined with x-ray magnetic circular dicroism. In quasi-isotropic samples the reversal of the soft FeNi layer is determined by domain wall pinning that leads to the formation of small and irregular domains. In samples with uniaxial magnetic anisotropy, the domains are larger and the influence of local interlayer coupling dominates the domain structure and the reversal of the FeNi layer. △ Less

Submitted 10 May, 2005; originally announced May 2005.

Journal ref: Physical Review B 71 (2005) 060404(R)