Computer Sciences Commons^™

Testing And Assessment In Mathematics Via Web Applications, Stefanie Winkler, Carina Pöll, Andreas Körner, Niki Popper, Felix Breitenecker

UBT International Conference

This paper deals with the web interface Maple T.A. which is used for mathematical education at the Vienna University of Technology. Maple T.A. is based on the computer algebra system Maple. This fact offers the possibility to test and assess the students in easy but also complex mathematical matters in an uncomplicated way. This interface was first used only for the refresher course. This course takes place in the first 3 weeks of the semester and deals with the repetition of all the important themes of the school mathematics. Maple T.A. is also used for the basic and advanced mathematical …

Using Machine Learning Techniques To Customize The User's Profile, Helps Intelligent Tv Decoder’S Design, Alketa Hyso, Roneda Mucaj

UBT International Conference

In today's society due to the increase of the quantity of information is becoming more difficult to find the information we search. "Data mining" offers us the most important methods and techniques in data analysis. Through this work, we aim to study the several data mining techniques, methods and applications in specific areas. We experiment with an “open software" WEKA, to perform some data analysis, presenting the reliability and advantages of data mining classification technique. We use the decision trees technique to achieve the task of classification, to customize user profiles based on their requirements and needs. This paper presents …

Project Scheduling And Role Of It, Besnik Skenderi, Diamanta Skenderi

UBT International Conference

In the current business environment, companies around the world are conducting their business operations through project implementation. Moreover, project management as a profession is developed by bodies of knowledge and companies are investing in capacity building and in improvement of their internal procedures. Nowadays, different standards are used in a field of project management. However, despite the investment in the field of project management and hundreds of hours of delivered training to project managers, around 60% of the initiated projects in the world are failing and project scheduling is among identified reasons for project failure. Companies that are implementing projects, …

Getting It Right The First Time: Robot Mission Guarantees In The Presence Of Uncertainty, Damian Lyons, Ron Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, Julia Deeb

Faculty Publications

Abstract—Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. We have previously developed an approach to establishing performance guarantees for behavior-based controllers in a process-algebra framework. We extend that work here to include random variables, and we show how our prior results can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Verification is reduced to a filtering problem for this network. Finally, we present validation results that demonstrate the effectiveness of the verification of a multiple waypoint robot mission using this …

Automatic Domain Identification For Linked Open Data, Sarasi Lalithsena, Pascal Hitzler, Amit P. Sheth, Prateek Jain

Kno.e.sis Publications

Linked Open Data (LOD) has emerged as one of the largest collections of interlinked structured datasets on the Web. Although the adoption of such datasets for applications is increasing, identifying relevant datasets for a specific task or topic is still challenging. As an initial step to make such identification easier, we provide an approach to automatically identify the topic domains of given datasets. Our method utilizes existing knowledge sources, more specifically Freebase, and we present an evaluation which validates the topic domains we can identify with our system. Furthermore, we evaluate the effectiveness of identified topic domains for the purpose …

Finding Specifications Of While Statements Using Patterns, Aditi Barua, Yoonsik Cheon

Departmental Technical Reports (CS)

A formal correctness proof of code containing loops such as while statements typically uses the technique of proof-by-induction, and often the most difficult part of carrying out an inductive proof is formulating a correct induction hypothesis, a specification for a loop statement. An incorrect induction hypothesis will surely lead to a proof failure. In this paper we propose a systematic way for identifying specifications of while statements. The key idea of our approach is to categorize and document common patterns of while statements along with their specifications. This is based on our observation that similarly-structured while statements frequently have similarly-structured …

Semantics-Empowered Big Data Processing With Applications, Krishnaprasad Thirunarayan, Amit P. Sheth

Kno.e.sis Publications

We discuss the nature of Big Data and address the role of semantics in analyzing and processing Big Data that arises in the context of Physical-Cyber-Social Systems. We organize our research around the Five Vs of Big Data, where four of the Vs are harnessed to produce the fifth V - value. To handle the challenge of Volume, we advocate semantic perception that can convert low-level observational data to higher-level abstractions more suitable for decision-making. To handle the challenge of Variety, we resort to the use of semantic models and annotations of data so that much of the intelligent processing …

Towards Automated Network Configuration Management, Khalid Elmansor

College of Computing and Digital Media Dissertations

Modern networks are designed to satisfy a wide variety of competing goals related to network operation requirements such as reachability, security, performance, reliability and availability. These high level goals are realized through a complex chain of low level configuration commands performed on network devices.

As networks become larger, more complex and more heterogeneous, human errors become the most significant threat to network operation and the main cause of network outage. In addition, the gap between high-level requirements and low-level configuration data is continuously increasing and difficult to close. Although many solutions have been introduced to reduce the complexity of configuration …

Cloud Computing Dhe Teknologjia E Gjelbër, Yll Konjufca

Theses and Dissertations

No abstract provided.

Analiza Forenzike E Regjistrit Të Windows-It, Avdush Jashari

Theses and Dissertations

Kjo temë do të prezantoj data bazën e Windows Regjistrit dhe do të shpjegojë se sa është e rëndësishme në ekzaminimet forenzike kjo data bazë për ekzaminuesit e fushës së forenzikës digjitale. Në esencë tema do të diskutoj disa lloje të ndryshme të gjurmëve të regjistrit dhe do të hulumtojmë se çfarë informacione të rëndësishme mund të marrim duke bërë një ekzaminim forenzik.

Gjithashtu do të diskutohet edhe për shumë çelësa të regjistrit (Registry KEY) të cilët janë shumë të domosdoshëm në një ekzaminim. Forenzika Kompjuterike (Forenzika Digjitale) është aplikimi i teknikave të hetimit dhe analizimit për të mbledhur dhe …

Përmbledhje E Teknologjive Për Mbrojtjen E Privatësisë Online, Driton Tahiri

Theses and Dissertations

Me zhvillimin e hovshëm teknologjik, gjithnjë e më shumë është shtuar përdorimi i shërbimeve të ndryshme online. Me këtë, edhe shpërndarja e të dhënave personale të shfrytëzuesve tek ofrues të ndryshëm të shërbimeve ka bërë që shfrytëzuesit të humbin gjithnjë e me shume kontrollin ndaj të dhënave të tyre personale, shpesh edhe pa dituri të mjaftueshme. Në këtë mënyrë, privatësia e shfrytëzuesve është vënë në rrezik gjithnjë e më të madh.

Për këtë arsye, në këtë punim të bachelor, kam vendosur që të sjell një përmbledhje të teknologjive që kanë për synim vënien e të dhënave personale në kontroll të …

Implementimi I Gps Sistemit Në Pajisje Mobile, Emin Hyseni

Theses and Dissertations

Në dekadën e fundit popullariteti i përdorimit të GPS në pajisjet mobile është në rritjen eksponenciale të numrit të përdoruesve anë e banë botës. Ky numër kaq i madh i pajisjeve mobile e bën më të përdoshëm GPS në të gjitha sferat e jetes. E tëra kjo është si pasojë e zhvillimit të madh të teknologjis së telefonave mobil. Java si gjuhë e lartë programuese mundëson lidhshmërinë në mes të pajisjeve haduerike(hardware) të telefonave të mençur me aplikacionet e sistemit operativ. Java është gjuha e vetme e që është shkruar sistemi operativ ANDROID. Njëhiherit edhe aplikacionet e tjera duhet të …

Siguria E Aplikacioneve, Fatjon Shala

Theses and Dissertations

Me lindjen e internetit dhe rritja gjithnjë më e madhe e kompleksitetit të softverit dhe sistemeve, nevoja për aplikacjone të sigurta është bërë urgjente. Megjithate organizatat përballen me sfida të ndryshme për ti mbajtur programet e tyre të sigurta edhe pse kërcenimet evoluojn kohë pas kohë. Pra interneti ofron mundësi të shumta për një sulmues (haker) për tu lidhur me aplikacjon e për ta shkelur sigurin e ti. Pavarsisht nga shqetësimi në rritje rreth kërkesave për aplikacjone të sigurta me personele të përfshir si zhvillues, administrator planifikues të projekteve etj. megjithate e kanë të vështir të gjejn mënyra për të …

Rrjetet Sociale Si Mundësi Për Të Bërë Marketing, Valon Rexhepi

Theses and Dissertations

Në vitin 2003, dy rrjete sociale u lansuan që më vonë do ta ndryshonin përgjithmonë mënyrën që ne komunikojm me njëri tjetrin: Facebook dhe MySpace. Në atë kohë askush nuk do të mund ta imagjinonte sa sa produktive dhe influencuese do të bëheshin këto rrjete sociale.

Megjithatë, gjatë dy viteve në vazhdim dy shërbime tjera do të lansoheshin që do ta zgjeronin edhe më shumë arritjen dhe rëndësin e rrjeteve sociale: Youtube (2005) dhe Twitter (2006). Me këto dy zbulime të reja, përdouresit tani më do të mund të kalonin në një fazë tjetër, e cila e kalon komunikimim me …

Social Group Detection Based Routing In Delay Tolerant Networks, Roy Cabaniss, Srinivasa S. Vulli, Sanjay Madria

Computer Science Faculty Research & Creative Works

When implementing Mobile Ad Hoc Networks, a key characteristic of the network is the mobility pattern of the nodes. Based on the application, nodes can follow semi-predictable patterns, such as the routes followed by Vehicular Ad Hoc Networks, or the more strict schedules followed by aerial reconnaissance. Optimal routing schemes tend to take advantage of information regarding these patterns. In social environments, such as wildlife tracking or sending messages between humans, the devices and/or users will follow regular contact habits, tending to encounter social groups in which they participate. By identifying these groups, the patterns are used to optimize routing …

Vireo/Ecnu @ Trecvid 2013: A Video Dance Of Detection, Recounting And Search With Motion Relativity And Concept Learning From Wild, Chong-Wah Ngo, Feng Wang, Wei Zhang, Chun-Chet Tan, Zhanhu Sun, Shi-Ai Zhu, Ting Yao

Research Collection School Of Computing and Information Systems

The VIREO group participated in four tasks: instance search, multimedia event recounting, multimedia event detection, and semantic indexing. In this paper, we will present our approaches and discuss the evaluation results

From Rssi To Csi: Indoor Localization Via Channel Response, Zheng Yang, Zimu Zhou, Yunhao Liu

Research Collection School Of Computing and Information Systems

The spatial features of emitted wireless signals are the basis of location distinction and determination for wireless indoor localization. Available in mainstream wireless signal measurements, the Received Signal Strength Indicator (RSSI) has been adopted in vast indoor localization systems. However, it suffers from dramatic performance degradation in complex situations due to multipath fading and temporal dynamics.

Self-Blindable Credential: Towards Anonymous Entity Authentication Upon Resource-Constrained Devices, Yanjiang Yang, Xuhua Ding, Haibing Lu, Jian Weng, Jianying Zhou

Research Collection School Of Computing and Information Systems

We are witnessing the rapid expansion of smart devices in our daily life. The need for individual privacy protection calls for anonymous entity authentication techniques with affordable efficiency upon the resource-constrained smart devices. Towards this objective, in this paper we propose self-blindable credential, a lightweight anonymous entity authentication primitive.We provide a formulation of the primitive and present two concrete instantiations. The first scheme implements verifier-local revocation and the second scheme enhances the former with forward security. Our analytical performance results show that our schemes outperform relevant existing schemes.

Progressive Reliability Method And Its Application To Offshore Mooring Systems, Mir Emad Mousavi, Paolo Gardoni, Mehdi Maadooliat

Mathematics, Statistics and Computer Science Faculty Research and Publications

Assessing the reliability of complex systems (e.g. structures) is essential for a reliability-based optimal design that balances safety and costs of such systems. This paper proposes the Progressive Reliability Method (PRM) for the quantification of the reliability of complex systems. The proposed method is a closed-form solution for calculating the probability of failure. The new method is flexible to the definition of “failure” (i.e., can consider serviceability and ultimate-strength failures) and uses the rules of probability theory to estimate the failure probability of the system or its components. The method is first discussed in general and then illustrated in two …

Assessing Protein Conformational Sampling Methods Based On Bivariate Lag-Distributions Of Backbone Angles, Mehdi Maadooliat, Xin Gao, Jianhua Z. Huang

Mathematics, Statistics and Computer Science Faculty Research and Publications

Despite considerable progress in the past decades, protein structure prediction remains one of the major unsolved problems in computational biology. Angular-sampling-based methods have been extensively studied recently due to their ability to capture the continuous conformational space of protein structures. The literature has focused on using a variety of parametric models of the sequential dependencies between angle pairs along the protein chains. In this article, we present a thorough review of angular-sampling-based methods by assessing three main questions: What is the best distribution type to model the protein angles? What is a reasonable number of components in a mixture model …

Pcaanalyser: A 2d-Image Analysis Based Module For Effective Determination Of Prostate Cancer Progression In 3d Culture, Md Tamjidul Hoque, Louisa C. E. Windus, Carrie J. Lovitt, Vicky M. Avery

Computer Science Faculty Publications

Three-dimensional (3D) in vitro cell based assays for Prostate Cancer (PCa) research are rapidly becoming the preferred alternative to that of conventional 2D monolayer cultures. 3D assays more precisely mimic the microenvironment found in vivo, and thus are ideally suited to evaluate compounds and their suitability for progression in the drug discovery pipeline. To achieve the desired high throughput needed for most screening programs, automated quantification of 3D cultures is required. Towards this end, this paper reports on the development of a prototype analysis module for an automated high-content-analysis (HCA) system, which allows for accurate and fast investigation of …

Efficient Lossy Trapdoor Functions Based On Subgroup Membership Assumptions, Haiyang Xue, Bao Li, Xianhui Lu, Dingding Jia, Yamin Liu

Research Collection School Of Computing and Information Systems

We propose a generic construction of lossy trapdoor function from the subgroup membership assumption. We present three concrete constructions based on the k-DCR assumption over Z∗ N2 , the extended psubgroup assumption over Z∗ N2 , and the decisional RSA subgroup membership assumption over Z∗ N . Our constructions are more efficient than the previous construction from the DCR assumption over Z∗ Ns (s ≥ 3).

Adaptable Ciphertext-Policy Attribute-Based Encryption, Junzuo Lai, Robert H. Deng, Yanjiang Yang, Jian Weng

Research Collection School Of Computing and Information Systems

In this paper, we introduce a new cryptographic primitive, called adaptable ciphertext-policy attribute-based encryption (CP-ABE). Adaptable CP-ABE extends the traditional CP-ABE by allowing a semi-trusted proxy to modify a ciphertext under one access policy into ciphertexts of the same plaintext under any other access policies; the proxy, however, learns nothing about the underlying plaintext. With such “adaptability” possessed by the proxy, adaptable CP-ABE has many real world applications, such as handling policy changes in CP-ABE encryption of cloud data and outsourcing of CP-ABE encryption. Specifically, we first specify a formal model of adaptable CP-ABE; then, based on the CP-ABE scheme …

What's In An Algorithm?, George K. Thiruvathukal

Computer Science: Faculty Publications and Other Works

How can we rethink the definition of algorithm, and through that, produce another age of enlightenment in modern scientific programming and software development in general? Removing these limitations in our own thoughts is the key for expanding the possibilities in alternative paradigms and exploiting parallel and next-generation hardware.

What You Want Is Not What You Get: Predicting Sharing Policies For Text-Based Content On Facebook, Arunesh Sinha, Li Yan, Lujo Bauer

Research Collection Lee Kong Chian School Of Business

As the amount of content users publish on social networking sites rises, so do the danger and costs of inadvertently sharing content with an unintended audience. Studies repeatedly show that users frequently misconfigure their policies or misunderstand the privacy features offered by social networks. A way to mitigate these problems is to develop automated tools to assist users in correctly setting their policy. This paper explores the viability of one such approach: we examine the extent to which machine learning can be used to deduce users' sharing preferences for content posted on Facebook. To generate data on which to evaluate …

Symmetry Robust Descriptor For Non-Rigid Surface Matching, Zhiyuan Zhang, Kangkang Yin, Kelvin W. C. Foong

Research Collection School Of Computing and Information Systems

In this paper, we propose a novel shape descriptor that is robust in differentiating intrinsic symmetric points on geometric surfaces. Our motivation is that even the state-of-theart shape descriptors and non-rigid surface matching algorithms suffer from symmetry flips. They cannot differentiate surface points that are symmetric or near symmetric. Hence a left hand of one human model may be matched to a right hand of another. Our Symmetry Robust Descriptor (SRD) is based on a signed angle field, which can be calculated from the gradient fields of the harmonic fields of two point pairs. Experiments show that the proposed shape …

A Social Network-Empowered Research Analytics Framework For Project Selection, Thushari Silva, Zhiling Guo, Jian Ma, Hongbing Jiang, Huaping Chen

Research Collection School Of Computing and Information Systems

Traditional approaches for research project selection by government funding agencies mainly focus on the matching of research relevance by keywords or disciplines. Other research relevant information such as social connections (e.g., collaboration and co-authorship) and productivity (e.g., quality, quantity, and citations of published journal articles) of researchers is largely ignored. To overcome these limitations, this paper proposes a social network-empowered research analytics framework (RAF) for research project selections. Scholarmate.com, a professional research social network with easy access to research relevant information, serves as a platform to build researcher profiles from three dimensions, i.e., relevance, productivity and connectivity. Building upon profiles …

Social Sensing For Urban Crisis Management: The Case Of Singapore Haze, Philips Kokoh Prasetyo, Ming Gao, Ee Peng Lim, Christie N. Scollon

Research Collection School Of Computing and Information Systems

Sensing social media for trends and events has become possible as increasing number of users rely on social media to share information. In the event of a major disaster or social event, one can therefore study the event quickly by gathering and analyzing social media data. One can also design appropriate responses such as allocating resources to the affected areas, sharing event related information, and managing public anxiety. Past research on social event studies using social media often focused on one type of data analysis (e.g., hashtag clusters, diffusion of events, influential users, etc.) on a single social media data …

Predicting Best Answerers For New Questions: An Approach Leveraging Topic Modeling And Collaborative Voting, Yuan Tian, Pavneet Singh Kochhar, Ee Peng Lim, Feida Zhu, David Lo

Research Collection School Of Computing and Information Systems

Community Question Answering (CQA) sites are becoming increasingly important source of information where users can share knowledge on various topics. Although these platforms bring new opportunities for users to seek help or provide solutions, they also pose many challenges with the ever growing size of the community. The sheer number of questions posted everyday motivates the problem of routing questions to the appropriate users who can answer them. In this paper, we propose an approach to predict the best answerer for a new question on CQA site. Our approach considers both user interest and user expertise relevant to the topics …

Understanding The Genetic Makeup Of Linux Device Drivers, Peter Senna Tschudin, Laurent Reveillere, Lingxiao Jiang, David Lo, Julia Lawall

Research Collection School Of Computing and Information Systems

Attempts have been made to understand driver development in terms of code clones. In this paper, we propose an alternate view, based on the metaphor of a gene. Guided by this metaphor, we study the structure of Linux 3.10 ethernet platform driver probe functions.