Sharif Digital Repository

A uniformization-based algorithm for continuous-time stochastic games model checking

Author

Baghoolizadeh, S.

Publisher

Elsevier B.V,

Pub. Year

2018

Subjects

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.

A uniformization-based algorithm for continuous-time stochastic games model checking

Author

Baghoolizadeh, S.

Publisher

Elsevier B.V,

Pub. Year

2019

Subjects

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.

The relationship between an EFL teacher's gender and students' willingness to communicate

Author

Khosravizadeh, P.

Publisher

Common Ground Publishing,

Pub. Year

2013

Subjects

Cultural orientations. / Foreign language teaching. / Gender. / Social factors. / Willingness to communicate.

Design and development of a miniaturized roto-translational motion platform for microaerial vehicle identification

Author

Abdollahi, M. R.

Publisher

IEEE,

Pub. Year

2024

Subjects

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.

An automated simple algorithm for realistic pore network extraction from micro-tomography images

Author

Rabbani, A.

Pub. Year

2014

Subjects

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.

Discrimination of heart arrhythmias using novel features in heart rate phase space

Author

Moharreri, S.

Pub. Year

2013

An intelligent hybrid classification algorithm integrating fuzzy rule-based extraction and harmony search optimization: Medical diagnosis applications

Author

Mousavi, S. M.

Publisher

Elsevier B.V,

Pub. Year

2021

Subjects

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.

Performance evaluation of shared hosting security methods

Author

Mirheidari, S. A.

Pub. Year

2012

Subjects

LAMP. / Apache Security. / ITK. / MPM. / Peruser. / Shared Hosting. / Suexec. / Suphp. / Electric lamps. / Ubiquitous computing. / Websites.

The behaviour of an artificially cemented sandy gravel

Author

Haeri, S. M.

Pub. Year

2005

Subjects

Compressive strength. / Pore pressure. / Portland cement. / Sand. / Shear stress. / Soils. / Carbonaceous materials. / Coarse-grained alluvium. / Sandy gravel. / Stress ratio. / Gravel. / Geotechnical engineering.

An imperialist competitive algorithm approach for multi-objective optimization of direct coupling photovoltaic-electrolyzer systems

Author

Maroufmashat, A.

Pub. Year

2014

Subjects

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.

Kalman filter based packet loss replacement in presence of additive noise

Author

Miralavi, S. R.

Pub. Year

2012

Subjects

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.

Investigation of Mesh Sensitivity Influence to Determine Crack Characteristic by Finite Element Methods

Author

Azimi, M.

Publisher

Springer New York LLC

Pub. Year

2016

Subjects

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.

Investigation of the effect of nanosilica on rheological, thermal, mechanical, structural, and piezoelectric properties of poly(vinylidene fluoride) nanofibers fabricated using an electrospinning technique

Author

Haddadi, S. A.

Pub. Year

2017

Subjects

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.

A method for real-time safe navigation in noisy environments

Author

Neyshabouri, S. A. S.

Pub. Year

2013

Subjects

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.

A generalization of the swartz equality

Author

Pournaki, M. R.

Pub. Year

2014

Hardware-in-the-loop optimization of an active vibration controller in a flexible beam structure using evolutionary algorithms

Author

Nobahari, H.

Pub. Year

2014

Subjects

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.

An efficient inference in meanfield approximation by adaptive manifold filtering: (Machine learning & data mining)

Author

Nasab, S. E.

Pub. Year

2014

Subjects

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.

Dominating coloring number of claw-free graphs

Author

Abdolghafurian, A.

Pub. Year

2014

Subjects

Chromatic number. / Claw-free graph. / Dominating set. / Dominating-χ-color number. / Maximal independent set.