Induced Nucleon Polarization and Meson-Exchange Currents in (e,e'p) Reactions

Nucleon recoil polarization observables in $(e,e'\vec{p})$ reactions are investigated using a semi-relativistic distorted-wave model which includes one- and two-body currents with relativistic corrections. Results for the induced polarization asymmetry are shown for closed-shell nuclei and a comparison with available experimental data for $^{12}$C is provided. A careful analysis of meson exchange currents shows that they may affect significantly the induced polarization for high missing momentum.Comment: 7 pages, 9 figures. Revised version with small changes, new curve in Fig. 3. To be published in PR

Predictions from a stochastic polymer model for the MinDE dynamics in E.coli

The spatiotemporal oscillations of the Min proteins in the bacterium Escherichia coli play an important role in cell division. A number of different models have been proposed to explain the dynamics from the underlying biochemistry. Here, we extend a previously described discrete polymer model from a deterministic to a stochastic formulation. We express the stochastic evolution of the oscillatory system as a map from the probability distribution of maximum polymer length in one period of the oscillation to the probability distribution of maximum polymer length half a period later and solve for the fixed point of the map with a combined analytical and numerical technique. This solution gives a theoretical prediction of the distributions of both lengths of the polar MinD zones and periods of oscillations -- both of which are experimentally measurable. The model provides an interesting example of a stochastic hybrid system that is, in some limits, analytically tractable.Comment: 16 page

Analysis of Probabilistic Basic Parallel Processes

Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes. In the probabilistic version of BPPs, every process generates other processes according to a probability distribution. We study the decidability and complexity of fundamental qualitative problems over probabilistic BPPs -- in particular reachability with probability 1 of different classes of target sets (e.g. upward-closed sets). Our results concern both the Markov-chain model, where processes are scheduled randomly, and the MDP model, where processes are picked by a scheduler.Comment: This is the technical report for a FoSSaCS'14 pape

How to model normative behavior in Petri nets

In this paper, we show how to extend the Petri net formalism to represent different types of behavior, in particular normative behavior. This extension is motivated by the use of Petri nets to model bureaucratic procedures, which contain normative aspects like obligations and permissions. We propose to extend Petri nets with a preference relation, a well-known mechanism from deontic logic to discriminate between ideal and varying sub-ideal states

Roughness Analysis In Strained Silicon-on-insulator Wires And Films

Strained silicon is used to enhance performance in state-of-the-art CMOS. Under device operating conditions, the effect of strain is to reduce the carrier scattering at the channel by a smoother semiconductor surface. This has never been completely understood. This paper gives first evidence of the variation in surface roughness under realistic strained conditions. At the nanoscale, the SiO2/Si interface roughness is dependent on the scale of observation (self-affinity). To date, there is no experimental study of the SiO2/Si interface roughness scaling with strain. This work presents the effect of uniaxial and biaxial strains on the surface roughness of strained silicon-on-insulator films and wires using atomic force microscopy. Levels of strain ranging from 0% to 2.3%, encompassing those used in present CMOS devices have been investigated. It is shown that the silicon surface is affected by uniaxial and biaxial strains differently. Three surface roughness parameters have been analyzed: root mean square roughness, correlation length, and the Hurst exponent, which is used to describe the scaling behavior of a self-affine surface. The results show that the root mean square roughness decreases (up to ∼ 40%) with increasing tensile strain, whereas the correlation length increases (up to ∼ 63nm/%) with increasing tensile strain. The Hurst exponent also varies with strain and with the undulation wavelength regime (between ∼ 0.8 and 0.2). This dependency explains why some models used to determine the carrier mobility from experiments fit the data better with a Gaussian form, whereas other models fit the data better with an exponential form.11612EPSRC; Engineering and Physical Sciences Research CouncilSong, Y., Zhou, H., Xu, Q., Luo, J., Yin, H., Yan, J., Zhong, H., (2011) J. Electron. Mater., 40, p. 1584Lee, M.L., Fitzgerald, E.A., Bulsara, M.T., Currie, M.T., Lochtefeld, A., (2005) J. Appl. Phys., 97, p. 011101Chu, M., Sun, Y.K., Aghoram, U., Thompson, S.E., (2009) Annu. Rev. Mater. Res., 39, p. 203Zhao, Y., Takenaka, M., Takagi, S., (2009) IEEE Electron Device Lett., 30, p. 987Cheng, Z.Y., Currie, M.T., Leitz, C.W., Taraschi, G., Fitzgerald, E.A., Hoyt, J.L., Antoniadas, D.A., (2001) IEEE Electron Device Lett., 22, p. 321Rim, K., Hoyt, J.L., Gibbons, J.F., (2000) IEEE Trans. Electron Devices, 47, p. 1406Fischetti, M.V., Gamiz, F., Hansch, W., (2002) J. Appl. Phys., 92, p. 7320Bonno, O., Barraud, S., Mariolle, D., Andrieu, F., (2008) J. Appl. Phys., 103, p. 063715Escobedo-Cousin, E., Olsen, S.H., Pardoen, T., Bhaskar, U., Raskin, J.-P., (2011) Appl. Phys. Lett., 99, p. 241906Pirovano, A., Lacaita, A.L., Ghidini, G., Tallarida, G., (2000) IEEE Electron Device Lett., 21, p. 34Goodnick, S.M., Ferry, D.K., Wilmsen, C.W., Liliental, Z., Fathy, D., Krivanek, O.L., (1985) Phys. Rev. B, 32, p. 8171Mazzoni, G., Lacaita, A.L., Perron, L.M., Pirovano, A., (1999) IEEE Trans. Electron Devices, 46, p. 1423Zhao, Y., Matsumoto, H., Sato, T., Koyama, S., Takenaka, M., Takagi, S., (2010) IEEE Trans. Electron Devices, 57, p. 2057Ishihara, T., Matsuzawa, K., Takayanagi, M., Takagi, S.I., (2002) Jpn. J. Appl. Phys., Part 1, 41, p. 2353Pirovano, A., Lacaita, A.L., Zandler, G., Oberhuber, R., Int. Electron Devices Meet. Tech. Dig., 1999, p. 527Yoshinobu, T., Iwamoto, A., Sudoh, K., Iwasaki, H., (1995) J. Vac. Sci. Technol. B, 13, p. 1630Mandelbrot, B.B., (1982) The Fractal Geometry of Nature: Updated and Augment, , (W. H. Freeman and Company)Pelliccione, M., Lu, T.-M., (2007) Evolution of Thin-film Morphology: Modeling and Simulations, , (Springer, Dordrecht)Zhao, Y.P., Wang, G.C., Lu, T.-M., Graef, M.D., Lucatorto, T., (2000) Characterization of Amorphous and Crystalline Rough Surface: Principles and Applications, , (Elsevier Science)Sinha, S.K., Sirota, E.B., Garoff, S., Stanley, H.B., (1988) Phys. Rev. B, 38, p. 2297Stommer, R., Martin, A.R., Geue, T., Goebel, H., Hub, W., Pietsch, U., (1999) Adv. X-Ray Anal., 41, p. 101Vicsek, T., Cserzo, M., Horváth, V.K., (1990) Physica A, 167, p. 315Arnault, J.C., Knoll, A., Smigiel, E., Cornet, A., (2001) Appl. Surf. Sci., 171, p. 189Bhaskar, U.K., Passi, V., Houri, S., Escobedo-Cousin, E., Olsen, S.H., Pardoen, T., Raskin, J.-P., (2012) J. Mater. Res., 27, p. 571Passi, V., Bhaskar, U.K., Pardoen, T., Sodervall, U., Nilsson, B., Petersson, G., Hagberg, M., Raskin, J.P., (2012) J. Microelectromech. Syst., 21, p. 822Bhaskar, U.K., Pardoen, T., Passi, V., Raskin, J.-P., (2013) Appl. Phys. Lett., 102, p. 031911Liu, X.H., Chen, J., Chen, M., Wang, X., (2002) Appl. Surf. Sci., 187, p. 187Vicsek, T., (1992) Fractal Growth Phenomena, , 2nd ed. (World Scientific)Silva, J.B.D., Jr., Vasconcelos, E.A.D., Santos, B.E.C.A.D., Freire, J.A.K., Freire, V.N., Farias, G.A., Silva, E.F.D., Jr., (2005) Microelectron. J., 36, p. 1011Liu, Z.J., Jiang, N., Shen, Y.G., Mai, Y.W., (2002) J. Appl. Phys., 92, p. 3559Gravier, S., Coulombier, M., Safi, A., Andre, N., Boe, A., Raskin, J.-P., Pardoen, T., (2009) J. Microelectromech. Syst., 18, p. 555Bunshah, R.F., (1994) Handbook of Deposition Technologies for Films and Coatings - Science, Technology and Applications, , 2nd ed. (William Andrew Publishing/Noyes)Ureña, F., Olsen, S.H., Šiller, L., Bhaskar, U., Pardoen, T., Raskin, J.-P., (2012) J. Appl. Phys., 112, p. 114506Ureña, F., Olsen, S.H., Raskin, J.-P., (2013) J. Appl. Phys., 114, p. 144507Ghyselen, B., Hartmann, J.M., Ernst, T., Aulnette, C., Osternaud, B., Bogumilowicz, Y., Abbadie, A., Mazure, C., (2004) Solid-State Electron., 48, p. 1285Lai, L., Irene, E.A., (1999) J. Appl. Phys., 86, p. 1729Schwarzenbach, W., Daval, N., Kerdilès, S., Chabanne, G., Figuet, C., Guerroudj, S., Bonnin, O., Maleville, C., (2012) Proceedings of the IEEE International Conference on Integrated Circuit Design and Technology, , (Austin, TX, USA)Xie, Y.H., Gilmer, G.H., Roland, C., Silverman, P.J., Buratto, S.K., Cheng, J.Y., Fitzgerald, E.A., Citrin, P.H., (1994) Phys. Rev. Lett., 73, p. 3006Michielis, M.D., Conzatti, F., Esseni, D., Selmi, L., (2011) IEEE Trans. Electron Devices, 58, p. 321

Measuring longitudinal amplitudes for electroproduction of pseudoscalar mesons using recoil polarization in parallel kinematics

We propose a new method for measuring longitudinal amplitudes for electroproduction of pseudoscalar mesons that exploits a symmetry relation for polarization observables in parallel kinematics. This polarization technique does not require variation of electron scattering kinematics and avoids the major sources of systematic errors in Rosenbluth separation.Comment: intended for Phys. Rev. C as a Brief Repor

On Functionality of Visibly Pushdown Transducers

Visibly pushdown transducers form a subclass of pushdown transducers that (strictly) extends finite state transducers with a stack. Like visibly pushdown automata, the input symbols determine the stack operations. In this paper, we prove that functionality is decidable in PSpace for visibly pushdown transducers. The proof is done via a pumping argument: if a word with two outputs has a sufficiently large nesting depth, there exists a nested word with two outputs whose nesting depth is strictly smaller. The proof uses technics of word combinatorics. As a consequence of decidability of functionality, we also show that equivalence of functional visibly pushdown transducers is Exptime-Complete.Comment: 20 page

Timed Parity Games: Complexity and Robustness

We consider two-player games played in real time on game structures with clocks where the objectives of players are described using parity conditions. The games are \emph{concurrent} in that at each turn, both players independently propose a time delay and an action, and the action with the shorter delay is chosen. To prevent a player from winning by blocking time, we restrict each player to play strategies that ensure that the player cannot be responsible for causing a zeno run. First, we present an efficient reduction of these games to \emph{turn-based} (i.e., not concurrent) \emph{finite-state} (i.e., untimed) parity games. Our reduction improves the best known complexity for solving timed parity games. Moreover, the rich class of algorithms for classical parity games can now be applied to timed parity games. The states of the resulting game are based on clock regions of the original game, and the state space of the finite game is linear in the size of the region graph. Second, we consider two restricted classes of strategies for the player that represents the controller in a real-time synthesis problem, namely, \emph{limit-robust} and \emph{bounded-robust} winning strategies. Using a limit-robust winning strategy, the controller cannot choose an exact real-valued time delay but must allow for some nonzero jitter in each of its actions. If there is a given lower bound on the jitter, then the strategy is bounded-robust winning. We show that exact strategies are more powerful than limit-robust strategies, which are more powerful than bounded-robust winning strategies for any bound. For both kinds of robust strategies, we present efficient reductions to standard timed automaton games. These reductions provide algorithms for the synthesis of robust real-time controllers

Dynamic compartmentalization of bacteria: accurate division in E. coli

Positioning of the midcell division plane within the bacterium E. coli is controlled by the min system of proteins: MinC, MinD and MinE. These proteins coherently oscillate from end to end of the bacterium. We present a reaction--diffusion model describing the diffusion of min proteins along the bacterium and their transfer between the cytoplasmic membrane and cytoplasm. Our model spontaneously generates protein oscillations in good agreement with experiments. We explore the oscillation stability, frequency and wavelength as a function of protein concentration and bacterial length.Comment: 4 pages, 4 figures, Latex2e, Revtex

Teachers developing assessment for learning: impact on student achievement

While it is generally acknowledged that increased use of formative assessment (or assessment for learning) leads to higher quality learning, it is often claimed that the pressure in schools to improve the results achieved by students in externally-set tests and examinations precludes its use. This paper reports on the achievement of secondary school students who worked in classrooms where teachers made time to develop formative assessment strategies. A total of 24 teachers (2 science and 2 mathematics teachers, in each of six schools in two LEAs) were supported over a six-month period in exploring and planning their approach to formative assessment, and then, beginning in September 1999, the teachers put these plans into action with selected classes. In order to compute effect sizes, a measure of prior attainment and at least one comparison group was established for each class (typically either an equivalent class taught in the previous year by the same teacher, or a parallel class taught by another teacher). The mean effect size was 0.32