login
fa
|
en
Sharif Digital Repository
Toggle navigation
Home
Simple search
Advanced search
Help
Contact us
FAQ
Loading...
Please enable javascript in your browser.
Higher-Order quantified boolean satisfiability (Property)
Simple search
Search result
Search for:
amiriara--h
0.085 seconds
Total 9941 records
first
1
2
3
4
5
»
last
List View
Gallery View
Sort by:
Type
Title
Author
Publisher
Pub. Year
Subjects
Call Number
مجموعه
مقالات لاتین : 9931
کتابهای فارسی : 5
کتابهای لاتین : 3
پایاننامهها : 2
نوع
مقاله : 9937
کتاب : 2
پایان نامه : 2
زبان اثر
انگلیسی : 9939
فارسی : 2
موضوع
آلودگی هوا Air Pollution خودروهای سواری Passenger Cars فناوری های نوین New Technologies مدل سازی Modeling انتشار Emission آلاینده هوا Air Pollutant : 1
شیب حرارتی Temperature Gradient جریان آرام Laminar Flow سیلان سنج فراصوتی Ultrasonic Flowmeter : 1
موضوع
optimization. : 444
algorithms. : 321
computer simulation. : 317
nanoparticles. : 294
scanning electron microscopy. : 292
نسخه دیجیتال
غیر دیجیتال : 9938
دیجیتال : 3
نسخه فیزیکی
غیر فیزیکی : 9940
فیزیکی : 1
محل نگهداری
{26=کتابخانه مرکزی (آرشیو), 27=کتابخانه مرکزی, 28=کتابخانه مرکزی (بخش سمعی و بصری), 130=کتابخانه مرکزی (طبقه چهارم), 131=پردیس بین الملل کیش, 10=کتابخانه مرکزی (مهندسی کامپیوتر), 11=کتابخانه مرکزی (مدیریت و اقتصاد), 12=کتابخانه مرکزی (مهندسی هوافضا), 13=کتابخانه مرکزی (آب و انرژی), 14=کتابخانه مرکزی (بیوشیمی), 15=کتابخانه مرکزی (فلسفه علم), 120=کتابخانه مرکزی (مهندسی انرژی), 121=کتابخانه مرکزی (مهندسی نانو), 1=دانشکده مهندسی صنایع, 122=مرکز اسناد و گنجینه, 123=کتابخانه مرکزی (تربیت بدنی), 2=کتابخانه ریاضی, 3=کتابخانه مرکزی (شیمی), 124=کتابخانه مرکزی (انتشارات دانشگاه صنعتی شریف), 4=کتابخانه فیزیک, 125=کتابخانه مرکزی (سالن اجتماعات), 5=کتابخانه مرکزی (مهندسی برق), 6=کتابخانه مرکزی (مهندسی شیمی), 127=کتابخانه مرکزی (طبقه همکف), 7=کتابخانه مرکزی (مهندسی مواد), 128=کتابخانه مرکزی (طبقه سوم), 8=کتابخانه مرکزی (مهندسی مکانیک), 129=کتابخانه مرکزی (مرکز کارآفرینی), 9=کتابخانه مرکزی (مهندسی عمران), 65=کتابخانه مرکزی (مرکز زبان)}(27) : 1
ناشر
Elsevier Ltd, : 685
Institute of Electrical and Electronics Engineers Inc, : 565
Elsevier B.V, : 418
Springer Science and Business Media Deutschland GmbH, : 175
Springer, : 169
نویسنده
Chatrchyan, S. : 115
Tumasyan, A. : 106
Pourjavadi, A. : 71
Shodja, H. M. : 54
Hayrapetyan, A. : 52
سال انتشار
2021 : 645
2020 : 615
2023 : 584
2012 : 562
2019 : 560
IRS-user association in irs-aided miso wireless networks: convex optimization and machine learning approaches
Author
Amiriara, H.
Publisher
Institute of Electrical and Electronics Engineers Inc,
Pub. Year
2023
Subjects
Beamforming. / Convex optimization (CO) / Intelligent reflecting surface (IRS) / IRS-user association. / Machine learning (ML)
A Novel Stochastic Model for IRS-Assisted Communication Systems Based on the Sum-Product of Nakagami-m Random Variables
Author
Amiriara, H.
Pub. Year
2024
Subjects
Average symbol error rates (ASER) / Intelligent reflecting surfaces (IRS) / moment generating function (MGF) / Nakagami-m distribution. / Outage probability (OP) / Computation theory. / Distribution functions. / Economic and social effects. / Fading channels. / Intelligent systems. / Monte Carlo methods. / Probability density function. / Stochastic models. / Stochastic systems. / Closed form solutions. / Communications systems. / Generating functions. / Outage probability. / Rayleigh channel. / Reflecting surface. / Symbol. / Symbol error rates. / Upper Bound. / Random variables.
Nonlinear interstory drift contours for idealized forward directivity pulses using "modified fish-bone" models
Author
Khalo, A. R.
Publisher
Multi-Science Publishing Co. Ltd,
Pub. Year
2015
Subjects
Forward directivity pulses. / Modified fish-bone model. / Nonlinear interstory drift. / Simplified MDOF model. / Bone. / Concrete beams and girders. / Tall buildings. / Contour. / Fish bones. / Forward directivity. / Interstory drifts. / Moment frames. / Near-fault earthquake. / Fish.
Analysis of singularities of a 3DOF parallel manipulator based on a novel geometrical method
Author
Pendar, H.
Pub. Year
2006
Subjects
Constrained plain method (CPM) / Constraint plane (CP) / Infinite constraint plane (ICP) / Parallel manipulator. / Computational geometry. / Constraint theory. / Matrix algebra. / Parallel processing systems. / Theorem proving. / Manipulators.
Melting enthalpy and entropy of freestanding metallic nanoparticles based on cohesive energy and average coordination number
Author
Omid, H.
Pub. Year
2011
Subjects
Adjustable parameters. / Analytical model. / Average coordination number. / Body-centered cubic. / Body-centered-tetragonal (bct) structure. / Cohesive energies. / Melting enthalpy. / Metallic nanoparticles. / Physical constants. / Variable coordination. / Crystal structure. / Entropy. / Mathematical models. / Molecular dynamics. / Nanoparticles. / Melting.
On the temperature and residual stress field during grinding
Author
H-Gangaraj, S. M.
Pub. Year
2010
Subjects
Grinding. / Residual stress. / Temperature field. / Dimensional accuracy. / Finite Element. / Grinding parameters. / Heat coefficients. / Mechanical damages. / Parametric study. / Residual stress fields. / Surface finishes. / Surface residual stress. / Tensile residual stress. / Thermo-mechanical. / Work pieces. / Workpiece velocity. / Finite element method. / Grinding (comminution) / Grinding (machining) / Heat convection. / Manufacture. / Stress concentration. / Residual stresses.
A new lattic LP-based post filter for adaptive noise cancellers in mobile and vehicular applications
Author
Khorram, S.
Pub. Year
2008
Subjects
Adaptive lattice filter. / Adaptive noise cancellation (ANC) / Adaptive noise cancellations. / Adaptive noise canceller. / Background noise reduction. / Diffuse noise. / Diffuse noise field. / Lattice filter. / Linear prediction. / Noise fields. / Noise reduction. / Noise reductions. / Postfilter. / Processing delay. / Quality measures. / Single channels. / Speech enhancement system. / Vehicular applications. / Vehicular environments. / Acoustic noise measurement. / Automobile parts and equipment. / Communication systems. / Microphones. / Signal processing. / Speech enhancement. / Spurious signal noise. / Speech communication.
Advancing Compressive Strength Prediction in Self-Compacting Concrete via Soft Computing: A Robust Modeling Approach
Author
Ghorbani, A.
Pub. Year
2024
Subjects
Artificial neural network. / Compressive strength prediction. / Robust approach. / Self-compacting concrete. / Sensitivity analysis.
Cost estimation models for seismic retrofit of masonry school buildings
Author
Mirzaei, J.
Pub. Year
2024
Subjects
Cost estimation. / Lasso regression. / Project management. / Regression. / Ridge regression. / Seismic retrofit.
Finite element analysis of shot-peening effect on fretting fatigue parameters
Author
H-Gangaraj, S. M.
Pub. Year
2011
Subjects
Finite element. / Fretting fatigue. / Residual stress. / Shot peening. / Bulk stress. / Compressive residual stress. / Controlling parameters. / Critical surfaces. / Finite element simulations. / Fluctuating loads. / Fretting damage. / Fretting fatigue strength. / Fretting fatigues. / Normal stress. / Sliding movements. / Slip amplitude. / Fatigue of materials. / Fretting corrosion. / Residual stresses. / Shear flow. / Shot peening. / Finite element method.
Mechanically activated synthesis of single crystalline MgO nanostructures
Author
Nusheh, M.
Pub. Year
2010
Subjects
Kinetics. / Mechanical activation. / Mechanically activated mixtures. / Microfibers. / Nano-structured. / Nucleation and growth. / Rectangular cross-sections. / Scanning electrons. / SEM. / Single-crystalline. / Single-crystalline nanorods. / Source material. / TEM. / Transmission electron. / Vapor solid mechanism. / XRD. / Carbothermal reduction. / Crystalline materials. / Electrons. / Mechanical alloying. / Metallurgy. / Morphology. / Nanorods. / Nanostructured materials. / Scanning electron microscopy. / Transmission electron microscopy.
Boundary control design for vibration suppression and attitude control of flexible satellites with multi-section appendages
Author
Ataei, M. M.
Publisher
Elsevier Ltd,
Pub. Year
2020
Subjects
Attitude control. / Boundary control. / Flexible satellite. / Vibration suppression. / Asymptotic stability. / Flexible structures. / Solar cell arrays. / Solar concentrators. / Vibration control. / Vibrations (mechanical) / Boundary control design. / Boundary controls. / Boundary feedback. / Dynamic equations. / Flexible satellites. / Partial differential. / Stability of vibrations. / Controllers.
Characterization and calcination behavior of a low-grade manganese ore
Author
Cheraghi, A.
Publisher
Elsevier Ltd,
Pub. Year
2020
Subjects
Calcination. / Characterization. / Manganese ore. / Pyrolusite. / Reactive diffusion. / Roasting. / Calcite. / Calcium oxide. / Decomposition. / Diffusion. / Ferroalloys. / Hematite. / Lime. / Magnetite. / Particle size. / Particle size analysis. / Rietveld analysis. / Thermolysis. / X ray diffraction. / Argon atmospheres. / Calcium ferrite. / Complex phasis. / Dominant mechanism. / Large regions. / Low temperatures. / Low-grade manganese. / Ores.
Minimizing the error of time difference of arrival method in mobile networks
Author
Malekitabar, A.
Pub. Year
2005
Subjects
Location method. / Mobile networks. / Non-line of sight errors (NLOS) / TDOA. / Computer simulation. / Error analysis. / Network protocols. / Mobile telecommunication systems.
A fast and novel method of pattern synthesis for non-uniform phased array antennas
Author
Tohidi, E.
Publisher
IEEE Computer Society,
Pub. Year
2015
Subjects
Antenna arrays. / Directional patterns (antenna) / Least squares approximations. / Radar. / Radar antennas. / Synthesis (chemical) / Angular positioning. / High-directivity. / Least square errors. / Low sidelobe level. / Nonuniform arrays. / Pattern nulling. / Pattern synthesis. / Phased array antennas. / Antenna phased arrays.
Size-dependent interaction of an edge dislocation with an elliptical nano-inhomogeneity incorporating interface effects
Author
Shodja, H. M.
Pub. Year
2012
Subjects
Nano scale. / Burgers vector orientation. / Characteristic size. / Classical solutions. / Complex potentials. / Elastic behavior. / Elasticity effect. / Elliptical inhomogeneity. / Image force. / Inhomogeneities. / Interface curvatures. / Interface effect. / Interface stress. / matrix. / Normalized image. / Radius of curvature. / Size effects. / Stable equilibrium. / Stress field. / Elastic moduli. / Elasticity. / Nanotechnology. / Stresses. / Surface tension. / Edge dislocations.
Control of parallel three- phase inverters using optimal control and SVPWM technique
Author
Nazaripouya, H. R.
Pub. Year
2009
Subjects
Circulating current. / Control strategies. / Load change. / Load-sharing scheme. / Optimal control strategy. / Optimal controls. / Stationary frame. / Steady state. / Switching scheme. / Three phase system. / Three-phase inverter. / Cost functions. / Optimal control systems. / Pulse width modulation. / Switching functions. / Industrial electronics.
Identification of an aspidospermine derivative from borage extract as an anti-amyloid compound: A possible link between protein aggregation and antimalarial drugs
Author
Kalhor, H. R.
Publisher
Elsevier Ltd,
Pub. Year
2017
Subjects
Amyloid formation. / Aspidospermine. / Bioactive compound. / Borage officinalis. / Lysozyme. / Antimalarial agent. / Hen egg lysozyme. / Indole alkaloid. / Plant extract. / Quinoline derivative. / Antagonists and inhibitors. / Borago. / Chemistry. / Drug effects. / Isolation and purification. / Molecular docking. / Plant leaf. / Protein aggregation, pathological. / Amyloid. / Antimalarials. / Indole alkaloids. / Molecular docking simulation. / Muramidase. / Plant extracts. / Plant leaves. / Protein folding. / Quinolines.
Weakly nonlocal micromorphic elasticity for diamond structures vis-à-vis lattice dynamics
Author
Shodja, H. M.
Publisher
Elsevier B.V,
Pub. Year
2020
Subjects
Ab initio DFPT calculations. / Acoustic and optical branches. / Anisotropic weakly nonlocal micromorphic elasticity. / First Brillouin zone. / Lattice dynamics. / Calculations. / Crystals. / Density functional theory. / Diamonds. / Dispersion (waves) / Elastic moduli. / Lattice constants. / Lattice vibrations. / Perturbation techniques. / Tensors. / Acoustic branches. / Crystallographic directions. / Density functional perturbation theory. / Diamond structures. / Dispersion curves. / First Brillouin zone. / High-precision. / Micromorphic theory. / Equations of motion.
Nonlinear cylindrical bending analysis of shear deformable functionally graded plates under different loadings using analytical methods
Author
Navazi, H. M.
Pub. Year
2008
Subjects
Beams and girders. / Bending (deformation) / Boundary conditions. / Boundary value problems. / Deformation. / Linear equations. / Nonlinear analysis. / Ordinary differential equations. / Plates (structural components) / Shear deformation. / Analytical methods. / Bifurcation points. / Classical theories. / Cylindrical bending. / Exact methods. / Exact solutions. / Functionally graded plate. / Functionally graded plates. / Hamilton's principles. / Linear ordinary differential equations. / Material properties. / Navier equations. / Nonlinear boundary conditions. / Nonlinear equilibrium equations. / Nonlinear strains. / Postbuckling. / Power laws. / Shear deformation theories. / Simply supported. / Thickness ratios. / Transverse deflections. / Volume fraction indices. / Von Karman. / Nonlinear equations.