Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

10911 Full-Text Articles 12074 Authors 2440987 Downloads 148 Institutions

All Articles in Computer Engineering

Faceted Search

10911 full-text articles. Page 1 of 316.

Propagating Degrees Of Truth On An Argumentation Framework: An Abstract Account Of Fuzzy Argumentation, Pierpaolo Dondio 2017 Dublin Institute of Technology

Propagating Degrees Of Truth On An Argumentation Framework: An Abstract Account Of Fuzzy Argumentation, Pierpaolo Dondio

Conference papers

This paper proposes a computational framework to reason with conflicting and gradual evidence. The framework is a synthesis of Dung’s seminal work in argumentation semantics with multi-valued logic. Abstract grounded semantics is used to identify the conditions under which a conclusion can be accepted, while multi-valued logic operators are used to quantify the degree of truth of such conditions. We propose a truth-compositional recursive computation based on the notion of irrelevant arguments, and we discuss examples using the major multi-valued logics: Godel’s, Zadeh’s and Łukasiewicz's logic.


Automatic Verification Of Finite Precision Implementations Of Linear Controllers, Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee 2017 University of Pennsylvania

Automatic Verification Of Finite Precision Implementations Of Linear Controllers, Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee

Departmental Papers (CIS)

We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementations may use finite precision computations (e.g. floating-point arithmetic) which cause quantization (i.e., roundoff) errors. To address these challenges, we first extract a controller's mathematical model from the implementation via symbolic execution and floating-point error analysis, and then check approximate input-output equivalence between the extracted model ...


Automatic Generation Of Web Applications And Management System, Yu Zhou 2017 California State University, San Bernardino

Automatic Generation Of Web Applications And Management System, Yu Zhou

Electronic Theses, Projects, and Dissertations

One of the major difficulties in web application design is the tediousness of constructing new web pages from scratch. For traditional web application projects, the web application designers usually design and implement web application projects step by step, in detail. My project is called “automatic generation of web applications and management system.” This web application generator can generate the generic and customized web applications based on software engineering theories. The flow driven methodology will be used to drive the project by Business Process Model Notation (BPMN). Modules of the project are: database, web server, HTML page, functionality, financial analysis model ...


Android Mobile Application For Hospital Executives, Vihitha Nalagatla 2017 California State University - San Bernardino

Android Mobile Application For Hospital Executives, Vihitha Nalagatla

Electronic Theses, Projects, and Dissertations

Hospitals are the largest and most complex organizations where health care is provided. Safe and effective patient care services in hospitals depend on the efficient decisions made by hospital executives. The main task of hospital executives is to ensure the hospital can provide high quality patient care and services. “Android Mobile Application For Hospital Executives” is an Android application used for displaying hospital performance metrics on a daily basis. This application allows hospital executives to review and monitor hospital operational data with ease of access and in a portable manner. Thus, reducing the effort of the hospital executives to perform ...


Relaxed Decidability And The Robust Semantics Of Metric Temporal Logic, Houssam Abbas 2017 University of Pennsylvania

Relaxed Decidability And The Robust Semantics Of Metric Temporal Logic, Houssam Abbas

Real-Time and Embedded Systems Lab (mLAB)

Relaxed notions of decidability widen the scope of automatic verification of hybrid systems. In quasi-decidability and $\delta$-decidability, the fundamental compromise is that if we are willing to accept a slight error in the algorithm's answer, or a slight restriction on the class of problems we verify, then it is possible to obtain practically useful answers. This paper explores the connections between relaxed decidability and the robust semantics of Metric Temporal Logic formulas. It establishes a formal equivalence between the robustness degree of MTL specifications, and the imprecision parameter $\delta$ used in $\delta$-decidability when it is used to ...


Women In It: Be The Change, Marcia L. Dority Baker 2017 University of Nebraska-Lincoln

Women In It: Be The Change, Marcia L. Dority Baker

Publications from Information Technology Services

The influence of established women in IT — specifically Florence Hudson and Melissa Woo — encouraged a librarian to apply for a position in Information Technology Services at the University of Nebraska–Lincoln.

A hands-on approach to planning the IT Leadership conference developed a strong collaborative network that also helped grow attendance.

Paying attention to the pros and cons of the 2016 conference guided the planners in modifying their approach to the upcoming October 2017 conference and its focus on diversity and inclusion.

A main goal for future IT Leadership conferences focusing on women and diversity in IT is providing attendees with ...


Integrated Assessment Of Novel Two-Season Production Systems In Mato Grosso, Brazil, Marcelo Moraes, Affonso Libera, Evgeny Latynskiy, Anna Hampf, José Maria Silveira, Thomas Berger 2017 Universität Hohenheim

Integrated Assessment Of Novel Two-Season Production Systems In Mato Grosso, Brazil, Marcelo Moraes, Affonso Libera, Evgeny Latynskiy, Anna Hampf, José Maria Silveira, Thomas Berger

Marcelo Carauta

One of the most significant advantages of growing crops in Mato Grosso (in mid-western Brazil) is that farmers can grow two crops (in some specific cases even three) in the same season. From an economic point of view, on the one hand, this provides a strong comparative advantage. On the other hand, this increases the number of decision variables that a decision making agent has to take into account. The agricultural production planning is complex and dynamic and it needs to consider crop rotation/succession in accordance with annual variability of climatic conditions. We developed a region-specific bio-economic micro-simulation model ...


Data Predictive Control For Building Energy Management, Achin Jain, Madhur Behl, Rahul Mangharam 2017 University of Pennsylvania

Data Predictive Control For Building Energy Management, Achin Jain, Madhur Behl, Rahul Mangharam

Real-Time and Embedded Systems Lab (mLAB)

Decisions on how to best optimize energy systems operations are becoming ever so complex and conflicting, that model-based predictive control (MPC) algorithms must play an important role. However, a key factor prohibiting the widespread adoption of MPC in buildings, is the cost, time, and effort associated with learning first-principles based dynamical models of the underlying physical system. This paper introduces an alternative approach for implementing finite-time receding horizon control using control-oriented data-driven models. We call this approach Data Predictive Control (DPC). Specifically, by utilizing separation of variables, two novel algorithms for implementing DPC using a single regression tree and with ...


Promoting Information Resources To Students: Using Wordpress To Maintain Library Data Sets, Derek Stadler 2017 CUNY La Guardia Community College

Promoting Information Resources To Students: Using Wordpress To Maintain Library Data Sets, Derek Stadler

Publications and Research

Although it began as a blog tool, WordPress has grown into a complete content management system with thousands of interactive themes available. Since it uses the MySQL database management system, the open-source software suits the needs of library websites by aggregating a college library’s complete database inventory. Rather than update several HTML pages within a site when new vendors are added or a URL is changed, information from vendors can be maintained in a database table and then displayed to students, highlighting available resources and information. The presentation highlights the use of some simple WordPress plugins to manage many ...


Product Authentication Using Hash Chains And Printed Qr Codes, Harshith R. Keni 2017 South Dakota

Product Authentication Using Hash Chains And Printed Qr Codes, Harshith R. Keni

Harshith Keni

This thesis explores the usage of simple printed tags for authenticating products. Printed tags are a cheap alternative to RFID and other tag based systems and do not require specialized equipment. Due to the simplistic nature of such printed codes, many security issues like tag impersonation, server impersonation, reader impersonation, replay attacks and denial of service present in RFID based solutions need to be handled differently. An algorithm that utilizes hash chains to secure such simple tags while still keeping cost low is discussed. The security characteristics of this scheme as well as other product authentication schemes that use RFID ...


Benchmarking Javascript Frameworks, Carl Lawrence Mariano 2017 Dublin Institute of Technology

Benchmarking Javascript Frameworks, Carl Lawrence Mariano

Dissertations

JavaScript programming language has been in existence for many years already and is one of the most widely known, if not, the most used front-end programming language in web development. However, JavaScript is still evolving and with the emergence of JavaScript Frameworks (JSF), there has been a major change in how developers develop software nowadays. Developers these days often use more than one framework in order to fulfil their job which has given rise to the problem for developers when it comes to choosing the right JavaScript framework to develop software which is partly due to the availability of countless ...


An Exploration Study Of Using The Universities Performance And Enrolments Features For Predicting The International Quality, Aeshah Althagafi 2017 Dublin Institute of Technology

An Exploration Study Of Using The Universities Performance And Enrolments Features For Predicting The International Quality, Aeshah Althagafi

Dissertations

Quality ranking systems are crucial in the assessment of the academic performance of an institution because these assessment systems give details about how different learning institutions deliver their services. Education quality is also of paramount importance to the students because it is through quality education that these students develop skills that are needed in the job market. Besides, education enhances a student's academic and reasoning capacities. When universities are subjected to ranking systems, they are likely to improve their quality to be ranked high in the system. When the university administrators are exposed to ranking, competition gears up. Through ...


The Influence Of Sensor-Based Intelligent Traffic Light Control On Traffic Flow In Dublin, Katja Rademacher 2017 Dublin Institute of Technology

The Influence Of Sensor-Based Intelligent Traffic Light Control On Traffic Flow In Dublin, Katja Rademacher

Dissertations

With growing cities and the increased use of vehicles for transportation purposes, there is a demand to make the traffic management in cities smarter. An intelligent traffic light control that dynamically adapts to the existing traffic conditions can help reduce traffic congestion and CO2 emissions. This thesis reviews the popular traffic light control approaches - static, actuated and adaptive – based on their influences on recorded traffic conditions in Dublin. The Irish capital relies heavily on busses for public transport adding to the number of already moving vehicles in the city centre. Using vehicle count data from inductive loop detectors installed at ...


Comparison Study Of The Most Common Virtual Machine Load Balancing Algorithms In Large-Scale Cloud Environment Using Cloud Simulator, Rowaa Filimban 2017 Dublin Institute of Technology

Comparison Study Of The Most Common Virtual Machine Load Balancing Algorithms In Large-Scale Cloud Environment Using Cloud Simulator, Rowaa Filimban

Dissertations

This is era of internet. There is barely any field where internet do not play important role. Nowadays, CloudComputing links to the internet that has rebelled the whole universe. CloudComputing is a rapid enlarging domain in computing industry and research. Three main services offered by the cloud are SaaS, PaaS and IaaS. With the technology advancement of the CloudComputing, there are many new chances pioneer on how applications can be developed and how several services can be provided to the end user throughout Virtualization, on the internet. What's more, there are cloud service providers who offer and provide large-scaled ...


A Comparison Of Supervised Machine Learning Classification Techniques And Theory-Driven Approaches For The Prediction Of Subjective Mental Workload, Dmitrii Gmyzin 2017 Dublin Institute of Technology

A Comparison Of Supervised Machine Learning Classification Techniques And Theory-Driven Approaches For The Prediction Of Subjective Mental Workload, Dmitrii Gmyzin

Dissertations

In the modern world of technological progress, systems and interfaces are becoming more and more complex. As a consequence, it is a crucial to design the human-computer interaction in the most optimal way to improve the user experience. The construct of Mental Workload is a valid metric that can be used for such a goal. Among the different ways of measuring Mental Workload, self-reporting procedures are the most adopted for their ease of use and application. This research is focused on the application of Machine Learning as an alternative to theory-driven approaches for Mental Workload measurement. In particular, the study ...


A Model For Anomalies Detection In Internet Of Things (Iot) Using Inverse Weight Clustering And Decision Tree, Ahod Alghuried 2017 Dublin Institute of Technology

A Model For Anomalies Detection In Internet Of Things (Iot) Using Inverse Weight Clustering And Decision Tree, Ahod Alghuried

Dissertations

Internet of Things (IoT) is one of the fast growing technologies today. It is a technology by which billions of smart objects or devices known as “Things” can use several types of sensors to collect various types of data about themselves and/or the surrounding environment. They can then share this with authorized parties to serve several purposes such as controlling and monitoring industrial facilities or improving business service or functions. There are currently 3 billion devices connected to the Internet. The number will increase to 20 billion by 2020. While these devices make our life easier, safer and healthier ...


Critical Comparison Of The Classification Ability Of Deep Convolutional Neural Network Frameworks With Support Vector Machine Techniques In The Image Classification Process, Robert T. Kelly 2017 Dublin Institute of Technology

Critical Comparison Of The Classification Ability Of Deep Convolutional Neural Network Frameworks With Support Vector Machine Techniques In The Image Classification Process, Robert T. Kelly

Dissertations

Recently, a number of new image classification models have been developed to diversify the number of options available to prospective machine learning classifiers, such as Deep Learning. This is particularly important in the field of medical image classification as a misdiagnosis could have a severe impact on the patient. However, an assessment on the level to which a deep learning based Convolutional Neural Network can outperform a Support Vector Machine has not been discussed. In this project, the use of CNN and SVM classifiers is used on a dataset of approx. 55,000 images. This dataset was used to assess ...


The Evaluation Of Ensemble Sentiment Classification Approach On Airline Services Using Twitter, Zechen Wang 2017 Dublin Institute of Technology

The Evaluation Of Ensemble Sentiment Classification Approach On Airline Services Using Twitter, Zechen Wang

Dissertations

In the field of sentiment classification, much research has been done on reviews of topics such as movies, software and books. Little research has been done in the airline service domain. In the airline industry, the use of social media as a customer service tool has become a growing phenomenon. The research conducted by Wan and Gao (2015) has proposed an ensemble classification approach for airline service sentiment classification using Twitter data. In accordance, the objective of improving the performance of ensemble classification approach is the primary consideration. This research proposed new hybrid classification approach that uses the state-of-art approach ...


Can Phishing Education Enable Users To Recognize Phishing Attacks?, Hanaa Alghamdi 2017 Dublin Institute of Technology

Can Phishing Education Enable Users To Recognize Phishing Attacks?, Hanaa Alghamdi

Dissertations

Phishing attacks have increased rapidly and caused many drastic damages and losses for internet users‟ .The purpose of this research is to investigate on effectiveness of phishing education and training to help users identify different forms of phishing threats. The study has been conducted through developing a phishing quiz mobile application which includes four kinds of phishing threats. It tested the ability of users to recognize spoofed emails, SMS phishing (SMshing), scam phone calls (Vishing), and phishing through social media networks. A comprehensive literature review was discussed to investigate on the research area, understand the research problem, support the proposed ...


Exploring The Factors That Affect Secondary Student’S Mathematics And Portuguese Performance In Portugal, Lulu Cheng 2017 Dublin Institute of Technology

Exploring The Factors That Affect Secondary Student’S Mathematics And Portuguese Performance In Portugal, Lulu Cheng

Dissertations

Secondary education provides not only knowledge and skills, but also inculcates values, training of instincts, fostering right attitude and habits to enable adolescents to move into tertiary education or to ensure a workplace for students who decided to terminate their secondary schooling. Without secondary education to guide the development of young people through their adolescence, they will be ill prepared for tertiary education or for workplace, moreover, the possibility of juvenile delinquency and teenage pregnancy becomes higher. These negative effects will increase the pressures and expenditures on society and socio-economic. In 2006, Portugal was reported having the higher school-leaving rate ...


Digital Commons powered by bepress