Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (972)
- Artificial Intelligence and Robotics (790)
- Computer Engineering (767)
- Numerical Analysis and Scientific Computing (546)
- Databases and Information Systems (437)
-
- Operations Research, Systems Engineering and Industrial Engineering (366)
- Systems Science (317)
- Electrical and Computer Engineering (294)
- Information Security (270)
- Social and Behavioral Sciences (234)
- Software Engineering (228)
- Data Science (166)
- Graphics and Human Computer Interfaces (154)
- Mathematics (149)
- Programming Languages and Compilers (145)
- Theory and Algorithms (144)
- Medicine and Health Sciences (127)
- Other Computer Sciences (125)
- Business (118)
- Education (106)
- Life Sciences (96)
- OS and Networks (93)
- Physics (76)
- Public Affairs, Public Policy and Public Administration (54)
- Arts and Humanities (51)
- Chemistry (46)
- Law (42)
- Systems Architecture (42)
- Institution
-
- Singapore Management University (572)
- China Simulation Federation (315)
- TÜBİTAK (202)
- University of Nebraska - Lincoln (142)
- University of Texas at El Paso (123)
-
- Kennesaw State University (119)
- Old Dominion University (105)
- San Jose State University (85)
- University for Business and Technology in Kosovo (78)
- Technological University Dublin (68)
- Chulalongkorn University (67)
- Zayed University (65)
- Air Force Institute of Technology (54)
- City University of New York (CUNY) (54)
- University of Arkansas, Fayetteville (51)
- Wright State University (46)
- Missouri University of Science and Technology (45)
- Walden University (43)
- University of South Florida (39)
- University of Central Florida (38)
- Boise State University (36)
- MBZUAI (35)
- Portland State University (34)
- Karbala International Journal of Modern Science (33)
- California Polytechnic State University, San Luis Obispo (30)
- Utah State University (30)
- University of Texas at Arlington (28)
- New Jersey Institute of Technology (26)
- University of Kentucky (26)
- Dartmouth College (25)
- Keyword
-
- Deep learning (138)
- Machine learning (130)
- Technical Reports (107)
- UTEP Computer Science Department (107)
- Machine Learning (76)
-
- Deep Learning (61)
- Computer Science (56)
- Artificial intelligence (51)
- COVID-19 (49)
- Cybersecurity (46)
- Blockchain (39)
- Artificial Intelligence (35)
- Computer vision (34)
- Security (31)
- Neural networks (30)
- Optimization (29)
- Reinforcement learning (27)
- Classification (26)
- Simulation (26)
- Privacy (25)
- Department of Computer Science (23)
- Natural language processing (23)
- IoT (22)
- Computer Vision (20)
- Feature extraction (20)
- Transfer learning (20)
- Computer science (19)
- Neural Networks (19)
- Social media (19)
- Visualization (19)
- Publication
-
- Research Collection School Of Computing and Information Systems (545)
- Journal of System Simulation (315)
- Turkish Journal of Electrical Engineering and Computer Sciences (202)
- Theses and Dissertations (147)
- Departmental Technical Reports (CS) (107)
-
- The R Journal (103)
- C-Day Computing Showcase (87)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (67)
- All Works (65)
- Master's Projects (59)
- Computer Science Faculty Publications (46)
- Dissertations (45)
- Walden Dissertations and Doctoral Studies (43)
- USF Tampa Graduate Theses and Dissertations (37)
- Karbala International Journal of Modern Science (33)
- Electronic Theses and Dissertations, 2020-2023 (31)
- Master's Theses (31)
- Articles (30)
- Computer Science Faculty Research & Creative Works (30)
- Browse all Theses and Dissertations (29)
- Computer Science Faculty Publications and Presentations (29)
- Faculty Publications (26)
- Open Educational Resources (25)
- CCAC Theses and Dissertations (24)
- Graduate Theses and Dissertations (24)
- Conference papers (23)
- Electronic Theses and Dissertations (22)
- Computer Vision Faculty Publications (21)
- McKelvey School of Engineering Graduate Student Theses & Dissertations (21)
- Research outputs 2014 to 2021 (21)
- Publication Type
Articles 1501 - 1530 of 3477
Full-Text Articles in Computer Sciences
Lidhja Serike E Arduinove, Nebi Qerkini
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
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
" 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
Solving The Winner Determination Problem For Online B2b Transportation Matching Platforms, Hoong Chuin Lau, Baoxiang Li
Solving The Winner Determination Problem For Online B2b Transportation Matching Platforms, Hoong Chuin Lau, Baoxiang Li
Research Collection School Of Computing and Information Systems
We consider the problem of matching multiple shippers and transporters participating in an online B2B last-mile logistics platform in an emerging market. Each shipper places a bid that is made up of multiple jobs, where each job comprises key information like the weight, volume, pickup and delivery locations, and time windows. Each transporter specifies its vehicle capacity, available time periods, and a cost structure. We formulate the mathematical model and provide a Branch-and-Cut approach to solve small-scale problem instances exactly and larger scale instances heuristically using an Adaptive Large Neighbourhood Search approach. To increase the win percentage of both shippers …
Minimizing The Regret Of An Influence Provider, Yipeng Zhang, Yuchen Li, Zhifeng Bao, Baihua Zheng
Minimizing The Regret Of An Influence Provider, Yipeng Zhang, Yuchen Li, Zhifeng Bao, Baihua Zheng
Research Collection School Of Computing and Information Systems
Influence maximization has been studied extensively from the perspective of the influencer. However, the influencer typically purchases influence from a provider, for example in the form of purchased advertising. In this paper, we study the problem from the perspective of the influence provider. Specifically, we focus on influence providers who sell Out-of-Home (OOH) advertising on billboards. Given a set of requests from influencers, how should an influence provider allocate resources to minimize regret, whether due to forgone revenue from influencers whose needs were not met or due to over-provisioning of resources to meet the needs of influencers? We formalize this …
Combinatorial Resultants In The Algebraic Rigidity Matroid, Goran Malić, Ileana Streinu
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 …
Exploring The Use Of Social Media To Infer Relationships Between Demographics, Psychographics And Vaccine Hesitancy, Abhimanyu Kapur
Exploring The Use Of Social Media To Infer Relationships Between Demographics, Psychographics And Vaccine Hesitancy, Abhimanyu Kapur
Computer Science Senior Theses
The growing popularity of social media as a platform to obtain information and share one's opinions on various topics makes it a rich source of information for research. In this study, we aimed to develop a framework to infer relationships between demographic and psychographic characteristics of a user and their opinion on a specific narrative - in this case, their stance on taking the COVID-19 vaccine. Twitter was the chosen platform due to the large USA user base and easily available data. Demographic traits included Race, Age, Gender, and Human-vs-Organization Status. Psychographic traits included the Big Five personality traits (Conscientiousness, …
Producing Easy-To-Verify Proofs Of Linearizability, Ugur Yavuz
Producing Easy-To-Verify Proofs Of Linearizability, Ugur Yavuz
Computer Science Senior Theses
Proofs of linearizability tend to be complex and lengthy, rendering their verification challenging for readers. We provide a novel technique to produce easy-to-verify proofs of linearizability, with the help of mechanical proof assistants. Specifically, we reduce the task of proving the correctness of a linearizable object implementation, to a proof of an inductive invariant of a slightly modified version of the implementation. As the latter is a task many mechanical proof systems (such as TLAPS) are well-suited to undertake, this reduction allows the verification of the proof by the reader, to only consist of a trivial syntactic check of whether …
A Survey Of Computer Graphics Facial Animation Methods: Comparing Traditional Approaches To Machine Learning Methods, Joseph A. Johnson
A Survey Of Computer Graphics Facial Animation Methods: Comparing Traditional Approaches To Machine Learning Methods, Joseph A. Johnson
Master's Theses
Human communications rely on facial expression to denote mood, sentiment, and intent. Realistic facial animation of computer graphic models of human faces can be difficult to achieve as a result of the many details that must be approximated in generating believable facial expressions. Many theoretical approaches have been researched and implemented to create more and more accurate animations that can effectively portray human emotions. Even though many of these approaches are able to generate realistic looking expressions, they typically require a lot of artistic intervention to achieve a believable result. To reduce the intervention needed to create realistic facial animation, …
Witness For Two-Site Enabled Coordination, Sriram Priyatham Siram
Witness For Two-Site Enabled Coordination, Sriram Priyatham Siram
Master's Projects
Many replicated data services utilize majority quorums to safely replicate data changes in the presence of server failures. Majority quorum-based services require a simple majority of the servers to be operational for the service to stay available. A key limitation of the majority quorum is that if a service is composed of just two servers, progress cannot be made even if a single server fails because the majority quorum size is also two. This is called the Two-Server problem. A problem similar to the Two-Server problem occurs when a service’s servers are spread across only two failure domains. Servers in …