Loading...
Search for:
izadi--m--j
0.157 seconds
List View
Gallery View
| # | Type | Title | Author | Publisher | Pub. Year | Subjects | Call Number |
|---|---|---|---|---|---|---|---|
| 1 | مقاله | An investigation on strain inhomogeneity in hot strip rolling process | Serajzadeh, S. | 2002 |
Heat transfer.
Hot rolling. Phase transformation. The finite element method. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 2 | مقاله | Recasting constraint automata into Büchi automata | Izadi, M. | 2008 |
Chemical analysis.
Computer software. Constraint theory. Finite automata. Information theory. Robots. Translation (languages) Composition operators. Constraint automaton. Glue-code language. I/O operations. Infinite strings. Operational semantics. Software systems. Automata theory. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 3 | مقاله | Modeling component connectors: synchronisation and context-dependency | Izadi, M. | 2008 |
Automata theory.
Data flow analysis. Information theory. Robots. Software engineering. Synchronization. Translation (languages) Composition operators. Coordination languages. Data flow networks. Formal models. Modeling components. Mutual exclusions. Operational models. Synchronisation. Formal methods. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 4 | مقاله | Switch deployment in distribution networks | Izadi, M. | Springer Verlag, | 2018 |
Distribution networks.
Fault management. Financial risk. Malfunction. Manual switch. Network automation. Remote controlled switch. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 5 | مقاله | Optimal deployment of remote-controlled switches in distribution networks considering laterals | Izadi, M. | Institution of Engineering and Technology, | 2019 |
Integer programming.
Location. Candidate locations. Commercial solvers. Deployment problems. Mixed integer linear programming. Optimal deployment. Placement problems. Radial distribution feeders. System reliability. Remote control. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 6 | مقاله | An efficient model checking algorithm for a fragment of μ-calculus | Izadi, M. | 2005 |
Concurrent systems.
Finite state. Finite state systems. First recurrence automata. Fixed points. Method of characterizations. Model checking algorithm. System modeling. Algorithms. Calculations. Knowledge engineering. Model checking. Software engineering. Temporal logic. Verification. Automata theory. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 7 | مقاله | Optimal neuro-controller in longitudinal autolanding of a commercial jet transport | Izadi, H. | 2003 |
Final time avoidance.
Longitudinal autolanding. Neuro-controller. Optimal control. Suboptimal solution. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 8 | مقاله | Improving security issues in MANET AODV routing protocol | Gharehkoolchian, M. | Springer Verlag, | 2015 |
Gravitation.
Internet protocols. Mobile security. Network security. Routers. Routing protocols. Stars. Telecommunication networks. AODV protocols. Black hole attack. MANET. Secure routing. Trust-based technique. Mobile ad hoc networks. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 9 | مقاله | Cooperative spectrum sensing by algorithmic techniques using spatial information | Abachi, T. | 2010 |
Approximation algorithm.
Clique. Cognitive radio. Convex hull. Cooperative spectrum sensing. Algorithmic techniques. Cognitive radio network. Matrix. Spatial correlations. Spatial informations. Spectrum sensing. Spectrum utilization. Transmission power. White space. Computational geometry. Information use. Radio broadcasting. Radio transmission. Approximation algorithms. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 10 | مقاله | Toward a computer aided diagnosis system for lumbar disc herniation disease based on MR images analysis | Nikravan, M. | World Scientific Publishing Co. Pte Ltd | 2016 |
LBP.
Lumbar disc diseases. MRI. Computer aided analysis. Diagnosis. Image processing. Laser tissue interaction. Magnetic resonance. Magnetic resonance imaging. Neural networks. Support vector machines. Automatic diagnosis. Herniation. Lumbar disc. Myelograph. Spinal cords. Computer aided diagnosis. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 11 | مقاله | A multistage MILP-based model for integration of remote control switch into distribution networks | Izadi, M. | Institute of Electrical and Electronics Engineers Inc, | 2016 |
Distribution network.
Interruption cost. Remote control switch. Budget control. Costs. Electric power distribution. Integer programming. Investments. Reliability. Remote control. Budget restrictions. Capital investment. Distribution systems. Interruption costs. MILP-based models. Mixed integer linear programming. Multi-stage planning. Placement problems. Cost benefit analysis. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 12 | مقاله | Using reo formalism for compliance checking of architecture evolution with evolutionary rules | Liaghat, Z. | IOS Press, | 2019 |
Architecture evolution.
Compliance checking. Reo coordination language. Model checking. Software architecture. Architectural evolution. Assessment approaches. Compliance checking. Coordination language. Evolution process. Evolutionary rules. Overall accuracies. Reliable assessment. Compliance control. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 13 | مقاله | Optimal placement of protective and controlling devices in electric power distribution systems: a MIP model | Izadi, M. | Institute of Electrical and Electronics Engineers Inc, | 2019 |
Electric power distribution system.
Electric power distribution. Electric power system control. Integer programming. Remote control. Thermoelectric equipment. Electric power distribution systems. Fault management. Mixed integer programming. Power distribution protection. Power distribution reliability. Electric power system protection. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 14 | مقاله | Optimal placement of protective and controlling devices in electric power distribution systems: A MIP Model | Izadi, M. | Institute of Electrical and Electronics Engineers Inc, | 2019 |
Electric power distribution system.
Fault management. Power distribution protection. Electric power distribution. Electric power system control. Integer programming. Remote control. Thermoelectric equipment. Electric power distribution systems. Mixed integer programming. Power distribution reliability. Electric power system protection. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 15 | مقاله | COVID and nutrition: A machine learning perspective | Jafari, N. | Elsevier Ltd, | 2022 |
Big data.
COVID-19. Diet. Machine learning. Multilayer perceptron. Nutrition. Random forest. Phytochemical. Coronavirus disease 2019. Food intake. Health survey. Human. Infection risk. Information storage. Iran. Lifestyle. Major clinical study. Mortality rate. Nutritional assessment. Observational study. Questionnaire. Risk reduction. Rural area. Self report. Tea consumption. Urban area. Water supply. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 16 | مقاله | A novel WaveNet-GRU deep learning model for PEM fuel cells degradation prediction based on transfer learning | Izadi, M. J. | 2024 |
Data-driven method.
Degradation prediction. PEMFC. Cost reduction. Energy efficiency. Forecasting. Learning systems. Mean square error. Proton exchange membrane fuel cells (PEMFC) Data-driven methods. Degradation predictions. GRU. Percentage error. Proton-exchange membranes fuel cells. Remaining useful lives. Root mean square errors. Transfer learning. Voltage prediction. Wavenet. Degradation. Instrumentation. Membrane. Performance assessment. Deep neural networks. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 17 | مقاله | Mechanical strength improvement of mud motor’s elastomer by nano clay and prediction the working life via strain energy | Izadi, M. | Materials and Energy Research Center, | 2019 |
Down Hole Mud Motors.
Nanoclay. Nitrile Rubber. Cost reduction. Drill strings. Elastomers. Fracture toughness. Infill drilling. Mechanical properties. Metal drawing. Nanocomposites. Nanostructured materials. Plastics. Polymer blends. Rubber. Tensile testing. Composite samples. Drilling industry. Geometrical changes. Melt intercalation. Mud motors. Nano clays. Nitrile rubbers. Strength improvements. Strain energy. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 18 | مقاله | Intelligent autolanding controller design using neural networks and fuzzy logic | Malaek, S. M. B. | 2004 |
Intelligent networks.
Neural networks. Fuzzy logic. Aircraft. Control systems. Aerospace control. Air safety. Aerospace safety. Life testing. Three-term control. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 19 | مقاله | Heat transfer and fluid flow for tube included a porous media: Assessment and Multi-Objective Optimization Using Particle Swarm Optimization (PSO) Algorithm | Keykhah, S. | Elsevier B.V, | 2020 |
Heat transfer.
Nanofluid. Optimization. Porous media. Energy utilization. Flow of fluids. Friction. Multiobjective optimization. Nanofluidics. Nusselt number. Porosity. Porous materials. Friction coefficients. Heat transfer and fluid flow. Heat transfer rate. Nanofluids. Objective functions. Particle swarm algorithm. Particle swarm optimization algorithm. Simulation and optimization. Particle swarm optimization (PSO) |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
| 20 | مقاله | A crisis situations decision-making systems software development process with rescue experiences | Nowroozi, A. | Institute of Electrical and Electronics Engineers Inc, | 2020 |
Agile software development process.
Crisis management. Crisis situations decision-making system. Naturalistic decision making. Recognition primed decision model. RoboCup rescue simulation agent benchmark. Agile manufacturing systems. Decision making. Requirements engineering. Software agents. Computational model. Decision-making systems. EXtreme Programming. Incremental development. Security challenges. Software development process. Software requirements. System requirements. Software design. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|