Mapping and characterization of novel parthenocarpy QTLs in tomato (2008)
Gorguet, B.J.M., Eggink, P.M., Ocaña, J., Tiwari, A., Schipper, E.H., Finkers, R., ...
Parthenocarpy is the development of the fruit in absence of pollination and/or fertilization. In tomato, parthenocarpy is considered as an attractive trait to solve the problems of fruit setting...
Implications of p53 over-expression in the outcome with radiation in head and neck cancers (2007)
Lal, P, Pal, L, Kumar, S, Dimri, K, Tiwari, A, Rastogi, N, ...
Selection of sweet pepper (Capsicum annuum L.) genotypes for parthenocarpic fruit growth (2007)
Tiwari, A., Dassen, J.H.A., Heuvelink, E.
Yield irregularity and blossom-end-rot are major problems in sweet pepper production, which can be reduced by parthenocarpy. However no commercial parthenocarpic cultivars are available. The purpose...
Gall bladder carcinoma: Stroke as first manifestation (2006)
Agrawal, A, Agrawal, C, Kumar, A, Tiwari, A, Lakshmi, R, Yadav, R
Survival of Two Avian Respiratory Viruses on Porous and Nonporous Surfaces (2006)
A. Tiwari, Devi P. Patnayak, Yogesh Chander, Minakshi Parsad, Sagar M. Goyal
Experiments along coexistence near tricriticality in 3He-4He mixtures (2004)
Larson, M., Dotsenko, V., Tiwari, A., Mohazzab, M., Mulders, N., Nash, A., ...
Invisible Formal Methods for Embedded Control Systems (2003)
A. Tiwari, N. Shankar, J. Rushby
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. These systems are modeled using a hybrid automaton formalism, which is obtained by combining the...
Specification-based Anomaly Detection: (2002)
R. Sekar, A. Gupta, J. Frullo, T. Shanbhag, A. Tiwari, H. Yang, ...
Unlike signature or misuse based intrusion detection techniques, anomaly detection is capable of detecting novel attacks. However, the use of anomaly detection in practice is hampered by a high rate...
UNPUBLISHED REPORT 1 Formal Semantics and Analysis Methods for (2002)
Simulink Stateow Models, A. Tiwari
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. The Simulink graphical environment of MathWorks' tool suite is a popular choice for modeling and...
UNPUBLISHED REPORT 1 Formal Semantics and Analysis Methods for (2002)
Simulink Stateflow Models, A. Tiwari
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. The Simulink graphical environment of MathWorks' tool suite is a popular choice for modeling and...
Invisible Formal Methods for Embedded Control Systems (2001)
A. Tiwari, N. Shankar, J. Rushby
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. The Simulink graphical environment of MathWorks' tool suite is a popular choice for modeling and...
A Technique for Invariant Generation (2001)
Most of the properties established during verification are either invariants or depend crucially on invariants. The effectiveness of automated formal verification is therefore sensitive to the ease...
Congruence Closure Modulo Associativity and Commutativity (2000)
L. Bachmair, I. V. Ramakrishnan, A. Tiwari, L. Vigneron
We introduce the notion of an associative-commutative congruence closure and show how such closures can be constructed via completion-like transition rules. This method is based on combining...
Conjunctival impression cytology in xerophthalmia among rural children (1997)
Singh, M, Singh, G, Dwevedi, S, Singh, K, Kumar, D, Tiwari, A, ...
Rigid E-Unification Revisited (1970)
A. Tiwari, L. Bachmair, H. Ruess
. This paper presents a sound and complete set of abstract transformation rules for rigid E-unication. Abstract congruence closure, syntactic unication and paramodulation are the three main...
Normalization via Rewrite Closures (1970)
L. Bachmair, C. Ramakrishnan, I. V. Ramakrishnan, A. Tiwari
We present an abstract completion-based method for finding normal forms of terms with respect to given rewrite systems. The method uses the concept of a rewrite closure, which is a generalization of...
The OxyS regulatory RNA represses rpoS translation and binds the Hfq (HF-I) protein.
Zhang, A, Altuvia, S, Tiwari, A, Argaman, L, Hengge-Aronis, R, Storz, G
The OxyS regulatory RNA integrates the adaptive response to hydrogen peroxide with other cellular stress responses and protects against DNA damage. Among the OxyS targets is the rpoS-encoded sigma(s)...
The Escherichia coli OxyS regulatory RNA represses fhlA translation by blocking ribosome binding.
Altuvia, S, Zhang, A, Argaman, L, Tiwari, A, Storz, G
OxyS is a small untranslated RNA which is induced in response to oxidative stress in Escherichia coli. This novel RNA acts as a global regulator to activate or repress the expression of as many as 40...
The impact of psychological abuse by an intimate partner on the mental health of pregnant women
Tiwari, A, Chan, KL, Fong, D, Leung, WC, Brownridge, DA, Lam, H, ...
Financial Constraints and other Obstacles: Are they a Threat to Innovation Activity?
Pierre Mohnen, Franz Palm, A. Tiwari
In this paper we examine the importance of financial and other obstacles to innovation in the Netherlands using statistical information from the CIS 3.5 innovation survey. We report results on the...