Loading...
  1. Simple search
  2. Search result
Search for: haghighi--sepand
0.11 seconds
Total 82 records
 List View    Gallery View

# Type Title Author Publisher Pub. Year Subjects Call Number
1 مقاله An investigation on the torsional sensitivity and resonant frequency of an AFM with sidewall and top-surface probes Kahrobaiyan, M. H. 2010 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.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
2 مقاله An investigation on the flexural sensitivity and resonant frequency of an AFM with sidewall and top-surface probes Kahrobaiyan, M. H. 2010 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.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
3 مقاله Sensitivity and resonant frequency of an AFM with sidewall and top-surface probes for both flexural and torsional modes Kahrobaiyan, M. H. 2010 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.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
4 مقاله Fabrication of a novel 3D scaffold for cartilage tissue repair: In-vitro and in-vivo study Haghighi, P. Elsevier Ltd, 2021 Biocompatibility.
Biomechanics.
Cartilage.
Cell adhesion.
Cell culture.
Cells.
Degradation.
Pore size.
Pore structure.
Repair.
Scaffolds (biology)
Water absorption.
3D scaffolds.
Cartilage engineering.
Cartilage tissue engineering.
Cartilage tissues.
Chondrocytes.
Control groups.
Gelatin.
Mechanical.
Property.
Silk fibroin.
Chitosan.
Fibroin.
Animal.
Articular cartilage.
Chondrocyte.
Leporidae.
Tissue engineering.
Tissue scaffold.
Animals.
Cartilage, Articular.
Fibroins.
Rabbits.
Tissue Engineering.
Tissue Scaffolds.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
5 پایان نامه آنالیز فعالیت های شرکت آسانسوری بهران مهر پیما Behran Mehr Peyma's Activities Analysis حقیقی، عرفان Haghighi, Erfan صنعتی شریف 1388 نیروی برآ Lift Force / بازار مسکن Housing Market / آسانسور Elevator / شرکت بهران مهر پیما Behran Mehr Peyma Company / روش SWOT SWOT Method / روش PETS PETS Method
‭54-43543
6 پایان نامه هدایت سوزن درون بافت نرم Needle Steering in Soft Tissue حقیقی، پیام Haghighi, Payam صنعتی شریف 1391 کنترل مقاوم Robust Control / هدایت سوزن Needle Steering / درمان کوتاه برد Brachytherapy / روش اجزای محدود Finite Element Method / کنترل بر مبنای مدل Model Based Control / بافت های نرم Soft Tissues
‭05-44575
7 پایان نامه بررسی آزمایشگاهی پیوستگی میان ورقه های الیاف پلیمری تقویت شده Experimental Investigation on Debonding between FRP sheets and Structures حقیقی، سینا Haghighi, Sina صنعتی شریف 1397 الیاف مسلح بسپاری Fiber Reinforced Polymer (FRP) / الیاف شیشه ای Glass Fibers / الیاف کربن Carbon Fibers / الیاف آرامید Aramid Fiber / طول مؤثر Effective Length
‭53-51403
8 پایان نامه طراحی یک افرازگر سخت‌افزار- نرم‌افزار برای الگوریتم‌های یادگیری عمیق A Hardware-Software Partitioner for Deep Learning Algorithms حقیقی، سپند Haghighi, Sepand صنعتی شریف 1398 آرایه منطقی برنامه پذیر Field Programmable Gate Array (FPGA) / یادگیری عمیق Deep Learning / دسته بندی Classification / واحد پردازنده گرافیکی Graphics Procssing Unit (GPU) / رابط سخت افزار - نرم افزار Hardware-Software Interface
‭19-52665
9 پایان نامه بررسی پایداری و قابلیت انتقال زمانی مدل های توزیع سفر و تاثیر اعمال پارامترهای توسعه ی شهری بر بهبود آنها: مطالعه موردی شهر شیراز Analysis of Temporal Stability and Transferability of Trip Distribution Models Considering Urban Development Patterns: The Case of Shiraz حقیقی، محمد Haghighi, Mohammad صنعتی شریف 1400 توسعه شهری Urban Development / رفتار سفر Travel Behavior / انتقال‌پذیری زمانی Temporal Transferability / مدل‌سازی توزیع سفر Trip Distribution Modelling / حمل و نقل شهری UrbanTransport / شیراز Shiraz / توزیع سفر Travel Distribution
‭09-53772
10 پایان نامه طراحی و ساخت داربست مهندسی‌شده به‌منظور ترمیم بافتِ در معرض نیروی مکانیکی و کاربرد آن در مهندسی بافت Design and Manufacture of an Engineered Scaffold in Order to Repair Tissue Exposed to Mechanical Force, for Tissue Engineering Application حقیقی، پانیذ Haghighi, Paniz صنعتی شریف 1397 غضروف مفصلی Articular Cartilage / خواص مکانیکی Mechanical Properties / مهندسی بافت Tissue Engineering / فیبروین ابریشم Silk Fibroin / کیتوسان Chitosan / ژلاتین Gelatin / فرایند غضروف زایی Chondrogenesis Process
‭08-51949
11 پایان نامه بررسی اثرات بیومکانیکی عمل جراحی تخلیه دیسک بین مهره ای بر مفاصل مجاور با استفاده از مدل المان محدود اسکلتی - عضلانی کوپل Biomechanical Effects of Intervertebral Disc Nucleotomy Surgery on Adjacent Joints Using a Coupled Musculoskeletal Finite Element Model حقیقی، علی Haghighi, Ali صنعتی شریف 1403 ستون فقرات Spine / مدل سازی اجزای محدود Finite Element Modeling / مدل سازی جفت شده اسکلتی - عضلانی - اجزای محدود Coupled Musculoskeletal Finite Element Modeling / بهینه سازی Optimization / جراحی نوکلئوتومی Nucleotomy Surgery / تخریب دیسک های مجاور Adjacent Segment Disease (ASD)
‭08-57600
12 مقاله Real-time topography and hamaker constant estimation in atomic force microscopy based on adaptive fading extended kalman filter Haghighi, M.S. Institute of Control, Robotics and Systems, 2021 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.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
13 مقاله Towards a calculus for nondeterministic schemas in Z Haghighi, H. World Scientific, 2012 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.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
14 مقاله A safe stopping protocol to enable reliable reconfiguration for component-based distributed systems Ghafari, M. Springer Verlag, 2015 Model checking.
Architecture-based.
Component based.
Consistency.
Distributed systems.
Reconfiguration.
Run-time evolutions.
Safe stopping.
Software systems.
Software engineering.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
15 مقاله A refinement approach for developing probabilistic programs Haghighi, H. 2009 Existing method.
Imperative languages.
Probabilistic choices.
Probabilistic programs.
Refinement calculi.
Calculations.
Specifications.
Program translators.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
16 مقاله A practical approach to networked control design for robust H∞ performance in the presence of uncertainties in both communication and system Haghighi, P. Elsevier Inc, 2020 Discrete-time singular system.
Markovian jump linear systems.
Robust H∞ control.
Stochastic admissibility.
Design.
Markov chains.
Networked control systems.
Numerical methods.
Augmentation methods.
Controller design method.
Markovian jump systems.
Network-induced delays.
Networked Control Systems (NCSs)
Output feedback controller.
Performance requirements.
Transition probabilities.
Controllers.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
17 مقاله Nondeterminism in constructive Z Haghighi, H. 2008 Set theory.
Constructive Z.
Formal program development.
Formal specification.
Modalities of nondeterminism.
Nondeterminism.
Specifications.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
18 مقاله An approach to nondeterminism in translation of CZ set theory into martin-Löf 's theory of types Haghighi, H. 2006 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.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
19 پایان نامه استفاده از رده بندی داده در سطح سیستم عامل برای بهبود کارایی آرایه های RAID OS-level Data Tiering to Improve Performance of RAID Arrays سالخورده حقیقی، رضا Salkhordeh Haghighi, Reza صنعتی شریف 1392 سیستم عامل Operating System / کارایی Efficiency / فراداده Metadata / رده بندی داده Data Tiering / دیسک نیمه هادی Solid State Disk Drive
‭19-44628
20 پایان نامه تعیین ضرایب عملکرد لرزه ای پل های با کوله یکپارچه On Quantification of Seismic Performance Factors for Integral Abutment Bridges حقیقی، فرزاد رضا Haghighi, Farzad Reza صنعتی شریف 1395 پل های با کوله یکپارچه Integral Abutment Bridges / تحلیل دینامیکی غیرخطی Nonlinear Dynamic Analysis / ضریب های عملکرد لرزه ای Seismic Performance Factors / رفتار لرزه ای Seismic Behavior / عملکرد لرزه ای Seismic Performance / آیین نامه آژانس مدیریت بحران فدرال شماره پی 695 Federal Emergency Management Agency (FEMA)P695 Code / ضریب اصلاح پاسخ (آر) Response Modification Factor (R) / مصالح ساختاری خاک غیرخطی Nonlinear Soil Constitutive Material / مدل سازی محیط پیوسته خاک Soil Continum Modeling
‭09-49078
Total 82 records