Gopal Gupta

Monash University, Faculty of Information Technology, Adjunct

Followers

Following

Co-authors

Public Views

Steven J. Miller

Williams College

Steve M Potter

Georgia Institute of Technology

Issel Anne Lim, PhD

Johns Hopkins University

Christina Hagedorn

College of Staten Island

David Seamon

Kansas State University

Vesna Mildner

University of Zagreb, Faculty of Humanities and Social Sciences [Filozofski fakultet]

Armando Marques-Guedes

UNL - New University of Lisbon

Samit Chakrabarty

University of Leeds

Mehmet Akif KILIC

Sağlık Bilimleri Üniversitesi

George Christodoulides

Université de Mons

Interests

Uploads

Papers by Gopal Gupta

Using fingerprints based on the sequence of a set of selected words in a document for 1-to-n similarity analysis

... to a document. Schleimer, Wilkerson and Aiken (2003) suggest that a similarity-detection algo... more

2-Methyl-4/5-nitroimidazole derivatives potentiated against sexually transmitted Trichomonas: Design, synthesis, biology and 3D-QSAR study

European Journal of Medicinal Chemistry, 2016

Trichomoniasis is the most prevalent, non-viral sexually transmitted diseases (STD) caused by ami... more Trichomoniasis is the most prevalent, non-viral sexually transmitted diseases (STD) caused by amitochondriate protozoan Trichomonas vaginalis. Increased resistance of T. vaginalis to the marketed drug Metronidazole necessitates the development of newer chemical entities. A library of sixty 2-methyl-4/5-nitroimidazole derivatives was synthesized via nucleophilic ring opening reaction of epoxide and the efficacies against drug-susceptible and -resistant Trichomonas vaginalis were evaluated. All the molecules except two were found to be active against both susceptible and resistant strains with MICs ranging 8.55-336.70 μM and 28.80-1445.08 μM, respectively. Most of the compounds were remarkably more effective than the standard Metronidazole. This study analyzes the in vitro and in vivo activities of the new 5-nitroimidazoles, which were found to be safe against human cervical HeLa cells with good selectivity index. The exploration of SAR by the synthesis of four different prototypes and 3D-QSAR study has shown the importance of prototype 1 over other prototypes.

Towards provably correct code generation via horn logical continuation semantics

Proceedings of the 7th International Conference on Practical Aspects of Declarative Languages, 2005

Provably correct compilation is an important aspect in development of high assurance software sys... more Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code generation based on programming language semantics, particularly Horn logical semantics, and partial evaluation. We show that the definite clause grammar (DCG) notation can be used for specifying both the syntax and semantics of imperative languages. We next show that continuation semantics can also be expressed in the Horn logical framework.

Download

Liposomes: A review

Determinacy Driven Optimization of And-parallel Prolog Implementations

ABSTRACT

Hom�opathic remedies for gall bladder diseases

British Homoeopathic Journal, 1991

ACE: A High-Performance Parallel Prolog System

In recent years a lot of research has been invested in parallel processing of numerical applicati... more In recent years a lot of research has been invested in parallel processing of numerical applications. However, parallel processing of Symbolic and AI applications has received less attention. This paper presents a system for parallel symbolic computing, named ACE, based on the logic programming paradigm. ACE is a computational model for the full Prolog language, capable of exploiting Or-parallelism and

Cuts And Side-Effects In And-Or Parallel Prolog

The user has requested enhancement of the downloaded file. All in-text references underlined in b... more The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately. J. LOGIC PROGRAMMING 1993:12:1{199 1 CUTS AND SIDE-EFFECTS IN AND-OR PARALLEL PROLOG GOPAL GUPTA AND VITOR SANTOS COSTA y >

Download

Variable surgical outcomes after hospital consolidation: Implications for local health care delivery

Surgery, 2016

With more hospital consolidations as an inevitable part of our future health care ecosystem, we i... more With more hospital consolidations as an inevitable part of our future health care ecosystem, we investigated the relationship between hospital consolidations and operative outcomes. Using the Health Care Cost and Utilization Project State Inpatient Database (Florida and California), the American Hospital Association Annual Survey Database, and Medicare&amp;amp;amp;amp;amp;amp;amp;amp;#39;s Case Mix Index data, we identified 19 hospitals that consolidated between 2007 and 2013 and propensity matched them with 19 independent hospitals, using patient and hospital characteristics. One year before consolidation and again 1 year after, we used difference-in-differences analysis to compare changes in the risk-adjusted complication rate of 7 elective operations performed in the consolidated hospitals and in the matched control group. Of the 7 procedures studied, 2 procedures saw a decrease in complication rate (lumbar and lumbosacral fusion of the posterior column posterior technique, difference-in-differences = -0.6%, P &amp;amp;amp;amp;amp;amp;amp;amp;lt; .01; total hip replacement, difference-in-differences = -0.6%, P &amp;amp;amp;amp;amp;amp;amp;amp;lt; .01); 3 procedures saw an increase in complication rate (transurethral prostatectomy, difference-in-differences = 4.1%, P &amp;amp;amp;amp;amp;amp;amp;amp;lt; .01; cervical fusion of the anterior column anterior technique, difference-in-differences = 1.5%, P &amp;amp;amp;amp;amp;amp;amp;amp;lt; .01; total knee replacement, difference-in-differences = 0.3%, P &amp;amp;amp;amp;amp;amp;amp;amp;lt; .01); and 2 procedures saw no change in complication rate (laparoscopic cholecystectomy, lumbar and lumbosacral fusion of the anterior column posterior technique, both P &amp;amp;amp;amp;amp;amp;amp;amp;gt; .05) after hospital consolidation. Arguments have been made that consolidated health care systems can share high-performing clinical services and infrastructure resources, such as electronic medical records, to improve quality. Our results indicate that hospital consolidation does not uniformly improve postoperative complication rates.

Parallel execution of an equational language

Proceedings of the Workshop on Graph Reduction, Sep 29, 1986

Without Abstract

Semantics-based Efficient Web Service Discovery and Composition, The University of Texas at

Service-oriented computing is gaining wider acceptance.For Web services to become practical, an i... more Service-oriented computing is gaining wider acceptance.For Web services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose and synthesize services automatically. For this automation to be effective, formal semantic descriptions of Web services should be available. In this paper we formally define the Web service discovery and composition problem and present an approach for automatic service discovery and composition based on semantic description of Web services. We also report on an implementation of a semantics-based automated service discovery and composition engine that we have developed. This engine employs a multi-step narrowing algorithm and is efficiently implemented using the constraint logic programming technology. The salient features of our engine are its scalability, i.e., its ability to handle very large service repositories, and its extremely efficient processing times for discovery and composition queries. We evaluate our algorithms for automated discovery and composition on repositories of different sizes and present the results.

Download

Angiolymphoid hyperplasia with eosinophilia: successful treatment with pulsed dye laser using the double pulse technique

British Journal of Dermatology, Jul 1, 2000

Software technology and computer interfaces for the disabled: non-visual WWW browsing

Proceedings of the Hci International 99 on Human Computer Interaction Communication Cooperation and Application Design Volume 2 Volume 2, Aug 22, 1999

E-Selectin (CD62E) and Associated Adhesion Molecules

Osmotic Controlled Drug Delivery System

During the past three decades significant advances have been made in the area of novel drug deliv... more

Family of CD93 and Recently Discovered Groups of CTLDs

Lectins in Quality Control: Calnexin and Calreticulin

Extended Dynamic Dependent And-Parallelism in ACE

Jflp, 1999

We present an extension of Dynamic Dependent Andparallel scheme in which deterministic consumer g... more We present an extension of Dynamic Dependent Andparallel scheme in which deterministic consumer goals are allowed to bind the dependent variable. The extended scheme leads to: (i) improved e ciency due to pruning of program search space; and, (ii) exploitation of more parallelism due to increased overlapping of dependent executions. In dynamic dependent and-parallel execution, given a parallel conjunction with a shared variable X, the leftmost goal is normally designated as the producer of the binding for X, all others goals are designated as consumers. If the producer goal nishes execution without binding X, then the leftmost consumer goal becomes the next producer and so on. In the extended scheme a deterministic consumer goal is also allowed to bind the dependent variable. Our extension leads to incorporation of coroutining in a dynamic dependent and-parallel system. The extended dynamic dependent and-parallel scheme can be regarded as a weak form of the Extended Andorra Model. The implementation of the extended scheme has been realized, based on the Filtered Binding Model for implementing dependent and-parallelism, and has shown excellent results.

Download

Dependent And-Parallelism Revisited (Poster Abstract)

Iclp, 1996

Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism

Iclp, 1997

Using fingerprints based on the sequence of a set of selected words in a document for 1-to-n similarity analysis

... to a document. Schleimer, Wilkerson and Aiken (2003) suggest that a similarity-detection algo... more

2-Methyl-4/5-nitroimidazole derivatives potentiated against sexually transmitted Trichomonas: Design, synthesis, biology and 3D-QSAR study

European Journal of Medicinal Chemistry, 2016

Towards provably correct code generation via horn logical continuation semantics

Proceedings of the 7th International Conference on Practical Aspects of Declarative Languages, 2005

Download

Liposomes: A review

Determinacy Driven Optimization of And-parallel Prolog Implementations

ABSTRACT

Hom�opathic remedies for gall bladder diseases

British Homoeopathic Journal, 1991

ACE: A High-Performance Parallel Prolog System

Cuts And Side-Effects In And-Or Parallel Prolog

Download

Variable surgical outcomes after hospital consolidation: Implications for local health care delivery

Surgery, 2016

Parallel execution of an equational language

Proceedings of the Workshop on Graph Reduction, Sep 29, 1986

Without Abstract

Semantics-based Efficient Web Service Discovery and Composition, The University of Texas at

Download

Angiolymphoid hyperplasia with eosinophilia: successful treatment with pulsed dye laser using the double pulse technique

British Journal of Dermatology, Jul 1, 2000

Software technology and computer interfaces for the disabled: non-visual WWW browsing

Proceedings of the Hci International 99 on Human Computer Interaction Communication Cooperation and Application Design Volume 2 Volume 2, Aug 22, 1999

E-Selectin (CD62E) and Associated Adhesion Molecules

Osmotic Controlled Drug Delivery System

During the past three decades significant advances have been made in the area of novel drug deliv... more

Family of CD93 and Recently Discovered Groups of CTLDs

Lectins in Quality Control: Calnexin and Calreticulin

Extended Dynamic Dependent And-Parallelism in ACE

Jflp, 1999

Download

Dependent And-Parallelism Revisited (Poster Abstract)

Iclp, 1996

Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism

Iclp, 1997

Gopal Gupta

Related Authors

Uploads

Papers by Gopal Gupta

Log In