Sharif Digital Repository

Higher-Order quantified boolean satisfiability

Author

Chistikov, D.

Publisher

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing,

Pub. Year

2022

Subjects

Boolean satisfiability problem. / Higher-order Boolean functions. / Weak k-EXP hierarchies. / Computational complexity. / Digital arithmetic. / Model checking. / Boolean satisfiability. / Boolean satisfiability problems. / Generalisation. / High-order. / High-order boolean function. / Higher-order. / Low bound. / Non-elementary complexity. / Presburger arithmetic. / Weak k-EXP hierarchy. / Boolean functions.

Data science and predictive analytics : biomedical and health applications using R [electronic resource] / / Ivo D. Dinov.

Author

Dinov, Ivo D.

Publisher

Springer International Publishing AG,

Pub. Year

2018

Subjects

Big data. / Mathematical statistics. / Medical records -- Data processing. / R (Computer program language)

Call Number

‭QA 76 .9 .B45 .D56 2018

Synergistic effect of MEHPA on co-extraction of zinc and cadmium with DEHPA

Author

Keshavarz Alamdari, E.

Pub. Year

2004

Subjects

Hydrometallurgy. / Solvent extraction.

Investigating the convective flow of ternary hybrid nanofluids and single nanofluids around a stretched cylinder: Parameter analysis and performance enhancement

Author

Mahboobtosi, M.

Pub. Year

2024

Subjects

Performance enhancement. / Ternary hybrid nanofluids. / Cylinders (shapes) / Heat convection. / Layered semiconductors. / Molybdenum disulfide. / Nanofluidics. / Ordinary differential equations. / Volume fraction. / Convective flow. / Eckert numbers. / Hybrid nanofluid. / Nanofluids. / Parameter analysis. / Performance enhancements. / Shapes factors. / Stretched cylinder. / Ternary hybrid. / Ternary hybrid nanofluid. / Copper.

MHD flow in a channel using new combination of order of magnitude technique and HPM [MHD tok u kanalu uporabom novih kombinacija tehnika grubog opisa vrijednosti i HPM]

Author

Abbasi, M.

Pub. Year

2014

Subjects

Magnetohydrodynamic. / Differential equations. / Magnetic fields. / Mathematical transformations. / Navier Stokes equations. / Applied magnetic fields. / Channel. / Homotopy Perturbation Method (HPM) / HPM. / Nonlinear differential equation. / Parallel-plate channels. / Steady incompressible flows. / Stretching walls.

Analytical solution of nonlinear differential equations two oscillators mechanism using Akbari-Ganji method

Author

Hosseinzadeh, S.

Publisher

World Scientific,

Pub. Year

2021

Subjects

Akbari–Ganji method. / Sensitivity analysis. / Nonlinear equations. / Oscillator.

A compiler for multi-key homomorphic signatures for Turing machines

Author

Dolatnezhad Samarin, S.

Publisher

Elsevier B.V,

Pub. Year

2021

Subjects

Machinery. / Program compilers. / Exponentials. / Generalisation. / Homomorphic authenticators. / Machine models. / Model of computation. / Multiple user. / Secure delegation of computation. / Signature Scheme. / Support programs. / The standard model. / Turing machines.

Ride comfort of high-speed trains travelling over railway bridges

Author

Kargarnovin, M. H.

Publisher

Taylor and Francis Ltd,

Pub. Year

2005

Subjects

Damping. / Elasticity. / Mathematical models. / Railroad bridges. / Stiffness. / Structural design. / Vehicle suspensions. / Vehicle wheels. / Design parameters. / High-speed trains. / Power spectral density (PSD) / Railway bridges. / Ground vehicles.

Entropy generation analysis of kerosene oil flow with ternary hybrid nanoparticles on the stretchable exponential surface

Author

Mahboobtosi, M.

Pub. Year

2024

Subjects

Entropy generation. / Magnetic field. / Shape factor. / Ternary hybrid nanoparticles. / Thermal radiation.

The investigation of pre-ionization effect on the improvement of pinch quality and increased hard X-ray radiation in a dense plasma focus (DPF) device

Author

Hosseinzadeh, A.

Pub. Year

2024

Subjects

Plasma focus device. / Pre-ionization. / Shunt resistor. / Total hard x-ray. / Magnetoplasma. / Pinhole cameras. / Plasma devices. / Plasma sheaths. / Hard X ray. / Hard x rays. / Plasma focus devices. / Plasmoid. / Plasmoid hard x-ray. / Shunt resistors. / Ionization of gases.

Heat transfer hybrid nanofluid (1-Butanol/MoS2–Fe3O4) through a wavy porous cavity and its optimization

Author

Hosseinzadeh, K.

Publisher

Emerald Group Holdings Ltd,

Pub. Year

2020

Subjects

1-Butanol. / Finite element method. / Hybrid nanoparticle. / Porous enclosure. / RSM. / Taguchi method. / Enclosures. / Inverse problems. / Iron oxides. / Isotherms. / Layered semiconductors. / Magnetite. / Molybdenum compounds. / Nanofluidics. / Nanoparticles. / Nusselt number. / Porosity. / Porous materials. / Taguchi methods. / Constant temperature. / Corrugated surfaces. / Design/methodology/approach. / Governing equations. / Inverse relations. / Nanoparticle shape. / Optimal parameter. / Heat transfer performance.

Detection of ammonia gas by knudsen thermal force in micro gas actuator

Author

Mahyari, A.

Pub. Year

2018

Subjects

Knudsen force. / Low-pressure gas sensor. / Ammonia. / Boltzmann equation. / Gas detectors. / MEMS. / Monte carlo methods. / Direct simulation monte carlo method. / DSMC. / Force generation. / High-precision. / Knudsen. / Low pressure gas. / Micro-gas sensors. / Thermal forces. / Gases.

Dual-phase-lag thermoelastic damping in nonlocal rectangular nanoplates

Author

Yang, Z.

Pub. Year

2024

Subjects

Nonlocal elasticity theory. / Size-dependency. / Thermoelastic damping. / Damping. / Elasticity. / Nanostructures. / Thermoelasticity. / DPL heat conduction model. / Dual phase lag. / Heat conduction models. / Nanoplates. / Nonlocal. / Size dependent. / Small scale effects. / Continuum mechanics.

Hydrothermal assessment of a double-pass shell and tube heat exchanger in the presence of blade turbulators with different configurations

Author

Paikar, M.

Publisher

Elsevier,

Pub. Year

2024

Subjects

Blade turbulators. / Double-pass shell and tube heat exchanger. / Heat transfer enhancement. / Pressure drop. / Drops. / Flow rate. / Heat exchangers.

Modified Buongiorno's model for fully developed mixed convection flow of nanofluids in a vertical annular pipe

Author

Malvandi, A.

Pub. Year

2014

Subjects

Brownian motion. / Mixed convection. / Nanofluid. / Thermophoretic diffusion. / Vertical pipe annulus. / Equilibrium modeling. / Fluid-solid interfaces. / Fully developed flows. / Mixed convection flow. / Nanofluids. / Thermophoretic. / Vertical pipes. / Volume fraction distribution. / Brownian movement. / Heat flux. / Mixed convection. / Nanoparticles. / Partial differential equations. / Nanofluidics.

Measurement, analysis and reconstruction of residual stresses

Author

Faghidian, S. A.

Pub. Year

2012

Subjects

Inverse reconstruction theory. / Limited measurements. / Airy stress function. / Approximate analysis. / Deep hole drilling. / Elastic-Plastic. / Elastic-plastic beam. / Equilibrium conditions. / Experimental data. / Experimental measurements. / Finite element simulations. / Four-point bending. / Hole drilling. / Measurement techniques. / Reconstruction analysis. / Reconstruction process. / Reconstruction theory. / Residual stress profiles. / Steel beams. / Elastoplasticity. / Finite element method. / Forecasting. / Measurement errors. / Neutron diffraction. / Residual stresses.

Three-dimensional numerical simulation of rising bubbles in the presence of cylindrical obstacles, using lattice boltzmann method

Author

Alizadeh, M.

Pub. Year

2017

Subjects

Rising bubble. / Bubbles (in fluids) / Kinetic theory. / Multiphase flow. / Numerical methods. / Numerical models. / Two phase flow. / 3-D numerical simulation. / Circular cross-sections. / Lattice boltzmann method. / Lattice boltzmann technique. / No-slip boundary conditions. / Obstacle. / Rising bubbles. / Three-dimensional numerical simulations. / Computational fluid dynamics.

Effect of knudsen thermal force on the performance of low-pressure micro gas sensor

Author

Barzegar Gerdroodbary, M.

Pub. Year

2017

Simultaneous effects of cutting depth and tool overhang on the vibration behavior of cutting tool and high-cycle fatigue behavior of product: experimental research on the turning machine

Author

Allenov, D. G.

Publisher

Springer Science and Business Media Deutschland GmbH,

Pub. Year

2022

Subjects

S–N diagram. / Tool deflections. / Tool overhang. / Cutting tools. / Fatigue testing. / High-cycle fatigue. / Linear regression. / Low-cycle fatigue. / Machining centers. / Turning. / Cutting depth. / Cycle fatigue behaviors. / High cycle fatigue. / High-cycle fatigue behavior. / Machining parameters. / S-N diagram. / Simultaneous effects. / Tool deflection. / Tool overhang. / Workpiece. / Surface roughness.

Experimental entropic test of state-independent contextuality via single photons

Author

Qu, D.

Publisher

American Physical Society,

Pub. Year

2020

Subjects

Photons. / Classical correlation. / Contextuality. / Four level system. / Hidden variable models. / Information-theoretic distance. / Rapid communication. / Single photons. / Information theory.