检索结果-南通市图书馆

2,3-Diaryl-3H-imidazo[4,5-b]pyridine derivatives as potential anticancer and anti-inflammatory agents

Acta Pharmaceutica Sinica B 2017年第1期7卷 73-79页

作者： Erin Marie Kirwen Tarun Batra Chandrabose Karthikeyan Girdhar Singh Deora Vandana Rathore Chaitanya Mulakayala Naveen Mulakayala Amy Catherine Nusbaum Joel Chen Haneen Amawi Kyle Mc Intosh Sahabjada Neelam Shivnath deepak chowarsia Nisha Sharma Md Arshad Piyush Trivedi Amit KTiwari Department of Pharmacology and Experimental Therapeutics College of Pharmacy & Pharmaceutical SciencesUniversity of Toledo School of Pharmaceutical Sciences Rajiv Gandhi Technical University The University of Queensland School of Pharmacy Dr. Reddy’s Institute of Life Sciences University of Hyderabad Campus The University of Queensland School of Biomedical Sciences Department of Biosciences Sri Satya Sai Institute of Higher LearningAnantapur campus Clearsynth Labs Ltd. Research CentreIDA-Mallapur Molecular Endocrinology Lab Department of ZoologyUniversity of Lucknow University Institute of Pharmacy Chhatrapati Shahu Ji Maharaj University

In this study we examined the suitability of the 3H-imidazo[4,5-b]pyridine ring system in developing novel anticancer and anti-inflammatory agents incorporating a diaryl pharmacophore. Eight 2,3-diaryl-3H-imidazo[4,5-b]pyridine derivatives retrieved from our in-house database were evaluated for their cytotoxic activity against nine cancer cell lines. The results indicated that the compounds showed moderate cytotoxic activity against MCF-7, MDA-MB-468, K562 and SaOS2 cells, with K562 being the most sensitive among the four cancer cell lines. The eight 2,3-diaryl-3H-imidazo[4,5-b]pyridine derivatives were also evaluated for their COX-1 and COX-2 inhibitory activity in vitro. The results showed that compound 3f exhibited 2-fold selectivity with IC_(50) values of 9.2 and 21.8 mmol/L against COX-2 and COX-1, respectively. Molecular docking studies on the most active compound 3f revealed a binding mode similar to that of celecoxib in the active site of the COX-2 enzyme.

关键词： 3H-Imidazo[4,5-b]pyridine Cytotoxicity MTT assay COX inhibitors Docking studies

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Conditional Congruence Closure over Uninterpreted and Interpreted Symbols

引用

Journal of Systems Science & Complexity 2019年第1期32卷 317-355页

作者： KAPUR deepak Department of Computer Science University of New Mexico

A framework for generating congruence closure and conditional congruence closure of ground terms over uninterpreted as well as interpreted symbols satisfying various properties is proposed. It is based on some of the key concepts from Kapur's congruence closure algorithm(RTA97)for ground equations based on introducing new symbols for all nonconstant subterms appearing in the equation set and using ground completion on uninterpreted constants and puri?ed equalities over interpreted symbols belonging to different theories. In the original signature, the resulting rewrite systems may be nonterminating but they still generate canonical forms. A byproduct of this framework is a constant Horn completion algorithm using which ground canonical Horn rewrite systems can be generated for conditional ground *** effcient algorithms for generating congruence closure of conditional and unconditional equations on ground terms over uninterpreted symbols are presented. The complexity of the conditional congruence closure is shown to be O(n*log(n)), which is the same as for unconditional ground *** proposed algorithm is motivated by our attempts to generate effcient and succinct interpolants for the quanti?er-free theory of equality over uninterpreted function symbols which are often a conjunction of conditional equations and need additional simpli?cation. A completion algorithm to generate a canonical conditional rewrite system from ground conditional equations is also presented. The framework is general and ?exible and is used later to develop congruence closure algorithms for cases when function symbols satisfy simple properties such as commutativity, nilpotency, idempotency and identity as well as their combinations. Interesting outcomes include algorithms for canonical rewrite systems for ground equational and conditional theories on uninterpreted and interpreted symbols leading to generation of canonical forms for ground terms, constrained terms and Horn equat

关键词： Completion congruence closure conditional congruence closure intepreted symbols rewrit-ing uninterpreted symbols

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Comprehensive G?bner Basis Theory for a Parametric Polynomial Ideal and the Associated Completion Algorithm

引用

Journal of Systems Science & Complexity 2017年第1期30卷 196-233页

作者： KAPUR deepak Department of Computer Science University of New Mexico Albuquerque NM USA.

Groebner basis theory for parametric polynomial ideals is explored with the main objec- tive of nfinicking the Groebner basis theory for ideals. Given a parametric polynomial ideal, its basis is a comprehensive GrSbner basis if and only if for every specialization of its parameters in a given field, the specialization of the basis is a GrSbnerbasis of the associated specialized polynomial ideal. For various specializations of parameters, structure of specialized ideals becomes qualitatively different even though there are significant relationships as well because of finiteness properties. Key concepts foundational to GrSbner basis theory are reexamined and/or further developed for the parametric case：（i） Definition of a comprehensive Groebner basis, （ii） test for a comprehensive GrSbner basis, （iii） parameterized rewriting, （iv） S-polynomials among parametric polynomials, （v） completion algorithm for directly computing a comprehensive Groebner basis from a given basis of a parametric ideal. Elegant properties of Groebner bases in the classical ideal theory, such as for a fixed admissible term ordering, a unique GrSbner basis can be associated with every polynomial ideal as well as that such a basis can be computed from any Groebner basis of an ideal, turn out to be a major challenge to generalize for parametric ideals; issues related to these investigations are explored. A prototype implementation of the algorithm has been successfully tried on many examples from the literature.

关键词： Comprehensive GrSbner basis minimal comprehensive GrSbner basis parametric polyno-mial system parametric S-polynomial redundancy.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Impact of surface Albedo on Martian photochemistry

引用

Earth and Planetary Physics 2020年第3期4卷 206-211页

作者： deepak Singh Physical Research Laboratory AhmedabadIndia

Solar energy is the primary driving force behind a planet’s climate system,and surface albedo plays a key role in determining the energy budget of the *** the Snow,Ice,and Aerosol Radiation(SNICAR)with the Laboratoire de Météorologie Dynamique(LMD)Mars General Circulation Model(MGCM)to create a new coupled model leads to an approximately 4%drop in the net CO2 ice deposition on *** simulated surface albedo affects the concentration of gaseous species in the Martian atmosphere(condensation-sublimation cycle).The new set-up also impacts the solar energy available in the *** two effects together lead to subsequent and significant changes in other chemical species in the Martian *** with results of the MGCM model alone,in the new coupled model CO2(gas)and O3 show a drop of about 1.17%and 8.59%in their respective concentrations,while H2O(vapor)and CO show an increase of about 13.63%and 0.56%in their respective *** trace species,OH shows a maximum increase of about 29.44%,while the maximum drop of 11.5%is observed in the O *** neutral species such as Ar and N2 remain unaffected by the albedo changes.

关键词： Mars Albedo snow photochemistry climate modelling

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Effectiveness of state incentives for promoting wind energy： A panel data examination

引用

Frontiers in Energy 2015年第3期9卷 247-258页

作者： deepak SANGROYA Jogendra NAYAK Department of Management Studies Indian Institute of Technology IIT Roorkee Roorkee 247667 India

Over the last decade, India has started to concentrate earnestly on renewable energy. The Indian government, as well as different state governments, are adopting policy instruments such as feed in tariff, captive consumption, renewable purchase obligation and genera- tion based incentive etc. aimed at renewable energy development. This paper evaluates the effectiveness of state level incentives for the development of wind energy in India. Fixed effect panel data modelling technique of econometric analysis is used to analyse the data of 26 Indian states in 11 years. The results show that feed in tariff and captive consumption are the significant predictors of wind energy development. However, renewable purchase obligation does not affect wind energy significantly.

关键词： India wind energy development state incen-tives econometric analysis panel data

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Design optimization of first wall and breeder unit module size for the Indian HCCB blanket module

引用

Plasma Science and Technology 2018年第6期20卷 200-210页

作者： deepak SHARMA Paritosh CHAUDHURI Institute for Plasma Research Bhat Gandhinagar Gujarat-382428 India

The Indian test blanket module（TBM） program in ITER is one of the major steps in the Indian fusion reactor program for carrying out the R＆D activities in the critical areas like design of tritium breeding blankets relevant to future Indian fusion devices（ITER relevant and DEMO）.The Indian Lead–Lithium Cooled Ceramic Breeder（LLCB） blanket concept is one of the Indian DEMO relevant TBM,to be tested in ITER as a part of the TBM ***-Cooled Ceramic Breeder（HCCB） is an alternative blanket concept that consists of lithium titanate（Li_2TiO_3） as ceramic breeder（CB） material in the form of packed pebble beds and beryllium as the neutron ***,attentions are given to the optimization of first wall coolant channel design and size of breeder unit module considering coolant pressure and thermal loads for the proposed Indian HCCB blanket based on ITER relevant TBM and loading *** analyses will help proceeding further in designing blankets for loads relevant to the future fusion device.

关键词： first wall blanket breeder unit thermal hydraulics structural analysis HCCB(helium-cooled ceramic breeder)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

ON INVARIANT CHECKING

引用

Journal of Systems Science & Complexity 2013年第3期26卷 470-482页

作者： ZHANG Zhihai KAPUR deepak School of Mathematical Sciences Peking University Department of Computer Science University of New Mexico

Checking whether a given formula is an invariant at a given program location(especially,inside a loop) can be quite nontrivial even for simple loop programs,given that it is in general an undecidable *** is especially the case if the given formula is not an inductive loop invariant,as most automated techniques can only check or generate inductive loop *** this paper,conditions are identified on simple loops and formulas when this check can be performed automatically.A general theorem is proved which gives a necessary and sufficient condition for a formula to be an invariant under certain restrictions on a *** a byproduct of this analysis,a new kind of loop invariant inside the loop body,called inside-loop invariant,is *** an invariant is more general than an inductive loop invariant typically used in the Floyd-Hoare axiomatic approach to program *** use of such invariants for program debugging is explored;it is shown that such invariants can be more useful than traditional inductive loop invariants especially when one is interested in checking extreme/side conditions such as underflow,accessing array/collection data structures outside the range,divide by zero,etc.

关键词： Assertion Floyd-Hoare logic invariant invariant generation.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Revisiting the Epoch of Cosmic Acceleration

引用

Research in Astronomy and Astrophysics 2023年第9期23卷 1-11页

作者： David Dahiya deepak Jain Technische Universität Dresden D-01069 DresdenGermany Deen Dayal Upadhyaya College University of DelhiDwarkaNew DelhiIndia

We revisit the epoch of cosmic speed-up characterized by the redshift of transition from a decelerated to an accelerated *** redshift is termed the transition redshift(z_(t)).We use the spatially flat and non-flat variants of the most commonΛCDM and XCDM models to put constraints on the transition redshift along with the other model *** data for this analysis come from the recent and updated Pantheon+supernova(SN)data set and the Hubble parameter measurements obtained from Cosmic *** consider both data sets with their respective covariance matrices incorporating all statistical and systematic *** observe that using the combined data sets of H(z)and SNe,the best fit value of transition redshift lies in the range 0.61

关键词： (cosmology )dark energy-(cosmology )cosmological parameters-cosmology observations

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Snow and regolith albedo variations using CRISM data at McMurdo crater,Mars

引用

Earth and Planetary Physics 2024年第2期8卷 338-355页

作者： Sehajpal Singh deepak Singh Centre of Studies in Resources Engineering Indian Institute of Technology BombayMumbaiIndia

The cryosphere component provides the most reliable and insightful indications of any planet’s climate *** data from the Compact Reconnaissance Imaging Spectrometer for Mars(CRISM),we develop a novel approach to determining the broadband Visible and Near Infrared(VNIR)albedo of the Martian *** study focuses on albedo changes in the McMurdo crater,part of Mars’s south polar layer *** compare seasonal and interannual variations of the McMurdo surface albedo before,during,and after the Global Dust Storm(GDS)of Martian Year(MY)*** the seasons progressed from spring to summer,the mean albedo in MY 32 and 34 plunged by over 40%,by about 35%in MY 33,and by slightly more than 30%in MY *** interannually,however,mean albedo values within both seasons(spring and summer)exhibited no significant differences in those same ***,interannual albedo difference maps reveal albedo variation of more than±0.3 in certain regions of the *** only snow-covered pixels,interannual albedo differences suggest that Mars dust had a pervasive impact on Mars’s *** in maximum and minimum albedo values as high as 0.5 were observed,depending upon differences in the dust levels in Martian snow/*** maximum and the minimum snow albedo values were lowest in MY 34,indicating the effect of the intense dust storm event that *** average snow albedo decreased from 0.45 in MY 32 to 0.40 in MY 33 and to 0.33 in MY 34,and then rose back to 0.40 in MY *** trajectory suggests a temporary deposition of dust,partially reversed after the GDS by self-cleaning mechanisms(local aeolian process and CO_(2)sublimation/deposition cycle).

关键词： Mars Martian ice albedo dust storm Mars surface Martian climate

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Climate change induced heat stress impact on workplace productivity in a net zero-carbon timber building towards the end of the century

引用

Building Simulation 2024年第6期17卷 893-906页

作者： deepak Amaripadath Mattheos Santamouris Shady Attia School of Geographical Sciences and Urban Planning Arizona State UniversityTempeAZUSA Urban Climate Research Center Arizona State UniversityTempeAZUSA School of Built Environment University of New South Wales2052SydneyAustralia Sustainable Building Design Lab Department of UEEFaculty of Applied SciencesUniversity of Liege4000LiegeBelgium

Changing climate intensifies heat stress,resulting in a greater risk of workplace productivity decline in timber office buildings with low internal thermal *** impact of climate change induced heat exposure on indoor workplace productivity in timber office buildings has not been extensively ***,further investigation to reduce the work capacity decline towards the end of the century is ***,heat exposure in a net zero-carbon timber building near Brussels,Belgium,was evaluated using a reproducible comparative approach with different internal thermal mass *** analysis indicated that strategies with increased thermal mass were more effective in limiting the effects of heat exposure on workplace *** medium and high thermal mass strategies reduced workplace productivity loss to 0.1%in the current,0.3%and 0.2%in the midfuture,and 4.9%and 3.9%for future *** comparison,baseline with low thermal mass yielded a decline of 2.3%,3.3%,and 8.2%.The variation in maximum and minimum wet-bulb globe temperatures were also lower for medium and high thermal mass strategies than for low thermal mass *** study findings lead to the formulation of design guidelines,identification of research gaps,and recommendations for future work.

关键词： heat exposure office buildings work capacity thermal mass climate change

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：