Sharif Digital Repository

Cooling+Heating flows in galaxy clusters: Turbulent heating, spectral modeling, and cooling efficiency

Author

Zhoolideh Haghighi, M. H.

Publisher

Institute of Physics Publishing,

Pub. Year

2019

Phase transition in modified newtonian dynamics (Mondian) self-gravitating systems

Author

Zhoolideh Haghighi, M. H.

Publisher

MDPI,

Pub. Year

2021

Subjects

Binary systems. / Modified Newtonian Dynamics (MOND) / Phase transition. / Structure formation.

Towards energy optimization of transparent watermarks using entropy masking

Author

Haghighi, M. S.

Pub. Year

2005

Subjects

Algorithms. / Computer simulation. / Image analysis. / Mathematical models. / Optimization. / Entropy masking. / Eye receptors. / Human visual system. / Image watermarking. / Digital watermarking.

An optimal SVD-based watermarking framework through linear programming

Author

Haghighi, M. S.

Pub. Year

2005

Subjects

Algorithms. / Computer vision. / Linear programming. / Mathematical models. / Human visual system. / Image watermarking. / Just noticeable difference (JND) / Singular value decomposition (SVD) / Digital watermarking.

Modified gravity (MOG) and the abell 1689 cluster acceleration data

Author

Moffat, J. W.

Pub. Year

2017

An investigation on the torsional sensitivity and resonant frequency of an AFM with sidewall and top-surface probes

Author

Kahrobaiyan, M. H.

Pub. Year

2010

Subjects

AFM. / Atomic force microscopes. / Cantilever probe. / Contact stiffness. / Free end. / Geometrical effect. / Geometrical parameters. / Microgears. / Sample surface. / Vertical extension. / Vibration modes. / Design. / Nanocantilevers. / Natural frequencies. / Probes. / Stiffness. / Surface topography. / Atomic force microscopy.

An investigation on the flexural sensitivity and resonant frequency of an AFM with sidewall and top-surface probes

Author

Kahrobaiyan, M. H.

Pub. Year

2010

Subjects

Atomic force microscope (AFM) / Cantilever probe. / Contact stiffness. / Flexural sensitivity. / Geometrical effect. / Sample surface. / Vertical extension. / Vibration modes. / Mechanical engineering. / Nanocantilevers. / Natural frequencies. / Probes. / Surface topography. / Atomic force microscopy.

Sensitivity and resonant frequency of an AFM with sidewall and top-surface probes for both flexural and torsional modes

Author

Kahrobaiyan, M. H.

Pub. Year

2010

Subjects

Atomic force microscopy (AFM) / Nano- and microstructure. / Vibration sensitivity. / AFM. / Cantilever probe. / Contact stiffness. / Electro-mechanical techniques. / Flexural sensitivity. / Free end. / Geometrical effect. / Geometrical parameters. / Microgears. / Resonant frequencies. / Sample surface. / Surface probes. / Top surface. / Torsional modes. / Vertical extension. / Vibration modes. / Atoms. / Microstructure. / Nanocantilevers. / Natural frequencies. / Probes. / Stiffness. / Surface topography.

Model-based topography estimation in trolling mode atomic force microscopy

Author

Seifnejad Haghighi, M.

Publisher

Elsevier Inc,

Pub. Year

2020

Subjects

Adaptive fading extended Kalman filter. / Forgetting factor. / Trolling mode atomic force microscopy. / Adaptive filtering. / Atomic force microscopy. / Imaging techniques. / Scanning. / Topography. / Closed loop controllers. / Conventional imaging. / Forgetting factors. / Kalman filter algorithms. / Novel imaging techniques. / Parameter uncertainty. / System dynamics model. / Topography estimation. / Kalman filters.

Torsional sensitivity and resonant frequency of an AFM with parallel sidewall probes

Author

Ahmadian, M. T.

Pub. Year

2010

Subjects

AFM. / Atomic force microscopes. / Cantilever probe. / Contact stiffness. / Free end. / Geometrical effect. / Geometrical parameters. / Micro holes. / Micro nozzle. / Sample surface. / Vertical extension. / Vibration modes. / Design. / Nanocantilevers. / Natural frequencies. / Probes. / Stiffness. / Atomic force microscopy.

Real-time topography and hamaker constant estimation in atomic force microscopy based on adaptive fading extended kalman filter

Author

Haghighi, M.S.

Publisher

Institute of Control, Robotics and Systems,

Pub. Year

2021

Subjects

Adaptive control systems. / Adaptive filtering. / Atomic force microscopy. / Scanning. / Topography. / Classical imaging. / Closed loop controllers. / Conventional imaging. / Estimation process. / Forgetting factors. / Hamaker constants. / Micro-cantilevers. / Transient oscillations. / Extended Kalman filters.

Towards a calculus for nondeterministic schemas in Z

Author

Haghighi, H.

Publisher

World Scientific,

Pub. Year

2012

Subjects

Modalities of nondeterminism. / Schema calculus operations. / Concurrent systems. / Formal program development. / Formal Specification. / Non-determinism. / Schema calculus. / Type theory. / Z notation. / Artificial intelligence. / Software engineering. / Calculations.

A safe stopping protocol to enable reliable reconfiguration for component-based distributed systems

Author

Ghafari, M.

Publisher

Springer Verlag,

Pub. Year

2015

Subjects

Model checking. / Architecture-based. / Component based. / Consistency. / Distributed systems. / Reconfiguration. / Run-time evolutions. / Safe stopping. / Software systems. / Software engineering.

A refinement approach for developing probabilistic programs

Author

Haghighi, H.

Pub. Year

2009

Subjects

Existing method. / Imperative languages. / Probabilistic choices. / Probabilistic programs. / Refinement calculi. / Calculations. / Specifications. / Program translators.

Nondeterminism in constructive Z

Author

Haghighi, H.

Pub. Year

2008

Subjects

Set theory. / Constructive Z. / Formal program development. / Formal specification. / Modalities of nondeterminism. / Nondeterminism. / Specifications.

An approach to nondeterminism in translation of CZ set theory into martin-Löf 's theory of types

Author

Haghighi, H.

Pub. Year

2006

Subjects

Computer programming languages. / Computer software. / Formal logic. / Product development. / Set theory. / Formal program development. / Nondeterminism in CZ language. / Nondeterminism in Martin-Lof's theory of types. / Translation of CZ set theory into Martin-Lof's theory of types. / Software engineering.

A one-DOF passive glove for thumb rehabilitation

Author

Khaledi, K.A.

Publisher

Sharif University of Technology,

Pub. Year

2022

Subjects

Exoskeleton. / Opposition. / Rehabilitation. / Upper limb. / Degrees of freedom (mechanics) / Exoskeleton (Robotics) / Safety factor. / Wearable technology. / Angle difference. / Assistive. / Number of injuries. / Passive. / Saves time. / Thumb. / Upper limbs. / Wearable robots. / Cables. / Cable. / Movement. / Safety.

Polyelectrolyte nanocomposite membranes using imidazole-functionalized nanosilica for fuel cell applications

Author

Tohidian, M.

Publisher

Taylor and Francis Inc,

Pub. Year

2015

Subjects

Imidazole. / Nafion. / Differential scanning calorimetry. / Fourier transform infrared spectroscopy. / Fuel cells. / Ion exchange. / Ion exchange membranes. / Methanol. / Methanol fuels. / Nanocomposites. / Polyelectrolytes. / Proton conductivity. / Scanning electron microscopy. / Silicon. / Nano-composite membranes. / Nano-silica. / Physical characteristics. / Polyelectrolyte membranes. / Polyelectrolyte nanocomposite. / Thermogravimetry analysis. / Direct methanol fuel cells (DMFC)