oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Search Results: 1 - 10 of 749 matches for " Sumit Sourabh "
All listed articles are free for downloading (OA Articles)
Page 1 /749
Display every page Item
Characterizing Successful Formulas: the Multi-agent Case
Sanchit Saraf,Sumit Sourabh
Computer Science , 2012,
Abstract: Characterization of successful formulas in Public Announcement Logic (PAL) is a well known open problem in Dynamic Epistemic Logic. Recently, Holliday and ICard have given a complete characterization for the single agent case. However, the problem for the multi-agent case is open. This paper gives a partial solution to the problem, characterizing the subclass of the language consisting of unary operators, and discusses methods to give a complete solution.
Generalized Vietoris Bisimulations
Sebastian Enqvist,Sumit Sourabh
Computer Science , 2014,
Abstract: We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bisimulations [4]. The main result of our paper is that bisimulation for a $\mathbf{Stone}$ coalgebra is the topological closure of bisimulation for the underlying $\mathbf{Set}$ coalgebra.
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA
Willem Conradie,Alessandra Palmigiano,Sumit Sourabh,Zhiguang Zhao
Computer Science , 2015,
Abstract: We generalize Venema's result on the canonicity of the additivity of positive terms, from classical modal logic to a vast class of logics the algebraic semantics of which is given by varieties of normal distributive lattice expansions (normal DLEs), aka `distributive lattices with operators'. We provide two contrasting proofs for this result: the first is along the lines of Venema's pseudo-correspondence argument but using the insights and tools of unified correspondence theory, and in particular the algorithm ALBA; the second closer to the style of J\'onsson. Using insights gleaned from the second proof, we define a suitable enhancement of the algorithm ALBA, which we use prove the canonicity of certain syntactically defined classes of DLE-inequalities (called the meta-inductive inequalities), relative to the structures in which the formulas asserting the additivity of some given terms are valid.
Importance of integrin receptors in the field of pharmaceutical & medical science  [PDF]
Sumit Goswami
Advances in Biological Chemistry (ABC) , 2013, DOI: 10.4236/abc.2013.32028
Abstract: Integrin receptors have remained as a key subject of interest in the pharmaceutical industry for the last few years. There are a total of 24 different types of integrin heterodimers. Each of these heterodimers plays important role in various biological processes that are inherent to different pathological conditions. As a result, integrin receptors have been extensively evaluated for their role in therapeutic targeting. There are different classes of inhibitors against integrin receptors and this review provides an overview on different classes of integrin inhibitors that are currently available. A number of review articles have been written on the possible application of integrin receptors in therapeutic targeting. Many of these articles have heavily emphasized on the importance of αvβ3 & αvβ5 receptors as major pharmaceutical target in cancer but little emphasis has been given on the importance of other integrin receptors, such as α5β1, αIIbβ3, α4β7, αvβ6 etc. While this review gives due importance to both αvβ3 & αvβ5 receptors and provides an historical perspective on how these two receptors have evolved as a potential target for cancer, significant emphasis has also been given on the other integrin receptors that have started enjoying the status of important drug target over the course of last few years. Effort has been maintained to discuss briefly on the key physiological basis of their importance as drug target. For example, involvement of αvβ3 in angiogenesis has made it a therapeutic target for the treatment of cancer. At the same time expression of this receptor on the surface of osteoclast has made it a target for the treatment of osteoporosis. Thus, emphasis has been given on discussing the role of the integrin receptors in different disease conditions followed by specific examples of drug molecules that have been trialed against these receptors. While hundreds of candidate molecules have been developed against different integrin receptors only a handful of them has been subject to phase-III clinical trial. That necessitates careful consideration of certain concerns that are associated with direct targeting of integrins and thus has also been an important goal of this review. In the last few years application of integrin receptors have extended beyond mere therapeutic targeting. Several integrin receptors are currently are studied for their potential of aiding at diagnostic imaging and drug delivery. In this review a brief overview has also been provided on how integrin are being
Modeling Evaporating Droplets in Complex Unsteady Flows  [PDF]
Sandip Ghosal, Sourabh V. Apte
Open Journal of Fluid Dynamics (OJFD) , 2012, DOI: 10.4236/ojfd.2012.22004
Abstract: In many applications, a moving fluid carries a suspension of droplets of a second phase which may change in size due to evaporation or condensation. Examples include liquid fuel drops in engines and raindrops or ice-crystals in a thunderstorm. If the number of such particles is very large, and, if further, the flow is inhomogeneous, unsteady or turbulent, it may be practically impossible to explicitly compute all of the fluid and particle degrees of freedom in a numerical simulation of the system. Under such circumstances Lagrangian Particle Tracking (LPT) of a small subset of the particles is used to reduce the computational effort. The purpose of this paper is to compare the LPT with an alternate method that is based on an approximate solution of the conservation equation of particle density in phase space by the method of moments (MOM). Closure is achieved by invoking the assumption that the droplet size distribution is locally lognormal. The resulting coupled transport equations for the local mean and variance of the particle size distribution are then solved in conjunction with the usual equations for the fluid and associated scalar fields. The formalism is applied to the test case of a uniform distribution of droplets placed in a non homogeneous temperature field and stirred with a decaying Taylor vortex. As a benchmark, we perform a direct numerical simulation (DNS) of high resolution that keeps track of all the particles together with the fluid flow.
FEV 6 as screening tool in diagnosis of obstructive airway disease
Aggarwal Sourabh
Lung India , 2010,
Abstract:
Venous air embolism
Aggarwal Sourabh
Indian Journal of Critical Care Medicine , 2009,
Abstract:
The placebo therapy
Aggarwal Sourabh
Indian Journal of Medical Sciences , 2009,
Abstract:
Screening program of school-going children
Aggarwal Sourabh
Indian Journal of Ophthalmology , 2010,
Abstract:
Mitroxantrone in multiple sclerosis
Aggarwal Sourabh
Neurology India , 2009,
Abstract:
Page 1 /749
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.