The polycomb group gene EMF2B is essential for maintenance of floral meristem determinacy in rice

Polycomb Repressive Complex 2 (PRC2) represses the transcriptional activity of target genes through trimethylation of lysine 27 of histone H3. The functions of plant PRC2 have been chiefly described in Arabidopsis, but specific functions in other plant species, especially cereals, are still largely unknown. Here we characterize mutants in the rice EMF2B gene, an ortholog of the Arabidopsis EMBRYONIC FLOWER2 (EMF2) gene. Loss of EMF2B in rice results in complete sterility, and mutant flowers have severe floral organ defects and indeterminacy that resemble loss-of-function mutants in E-function floral organ specification genes. Transcriptome analysis identified the E-function genes OsMADS1, OsMADS6 and OsMADS34 as differentially expressed in the emf2b mutant compared with wild type. OsMADS1 and OsMADS6, known to be required for meristem determinacy in rice, have reduced expression in the emf2b mutant, whereas OsMADS34 which interacts genetically with OsMADS1 was ectopically expressed. Chromatin immunoprecipitation for H3K27me3 followed by quantitative (q)RT-PCR showed that all three genes are presumptive targets of PRC2 in the meristem. Therefore, in rice, and possibly other cereals, PRC2 appears to play a major role in floral meristem determinacy through modulation of the expression of E-function genes.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

Non-deterministic transducer models of retransmission protocols over noisy channels

Retransmission protocols such as HDLC and TCP are designed to ensure reliable communication over noisy channels (i.e., channels that can corrupt messages). Thakkar et al. 15] have recently presented an algorithmic verification technique for deterministic streaming string transducer (DSST) models of such protocols. The verification problem is posed as equivalence checking between the specification and protocol DSSTs. In this paper, we argue that more general models need to be obtained using non-deterministic streaming string transducers (NSSTs). However, equivalence checking is undecidable for NSSTs. We present two classes where the models belong to a sub-class of NSSTs for which it is decidable. (C) 2015 Elsevier B.V. All rights reserved.

Damage Detection Sensitivity, Specificity and Classification Data Analysis for SHM Systems Design, Verification and Validation

In this paper, we consider applying derived knowledge base regarding the sensitivity and specificity of damage(s) to be detected by an SHM system being designed and qualified. These efforts are necessary toward developing capabilities in SHM system to classify reliably various probable damages through sequence of monitoring, i.e., damage precursor identification, detection of damage and monitoring its progression. We consider the particular problem of visual and ultrasonic NDE based SHM system design requirements, where the damage detection sensitivity and specificity data definitions for a class of structural components are established. Methodologies for SHM system specification creation are discussed in details. Examples are shown to illustrate how the physics of damage detection scheme limits particular damage detection sensitivity and specificity and further how these information can be used in algorithms to combine various different NDE schemes in an SHM system to enhance efficiency and effectiveness. Statistical and data driven models to determine the sensitivity and probability of damage detection (POD) has been demonstrated for plate with varying one-sided line crack using optical and ultrasonic based inspection techniques.

Ultrasonic Tomography and Its Applications in oilfield

UTT (Ultrasonic Tomography Tool) is widely used in the oil industry and can be used to inspect corrosion, casing wall damage, casing breakoff, and casing distortion in the well borehole with the maximum environment temperature being 125 °C, and the pressure being 60 MPa. UTT consists of tool head, upper centralization, electronic section, lower centralization, transmitters, and receivers. Its outer diameter is 4.6 cm and length is 320 cm. The measured casing diameter ranges from 60 mm to 254 mm. The tomography resolution is 512×512. The borehole measurement accuracy is 2 mm. It can supply 3D pipe tomography, including horizontal and vertical profile. This paper introduces its specification, measurement principle, and applications in oilfield.damage, casing breakoff, and casing distortion in the well borehole with the maximum environment temperature being 125 °C, and the pressure being 60 MPa. UTT consists of tool head, upper centralization, electronic section, lower centralization, transmitters, and receivers. Its outer diameter is 4.6 cm and length is 320 cm. The measured casing diameter ranges from 60 mm to 254 mm. The tomography resolution is 512×512. The borehole measurement accuracy is 2 mm. It can supply 3D pipe tomography, including horizontal and vertical profile. This paper introduces its specification, measurement principle, and applications in oilfield.

Enhanced 10-Gbit/s link performance for directly Modulated complex-coupled DFB lasers via resonance frequency, damping rate, and chirp

This paper demonstrates the respective roles that combined index- and gain-coupling play in the overall link performance of distributed feedback (DFB) lasers. Their impacts on both static and dynamic properties such as slope efficiency, resonance frequency, damping rate, and chirp are investigated. Simulation results are compared with experimental data with good agreement. Transmission-oriented optimization is then demonstrated based on a targeted specification. The design tradeoffs are revealed, and it is shown that a modest combination of index- and gain-coupling enables optimum transmission at 10 Gbit/s.

Mesofracture mechanics: a necessary link

Classical fracture mechanics is based on the premise that small scale features could be averaged to give a larger scale property such that the assumption of material homogeneity would hold. Involvement of the material microstructure, however, necessitates different characteristic lengths for describing different geometric features. Macroscopic parameters could not be freely exchanged with those at the microscopic scale level. Such a practice could cause misinterpretation of test data. Ambiguities arising from the lack of a more precise range of limitations for the definitions of physical parameters are discussed in connection with material length scales. Physical events overlooked between the macroscopic and microscopic scale could be the link that is needed to bridge the gap. The classical models for the creation of free surface for a liquid and solid are oversimplified. They consider only the translational motion of individual atoms. Movements of groups or clusters of molecules deserve attention. Multiscale cracking behavior also requires the distinction of material damage involving at least two different scales in a single simulation. In this connection, special attention should be given to the use of asymptotic solution in contrast to the full field solution when applying fracture criteria. The former may leave out detail features that would have otherwise been included by the latter. Illustrations are provided for predicting the crack initiation sites of piezoceramics. No definite conclusions can be drawn from the atomistic simulation models such as those used in molecular dynamics until the non-equilibrium boundary conditions can be better understood. The specification of strain rates and temperatures should be synchronized as the specimen size is reduced to microns. Many of the results obtained at the atomic scale should be first identified with those at the mesoscale before they are assumed to be connected with macroscopic observations. Hopefully, "mesofracture mechanics" could serve as the link to bring macrofracture mechanics closer to microfracture mechanics.

A field model interpretation of crack initiation and growth behavior in ferroelectric ceramics: change of poling direction and boundary condition

Strain energy density expressions are obtained from a field model that can qualitatively exhibit how the electrical and mechanical disturbances would affect the crack growth behavior in ferroelectric ceramics. Simplification is achieved by considering only three material constants to account for elastic, piezoelectric and dielectric effects. Cross interaction of electric field (or displacement) with mechanical stress (or strain) is identified with the piezoelectric effect; it occurs only when the pole is aligned normal to the crack. Switching of the pole axis by 90degrees and 180degrees is examined for possible connection with domain switching. Opposing crack growth behavior can be obtained when the specification of mechanical stress sigma(infinity) and electric field E-infinity or (sigma(infinity), E-infinity) is replaced by strain e and electric displacement D-infinity or (epsilon(infinity), D-infinity). Mixed conditions (sigma(infinity),D-infinity) and (epsilon(infinity),E-infinity) are also considered. In general, crack growth is found to be larger when compared to that without the application of electric disturbances. This includes both the electric field and displacement. For the eight possible boundary conditions, crack growth retardation is identified only with (E-y(infinity),sigma(y)(infinity)) for negative E-y(infinity) and (D-y(infinity), epsilon(y)(infinity)) for positive D-y(infinity) while the mechanical conditions sigma(y)(infinity) or epsilon(y)infinity are not changed. Suitable combinations of the elastic, piezoelectric and dielectric material constants could also be made to suppress crack growth. (C) 2002 Published by Elsevier Science Ltd.

Damage analysis of tetragonal perovskite structure ceramics implicated by asymptotic field solutions and boundary conditions

Cracking of ceramics with tetragonal perovskite grain structure is known to appear at different sites and scale level. The multiscale character of damage depends on the combined effects of electromechanical coupling, prevailing physical parameters and boundary conditions. These detail features are exhibited by application of the energy density criterion with judicious use of the mode I asymptotic and full field solution in the range of r/a = 10(-4) to 10(-2) where r and a are, respectively, the distance to the crack tip and half crack length. Very close to the stationary crack tip, bifurcation is predicted resembling the dislocation emission behavior invoked in the molecular dynamics model. At the macroscopic scale, crack growth is predicted to occur straight ahead with two yield zones to the sides. A multiscale feature of crack tip damage is provided for the first time. Numerical values of the relative distances and bifurcation angles are reported for the PZT-4 ceramic subjected to different electric field to applied stress ratio and boundary conditions that consist of the specification of electric field/mechanical stress, electric displacement/mechanical strain, and mixed conditions. To be emphasized is that the multiscale character of damage in piezoceramics does not appear in general. It occurs only for specific combinations of the external and internal field parameters, elastic/piezoelectric/dielectric constants and specified boundary conditions. (C) 2002 Published by Elsevier Science Ltd.

Another Look to the Price-Dividend Ratio: A Markov-Switching Approach

This paper analyzes the stationarity of this ratio in the context of a Markov-switching model à la Hamilton (1989) where an asymmetric speed of adjustment is introduced. This particular specification robustly supports a nonlinear reversion process and identifies two relevant episodes: the post-war period from the mid-50’s to the mid-70’s and the so called “90’s boom” period. A three-regime Markov-switching model displays the best regime identification and reveals that only the first part of the 90’s boom (1985-1995) and the post-war period are near-nonstationary states. Interestingly, the last part of the 90’s boom (1996-2000), characterized by a growing price-dividend ratio, is entirely attributed to a regime featuring a highly reverting process.

How Does the New Keynesian Monetary Model Fit in the U.S. and the Eurozone? an Indirect Inference Approach

This paper estimates a standard version of the New Keynesian monetary (NKM) model under alternative specifications of the monetary policy rule using U.S. and Eurozone data. The estimation procedure implemented is a classical method based on the indirect inference principle. An unrestricted VAR is considered as the auxiliary model. On the one hand, the estimation method proposed overcomes some of the shortcomings of using a structural VAR as the auxiliary model in order to identify the impulse response that defines the minimum distance estimator implemented in the literature. On the other hand, by following a classical approach we can further assess the estimation results found in recent papers that follow a maximum-likelihood Bayesian approach. The estimation results show that some structural parameter estimates are quite sensitive to the specification of monetary policy. Moreover, the estimation results in the U.S. show that the fit of the NKM under an optimal monetary plan is much worse than the fit of the NKM model assuming a forward-looking Taylor rule. In contrast to the U.S. case, in the Eurozone the best fit is obtained assuming a backward-looking Taylor rule, but the improvement is rather small with respect to assuming either a forward-looking Taylor rule or an optimal plan.

Option-Implied Preferences Adjustments and Risk-Neutral Density Forecasts

The main objective of this paper is to analyse the value of information contained in prices of options on the IBEX 35 index at the Spanish Stock Exchange Market. The forward looking information is extracted using implied risk-neutral density functions estimated by a mixture of two-lognormals and three alternative risk-adjustments: the classic power and exponential utility functions and a habit-based specification that allows for a counter-cyclical variation of risk aversion. Our results show that at four-week horizon we can reject the hypothesis that between October 1996 and March 2000 the risk-neutral densities provide accurate predictions of the distributions of future realisations of the IBEX 35 index at a four-week horizon. When forecasting through risk-adjusted densities the performance of this period is statistically improved and we no longer reject that hypothesis. All risk-adjusted densities generate similar forecasting statistics. Then, at least for a horizon of four-weeks, the actual risk adjustment does not seem to be the issue. By contrast, at the one-week horizon risk-adjusted densities do not improve the forecasting ability of the risk-neutral counterparts.

Las iglesias prefeudales en Alava: cronotipología y articulación espacial

[ES]El artículo constituye un avance de un proyecto de investigación en curso sobre las iglesias alavesas anteriores a los siglos XII-XIII,invisibles hasta la fecha a una metodología tradicionalmente de base analógica y formal. Se efectúa una nueva propuesta de análisis experimentada ya en la catedral de Santa María de Vitoria-Gasteiz y que se articula de la manera siguiente: 1. Lettura veloce de los principales momentos constructivos de los templos seleccionados con el objeto de individualizar estratigráficamente la fase o fases anteriores al periodo «románico». 2. Individualización y registro de las variables técnicas y formales más representativas de esta primera fase constructiva en cada una de las iglesias objeto de estudio. 3. Identificación numérica de las variables seleccionadas. 4. Creación de una tabla analítica que recoja la presencia o ausencia de estas variables en cada uno de los edificios a estudiar. 5. Agrupamiento de los edificios que comparten variables entre sí. 6. Transformación de las asociaciones tecnotipológicas en tablas cronotipológicas, es decir, en indicadores cronológicos. Resultado de todo ello ha sido la individualización de seis grupos de iglesias que se articulan diacrónicamente entre los siglos IX y XII. A modo de conclusión se avanzan, finalmente, algunas consideraciones interpretativas sobre la naturaleza de estos templos de época prefeudal.

Analysis of volatility transmissions in integrated and interconnected markets: The case of the Iberian and French markets

This paper models the mean and volatility spillovers of prices within the integrated Iberian and the interconnected Spanish and French electricity markets. Using the constant (CCC) and dynamic conditional correlation (DCC) bivariate models with three different specifications of the univariate variance processes, we study the extent to which increasing interconnection and harmonization in regulation have favoured price convergence. The data consist of daily prices calculated as the arithmetic mean of the hourly prices over a span from July 1st 2007 until February 29th 2012. The DCC model in which the variances of the univariate processes are specified with a VARMA(1,1) fits the data best for the integrated MIBEL whereas a CCC model with a GARCH(1,1) specification for the univariate variance processes is selected to model the price series in Spain and France. Results show that there are significant mean and volatility spillovers in the MIBEL, indicating strong interdependence between the two markets, while there is a weaker evidence of integration between the Spanish and French markets. We provide new evidence that the EU target of achieving a single electricity market largely depends on increasing trade between countries and homogeneous rules of market functioning.

Leap2A: Enabling e-portfolio portability

Leap2A is an open specification for transferring learner-owned information between different systems. e-Portfolio tools and systems are now widely used by learners to present evidence of learning, achievements and abilities for many purposes, including application for a job or university, assessment or professional accreditation. This briefing provides an overview of the benefits, summary of systems that have supported Leap2A, further information on data portability and links to further resources.