This paper presents the SafeCap Platform approach to the verification of railway safety properties. We discuss how the hierarchy of formal theories is used to capture the railway domain and interface with verification tools; we explain the contribution of each individual theory to the overall task of safety verification and capacity assessment. Finally, we briefly relate our experience of using...

The TREC 2016 Contextual Suggestion task aims at providing recommendations on points of attraction for different kind of users and a varying context. Our group DPLAB IITBHU tries to recommend relevant point-of-interests to a user based on the information provided on the candidate attractions and her past preferences. We employ open-web information in a novel way to capture the best possible set...

There are typically multiple equilibrium outcomes in the Crawford-Sobel (CS) model of strategic information transmission. This paper identifies a simple condition on equilibrium payoffs, called NITS, that selects among CS equilibria. Under a commonly used regularity condition, only the equilibrium with the maximal number of induced actions satisfies NITS. We discuss various justifications for N...

BACKGROUND Previous studies investigating the association between an infant and child feeding index (ICFI) and length-for-age were based on a cross-sectional design and on the assumption that data collected with brief recalls could provide information about more enduring processes. OBJECTIVES The objectives were to test the stability of the individual ICFI values over time and to investigate ...

In recent years, use of biodegradable polymers based nanoparticles has received highinterest in the development of vaccines delivery vehicles. The aim of study was to preparechitosan nanoparticles (CS NPs) for loading Echis carinatus (EC) venom and evaluate theirpotential as an adjuvant and antigen delivery system on a pilot scale. CS NPs were preparedusing ionic gelation method, and their char...

Recently, the dependency pairs (DP) approach has been generalized to context-sensitive rewriting (CSR). Although the context-sensitive dependency pairs (CS-DP) approach provides a very good basis for proving termination of CSR, the current developments basically correspond to a ten-years-old DP approach. Thus, the task of adapting all recently introduced dependency pairs techniques to get a mor...