312 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Obuda UniversityHU3 papers
- Singapore University of Technology and DesignSG3 papers
- Institute for Research in Fundamental SciencesIR2 papers
- Slovak University of Technology in BratislavaSK2 papers
- University of Notre DameUS2 papers
- University of SalentoIT2 papers
- Arak UniversityIR1 paper
- Bauhaus-Universität WeimarDE1 paper
- Boston UniversityUS1 paper
- Duy Tan UniversityVN1 paper
- Ludovika University of Public ServiceHU1 paper
- North Carolina Agricultural and Technical State UniversityUS1 paper
19 papers
Prediction of the energy and exergy performance of F135 PW100 turbofan engine via deep learning
Mohammadreza Sabzehali, Amir Hossein Rabieeb, Mahdi Alibeigia +1
In the present study, the effects of flight-Mach number, flight altitude, fuel types, and intake air temperature on thrust specific fuel consumption, thrust, intake air mass flow r…
Energy-Exergy Analysis and Optimal Design of a Hydrogen Turbofan Engine
Mohammadreza Sabzehali, Somayeh Davoodabadi Farahani, Amir Mosavi
In this study, the effect of inlet air cooling and fuel type on the performance parameters of thrust-specific fuel consumption (TSFC), thermal and exergetic efficiencies, entropy g…
Generic Stability and Modes of Convergence
Karim Khanaki
We study generically stable types/measures in both classical and continuous logics, and their connection with randomization and modes of convergence of types/measures.
Remarks on convergence of Morley sequences
Karim Khanaki
We refine results of Gannon [G21, Theorem 4.7] and Simon [S15a, Lemma 2.8] on equivalences of convergent Morley sequences. We then introduce the notion of eventual , as a prop…
Glivenko-Cantelli classes and NIP formulas
Karim Khanaki
We give several new equivalences of for formulas and new proofs of known results using [T87] and [HOR91]. We emphasize that Keisler measures are more complicated than types (…
Experimental Estimation of Temporal and Spatial Resolution of Coefficient of Heat Transfer in a Channel Using Inverse Heat Transfer Method
Majid Karami, Somayeh Davoodabadi Farahani, Farshad Kowsary +1
In this research, a novel method to investigation the transient heat transfer coefficient in a channel is suggested experimentally, in which the water flow, itself, is considered b…
Randomized Constraints Consensus for Distributed Robust Mixed-Integer Programming
Mohammadreza Chamanbaz, Giuseppe Notarstefano, Francesco Sasso +1
In this paper, we consider a network of processors aiming at cooperatively solving mixed-integer convex programs subject to uncertainty. Each node only knows a common cost function…
Dividing lines in unstable theories and subclasses of Baire 1 functions
Karim Khanaki
We give a new characterization of (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour o…
Continuous logic and the strict order property
Karim Khanaki
We generalize a theory of Shelah for continuous logic, namely a continuous theory has OP if and only if it has IP or SOP.
A multi-material level set-based topology optimization of flexoelectric composites
Hamid Ghasemi, Harold S. Park, Timon Rabczuk
We present a computational design methodology for topology optimization of multi-material-based flexoelectric composites. The methodology extends our recently proposed design metho…
Algorithms for Optimal AC Power Flow in the Presence of Renewable Sources
Mohammadreza Chamanbaz, Fabrizio Dabbene, Constantino Lagoa
This chapter presents recent solutions to the optimal power flow (OPF) problem in the presence of renewable energy sources (RES), {such} as solar photo-voltaic and wind generation.…
Optimal Network Topology for Effective Collective Response
David Mateo, Nikolaj Horsevad, Vahid Hassani +2
Natural, social, and artificial multi-agent systems usually operate in dynamic environments, where the ability to respond to changing circumstances is a crucial feature. An effecti…
Remarks on NIP in a model
Karim Khanaki, Anand Pillay
We define the notion has in , where is a subset of a model, and give some equivalences by translating results from [1]. Using additional material from [11] we…
Randomized Constraints Consensus for Distributed Robust Linear Programming
Mohammadreza Chamanbaz, Giuseppe Notarstefano, Roland Bouffanais
In this paper we consider a network of processors aiming at cooperatively solving linear programming problems subject to uncertainty. Each node only knows a common cost function an…
NIP formulas and Baire 1 definability
Karim Khanaki
In this short note, using results of Bourgain, Fremlin, and Talagrand \cite{BFT}, we show that for a countable structure , a saturated elementary extension of and a fo…
-categorical Banach spaces contain or
Karim Khanaki
This paper has three parts. First, we establish some of the basic model theoretic facts about , the Tsirelson space of Figiel and Johnson \cite{FJ}. Second, using…
Stability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function Spaces
Karim Khanaki
We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, `Talagr…
Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
Karim Khanaki
This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove de…
Decentralized Hybrid Formation Control of Unmanned Aerial Vehicles
Ali Karimoddini1, Mohammad Karimadini, Hai Lin
This paper presents a decentralized hybrid supervisory control approach for a team of unmanned helicopters that are involved in a leader-follower formation mission. Using a polar p…