Propagating Degrees Of Truth On An Argumentation Framework: An Abstract Account Of Fuzzy Argumentation, 2017 Dublin Institute of Technology
Propagating Degrees Of Truth On An Argumentation Framework: An Abstract Account Of Fuzzy Argumentation, Pierpaolo Dondio
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, 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, 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, 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, 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, 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, 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
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, 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, 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, 2017 South Dakota
Product Authentication Using Hash Chains And Printed Qr Codes, Harshith R. 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 ...
An Exploration Study Of Using The Universities Performance And Enrolments Features For Predicting The International Quality, 2017 Dublin Institute of Technology
An Exploration Study Of Using The Universities Performance And Enrolments Features For Predicting The International Quality, Aeshah Althagafi
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, 2017 Dublin Institute of Technology
The Influence Of Sensor-Based Intelligent Traffic Light Control On Traffic Flow In Dublin, Katja Rademacher
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, 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
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, 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
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, 2017 Dublin Institute of Technology
A Model For Anomalies Detection In Internet Of Things (Iot) Using Inverse Weight Clustering And Decision Tree, Ahod Alghuried
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, 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
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, 2017 Dublin Institute of Technology
The Evaluation Of Ensemble Sentiment Classification Approach On Airline Services Using Twitter, Zechen Wang
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?, 2017 Dublin Institute of Technology
Can Phishing Education Enable Users To Recognize Phishing Attacks?, Hanaa Alghamdi
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, 2017 Dublin Institute of Technology
Exploring The Factors That Affect Secondary Student’S Mathematics And Portuguese Performance In Portugal, Lulu Cheng
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 ...