University of Detroit Mercy

output

20102026

most citedCharacterizing the powerset by a complete (Scott) sentence

9 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

16 papers

cs.LG2026★ 1 cited

Using Large Language Models to Detect Socially Shared Regulation of Collaborative Learning

Jiayi Zhang, Conrad Borchers, Clayton Cohn +7

The field of learning analytics has made notable strides in automating the detection of complex learning processes in multimodal data. However, most advancements have focused on in…

math.GN2022

Compactness and Symmetric Well Orders

Abhijit Dasgupta

We introduce and investigate a topological version of Stäckel's 1907 characterization of finite sets, with the goal of obtaining an interesting notion that characterizes usual comp…

cs.LG2021

Causal Discovery in Linear Structural Causal Models with Deterministic Relations

Yuqin Yang, Mohamed Nafea, AmirEmad Ghassami +1

Linear structural causal models (SCMs) -- in which each observed variable is generated by a subset of the other observed variables as well as a subset of the exogenous sources -- a…

cs.CV2020

Multi-Stage CNN-Based Monocular 3D Vehicle Localization and Orientation Estimation

Ali Babolhavaeji, Mohammad Fanaei

This paper aims to design a 3D object detection model from 2D images taken by monocular cameras by combining the estimated bird's-eye view elevation map and the deep representation…

cs.RO2020★ 1 cited

Fast Adaptable Mobile Robot Navigation in Dynamic Environment

Xihan Ma, Honglin Sun, Enwei Xu +3

Autonomous navigation in dynamic environment heavily depends on the environment and its topology. Prior knowledge of the environment is not usually accurate as the environment keep…

cs.LG2018

Ensemble of Learning Project Productivity in Software Effort Based on Use Case Points

Mohammad Azzeh, Ali Bou Nassif, Shadi Banitaan +1

It is well recognized that the project productivity is a key driver in estimating software project effort from Use Case Point size metric at early software development stages. Alth…

cs.SE2018★ 1 cited

v-SVR Polynomial Kernel for Predicting the Defect Density in New Software Projects

Cuauhtemoc Lopez-Martin, Mohammad Azzeh, Ali Bou Nassif +1

An important product measure to determine the effectiveness of software processes is the defect density (DD). In this study, we propose the application of support vector regression…

cs.IT2018

Coded Caching in the Presence of a Wire and a Cache Tapping Adversary of Type II

Mohamed Nafea, Aylin Yener

This paper introduces the notion of cache-tapping into the information theoretic models of coded caching. The wiretap channel II in the presence of multiple receivers equipped with…

cs.SE2018

Using Categorical Features in Mining Bug Tracking Systems to Assign Bug Reports

Mamdouh Alenezi, Shadi Banitaan, Mohammad Zarour

Most bug assignment approaches utilize text classification and information retrieval techniques. These approaches use the textual contents of bug reports to build recommendation mo…

math.LO2017★ 1 cited

Non-Absoluteness of Model Existence at $ℵ_{ω}$

David Milovich, Ioannis Souldatos

In [FHK13], the authors considered the question whether model-existence of $L_{ω_{1}, ω}$ -sentences is absolute for transitive models of ZFC, in the sense that if $V \subseteq W$ are…

math.LO2017★ 2 cited

Kurepa trees and spectra of $L_{ω_{1}, ω}$ -sentences

Dima Sinapova, Ioannis Souldatos

We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a \emph{single} $L_{ω_{1}, ω}$ -sentence $ψ$ that codes Kurepa trees to prove t…

cs.SE2017

Pareto Efficient Multi Objective Optimization for Local Tuning of Analogy Based Estimation

Mohammad Azzeh, Ali Bou Nassif, Shadi Banitaan +1

Analogy Based Effort Estimation (ABE) is one of the prominent methods for software effort estimation. The fundamental concept of ABE is closer to the mentality of expert estimation…

math.OA2015★ 1 cited

Permanence of stable rank one for centrally large subalgebras and crossed products by minimal homeomorphisms

Dawn Archey, N. Christopher Phillips

We define centrally large subalgebras of simple unital C*-algebras, strengthening the definition of large subalgebras in previous work. We prove that if A is any infinite dimension…

math.LO2015★ 1 cited

The Joint Embedding Property and Maximal Models

John T. Baldwin, Martin Koerwien, Ioannis Souldatos

We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3…

math.LO2012★ 9 cited

Characterizing the powerset by a complete (Scott) sentence

Ioannis Souldatos

This paper is part II of a study on cardinals that are characterizable by a Scott sentence, continuing the work from http://arxiv.org/abs/1007.2426v1. A cardinal $κ$ is characteriz…

math.LO2010★ 6 cited

Linear Orderings and Powers of Characterizable Cardinal