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

Computer Sciences Commons™

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

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 17941 - 17970 of 63038

Full-Text Articles in Computer Sciences

Editorial, Dianne Cook Jun 2021

Editorial, Dianne Cook

The R Journal

First, some news about the journal board. Welcome to Gavin Simpson, who joins as a new Executive Editor! In addition, welcome to our new Associate Editors Nicholas Tierney, Isabella Gollini, Rasmus Bååth, Mark van der Loo, Elizabeth Sweeney, Louis Aslett and Katarina Domijan. With the large volume of submissions, the Associate Editors now play a vital role in processing articles.


Penphcure: Variable Selection In Proportional Hazards Cure Model With Time-Varying Covariates, Alessandro Beretta, Cédric Heuchenne Jun 2021

Penphcure: Variable Selection In Proportional Hazards Cure Model With Time-Varying Covariates, Alessandro Beretta, Cédric Heuchenne

The R Journal

We describe the penPHcure R package, which implements the semiparametric proportional-hazards (PH) cure model of Sy and Taylor (2000) extended to time-varying covariates and the variable selection technique based on its SCAD-penalized likelihood proposed by Beretta and Heuchenne (2019a). In survival analysis, cure models are a useful tool when a fraction of the population is likely to be immune from the event of interest. They can separate the effects of certain factors on the probability of being susceptible and on the time until the occurrence of the event. Moreover, the penPHcure package allows the user to simulate data from a …


Implementimi I Sistemeve Erp – Rast Studimi: Implementimi Erp Pantheon Në Paykos Llc, Fisnik Neziri Jun 2021

Implementimi I Sistemeve Erp – Rast Studimi: Implementimi Erp Pantheon Në Paykos Llc, Fisnik Neziri

Theses and Dissertations

Sipas literaturës dhe burimeve të cilat janë shqyrtuar në këtë punim, sistemet Enterprise Recource Planning (ERP) janë sisteme moderne informative për biznese të cilat për synim kanë centralizimin e të dhënave dhe proceseve të një kompanie në mënyrë që këto të jenë sa më të qasshme, të sakta, të besueshme, dhe lehtë të përpunueshme. Pasi që këto sisteme janë bukur të kushtueshme dhe komplekse, një ndër sfidat kryesore e që vërtetë ndikon shumë në suksesin e këtyre sistemeve është implementimi i tyre. Ky proces është determinues në shumë raste edhe për suksesin e vet biznesit.

Siç është trajtuar në kapitujt …


Analizimi, Planifikimi Dhe Zhvillimi I Aplikacionit Për Menaxhimin E Burimeve Njerëzore, Nazmi Ahmeti Jun 2021

Analizimi, Planifikimi Dhe Zhvillimi I Aplikacionit Për Menaxhimin E Burimeve Njerëzore, Nazmi Ahmeti

Theses and Dissertations

Siç e dimë, një nga faktorët më të rëndësishëm të njeriut është koha, në mënyrë të pëpshpejtimit të proceseve gjithçka është duke u digjitalizuar dhe kur bëhet fjalë për menaxhimin e burimeve njerëzore koha është mjaft e rëndësishme. Në mënyrë të përshpejtimit të proceseve brenda një kompanie krijimi i një sisitemi digjital do të ishte zgjedhje e përkryer.

Qëllimi i këtij hulumtimi është zhvillimi i një sistemi për menaxhimin e burimeve njerëzore duke përdorur strategjitë më efikase dhe teknologjitë e avancuara për të arritur rezultatet.

Një sistem i tillë kompanive ju nevojitet për menaxhimin e shumë resurseve duke filluar nga …


Zhvillimi Në Platformat Ux/Ui Dizajn Rasti: Tireshop, Bianka Hoxha Jun 2021

Zhvillimi Në Platformat Ux/Ui Dizajn Rasti: Tireshop, Bianka Hoxha

Theses and Dissertations

Platforma UX dhe UI dizajn është bërë sot një element i rëndësishëm në strategjinë e produktit dixhital në shumë kompani. Gjithnjë e më shumë kompanitë po investojnë në UX dhe UI dizajn pasi qe u vërtetua se këto dy platforma mund të sjellin përfitime afatgjata dhe afatshkurtra për një biznes (kompani). Megjithatë ka ende shumë kompani që nuk i kushtojnë vëmendje të mjaftueshme ose nuk arrijnë të kuptojnë se çfarë qëndron pas UX dhe UI dizajnit. Sidoqoftë, së bashku me rritjen e shpejtë të industrisë së IT-së, njerëzit filluan të kuptojnë se një ekip ekspertësh nga një agjenci profesionale e …


Zhvillimi I Nje Mern Aplikacioni (Tourist Guide), Arlind Emini Jun 2021

Zhvillimi I Nje Mern Aplikacioni (Tourist Guide), Arlind Emini

Theses and Dissertations

Shumica e aplikacioneve të sotme në botë janë krijuar duke përdorur një ‘stack’, grup teknologjish të ndryshme. MERN stack dhe MEAN stack janë dy nga stacks më të njohura dhe jashtëzakonisht të fuqishme që përdoren për zhvillimin e aplikacioneve moderne në internet. MERN qëndron për MongoDB, ExpressJS, ReactJS dhe NodeJS dhe MEAN qëndron për MongoDB, ExpressJS, AngularJS dhe NodeJS. Faktori kryesor është që të dy grupet janë nën një ombrellë të vetme të gjuhës JavaScript. Kjo siguron një zhvillim më të shpejtë dhe ndihmon zhvilluesit që të nxjerrin me shpejtësi produktet në treg pasi eleminohet nevoja për të kuptuar gjuhë …


Zhvillimi I Një Aplikacioni Në Android Për Konvertimin E Fotove Në Text Duke Përdorur Google Ocr, Majlind Avdylaj Jun 2021

Zhvillimi I Një Aplikacioni Në Android Për Konvertimin E Fotove Në Text Duke Përdorur Google Ocr, Majlind Avdylaj

Theses and Dissertations

Në këtë punim diplome është shtjelluar problemi në lidhje me digjitalizimin e dokumenteve. Para se të kalohet në ndërtimin e aplikacionit, punimi fillon me shpjegime të përgjithshme në lidhje me problemin e digjitalizimit të dokumenteve që në vendin tonë nuk është shumë i zbatueshëm, por në të gjithë botën është një kërkesë në rritje. Gjithashtu në këtë pjesë një rëndësi e veçantë i është dhënë përdorimit të bibliotekës OCR dhe implementimit të saj. Pra zgjidhja e këtij problemi është zgjidhur duke krijuar një aplikacion, në të cilin përdoruesit do të hyjnë në program pa probleme duke hulumtuar dhe eksploruar me …


Lidhja Serike E Arduinove, Nebi Qerkini Jun 2021

Lidhja Serike E Arduinove, Nebi Qerkini

Theses and Dissertations

Në këtë punim shtjellohet lidhja e Arduinove në seri. Ato lidhen nëpërmjet portit serik, ku edhe mund të bëhet transferimi i të dhënave prej Arduinos amë tek Arduinot tjetra. Qëllimi kryesor i lidhjes së tyre është rritja e kapacitetit memorues dhe numrit të pinave. Për këtë hulumtim janë përdorur tri Arduino të cilat na janë ofruar në dispozicion nga ana e Kolegjit UBT. Ato janë programuar në gjuhën programuese C++ dhe janë përdorur për ta realizuar punimin në fjalë. Hulumtimi dhe shtjellimi i literaturës së huaj dhe të gjuhës shqipe ishin bazamenti i këtij punimi. Gjithashtu janë përdorur libra të …


Të Metat Dhe Përparsitë E Teknologjisë Zigbee Në Smart Home, Jetmir Shillova Jun 2021

Të Metat Dhe Përparsitë E Teknologjisë Zigbee Në Smart Home, Jetmir Shillova

Theses and Dissertations

Teknologjia dhe hapat e saj gjigande, dita ditës sa vijnë e bëhen nevojë për shoqërinë moderne. Sa rritet gjithëperfshirja e automatizimit, aq me shumë po rriten kërkesat për zhvillim të mëtutjeshëm të saj, veçori e cila po shtyen depërtimin e digjitalizimit në çdo cep, e madje edhe brenda shtëpive tona. Të gjitha këto benificione dalin nga avancimi i aplikacioneve softuerike të cilat zhvillohen nëpërmjet teknologjive më të reja. Teknologjitë e reja po e bëjnë më të lehtë madje edhe jetesën brenda shtëpive tona. Ashtu siç janë avancuar telefonët, të njejtën ritëm po fillojnë t’a marin edhe shtëpitë, që po na …


" Funksionimi I Kartelave Bankare Të Mençura, Struktura Dhe Algoritmi ", Qazim Gashi Jun 2021

" Funksionimi I Kartelave Bankare Të Mençura, Struktura Dhe Algoritmi ", Qazim Gashi

Theses and Dissertations

Teknologjia e informacionit luan një rol të rendësishëm për zhvillimin e kartelave të mençura. Kartelat e mençura kanë ndryshuar formën e ofrimit të shërbimeve dhe mallrave, përmes identifikimit dhe verifikimit të klientëve në mënyrë automatike, duke sjellë përfitime të konsiderueshme për klientët rreth efikasitetit dhe me kosto më të ulët për kryerjen e një shërbimi, po ashtu duke rritur trendin e shit-blerjeve online. Pra kartelat e mençura ofrojnë përfitime për klientët, ato j’u japin të drejten e privatësisë dhe besim në shërbimet e organizatave tregtare dhe institucioneve shtetërore. Po ashtu ofrojnë lehtësi si për përdoruesit dhe organizatat siç janë: qasja …


Sistemi Për Menaxhimin E Shkollave Fillore Dhe Të Mesme, Bujar Murati Jun 2021

Sistemi Për Menaxhimin E Shkollave Fillore Dhe Të Mesme, Bujar Murati

Theses and Dissertations

Zhvillimi i teknologjisë në vitet e fundit ka arritur pothuajse në kulminacion dhe ka prekur gati cdo fushë të jetës tonë gjithashtu edhe bizneset dhe organizatat e ndryshme. Pothuajse të gjitha bizneset dhe organizatat shfaqin veprimtarinë dhe hapat e zhvillimit të tyre nëpërmjet platformave të ndryshme online. Bota e digjitalizimit është duke u zhvilluar në të gjitha aspektet duke ndikuar që gjithashtu edhe shkollat të marrin kahje digjitale dhe duke nisur një trend të ri të aplikimit të tij nga Nxenesit dhe Profesoret.Ky trend cdo dit

Zhvillimi i teknologjisë në vitet e fundit ka arritur pothuajse në kulminacion dhe ka …


Dizajnimi I Softuerit Për E-Inspektimet, Smaragda Daija Jun 2021

Dizajnimi I Softuerit Për E-Inspektimet, Smaragda Daija

Theses and Dissertations

Procesi i inspektimit luan një rolë shumë të rëndësishëm në zhvillimin dhe përparimin e vendit. Në Kosovë si në çdo vend tjetër secila ministri ka të krijuar inspektoratet për të siguruar mbarëvajtjen e punës së subjekteve në bazë të ligjeve dhe rregullave të përcaktuara. Sistemi i inspektimeve në Kosovë është duke u ballafaquar me shumë parregullsi, manipulime në realizimin e inspektimit të subjekteve. Çështja kryesore e këtij studimi është gjetja e një zgjidhje më digjitalizimin e procesit të inspektimit për të zvogëluar në nivel shumë të ulët keqpërdorimet gjatë inspektimeve që realizohen. Për të gjetur një zgjidhje të digjitalizimit të …


Analiza Dhe Konfigurimi I Rrjeteve Virtuale Private, Xhemile Rexhepi Jun 2021

Analiza Dhe Konfigurimi I Rrjeteve Virtuale Private, Xhemile Rexhepi

Theses and Dissertations

Në këtë punim diplome është paraqitur analiza e Rrjeteve Virtuale Private si dhe është përshkruar konfigurimi i tyre. Në fillim shpjegohen konceptet kryesore të rrjeteve komunikuese, të cilat mundësojnë transmetimin e të dhënave në mes të pajisjeve. Paraqitet nevoja dhe rëndësia e përdorimit të komutimit me qark dhe atij me kanale, duke vazhduar me llojet dhe rolin e shtresave të modelit OSI. Dhe si pikë kryesore arrijmë te rrjetet VPN, duke pasuar me analizën krahasuese në mes të llojeve të ndryshme të tyre si dhe përparësite dhe mangësitë e tyre. Shtjellohet edhe siguria e tyre si sfidë kryesore e rrjeteve …


Studimi I Zhvillimit Të Aplikacioneve Në Arkitekturën Serverless Me Implementim Në Python, Valon Januzaj Jun 2021

Studimi I Zhvillimit Të Aplikacioneve Në Arkitekturën Serverless Me Implementim Në Python, Valon Januzaj

Theses and Dissertations

Tematika e serverless computing (sq. aplikacionet pa server) ka rezultuar të jetë një temë e diskutueshme në komunitetet akademike dhe ato industriale. Shumë komunitete e konsiderojnë serverless computing si qasje të re e cila do të jetë e ardhmja në botën e zhvillimit të aplikacioneve softuerike, kurse ka nga ta që argumentojnë këtë qasje si hap prapa në botën e teknologjisë. Gjithsesi, të dy palët bien dakord që ekzistojnë sfida të cilat duhet zgjidhur në mënyrë që të përfitohen të gjitha benefitet e ofruara nga kjo formë e zhvillimit. Ky punim trajton sfidat aktuale të adoptimit të serverless computing, komponentet …


Boosting Video Representation Learning With Multi-Faceted Integration, Zhaofan Qiu, Yao Ting, Chong-Wah Ngo, Xiao-Ping Zhang, Dong Wu, Tao Mei Jun 2021

Boosting Video Representation Learning With Multi-Faceted Integration, Zhaofan Qiu, Yao Ting, Chong-Wah Ngo, Xiao-Ping Zhang, Dong Wu, Tao Mei

Research Collection School Of Computing and Information Systems

Video content is multifaceted, consisting of objects, scenes, interactions or actions. The existing datasets mostly label only one of the facets for model training, resulting in the video representation that biases to only one facet depending on the training dataset. There is no study yet on how to learn a video representation from multifaceted labels, and whether multifaceted information is helpful for video representation learning. In this paper, we propose a new learning framework, MUlti-Faceted Integration (MUFI), to aggregate facets from different datasets for learning a representation that could reflect the full spectrum of video content. Technically, MUFI formulates the …


How-To Present News On Social Media: A Causal Analysis Of Editing News Headlines For Boosting User Engagement, Kunwoo Park, Haewoon Kwak, Jisun An, Sanjay Chawla Jun 2021

How-To Present News On Social Media: A Causal Analysis Of Editing News Headlines For Boosting User Engagement, Kunwoo Park, Haewoon Kwak, Jisun An, Sanjay Chawla

Research Collection School Of Computing and Information Systems

To reach a broader audience and optimize traffic toward news articles, media outlets commonly run social media accounts and share their content with a short text summary. Despite its importance of writing a compelling message in sharing articles, the research community does not own a sufficient understanding of what kinds of editing strategies effectively promote audience engagement. In this study, we aim to fill the gap by analyzing media outlets' current practices using a data-driven approach. We first build a parallel corpus of original news articles and their corresponding tweets that eight media outlets shared. Then, we explore how those …


Exploring Material Representations For Sparse Voxel Dags, Steven Pineda Jun 2021

Exploring Material Representations For Sparse Voxel Dags, Steven Pineda

Master's Theses

Ray tracing is a popular technique used in movies and video games to create compelling visuals. Ray traced computer images are increasingly becoming more realistic and almost indistinguishable from real-word images. Due to the complexity of scenes and the desire for high resolution images, ray tracing can become very expensive in terms of computation and memory. To address these concerns, researchers have examined data structures to efficiently store geometric and material information. Sparse voxel octrees (SVOs) and directed acyclic graphs (DAGs) have proven to be successful geometric data structures for reducing memory requirements. Moxel DAGs connect material properties to these …


Modeling Covid-19 Spread Using An Agent-Based Network, Stephen Yh Hung Jun 2021

Modeling Covid-19 Spread Using An Agent-Based Network, Stephen Yh Hung

Master's Theses

Beginning in 2019 and quickly spreading internationally, the Coronavirus disease Covid-19 became the first pandemic that many people have witnessed firsthand along with the severe disruption to their daily lives. A key field of research for Covid-19 that is studied by epidemiologists, biologists, and computer scientists alike is modeling the spread of Covid-19 in order to better predict future outbreaks of the pandemic and evaluate potential strategies to reduce infections, hospitalizations, and deaths.

This thesis proposes a method of modeling Covid-19 spread and interventions for local environments based on different levels of perspective. The goal for this thesis is to …


Nomophobia Before And After The Covid-19 Pandemic-Can Social Media Be Used To Understand Mobile Phone Dependency, Vaishnavi Visweswaraiah, Tanvi Banerjee, William Romine, Sarah Fryman Jun 2021

Nomophobia Before And After The Covid-19 Pandemic-Can Social Media Be Used To Understand Mobile Phone Dependency, Vaishnavi Visweswaraiah, Tanvi Banerjee, William Romine, Sarah Fryman

Computer Science and Engineering Faculty Publications

No abstract provided.


Engage!: Co-Designing Search Engine Result Pages To Foster Interactions, Garrett Allen, Ben Peterson, Dhanush Kumar Ratakonda, Mostofa Najmus Sakib, Jerry Alan Fails, Casey Kennington, Katherine Landau Wright, Maria Soledad Pera Jun 2021

Engage!: Co-Designing Search Engine Result Pages To Foster Interactions, Garrett Allen, Ben Peterson, Dhanush Kumar Ratakonda, Mostofa Najmus Sakib, Jerry Alan Fails, Casey Kennington, Katherine Landau Wright, Maria Soledad Pera

Computer Science Faculty Publications and Presentations

In this paper, we take a step towards understanding how to design search engine results pages (SERP) that encourage children’s engagement as they seek for online resources. For this, we conducted a participatory design session to enable us to elicit children’s preferences and determine what children (ages 6–12) find lacking in more traditional SERP. We learned that children want more dynamic means of navigating results and additional ways to interact with results via icons. We use these findings to inform the design of a new SERP interface, which we denoted CHIRP. To gauge the type of engagement that a SERP …


Deep Learning Modalities For Biometric Alteration Detection In 5g Networks-Based Secure Smart Cities, Ahmed Sedik, Lo'ai A. Tawalbeh, Mohamed Hammad, Ahmed A. Abd El-Latif, Ghada M. El-Banby, Ashref A.M. Khalaf, Fathi E. Abd El-Samie, Abdullah M. Iliyasu Jun 2021

Deep Learning Modalities For Biometric Alteration Detection In 5g Networks-Based Secure Smart Cities, Ahmed Sedik, Lo'ai A. Tawalbeh, Mohamed Hammad, Ahmed A. Abd El-Latif, Ghada M. El-Banby, Ashref A.M. Khalaf, Fathi E. Abd El-Samie, Abdullah M. Iliyasu

Computer Science Faculty Publications (Archived)

Smart cities and their applications have become attractive research fields birthing numerous technologies. Fifth generation (5G) networks are important components of smart cities, where intelligent access control is deployed for identity authentication, online banking, and cyber security. To assure secure transactions and to protect user’s identities against cybersecurity threats, strong authentication techniques should be used. The prevalence of biometrics, such as fingerprints, in authentication and identification makes the need to safeguard them important across different areas of smart applications. Our study presents a system to detect alterations to biometric modalities to discriminate pristine, adulterated, and fake biometrics in 5G-based smart …


Topology Identification In Distribution System Via Machine Learning Algorithms, Peyman Razmi, Mahdi Ghaemi Asl, Giorgio Canarella, Afsaneh Sadat Emami Jun 2021

Topology Identification In Distribution System Via Machine Learning Algorithms, Peyman Razmi, Mahdi Ghaemi Asl, Giorgio Canarella, Afsaneh Sadat Emami

Molasky Family Department of Economics and Real Estate Faculty Research

This paper contributes to the literature on topology identification (TI) in distribution networks and, in particular, on change detection in switching devices' status. The lack of measurements in distribution networks compared to transmission networks is a notable challenge. In this paper, we propose an approach to topology identification (TI) of distribution systems based on supervised machine learning (SML) algorithms. This methodology is capable of analyzing the feeder's voltage profile without requiring the utilization of sensors or any other extraneous measurement device. We show that machine learning algorithms can track the voltage profile's behavior in each feeder, detect the status of …


5Th Kidrec Workshop: Search And Recommendation Technology Through The Lens Of A Teacher, Monica Landoni, Theo Huibers, Maria Soledad Pera, Jerry Alan Fails Jun 2021

5Th Kidrec Workshop: Search And Recommendation Technology Through The Lens Of A Teacher, Monica Landoni, Theo Huibers, Maria Soledad Pera, Jerry Alan Fails

Computer Science Faculty Publications and Presentations

In this past year, the role of technology to support education has been more prominent than ever. This has prompted us to focus the 5th Edition of the International and Interdisciplinary Perspectives on Children & Recommender and Information Retrieval Systems (KidRec) around a major stakeholder when it comes to technology adoption for the classroom: the teacher. Much like in the previous editions of the workshop, our priority remains understanding what is good when it comes to information retrieval systems for children, this time from the perspectives of teachers. In order to control scope of our discussion and …


Using Service-Learning In Graduate Curriculum To Address Teenagers' Vulnerability To Web Misinformation, Francesca Spezzano Jun 2021

Using Service-Learning In Graduate Curriculum To Address Teenagers' Vulnerability To Web Misinformation, Francesca Spezzano

Computer Science Faculty Publications and Presentations

We report on how we implemented service-learning (S-L) in a CS graduate class to improve student understanding of the class materials and provide a service to the community, i.e., addressing teenagers’ vulnerability to Web misinformation. We show how S-L benefits CS students in their course theory understanding and personal skills development, while teenagers’ news media literacy and misinformation detection accuracy were positively impacted.


Agent-Based Semantic Role Mining For Intelligent Access Control In Multi-Domain Collaborative Applications Of Smart Cities, Rubina Ghazal, Ahmad Kamran Malik, Basit Raza, Nauman Qadeer, Nafees Qamar, Sajal Bhatia Jun 2021

Agent-Based Semantic Role Mining For Intelligent Access Control In Multi-Domain Collaborative Applications Of Smart Cities, Rubina Ghazal, Ahmad Kamran Malik, Basit Raza, Nauman Qadeer, Nafees Qamar, Sajal Bhatia

School of Computer Science & Engineering Faculty Publications

Significance and popularity of Role-Based Access Control (RBAC) is inevitable; however, its application is highly challenging in multi-domain collaborative smart city environments. The reason is its limitations in adapting the dynamically changing information of users, tasks, access policies and resources in such applications. It also does not incorporate semantically meaningful business roles, which could have a diverse impact upon access decisions in such multi-domain collaborative business environments. We propose an Intelligent Role-based Access Control (I-RBAC) model that uses intelligent software agents for achieving intelligent access control in such highly dynamic multi-domain environments. The novelty of this model lies in using …


Investigating Daily Fantasy Baseball: An Approach To Automated Lineup Generation, Ryan Smith Jun 2021

Investigating Daily Fantasy Baseball: An Approach To Automated Lineup Generation, Ryan Smith

Master's Theses

A recent trend among sports fans along both sides of the letterman jacket is that of Daily Fantasy Sports (DFS). The DFS industry has been under legal scrutiny recently, due to the view that daily sports data is too random to make its prediction skillful. Therefore, a common view is that it constitutes online gambling. This thesis proves that DFS, as it pertains to Baseball, is significantly more predictable than random chance, and thus does not constitute gambling.

We propose a system which generates daily lists of lineups for Fanduel Daily Fantasy Baseball contests. The system consists of two components: …


A Study Of Implementation Methodologies For Distributed Real Time Collaboration, Lauren A. Craft Jun 2021

A Study Of Implementation Methodologies For Distributed Real Time Collaboration, Lauren A. Craft

Master's Theses

Collaboration drives our world and is almost unavoidable in the programming industry. From higher education to the top technological companies, people are working together to drive discovery and innovation. Software engineers must work with their peers to accomplish goals daily in their workplace. When working with others there are a variety of tools to choose from such as Google Docs, Google Colab and Overleaf. Each of the aforementioned collaborative tools utilizes the Operational Transform (OT) technique in order to implement their real time collaboration functionality. Operational transform is the technique seen amongst most if not all major collaborative tools in …


Combinatorial Resultants In The Algebraic Rigidity Matroid, Goran Malić, Ileana Streinu Jun 2021

Combinatorial Resultants In The Algebraic Rigidity Matroid, Goran Malić, Ileana Streinu

Computer Science: Faculty Publications

Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid CMn associated to the Cayley-Menger ideal for n points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from K4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we …


The “Knapsack Problem” Workbook: An Exploration Of Topics In Computer Science, Steven Cosares Jun 2021

The “Knapsack Problem” Workbook: An Exploration Of Topics In Computer Science, Steven Cosares

Open Educational Resources

This workbook provides discussions, programming assignments, projects, and class exercises revolving around the “Knapsack Problem” (KP), which is widely a recognized model that is taught within a typical Computer Science curriculum. Throughout these discussions, we use KP to introduce or review topics found in courses covering topics in Discrete Mathematics, Mathematical Programming, Data Structures, Algorithms, Computational Complexity, etc. Because of the broad range of subjects discussed, this workbook and the accompanying spreadsheet files might be used as part of some CS capstone experience. Otherwise, we recommend that individual sections be used, as needed, for exercises relevant to a course in …


Constraint Answer Set Programming As A Tool To Improve Legislative Drafting, Jason Morris Jun 2021

Constraint Answer Set Programming As A Tool To Improve Legislative Drafting, Jason Morris

Centre for Computational Law (2022-2025)

Rules as Code" in this paper is used to refer to a proposed methodology of legislative and regulatory drafting.1 That legislation can be represented in declarative code for automation has long been recognized [6], as has the opportunity for improving the quality of legal drafting with the techniques of formal representation.