1,633 research outputs found
Efficient Pattern Matching in Python
Pattern matching is a powerful tool for symbolic computations. Applications
include term rewriting systems, as well as the manipulation of symbolic
expressions, abstract syntax trees, and XML and JSON data. It also allows for
an intuitive description of algorithms in the form of rewrite rules. We present
the open source Python module MatchPy, which offers functionality and
expressiveness similar to the pattern matching in Mathematica. In particular,
it includes syntactic pattern matching, as well as matching for commutative
and/or associative functions, sequence variables, and matching with
constraints. MatchPy uses new and improved algorithms to efficiently find
matches for large pattern sets by exploiting similarities between patterns. The
performance of MatchPy is investigated on several real-world problems
The N-end rule pathway controls multiple functions during Arabidopsis shoot and leaf development
The ubiquitin-dependent N-end rule pathway relates the in vivo half-life of a protein to the identity of its N-terminal residue. This proteolytic system is present in all organisms examined and has been shown to have a multitude of functions in animals and fungi. In plants, however, the functional understanding of the N-end rule pathway is only beginning. The N-end rule has a hierarchic structure. Destabilizing activity of N-terminal Asp, Glu, and (oxidized) Cys requires their conjugation to Arg by an arginylâtRNAâprotein transferase (R-transferase). The resulting N-terminal Arg is recognized by the pathway's E3 ubiquitin ligases, called âN-recognins.â Here, we show that the Arabidopsis R-transferases AtATE1 and AtATE2 regulate various aspects of leaf and shoot development. We also show that the previously identified N-recognin PROTEOLYSIS6 (PRT6) mediates these R-transferase-dependent activities. We further demonstrate that the arginylation branch of the N-end rule pathway plays a role in repressing the meristem-promoting BREVIPEDICELLUS (BP) gene in developing leaves. BP expression is known to be excluded from Arabidopsis leaves by the activities of the ASYMMETRIC LEAVES1 (AS1) transcription factor complex and the phytohormone auxin. Our results suggest that AtATE1 and AtATE2 act redundantly with AS1, but independently of auxin, in the control of leaf development
Virus-like particle formation and translational start site choice of the plant retrotransposon Ttol
How well do meteorological indicators represent agricultural and forest drought across Europe?
Drought monitoring and early warning (M&EW) systems are an important component of agriculture/silviculture drought risk assessment. Many operational information systems rely mostly on meteorological indicators, a few incorporate vegetation state information. However, the relationships between meteorological drought indicators and agricultural/silvicultural drought impacts vary across Europe. The details of this variability have not been elucidated sufficiently on a continental scale in Europe to inform drought risk management at administrative scales. The objective of this study is to fill this gap and evaluate how useful the variety of meteorological indicators are to assess agricultural/silvicultural drought across Europe. The first part of the analysis systematically linked meteorological drought indicators to remote sensing based vegetation indices (VIs) for Europe at NUTs3 administrative regions scale using correlation analysis for crops and forests. In a second step, a stepwise multiple linear regression model was deployed to identify variables explaining the spatial differences observed. Finally, corn crop yield in Germany was chosen as a case study to verify VIs representativeness of agricultural drought impacts. Results show that short accumulation periods of SPI and SPEI are best linked to crop vegetation stress in most cases, which further validates the use of SPI3 in existing operational drought monitors. However, large regional differences in correlations are also revealed. Climate (temperature and precipitation) explained the largest proportion of variance, suggesting that meteorological indices are less informative of agricultural/silvicultural drought in colder/wetter parts of Europe. These findings provide important context for interpreting meteorological indices on widely used national to continental M&EW systems, leading to a better understanding of where/when such M&EW tools can be indicative of likely agricultural stress and impacts
Abstract Canonical Inference
An abstract framework of canonical inference is used to explore how different
proof orderings induce different variants of saturation and completeness.
Notions like completion, paramodulation, saturation, redundancy elimination,
and rewrite-system reduction are connected to proof orderings. Fairness of
deductive mechanisms is defined in terms of proof orderings, distinguishing
between (ordinary) "fairness," which yields completeness, and "uniform
fairness," which yields saturation.Comment: 28 pages, no figures, to appear in ACM Trans. on Computational Logi
Efficient Encodings of First-Order Horn Formulas in Equational Logic
We present several translations from first-order Horn formulas to equational logic. The goal of these translations is to allow equational theorem provers to efficiently reason about non-equational problems. Using these translations we were able to solve 37 problems of rating 1.0 (i.e. which had not previously been automatically solved) from the TPTP
A quantitative analysis to objectively appraise drought indicators and model drought impacts
Drought monitoring and early warning is an important measure to enhance resilience towards drought. While there are numerous operational systems using different drought indicators, there is no consensus on which indicator best represents drought impact occurrence for any given sector. Furthermore, thresholds are widely applied in these indicators but, to date, little empirical evidence exists as to which indicator thresholds trigger impacts on society, the economy, and ecosystems. The main obstacle for evaluating commonly used drought indicators is a lack of information on drought impacts. Our aim was therefore to exploit text-based data from the European Drought Impact report Inventory (EDII) to identify indicators that are meaningful for region-, sector-, and season-specific impact occurrence, and to empirically determine indicator thresholds. In addition, we tested the predictability of impact occurrence based on the best-performing indicators. To achieve these aims we applied a correlation analysis and an ensemble regression tree approach, using Germany and the UK (the most data-rich countries in the EDII) as test beds. As candidate indicators we chose two meteorological indicators (Standardized Precipitation Index, SPI, and Standardized Precipitation Evaporation Index, SPEI) and two hydrological indicators (streamflow and groundwater level percentiles). The analysis revealed that accumulation periods of SPI and SPEI best linked to impact occurrence are longer for the UK compared with Germany, but there is variability within each country, among impact categories and, to some degree, seasons. The median of regression tree splitting values, which we regard as estimates of thresholds of impact occurrence, was around â1 for SPI and SPEI in the UK; distinct differences between northern/northeastern vs. southern/central regions were found for Germany. Predictions with the ensemble regression tree approach yielded reasonable results for regions with good impact data coverage. The predictions also provided insights into the EDII, in particular highlighting drought events where missing impact reports may reflect a lack of recording rather than true absence of impacts. Overall, the presented quantitative framework proved to be a useful tool for evaluating drought indicators, and to model impact occurrence. In summary, this study demonstrates the information gain for drought monitoring and early warning through impact data collection and analysis. It highlights the important role that quantitative analysis with impact data can have in providing "ground truth" for drought indicators, alongside more traditional stakeholder-led approaches
Investigations on unconventional aspects in the quantum Hall regime of narrow gate defined channels
We report on theoretical and experimental investigations of the integer
quantized Hall effect in narrow channels at various mobilities. The Hall bars
are defined electrostatically in two-dimensional electron systems by biasing
metal gates on the surfaces of GaAs/AlGaAs heterostructures. In the low
mobility regime the classical Hall resistance line is proportional to the
magnetic field as measured in the high temperature limit and cuts through the
center of each Hall plateau. For high mobility samples we observe in linear
response measurements, that this symmetry is broken and the classical Hall line
cuts the plateaus not at the center but at higher magnetic fields near the
edges of the plateaus. These experimental results confirm the unconventional
predictions of a model for the quantum Hall effect taking into account mutual
screening of charge carriers within the Hall bar. The theory is based on
solving the Poisson and Schr\"odinger equations in a self-consistent manner.Comment: EP2DS-17 Proceedings, 6 Pages, 2 Figure
Recommended from our members
Drought: Understanding and reducing vulnerability through monitoring and early warning systems. Report of the DrIVER workshop, 17 March 2015.
As part of the Belmont Forum funded international DRIVER research project on linking indicators to impacts to improve drought monitoring and early warning systems (MEWs), a stakeholder workshop was held on 17th March 2015 in Wallingford, UK.
The workshop was attended by representatives of various UK organisations with an interest in drought and MEWs and DRIVER researchers from the Centre for Ecology and Hydrology (UK), Open University (UK), University of Freiburg (Germany), National Drought Mitigation Center (USA) and CSIRO (Australia).
The aims of the workshop were to introduce participants to the DRIVER project and recent RCUK drought projects; engage with stakeholdersâ experiences, understandings and needs in relation to droughts; and identify needs for future MEWs.
The design of the workshop was based on a commitment to social learning. It comprised a mix of presentations and interactive sessions using innovative techniques to develop collective insights, enabling participants to learn from others and contribute their experiences and ideas and concerns in relation to drought and MEWs.
Themes emerging findings from the workshop were wide-ranging, but point to a range of issues, concerns and suggestions for improving drought management and MEWs centred on: recognition of different types of drought; uncertainties and risks relating to indicators; forecasting; impacts; politics of drought; public communication; role of stakeholders; and resilience strategies.
The workshop suggests different ways of thinking and acting are required about drought and MEWs in particular. The discussions and presentations also suggest the complexity of droughts requires a more systemic understanding of drought policy, processes and practices in order to determine the role of MEWs and how these can be improved by linking indicators to impacts.
The output of the workshop constitute a key source for informing and shaping ongoing DRIVER research activities and other events convened by RCUK drought research projects
Deduction with XOR Constraints in Security API Modelling
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module. We also show how our technique can be applied to standard security protocols
- âŠ