Loading...
  1. Simple search
  2. Search result
Search for: baghoolizadeh--s
0.104 seconds
Total 11644 records
 List View    Gallery View

# Type Title Author Publisher Pub. Year Subjects Call Number
1 مقاله A uniformization-based algorithm for continuous-time stochastic games model checking Baghoolizadeh, S. Elsevier B.V, 2018 Continuous-time Markov game.
Continuous-time stochastic game.
Probabilistic model checking.
Time-bounded reachability probability.
Continuous time systems.
Game theory.
Model checking.
Probability.
Stochastic systems.
Competitive behavior.
Distributed delays.
Markov games.
Multiplayer games.
Stochastic game.
System transitions.
Time-bounded reachability.
Stochastic models.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
2 مقاله A uniformization-based algorithm for continuous-time stochastic games model checking Baghoolizadeh, S. Elsevier B.V, 2019 Continuous-time Markov game.
Continuous-time stochastic game.
Time-bounded reachability probability.
Continuous time systems.
Game theory.
Model checking.
Probability.
Stochastic systems.
Competitive behavior.
Distributed delays.
Markov games.
Multiplayer games.
Probabilistic model checking.
Stochastic game.
System transitions.
Time-bounded reachability.
Stochastic models.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
3 پایان نامه وارسی مدل بازی‌های تصادفی زمان پیوسته Model Checking of Continuous-Time Stochastic Games بقولی‌زاده، شیرین Baghoolizadeh, Shirin صنعتی شریف 1398 رفتار تصادفی Stochastic Behavior / احتمال در حالت پایدار Steady-State Probability / وارسی مدل احتمالی Probabilistic Model Checking / بازی تصادفی زمان پیوسته Continuous-Time Stochastic Game (CTSG) / رفتار رقابتی Competitive Behavior / احتمال دسترس پذیری زمان محدود Time Bounded Reachability Probability
‭19-53116
4 پایان نامه وارسی مدل شبکه های فعالیت احتمالی Model Checking of Probabilistic Activity Networks بقولی زاده، شیرین Baghoolizadeh, Shirin دانشگاه صنعتی شریف 1392 ابزار اسپیتمن SPITMAN Tools / سیستم فعالیت احتمالی Probabilistic Activity System / شبکه فعالیت احتمالی Probabilistic Activity Network / تصمیم گیری مارکوف Markov Decision Making / کاهش ترتیب جزئی Partial Order Reduction / وارسی الگو Model Cheking
‭19-44900
5 مقاله The relationship between an EFL teacher's gender and students' willingness to communicate Khosravizadeh, P. Common Ground Publishing, 2013 Cultural orientations.
Foreign language teaching.
Gender.
Social factors.
Willingness to communicate.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
6 مقاله Design and development of a miniaturized roto-translational motion platform for microaerial vehicle identification Abdollahi, M. R. IEEE, 2024 5 Degree-of-freedom.
Micro aerial vehicle.
Motion platform.
System identification.
Wind tunnel test.
Integrated circuit design.
Kalman filters.
Micro air vehicle (MAV)
Structural dynamics.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
7 مقاله An automated simple algorithm for realistic pore network extraction from micro-tomography images Rabbani, A. 2014 City-block distance function.
Micro-tomography images.
Pore network extraction.
Watershed segmentation algorithm.
Algorithms.
Extraction.
Image processing.
Mechanical permeability.
Porous materials.
Tomography.
Algorithm implementation.
City-block distances.
Coordination number.
Image processing functions.
Micro-tomography.
Network extractions.
Pore networks.
Image segmentation.
Algorithm.
Porous medium.
Size distribution.
Watershed.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
8 مقاله Discrimination of heart arrhythmias using novel features in heart rate phase space Moharreri, S. 2013
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
9 مقاله An intelligent hybrid classification algorithm integrating fuzzy rule-based extraction and harmony search optimization: Medical diagnosis applications Mousavi, S. M. Elsevier B.V, 2021 Classification (of information)
Computer aided diagnosis.
Efficiency.
Fuzzy inference.
Fuzzy rules.
Heuristic algorithms.
Machine learning.
Classification algorithm.
Cross validation.
Fuzzy rule based.
Fuzzy rule based systems.
Harmony search algorithms.
Learning classifiers.
Machine-learning.
Medical data sets.
Nested cross validations.
Taguchi's methods.
Taguchi methods.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
10 مقاله Performance evaluation of shared hosting security methods Mirheidari, S. A. 2012 LAMP.
Apache Security.
ITK.
MPM.
Peruser.
Shared Hosting.
Suexec.
Suphp.
Electric lamps.
Ubiquitous computing.
Websites.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
11 مقاله The behaviour of an artificially cemented sandy gravel Haeri, S. M. 2005 Compressive strength.
Pore pressure.
Portland cement.
Sand.
Shear stress.
Soils.
Carbonaceous materials.
Coarse-grained alluvium.
Sandy gravel.
Stress ratio.
Gravel.
Geotechnical engineering.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
12 مقاله An imperialist competitive algorithm approach for multi-objective optimization of direct coupling photovoltaic-electrolyzer systems Maroufmashat, A. 2014 Direct coupling.
Imperialist competitive algorithm (ICA)
Multi-objective nonlinear optimization.
Optimal size and operating condition.
PV/EL system.
Non-linear optimization.
Operating condition.
PV/EL system.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
13 مقاله Kalman filter based packet loss replacement in presence of additive noise Miralavi, S. R. 2012 Kalman filter.
Low Order Linear Prediction.
Bandwidth extension.
High quality.
Linear prediction.
Network terminals.
Packet-based communication.
Post-processing techniques.
Speech quality.
Speech segments.
Speech signals.
State-space.
Voice quality.
VoIP.
Adaptive filters.
Algorithms.
Bandwidth.
Communication systems.
Computer vision.
Internet telephony.
Packet loss.
Speech analysis.
Kalman filters.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
14 مقاله Investigation of Mesh Sensitivity Influence to Determine Crack Characteristic by Finite Element Methods Azimi, M. Springer New York LLC 2016 Fracture mechanics.
Optimum element size.
Semi-elliptical groove.
Fracture.
Fracture mechanics.
Element sizes.
Extended finite element models.
Fracture characteristics.
LEFM.
Linear elastic fracture.
Numerical results.
Semi-elliptical groove.
XFEM.
Finite element method.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
15 مقاله Investigation of the effect of nanosilica on rheological, thermal, mechanical, structural, and piezoelectric properties of poly(vinylidene fluoride) nanofibers fabricated using an electrospinning technique Haddadi, S. A. 2017 Fluorine compounds.
Piezoelectricity.
Silica.
Tensile strength.
Crystalline structure.
Degree of crystallinity.
Electrospinning techniques.
Output voltages.
Piezoelectric property.
Poly (vinylidene fluoride)(PVDF)
Poly(vinylidene fluoride)
Rheological property.
Nanofibers.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
16 مقاله A method for real-time safe navigation in noisy environments Neyshabouri, S. A. S. 2013 Path planning.
Graphics Processing Unit.
Near-optimal solutions.
Noisy environment.
Parallel processing.
Rapidly-exploring random trees.
Safe navigations.
Safety evaluations.
Sampling-based motion planning.
Algorithms.
Collision avoidance.
Computer graphics.
Computer graphics equipment.
Motion control.
Motion planning.
Program processors.
Robots.
Trees (mathematics)
Robotics.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
17 مقاله A generalization of the swartz equality Pournaki, M. R. 2014
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
18 مقاله Hardware-in-the-loop optimization of an active vibration controller in a flexible beam structure using evolutionary algorithms Nobahari, H. 2014 Active vibration control.
Actuator.
Hardware-in-the-loop optimization.
Piezoelectric.
Sensor.
Algorithms.
Ant colony optimization.
Computer simulation.
Controllers.
Flexible structures.
Frequency response.
Piezoelectricity.
Prestressed beams and girders.
State feedback.
Synthetic apertures.
Vibration control.
Hybrid metaheuristic algorithms.
Identification techniques.
Linear quadratic regulator.
Piezoelectric sensor/actuators.
Pole placement controller.
Hardware.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
19 مقاله An efficient inference in meanfield approximation by adaptive manifold filtering: (Machine learning & data mining) Nasab, S. E. 2014 Adaptive manifold.
High dimensioanl Gaussian filtering.
Inference.
Non-local means.
Artificial intelligence.
Data mining.
Filtration.
Gaussian distribution.
Image enhancement.
Image segmentation.
Learning systems.
Message passing.
Nonlinear filtering.
Conditional random filed.
Gaussian filtering.
Maximom posteriror marginal.
Non local means.
Graph theory.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
20 مقاله Dominating coloring number of claw-free graphs Abdolghafurian, A. 2014 Chromatic number.
Claw-free graph.
Dominating set.
Dominating-χ-color number.
Maximal independent set.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
Total 11644 records