Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (197562)
- Physical Sciences and Mathematics (119406)
- Social and Behavioral Sciences (111534)
- Education (77141)
- Law (76511)
-
- Arts and Humanities (69656)
- Life Sciences (49419)
- Computer Sciences (46151)
- Medicine and Health Sciences (40483)
- Civil and Environmental Engineering (40049)
- Electrical and Computer Engineering (36897)
- Business (34091)
- History (33293)
- Higher Education (30630)
- Mechanical Engineering (30200)
- Communication (28643)
- Computer Engineering (25750)
- Library and Information Science (21716)
- Environmental Sciences (20546)
- United States History (18778)
- Mass Communication (17344)
- Materials Science and Engineering (16763)
- Journalism Studies (15624)
- Public Affairs, Public Policy and Public Administration (15433)
- Chemical Engineering (14222)
- Physics (13984)
- Operations Research, Systems Engineering and Industrial Engineering (13933)
- Chemistry (12785)
- Civil Engineering (11832)
- Earth Sciences (11740)
- Institution
-
- University of New Mexico (46806)
- University of Nebraska - Lincoln (29626)
- Missouri University of Science and Technology (29124)
- University of New Hampshire (26584)
- Purdue University (25414)
-
- California Polytechnic State University, San Luis Obispo (23541)
- University of Mississippi (22128)
- Utah State University (18514)
- San Jose State University (18466)
- University of South Florida (17189)
- University of Central Florida (14646)
- Murray State University (13864)
- University of Kentucky (12086)
- Louisiana State University (11916)
- Clemson University (11908)
- Brigham Young University (11644)
- University of Montana (10501)
- University of Dayton (10423)
- Singapore Management University (10052)
- Rochester Institute of Technology (10015)
- Wright State University (9638)
- New Jersey Institute of Technology (9592)
- Georgia Southern University (9180)
- Technological University Dublin (9143)
- Old Dominion University (9053)
- Air Force Institute of Technology (8791)
- TÜBİTAK (8705)
- Portland State University (8685)
- University of Texas at Arlington (8661)
- University of North Dakota (8603)
- Keyword
-
- Newspaper (25553)
- Student newspaper (10273)
- Spartan Daily (8718)
- Newspapers (8397)
- Engineering (5708)
-
- Higher education (5329)
- Education (5226)
- N.M. (5173)
- History (4924)
- Pennsylvania (4857)
- Newsletter (4790)
- Michigan (4751)
- Collegeville (4731)
- Holland (4478)
- College student newspapers and periodicals (4463)
- Local newspapers (4447)
- Humans (4418)
- Bowling Green State University (4351)
- Holland City News (4139)
- New Mexico (3828)
- Machine learning (3816)
- Faculty (3700)
- Student newspapers (3654)
- Las Vegas (3641)
- Undergraduate (3616)
- News (3610)
- Montgomery County (3437)
- Trappe (3427)
- BG News (3379)
- Students (3346)
- Publication Year
-
- 2026 (28951)
- 2025 (39741)
- 2024 (39134)
- 2023 (38605)
- 2022 (38443)
-
- 2021 (41085)
- 2020 (39127)
- 2019 (38497)
- 2018 (37626)
- 2017 (35416)
- 2016 (35902)
- 2015 (32402)
- 2014 (31651)
- 2013 (29559)
- 2012 (28493)
- 2011 (25060)
- 2010 (24178)
- 2009 (20676)
- 2008 (20043)
- 2007 (18443)
- 2006 (17114)
- 2005 (15398)
- 2004 (14466)
- 2003 (12388)
- 2002 (11815)
- 2001 (11003)
- 2000 (10422)
- 1999 (9461)
- 1998 (9381)
- 1997 (8614)
- Publication
-
- Theses and Dissertations (29649)
- Faculty Publications (12147)
- Electronic Theses and Dissertations (11606)
- Theses (11514)
- Spartan Daily (School of Journalism and Mass Communications) (8220)
-
- Daily Mississippian (all digitized issues) (7495)
- Research Collection School Of Computing and Information Systems (7017)
- Masters Theses (6580)
- Dissertations (6437)
- Walden Dissertations and Doctoral Studies (6363)
- Cal Poly Student Newspaper (6038)
- Santa Fe New Mexican, 1883-1913 (5669)
- Articles (5239)
- Master's Theses (5234)
- Graduate Theses, Dissertations, and Problem Reports (ETD) (5006)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (4697)
- Faculty Scholarship (4322)
- Graduate Theses and Dissertations (4303)
- USF Tampa Graduate Theses and Dissertations (4219)
- Doctoral Dissertations (4085)
- Library Philosophy and Practice (e-journal) (4029)
- Defensive Publications Series (3943)
- Journal of System Simulation (3924)
- Montana Kaimin, 1898-present (3793)
- Electrical and Computer Engineering Faculty Research & Creative Works (3488)
- BG News (Student Newspaper) (3410)
- Publications (3409)
- Nebraska Tractor Tests (3402)
- The Murray Ledger & Times (3399)
- The Mayfield Messenger (3381)
- Publication Type
Articles 49861 - 49890 of 1104690
Full-Text Articles in Entire DC Network
Application Of Project Management To Develop A Multifunctional Wheelchair Mount In The Non-Profit Sector, Ruger Johnsen
Application Of Project Management To Develop A Multifunctional Wheelchair Mount In The Non-Profit Sector, Ruger Johnsen
Student Projects for Graduate Degrees
There are currently few commercially available multi-function accessory mounts for electric wheelchairs that are practical for high-level quadriplegics. Consequently, an individual user must design and create one for themselves, an undertaking that requires significant resources in the form of expertise, time, and money. Wes Price, a quadriplegic, has developed a concept mount for operating a hunting rifle. This project optimized the proof-of-concept by building a prototype and completing a design that can be offered to the public. The primary tasks and deliverables of this project include: 1) Research and develop improvements to the proof-of-concept and prototype 2) Fabricate prototypes 3) …
Survey On Application Of Large Language Models In Network Attack And Defense, Prisha Purohit
Survey On Application Of Large Language Models In Network Attack And Defense, Prisha Purohit
Honors Theses
The emergence of Large Language Models (LLMs) has significantly transformed the technological and cybersecurity landscape, introducing both unprecedented opportunities and formidable challenges. With the public release of ChatGPT in 2022, LLMs have gained global prominence, redefining natural language processing capabilities and enabling advancements across various fields. In cybersecurity, these models represent a dual-use technology: while they offer powerful tools for threat detection, automated analysis, and security training, they also pose risks when leveraged by malicious actors for phishing, social engineering, and the creation of evasive malware. This thesis presents a comprehensive literature review exploring the dual roles of LLMs in …
Bridging The Nature Gap: Understanding Barriers And Promoting Outdoor Engagement Among African Americans In Chattanooga, Kennie Almonor
Bridging The Nature Gap: Understanding Barriers And Promoting Outdoor Engagement Among African Americans In Chattanooga, Kennie Almonor
Honors Theses
This paper outlines my process of writing a physical guidebook for outdoor engagement in Chattanooga. It explores the historical context of Black exclusion from outdoor spaces and examines the health disparities that disproportionately affect Black communities. The physical connection between outdoor activity and overall well-being will also be explained. Additionally, this paper details my methodology for conducting focus groups to better understand barriers to outdoor engagement and how participant insights could inform the guidebook’s development. This paper also outlines my research on best practices for structuring an effective guide, writing process, challenges faced, and considerations for extending this project in …
Synthesis Of Single Chain Polymer Nanoparticle Networks By Reinitiating Raft Polymerization, Dallas Donovan
Synthesis Of Single Chain Polymer Nanoparticle Networks By Reinitiating Raft Polymerization, Dallas Donovan
Honors Theses
Hydrogel materials, which are polymer networks comprised mostly of water, hold significant promise for biomedical applications due to their compatibility with biological systems. Conventional hydrogel materials are often brittle and weak, but most applications in biomedical systems require materials to be strong and tough. The topology of a polymer network dictates its mechanical properties. An important strategy for designing tougher hydrogels is the release of stored length, such as from the unfolding of polyprotein cross-linkers. Inspired by the success of the strategy, we report progress towards a fully synthetic design using single chain nanoparticles (SCNPs) into a hydrogel. SCNPs, which …
Arthroscopy And The Future Of Surgery: Personal And Public Health Benefits, Preston T. Koski
Arthroscopy And The Future Of Surgery: Personal And Public Health Benefits, Preston T. Koski
Honors Thesis
Arthroscopy focuses on operating on the body using probes and working through keyhole incisions on the skin. This rapidly evolving field has seen many innovations in its technology, aided by advances in optical and surgical capabilities. Moreover, it presents many advantages over traditional surgery that directly impact the patient. Shorter recovery time and lessened scarring, reduced postoperative pain and opioid dependence, and less risk of infection are key benefits over open surgery. These benefits can also be applied to areas of public health. Minimizing the burden on hospital resources, reducing the environmental impact of surgery, and improving cost-effectiveness in healthcare …
Sonochemically Synthesized Zno Nanowires (Nws)-Based Sensor For Non-Invasive Glucose Detection In Sweat, G. M. Mehedi Hossain, Ahmed Hasnain Jalal, Hasina Huq, Nazmul Islam, Karen Lozano, Nezih Pala, Fahmida Alam
Sonochemically Synthesized Zno Nanowires (Nws)-Based Sensor For Non-Invasive Glucose Detection In Sweat, G. M. Mehedi Hossain, Ahmed Hasnain Jalal, Hasina Huq, Nazmul Islam, Karen Lozano, Nezih Pala, Fahmida Alam
Electrical and Computer Engineering Faculty Publications
Glucose is a crucial metabolic marker, providing critical insights into energy regulation and insulin sensitivity, making its monitoring essential for managing diabetes and overall metabolic health. In this context, flexible biosensors have gained considerable attention for their potential to enable real-time and non-invasive glucose monitoring. One promising advancement in this domain is using Zinc-Oxide (ZnO) nanostructures through sonochemical synthesis. ZnO has a wide bandgap of ∼3.37 eV and a large binding energy of 60 meV. This research focuses on ZnO-Nanowires' growth for the first time on a flexible polymer substrate. The average length and diameter of the nanowires are 2.5µm …
Improving Research Software Engineering In Mathematics, Abram Miller
Improving Research Software Engineering In Mathematics, Abram Miller
Honors Theses
Research Software Engineering is critical to modern mathematical research, enabling the creation, maintenance, and dissemination of computational tools that bridge theory and practice. However, the field faces systemic challenges, including insufficient funding, lack of institutional recognition, and gaps in training and infrastructure. This thesis investigates these challenges through two approaches: (1) a comparative survey study focused on mathematicians and (2) hands-on contributions to an open-source research software project.
The Improving Research Software Engineering in Mathematics survey, conducted from September 2024 to January 2025, adapts the survey framework developed by Carver et al. in A survey of the state of the …
Reconfigurable Python Autopilot Software For Rc Aircraft, Kate Doiron
Reconfigurable Python Autopilot Software For Rc Aircraft, Kate Doiron
Honors Theses
No abstract provided.
Adversarial Voltage Transients In Multi-Tenant Fpga Environments, Andrew J. Gerber
Adversarial Voltage Transients In Multi-Tenant Fpga Environments, Andrew J. Gerber
All Graduate Theses and Dissertations, Fall 2023 to Present
A Field Programmable Gate Array (FPGA) is a special type of computer chip that can be reconfigured to implement a nearly unlimited number of functions. Recent trends have led some companies to offer cloud-based FPGA solutions. Researchers are exploring how to properly secure multi-tenant environments where the designs from two or more customers are placed on the same FPGA with logical and spatial isolation, though multi-tenancy is not yet commercially available in cloud FPGAs. The digital circuits within an FPGA require a clock to synchronize timing within the design. The maximum speed that this clock can run at is determined …
Scheduling Charging For Fleets Of Battery Electric Vehicles: Techniques For Modeling And Real-Time Operation, Justin J. Whitaker
Scheduling Charging For Fleets Of Battery Electric Vehicles: Techniques For Modeling And Real-Time Operation, Justin J. Whitaker
All Graduate Theses and Dissertations, Fall 2023 to Present
While electric vehicles (EVs) are becoming increasingly popular and can provide cost, maintenance, and environmental benefits, they present unique challenges for regular operation, especially in fleets of vehicles. The limited range, long charging times, and high power requirements of EVs complicate the operations of fleets comprised of EVs. Additionally, the charging costs of EVs can be complex, depending on the time of charging, the energy charged, and the power level of the charging session. These complex charging costs can be significantly affected by the presence of uncontrolled loads. These challenges are further complicated by the inevitable variations in the real …
Quantifying The Threshold For Fragmentation Of Newtonian And Non-Newtonian Drops, Aditya Parik
Quantifying The Threshold For Fragmentation Of Newtonian And Non-Newtonian Drops, Aditya Parik
All Graduate Theses and Dissertations, Fall 2023 to Present
This dissertation investigates how the properties of liquid drops influence the minimum aerodynamic forces needed to cause the drop to fragment (breakup). For this work, we focus only on aerodynamic forces that are applied on a stationary drop by a sudden, uniform flow, a process called impulsive acceleration. Previous studies have largely focused on the fragmentation of spherical drops of Newtonian fluids (liquids with constant viscosity, like water), when impulsively accelerated in air-like ambient medium. Such systems only capture a limited range of drop and ambient properties (described by non-dimensional groups). Many real-world applications, such as aerial fire retardant delivery, …
Calculation Of Aerodynamic Surface Sensitivities Using The Adjoint Method In A Subsonic/Supersonic Panel Code, Nathan H. Hoch
Calculation Of Aerodynamic Surface Sensitivities Using The Adjoint Method In A Subsonic/Supersonic Panel Code, Nathan H. Hoch
All Graduate Theses and Dissertations, Fall 2023 to Present
An aircraft’s shape has a direct impact on the lift and drag it produces. In the early stages of designing an aircraft on a computer, engineers work to improve aircraft performance and efficiency by considering various shapes and configurations. Engineers use computer programs to analyze different designs and predict how each would perform in real-world conditions. Once an approximate aircraft shape is selected, adjustments to the shape can further improve the aircraft’s lift and drag characteristics. Engineers calculate a set of values called sensitivities that indicate which parts of the geometry should be changed to increase lift or reduce drag. …
Contrastive Representation Learning For Highly Imbalanced Multivariate Time Series With Extreme Instance Strategy, Onur Vural
All Graduate Theses and Dissertations, Fall 2023 to Present
Time series data refers to a sequence of data points collected or recorded at regular time intervals. In many fields including space weather, healthcare, and finance, predicting events from such data is crucial because these predictions can help protect infrastructures, improve healthcare outcomes, and forecast financial trends. However, one challenge in working with time series data is the presence of rare events, which are often underrepresented in the data. This imbalance makes it difficult for traditional prediction methods to provide accurate results, as they tend to focus more on the more frequent events and overlook the rare ones. To tackle …
Quantifying Buoyancy-Driven Exchange Flows Over Obstacle At The Great Salt Lake Using Rans Cfd, Mohammad Ikram Hossain Talukdar
Quantifying Buoyancy-Driven Exchange Flows Over Obstacle At The Great Salt Lake Using Rans Cfd, Mohammad Ikram Hossain Talukdar
All Graduate Theses and Dissertations, Fall 2023 to Present
This study examines how barriers, such as berms, affect the movement of water in the Great Salt Lake in Utah. The lake experiences two types of water flow: one, called a unidirectional gravity current, where denser water flows in a single direction, and another, known as buoyancy-driven exchange flow, where water flows in two opposite directions due to differences in both water density and surface elevation. These flows are important for understanding how water mixes and moves between the northern and southern parts of the lake. Using computer models, we simulated how these two types of water flows behave when …
Investigating Stability Of Cone-Derived Hypersonic Waverider Vehicles Via Design Space Exploration, Adam S. Weaver
Investigating Stability Of Cone-Derived Hypersonic Waverider Vehicles Via Design Space Exploration, Adam S. Weaver
All Graduate Theses and Dissertations, Fall 2023 to Present
It may come as no surprise that man-made objects flying at 5, 10, or even 25 the speed of sound (termed hypersonic) are difficult to design, inefficient in flight, and expensive to deploy. Most hypersonic vehicles are effectuated in ballistics, which simplify aerodynamic considerations owing to their fixed trajectory. However, maneuverable hypersonic vehicles can revolutionize commercial flight, national defense, and space travel. One candidate for such missions are waverider vehicles. Waverider vehicles cruise on a cushion of air generated by its own shock wave, essentially enjoying extra lift without any extra drag penalties (which are usually inherent to extra …
Nursing Faculty Experiences Of Teaching Dementia Care: A Transcendental Phenomenological Study, Jeannie Simpson
Nursing Faculty Experiences Of Teaching Dementia Care: A Transcendental Phenomenological Study, Jeannie Simpson
Doctoral Dissertations and Projects
The purpose of this phenomenological study was to explore the experiences of nursing faculty teaching dementia care to nursing students in Texas. The theory guiding this study was Kolb’s experiential learning theory as it offers a structured framework for examining how experiences lead to learning. This theory also introduced the concept of the Experiential Educator profile, specifically delineating the role of educators in facilitating knowledge acquisition (Kolb, 2014). This study bridged the gap in existing literature regarding the experiences of nursing faculty in teaching dementia care to nursing students and provided a comprehensive look at dementia education in nursing schools. …
Researching Research Leaders: A Qualitative, Phenomenological, Transcendental Study Of University Institutional Official Relations With Stakeholders Using The Competing Values Framework, Sara Grano
Doctoral Dissertations and Projects
The purpose of this qualitative, phenomenological, transcendental exploratory study was to understand institutional officials’ (IO) lived relational leadership experiences with internal and external stakeholders with competing values in U.S. research universities. The competing values framework guided the study to investigate IOs’ lived experiences when relating to diverse stakeholders in research universities. The central research question asked was what are the experiences of IOs in research universities when practicing relational leadership with diverse stakeholders with competing values? Ten participants were recruited for this qualitative study using the purposeful sampling and then snowball method of recruiting. The elite participants had experience serving …
Transitions Of Faith: Navigating Pastoral Changes In Small African American Churches, Joshua O. Dixon
Transitions Of Faith: Navigating Pastoral Changes In Small African American Churches, Joshua O. Dixon
Doctoral Dissertations and Projects
This phenomenological study explored the lived experiences of African American pastors aged 65 and older as they navigate leadership transitions within small churches in Florida. These churches, characterized by the absence of formal succession planning support from a parent organization, serve as critical pillars in their communities. Guided by Bridges' Transition Theory, this research investigated the emotional, psychological, and spiritual dimensions of pastoral transitions, focusing on the stages of 'Ending, Losing, and Letting Go,' 'Neutral Zone,' and 'New Beginning' (Bridges, 1980). Data collection methods included a pre-qualifying survey, individual interviews, and focus group discussions, analyzed through thematic analysis supported by …
The Use Of Intellectual Humility As A Framework For Elementary School Teachers In The Development Of Positive Parent-Teacher Relationships, Ralinda Aspey
Doctoral Dissertations and Projects
Although the educational and psychological communities have identified the importance of the parent-teacher relationship to the academic success and social benefit of students, difficulties continue to persist in identifying specific strategies for building positive relationships between parents and teachers. This phenomenological study explored the lived experiences of seven elementary school teachers in public schools to examine whether intellectual humility manifested in their reported ability to develop positive relationships with parents. A semi-structured interview with participants revealed seven overarching themes evident in their experiences with parents which align with the construct of intellectual humility. These themes include Proactive Communication, Openness to …
Technological Attitudes, Social Media Usage, And Work Ethics Among Educators, Roshani Kundaria
Technological Attitudes, Social Media Usage, And Work Ethics Among Educators, Roshani Kundaria
Doctoral Dissertations and Projects
This study examines the relationship between social media use, technological attitudes, and work ethics among K-12 educators in the United States. With the COVID-19 pandemic forcing many educators to transition to remote work and online teaching, individuals have more online presence and social interactions. Understanding how these interactions influence the values associated with work is essential. The decision to utilize a particular social media platform for personal use depends on educators’ individual needs, preferences, and circumstances. Positive and negative attitudes toward technology usage and dependence on technology were examined. The researcher found a negative correlation between technological attitudes and social …
Citizenship Christian Values Education Empowerment In Papua New Guinea Through Integration Of Curriculum, Funding, And Professional Training, Timothy Hawes
Doctoral Dissertations and Projects
Since 2018, the Papua New Guinea Education Department has opened the door for Christian Citizenship Value Education, but previously, no organization has successfully addressed this opportunity. The problem is that the CCVE program in PNG does not integrate curriculum, funding, and professional training. The purpose of this DMIN action research project is to develop and deploy the CCVE Empowerment plan. Through a survey given to CCVE teachers and multiple focus groups with six different CCVE leaders, the CCVE Empowerment plan was developed. The plan included a new organizational structure, the prayer model, the self-teaching student journals, sufficient funding, and applied …
Women Leaders In Healthcare: Emotional Intelligence, Job Satisfaction, And Organizational Citizenship Behavior, Kuan-Yin T. Timothee
Women Leaders In Healthcare: Emotional Intelligence, Job Satisfaction, And Organizational Citizenship Behavior, Kuan-Yin T. Timothee
Doctoral Dissertations and Projects
The purpose of this nonexperimental quantitative correlational study was to explore the relationship between emotional intelligence (EI), organizational citizenship behavior (OCB), and job satisfaction among women in nonclinical leadership roles within the U.S. healthcare sector. As healthcare organizations adapt to technological, social, and economic transformations, they must increase their focus on cultivating EI and promoting OCB, especially in leadership roles (Bowling & Sessa, 2021; Herr et al., 2022; Marstand et al., 2021). Additionally, research has shown that EI facilitates business development and diminishes obstacles to organizational sustenance. Although prior research has established a link between EI and OCB, there is …
Building A Virtual Gallery: How The User Journey Can Inform Technological Innovation Towards Best Practice In Creating A Virtual Gallery?, Paula Cordeiro
Building A Virtual Gallery: How The User Journey Can Inform Technological Innovation Towards Best Practice In Creating A Virtual Gallery?, Paula Cordeiro
Postgraduate
Building a Virtual Gallery: How can the user journey inform technological innovation towards best practice in creating a virtual gallery?
This research investigates how user journey frameworks can inform technological innovation towards best practice in creating a virtual gallery and how virtual hubs can serve as cultural and heritage art spaces, through collaborative interaction with Regional Councils. This exegesis, together with the accompanying creative artwork, Byron Bay Regional Gallery_Virtual Hub (BRGVirtual-Hub), explore the potential of VR gallery design as a platform to emerge from my literature review, technological innovation, cultural and social interaction, artistic collaboration and real-time connectivity among local …
Fixdrive: Automatically Repairing Autonomous Vehicle Driving Behaviour For $0.08 Per Violation, Yang Sun, Christopher M. Poskitt, Kun Wang, Jun Sun
Fixdrive: Automatically Repairing Autonomous Vehicle Driving Behaviour For $0.08 Per Violation, Yang Sun, Christopher M. Poskitt, Kun Wang, Jun Sun
Research Collection School Of Computing and Information Systems
Autonomous Vehicles (AVs) are advancing rapidly, with Level-4 AVs already operating in real-world conditions. Current AVs, however, still lag behind human drivers in adaptability and performance, often exhibiting overly conservative behaviours and occasionally violating traffic laws. Existing solutions, such as runtime enforcement, mitigate this by automatically repairing the AV's planned trajectory at runtime, but such approaches lack transparency and should be a measure of last resort. It would be preferable for AV repairs to generalise beyond specific incidents and to be interpretable for users. In this work, we propose FixDrive, a framework that analyses driving records from near-misses or law …
Quantitative Runtime Monitoring Of Ethereum Transaction Attacks, Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David Basin, Jun Sun, Jingyi Wang
Quantitative Runtime Monitoring Of Ethereum Transaction Attacks, Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David Basin, Jun Sun, Jingyi Wang
Research Collection School Of Computing and Information Systems
The rapid growth of decentralized applications, while revolutionizing financial transactions, has created an attractive target for malicious attacks. Existing approaches to detecting attacks often rely on predefined rules or simplistic and overly-specialized models, which lack the flexibility to handle the wide spectrum of diverse and dynamically changing attack types. To address this challenge, we present a general and extensible framework, MoE (Monitoring Ethereum), that leverages runtime verification to detect a wide range of attacks on Ethereum. MoE features an expressive attack modeling language, based on Metric First-order Temporal Logic (MFOTL), that can formalize a wide range of attacks. We integrate …
Specgen: Automated Generation Of Formal Program Specifications Via Large Language Models, Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu
Specgen: Automated Generation Of Formal Program Specifications Via Large Language Models, Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu
Research Collection School Of Computing and Information Systems
In the software development process, formal program specifications play a crucial role in various stages, including requirement analysis, software testing, and verification. However, manually crafting formal program specifications is rather difficult, making the job time-consuming and labor-intensive. Moreover, it is even more challenging to write specifications that correctly and comprehensively describe the semantics of complex programs. To reduce the burden on software developers, automated specification generation methods have emerged. However, existing methods usually rely on predefined templates or grammar, making them struggle to accurately describe the behavior and functionality of complex real-world programs. To tackle this challenge, we introduce SpecGen, …
Acccred: Improved Accountable Anonymous Credentials With Dynamic Triple-Hiding Committees, Sijiang Xie, Rui Shi, Yang Yang, Huiqin Xie, Yingjiu Li, Robert H. Deng
Acccred: Improved Accountable Anonymous Credentials With Dynamic Triple-Hiding Committees, Sijiang Xie, Rui Shi, Yang Yang, Huiqin Xie, Yingjiu Li, Robert H. Deng
Research Collection School Of Computing and Information Systems
Accountable anonymous credentials protect user privacy while holding the accountability of ill-intentioned individuals, which is a critical feature for applications such as online payments and other financial services. Existing accountable anonymous credentials rely on a public committee of trustworthy members who are assumed not to collude and are well protected to perform privacy revocation. However, this assumption is unsound in blockchain-based cryptocurrency systems because the selected committees may involve nodes with significant stakes, and public nodes serving as committee members are vulnerable against targeted attacks from high-computing power adversaries. In this paper, we propose an improved accountable anonymous credential called …
Shipnavisim: Data-Driven Simulation For Real-World Maritime Navigation, Quang Anh Pham, Janaka Chathuranga Brahmanage, Akshat Kumar
Shipnavisim: Data-Driven Simulation For Real-World Maritime Navigation, Quang Anh Pham, Janaka Chathuranga Brahmanage, Akshat Kumar
Research Collection School Of Computing and Information Systems
Maritime traffic management in busy ports faces growing challenges due to increased vessel traffic and complex waterway interactions. Strategies such as e-navigation by the International Maritime Organization aim to enhance navigation safety through traffic digitization. Maritime traffic simulation is essential for these systems, offering a virtual environment to model, analyze, and optimize traffic flows. Unlike road traffic, there are few simulators for maritime traffic, and they often lack realism and multi-ship interactions. In this paper, we (a) present ShipNaviSim, a data-driven maritime traffic simulator that utilizes a large-scale dataset over 2 years and electronic navigation charts to model vessel movements …
“I Can Run At Night!”: Using Augmented Reality To Support Nighttime Guided Running For Low-Vision Runners, Yuki Abe, Keisuke Matsushima, Kotaro Hara, Daisuke Sakamoto, Tetsuo Ono
“I Can Run At Night!”: Using Augmented Reality To Support Nighttime Guided Running For Low-Vision Runners, Yuki Abe, Keisuke Matsushima, Kotaro Hara, Daisuke Sakamoto, Tetsuo Ono
Research Collection School Of Computing and Information Systems
Dark environment challenges low-vision (LV) individuals to engage in running by following sighted guide—a Caller-style guided running—due to insufficient illumination, because it prevents them from using their residual vision to follow the guide and be aware about their environment. We design, develop, and evaluate RunSight, an augmented reality (AR)-based assistive tool to support LV individuals to run at night. RunSight combines see-through HMD and image processing to enhance one’s visual awareness of the surrounding environment (e.g., potential hazard) and visualize the guide’s position with AR-based visualization. To demonstrate RunSight’s efficacy, we conducted a user study with 8 LV runners. The …
Unlocking The Planning Capabilities Of Llms Through Maximum Diversity Fine-Tuning, Wenjun Li, Changyu Chen, Pradeep Varakantham
Unlocking The Planning Capabilities Of Llms Through Maximum Diversity Fine-Tuning, Wenjun Li, Changyu Chen, Pradeep Varakantham
Research Collection School Of Computing and Information Systems
Large language models (LLMs) have demonstrated impressive task-solving capabilities through prompting techniques and system designs, including solving planning tasks (e.g., math proofs, basic travel planning) when sufficient data is available online and used during pre-training. However, for planning tasks with limited prior data (e.g., blocks world, advanced travel planning), the performance of LLMs, including proprietary models like GPT and Gemini, is poor. This paper investigates the impact of fine-tuning on the planning capabilities of LLMs, revealing that LLMs can achieve strong performance in planning through substantial (tens of thousands of specific examples) fine-tuning. Yet, this process incurs high economic, time, …