Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- University of Nebraska - Lincoln (58)
- Marquette University (37)
- Singapore Management University (34)
- Technological University Dublin (29)
- University of Dayton (13)
-
- University of New Haven (10)
- Florida International University (9)
- Loyola University Chicago (7)
- Portland State University (7)
- San Jose State University (7)
- Old Dominion University (6)
- Washington University in St. Louis (5)
- Edith Cowan University (4)
- Tennessee State University (4)
- Western University (4)
- Chapman University (3)
- Embry-Riddle Aeronautical University (3)
- Fordham University (3)
- University of Louisville (3)
- Western Michigan University (3)
- California Polytechnic State University, San Luis Obispo (2)
- City University of New York (CUNY) (2)
- Grand Valley State University (2)
- Morehead State University (2)
- University of North Dakota (2)
- University of Pennsylvania Carey Law School (2)
- Western Kentucky University (2)
- Air Force Institute of Technology (1)
- American University in Cairo (1)
- Dartmouth College (1)
- Keyword
-
- Digital forensics (6)
- Atomic requirements (5)
- Design optimization (5)
- Robotics (5)
- Singular requirements (5)
-
- Software (5)
- Cloud Computing (4)
- Computer Vision (4)
- Machine Learning (4)
- Requirements (4)
- Security (4)
- Survey (4)
- Android (3)
- Big data (3)
- Computational modeling (3)
- Fabrication (3)
- Feature Selection (3)
- Innovation (3)
- Localization (3)
- MEMS (3)
- Quality attributes (3)
- Regression (3)
- Simulation (3)
- Software process (3)
- Storage (3)
- System development (3)
- Testing (3)
- Tools (3)
- Torque (3)
- Active Learning (2)
- Publication
-
- Electrical and Computer Engineering Faculty Research and Publications (37)
- Research Collection School Of Computing and Information Systems (34)
- Department of Computer Science and Engineering: Dissertations, Theses, and Student Research (23)
- Department of Electrical and Computer Engineering: Faculty Publications (23)
- Dissertations (16)
-
- Electrical and Computer Engineering Faculty Publications (12)
- Electrical & Computer Engineering and Computer Science Faculty Publications (10)
- FIU Electronic Theses and Dissertations (9)
- Faculty Publications (9)
- Conference papers (8)
- Computer Science: Faculty Publications and Other Works (7)
- All Computer Science and Engineering Research (5)
- Articles (5)
- Computer Science Faculty Publications (4)
- Computer Science Faculty Research (4)
- Electrical and Computer Engineering Publications (4)
- CSE Conference and Workshop Papers (3)
- Computer Science Faculty Publications and Presentations (3)
- Engineering Faculty Articles and Research (3)
- Faculty Scholarship (3)
- Publications (3)
- All Faculty Scholarship (2)
- Australian Digital Forensics Conference (2)
- Computational Modeling & Simulation Engineering Faculty Publications (2)
- Conference Papers (2)
- ENSI Informer Magazine Archive (2)
- Funded Articles (2)
- Masters Theses & Specialist Projects (2)
- Publications and Research (2)
- Research outputs 2014 to 2021 (2)
- File Type
Articles 271 - 285 of 285
Full-Text Articles in Engineering
Flexc: Protein Flexibility Prediction Using Context-Based Statistics, Predicted Structural Features, And Sequence Information, Ashraf Yaseen, Mais Nijim, Brandon Williams, Lei Qian, Min Li, Jianxin Wang, Yaohang Li
Flexc: Protein Flexibility Prediction Using Context-Based Statistics, Predicted Structural Features, And Sequence Information, Ashraf Yaseen, Mais Nijim, Brandon Williams, Lei Qian, Min Li, Jianxin Wang, Yaohang Li
Computer Science Faculty Publications
The fluctuation of atoms around their average positions in protein structures provides important information regarding protein dynamics. This flexibility of protein structures is associated with various biological processes. Predicting flexibility of residues from protein sequences is significant for analyzing the dynamic properties of proteins which will be helpful in predicting their functions.
Modeling Mental Workload Via Rule-Based Expert System: A Comparison With Nasa-Tlx & Workload Profile, Lucas Rizzo, Sarah Jane Delany, Pierpaolo Dondio, Luca Longo
Modeling Mental Workload Via Rule-Based Expert System: A Comparison With Nasa-Tlx & Workload Profile, Lucas Rizzo, Sarah Jane Delany, Pierpaolo Dondio, Luca Longo
Conference papers
In the last few decades several fields have made use of the construct of human mental workload (MWL) for system and task design as well as for assessing human performance. Despite this interest, MWL remains a nebulous concept with multiple definitions and measurement techniques. State-of-the-art models of MWL are usually ad-hoc, considering different pools of pieces of evidence aggregated with different inference strategies. In this paper the aim is to deploy a rule-based expert system as a more structured approach to model and infer MWL. This expert system is built upon a knowledge-base of an expert and transates into computable …
Teaching Robot Kinematics For Engineering Technology Students Using A Created Three-Dimensional Robot And Camera, Cheng Y. Lin, Yuzhong Shen
Teaching Robot Kinematics For Engineering Technology Students Using A Created Three-Dimensional Robot And Camera, Cheng Y. Lin, Yuzhong Shen
Engineering Technology Faculty Publications
Teaching robot kinematics is important to engineering technology students in the robot automation. The study can help students not only in the coordinate transformation principles from a joint to its following joint in a robot, but also in relating the coordinate systems between a robot and a machine vision system. While students can utilize math software to compute robot kinematic transformations, they have problems verifying their answers. In this paper, a three dimensional vertically articulated robot is created to help students visualize the location and orientation of the end effector. Students can check their robot kinematic answers based on the …
Use Of A Small Unmanned Aerial System For The Sr-530 Mudslide Incident Near Oso, Washington, Robin Murphy, Brittany Duncan, Tyler Collins, Justin Kendrick, Patrick Lohman, Tamara Palmer, Frank Sanborn
Use Of A Small Unmanned Aerial System For The Sr-530 Mudslide Incident Near Oso, Washington, Robin Murphy, Brittany Duncan, Tyler Collins, Justin Kendrick, Patrick Lohman, Tamara Palmer, Frank Sanborn
School of Computing: Faculty Publications
The Center for Robot-Assisted Search and Rescue deployed three commercially available small unmanned aerial systems (SUASs)—an AirRobot AR100B quadrotor, an Insitu Scan Eagle, and a PrecisionHawk Lancaster—to the 2014 SR-530 Washington State mudslides. The purpose of the flights was to allow geologists and hydrologists to assess the eminent risk of loss of life to responders from further slides and flooding, as well as to gain a more comprehensive understanding of the event. The AirRobot AR100B in conjunction with PrecisionHawk postprocessing software created two-dimensional (2D) and 3D reconstructions of the inaccessible “moonscape” region of the slide and provided engineers with a …
Applying Dijkstra Algorithm For Solving Neutrosophic Shortest Path Problem, Florentin Smarandache, Luige Vladareanu, Said Broumi, Assia Bakali, Muhammad Akram
Applying Dijkstra Algorithm For Solving Neutrosophic Shortest Path Problem, Florentin Smarandache, Luige Vladareanu, Said Broumi, Assia Bakali, Muhammad Akram
Branch Mathematics and Statistics Faculty and Staff Publications
The selection of shortest path problem is one the classic problems in graph theory. In literature, many algorithms have been developed to provide a solution for shortest path problem in a network. One of common algorithms in solving shortest path problem is Dijkstra’s algorithm. In this paper, Dijkstra’s algorithm has been redesigned to handle the case in which most of parameters of a network are uncertain and given in terms of neutrosophic numbers. Finally, a numerical example is given to explain the proposed algorithm.
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 …
A Novel Hierarchical Bag-Of-Words Model For Compact Action Representation, Qianru Sun, Qianru, Hong Liu, Hong Liu, Liqian Ma, Tianwei Zhang
A Novel Hierarchical Bag-Of-Words Model For Compact Action Representation, Qianru Sun, Qianru, Hong Liu, Hong Liu, Liqian Ma, Tianwei Zhang
Research Collection School Of Computing and Information Systems
Bag-of-Words (BOW) histogram of local space-time features is very popular for action representation due to its high compactness and robustness. However, its discriminant ability is limited since it only depends on the occurrence statistics of local features. Alternative models such as Vector of Locally Aggregated Descriptors (VLAD) and Fisher Vectors (FV) include more information by aggregating high-dimensional residual vectors, but they suffer from the problem of high dimensionality for final representation. To solve this problem, we novelly propose to compress residual vectors into low-dimensional residual histograms by the simple but efficient BoW quantization. To compensate the information loss of this …
Kicm: A Knowledge-Intensive Context Model, Fredrick Mtenzi, Denis Lupiana
Kicm: A Knowledge-Intensive Context Model, Fredrick Mtenzi, Denis Lupiana
Conference papers
A context model plays a significant role in developing context-aware architectures and consequently on realizing context-awareness, which is important in today's dynamic computing environments. These architectures monitor and analyse their environments to enable context-aware applications to effortlessly and appropriately respond to users' computing needs. These applications make the use of computing devices intuitive and less intrusive. A context model is an abstract and simplified representation of the real world, where the users and their computing devices interact. It is through a context model that knowledge about the real world can be represented in and reasoned by a context-aware architecture. This …
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.
Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
Engineering Faculty Articles and Research
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut …
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, …
A Verified Information-Flow Architecture, Arthur Azevedo De Amorim, Nathan Collins, André Dehon, Delphine Demange, Cătălin Hriţcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A Verified Information-Flow Architecture, Arthur Azevedo De Amorim, Nathan Collins, André Dehon, Delphine Demange, Cătălin Hriţcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
Computer Science Faculty Publications and Presentations
SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supports fine-grained programmable tags, with efficient and flexible propagation and combination of tags as instructions are executed. The operating system virtualizes these generic facilities to present an information-flow abstract machine that allows user programs to label sensitive data with rich confidentiality policies. We present a formal, machine-checked model of the key hardware and software mechanisms used to dynamically control information flow in SAFE and an end-to-end proof of noninterference for this model. We …
Sparse Encoding Of Binocular Images For Depth Inference, Sheng Y. Lundquist, Dylan M. Paiton, Peter F. Schultz, Garrett T. Kenyon
Sparse Encoding Of Binocular Images For Depth Inference, Sheng Y. Lundquist, Dylan M. Paiton, Peter F. Schultz, Garrett T. Kenyon
Computer Science Faculty Publications and Presentations
Sparse coding models have been widely used to decompose monocular images into linear combinations of small numbers of basis vectors drawn from an overcomplete set. However, little work has examined sparse coding in the context of stereopsis. In this paper, we demonstrate that sparse coding facilitates better depth inference with sparse activations than comparable feed-forward networks of the same size. This is likely due to the noise and redundancy of feed-forward activations, whereas sparse coding utilizes lateral competition to selectively encode image features within a narrow band of depths.
Defining A Smart Nation: The Case Of Singapore, Siu Loon Hoe
Defining A Smart Nation: The Case Of Singapore, Siu Loon Hoe
Research Collection School Of Computing and Information Systems
Purpose - The purpose of this paper is to identify the key characteristics and propose a working definition of a smart nation.Design/methodology/approach - A case study of Singapore through an analysis of the key speeches made by senior Singapore leaders, publicly available government documents and news reports since the launch of the smart nation initiative in December 2014 was carried out.Findings - Just like smart cities, the idea of a smart nation is an evolving concept. However, there are some emerging characteristics that define a smart nation.Research limitations/implications - The paper provides an initial understanding of the key characteristics and …
A New Educational Mobile Devices Platform For Social Inclusion In Tanzania, Fredrick Mtenzi
A New Educational Mobile Devices Platform For Social Inclusion In Tanzania, Fredrick Mtenzi
Articles
Abstract— It is evident that advances in technology has led to improvement in societal wellbeing. In this paper we demonstrate how mobile phones are used in providing reliable and quality education to students in disadvantaged areas of Tanzania. The main contribution is on leveraging on the success that Tanzania has had on using mobile banking to the un-banked population. These lessons are adapted to the education sector, where clever/smart integration of existing disruptive technologies such as mobile phones and social networks are be used to provide access to high quality educational contents. Further, the paper shows how educational content can …