Search results for: Ashish Tiwari

Items from 1 to 20 out of 105 results

article

Tunable lanthanide/transition metal ion‐doped novel phosphors for possible application in w‐LEDs: a review

Ashish Tiwari, S.J. Dhoble

Lanthanide‐based phosphors have been extensively investigated for their possible applications in solid‐state lighting technologies especially for white‐light‐emitting diodes. In this review article emphasis has been laid on discussing the recent developments of phosphors for warm white‐light production based on various optical characteristics such as quantum efficiency, thermal stability, short emission...

article

Multiple tuberous and tendinous xanthomas diagnosed on fine‐needle aspiration cytology—report of a rare case

Santosh Tummidi, Kanchan Kothari, Amey Rojekar, Ashish Tiwari

Diagnostic Cytopathology > 47 > 9 > 939 - 942

Xanthomas are papulonodular skin lesions present in lipoprotein metabolism disorders, which result in cholesterol deposits in subcutaneous tissue, tendons, ligaments, periosteum, etc. A 11‐year‐old male presented with multiple soft tissue swellings, prominently over joints. Fine‐needle aspiration (FNA) from multiple sites had similar appearance with foamy histocytes and giant cells. Oil Red O and...

article

Effect of Varying Viscosity on Two-Layer Model of Pulsatile Flow through Blood Vessels with Porous Region near Walls

Ashish Tiwari, Satyendra Singh Chauhan

Transport in Porous Media > 2019 > 129 > 3 > 721-741

The present work concerns the effect of hematocrit-dependent viscosity on pulsatile flow of blood through narrow tube with porous walls. Two-fluid model of blood is assumed to be consisting of a core region (Casson fluid) and a plasma region (Newtonian fluid). No slip condition is assumed on wall and pressure gradient has been considered as periodic function of time. The wall of the blood vessel composed...

article

Effect of varying viscosity on a two-layer model of the blood flow through porous blood vessels

Ashish Tiwari, Satyendra Singh Chauhan

The European Physical Journal Plus > 2019 > 134 > 1 > 1-18

. The present work concerns the effect of radially varying viscosity on blood flow through blood vessels with porous walls. Blood is assumed as a two-fluid model consisting of a core region of suspension of all red cells constituted by the Herschel-Bulkley fluid and a peripheral layer of plasma free from the cells modeled as a Newtonian fluid. No slip condition has been used on the wall and the pressure...

article

TeLEx: learning signal temporal logic from positive examples using tightness metric

Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, more

Formal Methods in System Design > 2019 > 54 > 3 > 364-387

We propose a novel passive learning approach, TeLex, to infer signal temporal logic (STL) formulas that characterize the behavior of a dynamical system using only observed signal traces of the system. First, we present a template-driven learning approach that requires two inputs: a set of observed traces and a template STL formula. The unknown parameters in the template can include time-bounds of...

article

Effect of Varying Viscosity on Two-Fluid Model of Blood Flow through Constricted Blood Vessels: A Comparative Study

Ashish Tiwari, Satyendra Singh Chauhan

Cardiovascular Engineering and Technology > 2019 > 10 > 1 > 155-172

Purpose Most of the previously studied non-Newtonian blood flow models considered blood viscosity to be constant but for correct measurement of flow rate and flow resistance, the hematocrit dependent viscosity will be better as various literature suggested the variable nature of blood viscosity. Present work concerns the steady and pulsatile nature of blood flow through constricted blood vessels....

article

Recent advances and developments on integrating nanotechnology with chemiluminescence assays

Ashish Tiwari, S.J. Dhoble

Talanta > 2018 > 180 > C > 1-11

Chemiluminescence (CL) techniques are extensively utilized for detection of analytes due to their high sensitivity, rapidity and selectivity. With the advent of nanotechnology and incorporation of the nanoparticles in the CL system has revolutionized the assays due to their unique optical and mechanical properties. Several CL-based reactions have been developed where these nanoparticle based CL sensors...

article

Hydrodynamic permeability of a membrane built up by spheroidal particles covered by porous layer

Pramod Kumar Yadav, Ashish Tiwari, Priyanka Singh

Acta Mechanica > 2018 > 229 > 4 > 1869-1892

This paper concerns the motion of a viscous steady incompressible fluid through a membrane, where the membrane is built up by impermeable spheroidal particles covered by a porous layer. In this work, we discuss the hydrodynamic permeability of a membrane built up by spheroidal particles. Cell model technique has been used to find the hydrodynamic permeability of the membrane. The emphasis is placed...

article

Tetralogy of Fallot with Restrictive Ventricular Septal Defect

Ashish Tiwari, Savita Bhunwal, Manojkumar Rohit

The Indian Journal of Pediatrics > 2018 > 85 > 5 > 400-400

article

Stokes Flow Through Assemblage of Non-homogeneous Porous Cylindrical Particles Using Cell Model Technique

Ashish Tiwari, Pramod Kumar Yadav, Priyanka Singh

National Academy Science Letters > 2018 > 41 > 1 > 53-57

The present paper concerns flow through assemblage of non-homogeneous porous cylindrical particles using cell model technique. All four cell model formulations used on hypothetical surface (Happel, Kuwabara, Kvashnin and Mehta-Morse/Cunningham.) and a comparison has been made among them for non-homogeneous porous region. Previously established results have been deduced as special case of our model...

chapter

Implementation of a novel 2-stage DFT structure for CMOS pixel sensors utilizing on-chip CP-PLL clock (for retinal implant system)

Ashish Tiwari, R. H. Talwekar

2017 International conference on Microelectronic Devices, Circuits and Systems (ICMDCS) > 1 - 6

2017 International conference on Microelectronic Devices, Circuits and Systems (ICMDCS)

A novel 2-stage testing structure for CMOS pixel sensor (CPS) is proposed here. The test stimuli are based on applying the electrical pulses instead of light stimuli on photosensitive area, for pure electrical test. The voltage stimuli applied is generated by charge-pump phase locked loop (CP-PLL) which is used here as on-chip clock, exploiting the dual role. Existing charge-pump circuit as stimulator...

chapter

Termination of Rewriting with Right-Flat Rules

Guillem Godoy, Eduard Huntingford, Ashish Tiwari

Lecture Notes in Computer Science > Term Rewriting and Applications > 200-213

Termination and innermost termination are shown to be decidable for term rewrite systems whose right-hand side terms are restricted to be shallow (variables occur at depth at most one) and linear. Innermost termination is also shown to be decidable for shallow rewrite systems. In all cases, we show that nontermination implies nontermination starting from flat terms. The proof is completed by using...

chapter

Confluence of Shallow Right-Linear Rewrite Systems

Guillem Godoy, Ashish Tiwari

Lecture Notes in Computer Science > Computer Science Logic > Implicit Computational Complexity and Rewriting > 541-556

We show that confluence of shallow and right-linear term rewriting systems is decidable. This class of rewriting system is expressive enough to include nontrivial nonground rules such as commutativity, identity, and idempotence. Our proof uses the fact that this class of rewrite systems is known to be regularity-preserving, which implies that its reachability and joinability problems are decidable...

chapter

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

Sumit Gulwani, Ashish Tiwari

Lecture Notes in Computer Science > Computer Aided Verification > Session XII: Abstraction > 379-392

We describe an abstract domain for representing useful invariants of heap-manipulating programs (in presence of recursive data structures and pointer arithmetic) written in languages like C or low-level code. This abstract domain allows representation of must and may equalities among pointer expressions. Pointer expressions contain existentially or universally quantified integer variables guarded...

chapter

Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules

Guillem Godoy, Ashish Tiwari

Lecture Notes in Computer Science > Automated Deduction – CADE-20 > 164-176

We show that termination is decidable for rewrite systems that contain shallow and right-linear rules, collapsing rules, and right-ground rules. This class of rewrite systems is expressive enough to include interesting rules. Our proof uses the fact that this class of rewrite systems is known to be regularity-preserving and hence the reachability and joinability problems are decidable. Decidability...

chapter

Relational Abstractions for Continuous and Hybrid Systems

Sriram Sankaranarayanan, Ashish Tiwari

Lecture Notes in Computer Science > Computer Aided Verification > 686-702

In this paper, we define relational abstractions of hybrid systems. A relational abstraction is obtained by replacing the continuous dynamics in each mode by a binary transition relation that relates a state of the system to any state that can potentially be reached at some future time instant using the continuous dynamics. We construct relational abstractions by reusing template-based invariant generation...

chapter

D-bases for polynomial ideals over commutative noetherian rings

Leo Bachmair, Ashish Tiwari

Lecture Notes in Computer Science > Rewriting Techniques and Applications > 113-127

We present a completion-like procedure for constructing D-bases for polynomial ideals over commutative Noetherian rings with. unit. The procedure is described at an abstract level, by transition rules. Its termination is proved under certain assumptions about the strategy that controls the application of the transition rules. Correctness is established by proof simplification techniques.

chapter

Synthesizing Switching Logic Using Constraint Solving

Ankur Taly, Sumit Gulwani, Ashish Tiwari

Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 305-319

A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a given form. In this paper, we extend that work to automatic synthesis of safe hybrid systems. Starting with a multi-modal dynamical system and a safety property, we present a sound technique for synthesizing a switching logic...

chapter

Series of Abstractions for Hybrid Automata

Ashish Tiwari, Gaurav Khanna

Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Papers > 465-478

We present a technique based on the use of the quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and...

chapter

Analyzing Pathways Using SAT-Based Approaches

Ashish Tiwari, Carolyn Talcott, Merrill Knapp, Patrick Lincoln, more

Lecture Notes in Computer Science > Algebraic Biology > 155-169

A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries using them? In this paper, we present a novel approach based on translation of generic reaction networks to Boolean weighted MaxSAT. The Boolean weighted MaxSAT instance is generated by encoding the equilibrium configurations of...

Publication date

Set your own date range

Content availability

Available (104)
None (1)

Publication type

article (57)
book (48)

Keywords

EQUINE INFLUENZA VIRUS (4)
HYBRID SYSTEMS (4)
CLOUD COMPUTING (3)
ELECTRON MICROSCOPY (3)
EQUATIONS (3)
H3N8 (3)
SAFETY (3)
SOL–GEL SYNTHESIS (3)
SURVEILLANCE (3)
TERM REWRITING (3)
ABSTRACTS (2)
AREA OVERHEAD (2)
CARDIOPROTECTION (2)
CHEMILUMINESCENCE (2)
CIRCUIT FAULTS (2)
CLOUD SERVICE PROVIDERS (2)
CONCRETE (2)
CONFLUENCE (2)
CONTEXT UNIFICATION (2)
DESIGN FOR TESTABILITY (DFT) (2)
DISCRETE FOURIER TRANSFORMS (2)
EIGENVALUES AND EIGENFUNCTIONS (2)
FORMAL METHODS (2)
HYDRODYNAMIC PERMEABILITY (2)
MATHEMATICAL MODEL (2)
POWDERED XRD (2)
RRPSP ALGORITHM (2)
TESTING (2)
THERMOLUMINESCENCE (2)
THERMOLUMINESCENCE (TL) (2)
UNIFICATION (2)
USERS (2)
VACCINE STRAIN SELECTION (2)
VARIABLE VISCOSITY (2)
VOLTAGE-CONTROLLED OSCILLATORS (2)
ZNS:CU NANOCRYSTALS (2)
ZNS:CU NANOPHOSPHORS (2)
Γ-IRRADIATION (2)
1400W (1)
3-THIOPROPIONIC ACID (1)
ABSORPTION EDGE (1)
ABSTRACTION (1)
ACCESS PROTOCOLS (1)
AD HOC NETWORKS (1)
ADENOSINE (1)
ADHOC WIRELESS NETWORKS (1)
ADVISER GOVERNANCE (1)
ALGORITHM DESIGN AND ANALYSIS (1)
ALGORITHMIC LEARNING (1)
ALLIUM SATIVUM LINN. (1)
AMINOGUANIDINE (1)
ANTIBACTERIAL PROPERTY (1)
ANTICOAGULANTS (1)
ANTIGENIC CARTOGRAPHY (1)
ANTIPLATELETS (1)
APPLICATIONS (1)
APPROXIMATION METHODS (1)
ARSENITE (1)
ASSOCIATIVE-COMMUTATIVE THEORIES (1)
ASYMPTOTIC STABILITY (1)
AUTOMATA (1)
AUTONOMOUS SYSTEM (1)
AVIAN INFLUENZA (1)
BANDWIDTH (1)
BARTLETT AND PARZEN KERNELS (1)
BIOLOGICAL SYSTEMS (1)
BISPHERICAL POLAR COORDINATES (1)
BOOLEAN FUNCTIONS (1)
BOUNDED MODEL CHECKING (1)
BRINKMAN EQUATION (1)
BROKERAGE COMMISSIONS (1)
CAPM (1)
CAPPING AGENT (1)
CAPPING AGENTS (1)
CASSON FLUID (1)
CHARGE PUMP PHASE LOCKED LOOP (CP-PLL) (1)
CHARGE PUMP PHASE-LOCKED LOOP (CP-PLL) (1)
CHARGE PUMPS (1)
CHEMICAL SYNTHESIS (1)
CLOCKS (1)
CLOUD COMPUTING SERVICES,PROVIDERS AND ORGANIZATIONS (1)
CLOUD ENVIRONMENT (1)
CLOUD SERVICE ORGANIZATIONS (1)
CLOUD SIM. (1)
COMBINATIONAL CIRCUITS (1)
COMPUTATIONAL MODELING (1)
CONFERENCES (1)
CONFLICT GRAPH (1)
CONGRUENCE CLOSURE (1)
CONTEXT (1)
CONTROLLER SYNTHESIS (1)
CREATINE PHOSPHOKINASE (CK) (1)
CROSS TRADING (1)
CYBER-PHYSICAL SYSTEM (1)
CYLINDRICAL POROUS SHELL (1)
CYTOLOGY (1)
DARCY EQUATION (1)
DEGUSSA P25 TITANIA (1)
DERECT REPORTAGE (1)
DIAMETER POLYDISPERSITY INDEX (1)
more

Data set

Springer (53)
Elsevier (29)
ieee (15)
Wiley (7)
ACS (1)

Journal

Journal of Luminescence (4)
Luminescence (4)
Formal Methods in System Design (3)
Veterinary Microbiology (3)
Acta Mechanica (2)
Journal of Automated Reasoning (2)
Journal of Photochemistry & Photobiology, B: Biology (2)
Journal of Symbolic Computation (2)
Acta Materialia (1)
Advances in Colloid and Interface Science (1)
Annals of Pure and Applied Logic (1)
Applicable Algebra in Engineering, Communication and Computing (1)
Applied Mathematical Modelling (1)
Applied Mathematics and Computation (1)
Automatica (1)
Bulletin of Materials Science (1)
CVD Prevention and Control (1)
Cardiovascular Engineering and Technology (1)
Colloid Journal (1)
Current Applied Physics (1)
Diagnostic Cytopathology (1)
Electronic Notes in Theoretical Computer Science (1)
Gastrointestinal Endoscopy (1)
IEEE Transactions on Emerging Topics in Computing (1)
Indian Journal of Surgery (1)
Influenza and Other Respiratory Viruses (1)
International Journal on Software Tools for Technology Transfer (1)
Journal of Applied Spectroscopy (1)
Journal of Biomedical Research (1)
Journal of Empirical Finance (1)
Journal of Financial Intermediation (1)
Journal of Financial Markets (1)
Journal of Virological Methods (1)
Metabolomics (1)
National Academy Science Letters (1)
Organic Process Research & Development (1)
Procedia Computer Science (1)
Real Estate Economics (1)
Talanta (1)
The European Physical Journal Plus (1)
The Indian Journal of Pediatrics (1)
Toxicology (1)
Transport in Porous Media (1)
more

INFONA - science communication portal

Search results for: Ashish Tiwari

Tunable lanthanide/transition metal ion‐doped novel phosphors for possible application in w‐LEDs: a review

Multiple tuberous and tendinous xanthomas diagnosed on fine‐needle aspiration cytology—report of a rare case

Effect of Varying Viscosity on Two-Layer Model of Pulsatile Flow through Blood Vessels with Porous Region near Walls

Effect of varying viscosity on a two-layer model of the blood flow through porous blood vessels

TeLEx: learning signal temporal logic from positive examples using tightness metric

Effect of Varying Viscosity on Two-Fluid Model of Blood Flow through Constricted Blood Vessels: A Comparative Study

Recent advances and developments on integrating nanotechnology with chemiluminescence assays

Hydrodynamic permeability of a membrane built up by spheroidal particles covered by porous layer

Tetralogy of Fallot with Restrictive Ventricular Septal Defect

Stokes Flow Through Assemblage of Non-homogeneous Porous Cylindrical Particles Using Cell Model Technique

Implementation of a novel 2-stage DFT structure for CMOS pixel sensors utilizing on-chip CP-PLL clock (for retinal implant system)

Termination of Rewriting with Right-Flat Rules

Confluence of Shallow Right-Linear Rewrite Systems

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules

Relational Abstractions for Continuous and Hybrid Systems

D-bases for polynomial ideals over commutative noetherian rings

Synthesizing Switching Logic Using Constraint Solving

Series of Abstractions for Hybrid Automata

Analyzing Pathways Using SAT-Based Approaches

Filter options

Publication date

Content availability

Publication type

Keywords

Data set

Journal

INFONA - science communication portal

Search results for: Ashish Tiwari

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Publication type

Keywords

Data set

Journal

Reporting an error / abuse

Sending the report failed

Accessibility options