Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (50)
- University of Nebraska - Lincoln (14)
- University of New Haven (11)
- Missouri University of Science and Technology (8)
- Loyola University Chicago (7)
-
- San Jose State University (6)
- Wright State University (6)
- Old Dominion University (5)
- Washington University in St. Louis (5)
- Florida International University (4)
- Chapman University (3)
- City University of New York (CUNY) (3)
- Edith Cowan University (3)
- Portland State University (3)
- Technological University Dublin (3)
- University of Kentucky (3)
- Western Kentucky University (3)
- Embry-Riddle Aeronautical University (2)
- Fordham University (2)
- Michigan Technological University (2)
- Minnesota State University, Mankato (2)
- University of Dayton (2)
- University of Nevada, Las Vegas (2)
- Air Force Institute of Technology (1)
- Cedarville University (1)
- Dartmouth College (1)
- Loyola Marymount University and Loyola Law School (1)
- Macalester College (1)
- Merrimack College (1)
- Smith College (1)
- Keyword
-
- Optimization (7)
- Survey (7)
- Atomic requirements (5)
- Digital forensics (5)
- Singular requirements (5)
-
- Requirements (4)
- Scheduling (4)
- Combinatorial optimization (3)
- Computer Vision (3)
- Quality attributes (3)
- Robotics (3)
- Security (3)
- Software process (3)
- System development (3)
- Android (2)
- Astronomy (2)
- Big Data (2)
- Budget control (2)
- Clustering (2)
- College seniors (2)
- Computational fluid dynamics (2)
- Computer crime (2)
- Computer forensics (2)
- Cyber forensics (2)
- Data Mining (2)
- Data analysis (2)
- Data mining (2)
- Decision making (2)
- Deep Belief Networks (2)
- Deep Learning (2)
- Publication
-
- Research Collection School Of Computing and Information Systems (49)
- Electrical & Computer Engineering and Computer Science Faculty Publications (10)
- Faculty Publications (8)
- Computer Science: Faculty Publications and Other Works (7)
- Department of Computer Science and Engineering: Dissertations, Theses, and Student Research (7)
-
- Computer Science and Engineering Faculty Publications (6)
- All Computer Science and Engineering Research (5)
- FIU Electronic Theses and Dissertations (4)
- Mechanical and Aerospace Engineering Faculty Research & Creative Works (4)
- CSE Conference and Workshop Papers (3)
- Engineering Faculty Articles and Research (3)
- Masters Theses & Specialist Projects (3)
- Materials Science and Engineering Faculty Research & Creative Works (3)
- Publications and Research (3)
- Australian Digital Forensics Conference (2)
- Aviation Department Publications (2)
- Computer Science Faculty Publications (2)
- Dissertations (2)
- Engineering Technology Faculty Publications (2)
- Fred and Harriet Cox Senior Design Competition Projects (2)
- Michigan Tech Publications (2)
- Publications (2)
- Undergraduate Research & Mentoring Program (2)
- AFIT Patents (1)
- All Faculty Scholarship (1)
- Biology Faculty Works (1)
- Center for Computational Sciences Faculty Publications (1)
- Computer Science Faculty Publications and Presentations (1)
- Computer Science: Faculty Publications (1)
- Conference papers (1)
Articles 151 - 160 of 160
Full-Text Articles in Engineering
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …
Coupled Crystal Orientation-Size Effects On The Strength Of Nano Crystals, Rui Yuan, Irene J. Beyerlein, Caizhi Zhou
Coupled Crystal Orientation-Size Effects On The Strength Of Nano Crystals, Rui Yuan, Irene J. Beyerlein, Caizhi Zhou
Materials Science and Engineering Faculty Research & Creative Works
We study the combined effects of grain size and texture on the strength of nanocrystalline copper (Cu) and nickel (Ni) using a crystal-plasticity based mechanics model. Within the model, slip occurs in discrete slip events exclusively by individual dislocations emitted statistically from the grain boundaries. We show that a Hall-Petch relationship emerges in both initially texture and non-textured materials and our values are in agreement with experimental measurements from numerous studies. We find that the Hall-Petch slope increases with texture strength, indicating that preferred orientations intensify the enhancements in strength that accompany grain size reductions. These findings reveal that texture …
Performance Based Contracting For The Manufacturing Industry By Using Integrated Platform And Dynamic Pricing Model, Lindawati, Aldy Gunawan
Performance Based Contracting For The Manufacturing Industry By Using Integrated Platform And Dynamic Pricing Model, Lindawati, Aldy Gunawan
Research Collection Lee Kong Chian School Of Business
Although Performance Based Contracting (PBC) concept is not totally new, the PBC adaptation in Industrial Machinery and Components (IMC) manufacturing, which produces high-value and long life machineries, is rather slow and it is done with extra caution. Three main concerns for manufacturers to implement PBC are the investment cost, the maintenance cost and possible revenue loss. To handle these concerns and accelerate the PBC implementation, we propose an integrated platform that consists of three components: dynamic pricing, sensor data feeding and machinery monitoring. We model the dynamic pricing as an optimization problem and propose Genetic Algorithm to solve the problem. …
Predicting Intake Of Applications For First Registration In The Property Registration Authority, Orlaith Mernagh
Predicting Intake Of Applications For First Registration In The Property Registration Authority, Orlaith Mernagh
Dissertations
The motivation for this dissertation is rooted in a real business need. The Property Registration Authority is the state organisation tasked with maintaining a register of land ownership on the island of Ireland. The PRA currently faces a series of challenges; a high level of staff retiring and the inherent loss of knowledge associated with this trend, a lack of recruitment in recent years and a large increase in lodgement of applications for first registration as a result of legislation. The organisation therefore requires a reliable system for predicting future intake. Prior to this project, there has also been a …
Iot+Small Data: Transforming In-Store Shopping Analytics And Services, Meera Radhakrishnan, Sougata Sen, Vigneshwaran Subbaraju, Archan Misra, Rajesh Balan
Iot+Small Data: Transforming In-Store Shopping Analytics And Services, Meera Radhakrishnan, Sougata Sen, Vigneshwaran Subbaraju, Archan Misra, Rajesh Balan
Research Collection School Of Computing and Information Systems
We espouse a vision of small data-based immersive retail analytics, where a combination of sensor data, from personal wearable-devices and store-deployed sensors & IoT devices, is used to create real-time, individualized services for in-store shoppers. Key challenges include (a) appropriate joint mining of sensor & wearable data to capture a shopper’s product level interactions, and (b) judicious triggering of power-hungry wearable sensors (e.g., camera) to capture only relevant portions of a shopper’s in-store activities. To explore the feasibility of our vision, we conducted experiments with 5 smartwatch-wearing users who interacted with objects placed on cupboard racks in our lab (to …
Ionic And Electronic Conductivities Of Atomic Layer Deposition Thin Film Coated Lithium Ion Battery Cathode Particles, Rajankumar L. Patel, Jonghyun Park, Xinhua Liang
Ionic And Electronic Conductivities Of Atomic Layer Deposition Thin Film Coated Lithium Ion Battery Cathode Particles, Rajankumar L. Patel, Jonghyun Park, Xinhua Liang
Mechanical and Aerospace Engineering Faculty Research & Creative Works
It is imperative to ascertain the ionic and electronic components of the total conductivity of an electrochemically active material. A blocking technique, called the “Hebb-Wagner method”, is normally used to explain the two components (ionic and electronic) of a mixed conductor, in combination with the complex ac impedance method and dc polarization measurements. CeO2 atomic layer deposition (ALD)-coated and uncoated, LiMn2O4 (LMO) and LiMn1.5Ni0.5O4 (LMNO) powders were pressed into pellets and then painted with silver to act as a blocking electrode. The electronic conductivities were derived from the currents obtained using …
Pro-Fit: Exercise With Friends, Saumil Dharia, Vijesh Jain, Jvalant Patel, Jainikkumar Vora, Rizen Yamauchi, Magdalini Eirinaki, Iraklis Varlamis
Pro-Fit: Exercise With Friends, Saumil Dharia, Vijesh Jain, Jvalant Patel, Jainikkumar Vora, Rizen Yamauchi, Magdalini Eirinaki, Iraklis Varlamis
Faculty Publications
The advancements in wearable technology, where embedded accelerometers, gyroscopes and other sensors enable the users to actively monitor their activity have made it easier for individuals to pursue a healthy lifestyle. However, most of the existing applications expect continuous commitment from the end users, who need to proactively interact with the application in order to connect with friends and attain their goals. These applications fail to engage and motivate users who have busy schedules, or are not as committed and self-motivated. In this work, we present PRO-Fit, a personalized fitness assistant application that employs machine learning and recommendation algorithms in …
Salient Pairwise Spatio-Temporal Interest Points For Real-Time Activity Recognition, Mengyuan Liu, Hong Liu, Qianru Sun, Tianwei Zhang, Runwei Ding
Salient Pairwise Spatio-Temporal Interest Points For Real-Time Activity Recognition, Mengyuan Liu, Hong Liu, Qianru Sun, Tianwei Zhang, Runwei Ding
Research Collection School Of Computing and Information Systems
Real-time Human action classification in complex scenes has applications in various domains such as visual surveillance, video retrieval and human robot interaction. While, the task is challenging due to computation efficiency, cluttered backgrounds and intro-variability among same type of actions. Spatio-temporal interest point (STIP) based methods have shown promising results to tackle human action classification in complex scenes efficiently. However, the state-of-the-art works typically utilize bag-of-visual words (BoVW) model which only focuses on the word distribution of STIPs and ignore the distinctive character of word structure. In this paper, the distribution of STIPs is organized into a salient directed graph, …
We Can Hear You With Wi-Fi!, Guanhua Wang, Yongpan Zou, Zimu Zhou, Kaishun Wu, Lionel M. Ni
We Can Hear You With Wi-Fi!, Guanhua Wang, Yongpan Zou, Zimu Zhou, Kaishun Wu, Lionel M. Ni
Research Collection School Of Computing and Information Systems
Recent literature advances Wi-Fi signals to “see” people’s motions and locations. This paper asks the following question: Can Wi-Fi “hear” our talks? We present WiHear, which enables Wi-Fi signals to “hear” our talks without deploying any devices. To achieve this, WiHear needs to detect and analyze fine-grained radio reflections from mouth movements. WiHear solves this micro-movement detection problem by introducing Mouth Motion Profile that leverages partial multipath effects and wavelet packet transformation. Since Wi-Fi signals do not require line-of-sight, WiHear can “hear” people talks within the radio range. Further, WiHear can simultaneously “hear” multiple people’s talks leveraging MIMO technology. We …