Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (63664)
- Earth Sciences (59555)
- Environmental Sciences (52756)
- Engineering (41186)
- Life Sciences (39427)
-
- Physics (34279)
- Chemistry (33418)
- Geology (29997)
- Mathematics (27266)
- Social and Behavioral Sciences (21271)
- Soil Science (14403)
- Oceanography and Atmospheric Sciences and Meteorology (14162)
- Plant Sciences (13981)
- Computer Engineering (13620)
- Education (13309)
- Statistics and Probability (12934)
- Artificial Intelligence and Robotics (11679)
- Medicine and Health Sciences (11138)
- Agronomy and Crop Sciences (10834)
- Weed Science (10370)
- Arts and Humanities (9941)
- Agricultural Science (9895)
- Natural Resources and Conservation (9825)
- Plant Biology (9660)
- Sustainability (9454)
- Plant Pathology (9371)
- Electrical and Computer Engineering (9238)
- Astrophysics and Astronomy (8936)
- Natural Resources Management and Policy (8578)
- Institution
-
- University of Nebraska - Lincoln (25829)
- Western Michigan University (20684)
- University of Kentucky (14839)
- TÜBİTAK (10742)
- Singapore Management University (9441)
-
- Utah State University (7960)
- Old Dominion University (7372)
- Missouri University of Science and Technology (7311)
- Portland State University (4207)
- University of South Florida (4145)
- Wright State University (3961)
- University of Nevada, Las Vegas (3931)
- China Simulation Federation (3924)
- City University of New York (CUNY) (3756)
- Louisiana State University (3676)
- Brigham Young University (3451)
- University of Texas Rio Grande Valley (3205)
- University of Arkansas, Fayetteville (3145)
- Chulalongkorn University (3121)
- Air Force Institute of Technology (3083)
- Department of Primary Industries and Regional Development, Western Australia (2932)
- Purdue University (2910)
- Claremont Colleges (2865)
- California Polytechnic State University, San Luis Obispo (2725)
- University of Texas at El Paso (2636)
- University of South Carolina (2430)
- Montana Tech Library (2422)
- Chinese Chemical Society | Xiamen University (2395)
- Technological University Dublin (2384)
- Wayne State University (2316)
- Keyword
-
- Machine learning (2217)
- Western Australia (1958)
- Climate change (1692)
- Mathematics (1412)
- Deep learning (1193)
-
- Sustainability (1185)
- Chemistry (1131)
- Artificial intelligence (1121)
- Machine Learning (1100)
- Physics (1035)
- Groundwater (979)
- Geology (975)
- Water quality (905)
- Computer Science (827)
- United States (811)
- Simulation (789)
- Nebraska (774)
- Education (744)
- Remote sensing (719)
- Climate (709)
- Agriculture (704)
- Grains and field crops (698)
- Water (698)
- Security (688)
- Statistics (688)
- Optimization (667)
- Conservation (651)
- Environment (626)
- Humans (602)
- Algorithms (585)
- Publication Year
-
- 2026 (9201)
- 2025 (12269)
- 2024 (14128)
- 2023 (14126)
- 2022 (18218)
-
- 2021 (27762)
- 2020 (14812)
- 2019 (13033)
- 2018 (11790)
- 2017 (11108)
- 2016 (10866)
- 2015 (9580)
- 2014 (9807)
- 2013 (8932)
- 2012 (8521)
- 2011 (7779)
- 2010 (6952)
- 2009 (6360)
- 2008 (5863)
- 2007 (5721)
- 2006 (4894)
- 2005 (4751)
- 2004 (3862)
- 2003 (3335)
- 2002 (3026)
- 2001 (2628)
- 2000 (2585)
- 1999 (2343)
- 1998 (2338)
- 1997 (2184)
- Publication
-
- Legacy Scout Tickets from Pure Oil Company (11044)
- IGC Proceedings (1977-2023) (9261)
- Theses and Dissertations (8844)
- Research Collection School Of Computing and Information Systems (8595)
- Thin Sections (6677)
-
- Faculty Publications (4117)
- Journal of System Simulation (3924)
- Electronic Theses and Dissertations (3528)
- Nebraska Tractor Tests (3402)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Turkish Journal of Chemistry (2730)
- Turkish Journal of Mathematics (2607)
- Journal of Electrochemistry (2395)
- Physics Faculty Publications (2179)
- Masters Theses (2077)
- Dissertations (2036)
- Physics Faculty Research & Creative Works (1959)
- Silver Bow Creek/Butte Area Superfund Site (1896)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (1876)
- USF Tampa Graduate Theses and Dissertations (1834)
- Coal Geology & Exploration (1822)
- School of Natural Resources: Faculty Publications (1735)
- Department of Computer Science Technical Reports (1721)
- United States Department of Agriculture Wildlife Services: Staff Publications (1625)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (1434)
- Publications and Research (1413)
- LSU Doctoral Dissertations (1402)
- Publications (1383)
- Turkish Journal of Physics (1382)
- Open Access Theses & Dissertations (1380)
- Publication Type
Articles 45631 - 45660 of 294566
Full-Text Articles in Physical Sciences and Mathematics
2023 March - Tennessee Monthly Climate Report, Tennessee Climate Office, East Tennessee State University
2023 March - Tennessee Monthly Climate Report, Tennessee Climate Office, East Tennessee State University
Tennessee Climate Office Monthly Reports
No abstract provided.
A Study Of The Impact Of Data Intelligence On Software Delivery Performance, Yongdong Dong
A Study Of The Impact Of Data Intelligence On Software Delivery Performance, Yongdong Dong
Dissertations and Theses Collection (Open Access)
With the rise of big data and artificial intelligence, data intelligence has gradually become the focus of academia and industry. Data intelligence has two obvious characteristics: big data drive and application scene drive. More and more enterprises extract valuable patterns contained in data with prediction and decision analysis methods and technologies such as large-scale data mining, machine learning and deep learning and use them to improve the management and decision in complex practice, so as to promote changes of new business modes, organizational structures and even business strategies, and improve the operational efficiency of organizations. However, there are few studies …
Searching For Tev Dark Matter In Irregular Dwarf Galaxies With Hawc Observatory, R. Alfaro, C. Alvarez, J. C. Arteaga-Velázquez, D. Avila Rojas, H. A.Ayala Solares, R. Babu, E. Belmont-Moreno, K. S. Caballero-Mora, T. Capistrán, A. Carramiñana, S. Casanova, O. Chaparro-Amaro, U. Cotti, J. Cotzomi, E. De La Fuente, R. Diaz Hernandez, B. L. Dingus, M. A. Duvernois, M. Durocher, J. C. Diaz-Velez, C. Espinoza, K. L. Fan, N. Fraija, J. A. Garcia-Gonzalez, F. Garfias, M. M. Gonzalez, J. P. Harding, S. Hernandez-Cadena, D. Huang, F. Hueyotl-Zahuantitla, A. Iriarte, V. Joshi, S. Kaufmann, D. Kieda, J. Lee, H. Leon Vargas, J. T. Linnemann, A. L. Longinotti, G. Luis-Raya, K. Malone, O. Martinez, J. Martinez-Castro, J. A. Matthews, E. Moreno, M. Mostafa, A. Nayerhoda, L. Nellen, N. Omodei, Y. Perez Araujo, E. G. Perez-Perez, C. D. Rho, D. Rosa-Gonzalez, H. Salazar, D. Salazar-Gallegos, A. Sandoval, J. Serna-Franco, Y. Son, R. W. Springer, O. Tibolla, K. Tollefson, I. Torres, R. Torres-Escobedo, R. Turner, F. Urena-Mena, L. Villasenor, Xiaojie Wang, E. Willox, H. Zhou, C. De Leon
Searching For Tev Dark Matter In Irregular Dwarf Galaxies With Hawc Observatory, R. Alfaro, C. Alvarez, J. C. Arteaga-Velázquez, D. Avila Rojas, H. A.Ayala Solares, R. Babu, E. Belmont-Moreno, K. S. Caballero-Mora, T. Capistrán, A. Carramiñana, S. Casanova, O. Chaparro-Amaro, U. Cotti, J. Cotzomi, E. De La Fuente, R. Diaz Hernandez, B. L. Dingus, M. A. Duvernois, M. Durocher, J. C. Diaz-Velez, C. Espinoza, K. L. Fan, N. Fraija, J. A. Garcia-Gonzalez, F. Garfias, M. M. Gonzalez, J. P. Harding, S. Hernandez-Cadena, D. Huang, F. Hueyotl-Zahuantitla, A. Iriarte, V. Joshi, S. Kaufmann, D. Kieda, J. Lee, H. Leon Vargas, J. T. Linnemann, A. L. Longinotti, G. Luis-Raya, K. Malone, O. Martinez, J. Martinez-Castro, J. A. Matthews, E. Moreno, M. Mostafa, A. Nayerhoda, L. Nellen, N. Omodei, Y. Perez Araujo, E. G. Perez-Perez, C. D. Rho, D. Rosa-Gonzalez, H. Salazar, D. Salazar-Gallegos, A. Sandoval, J. Serna-Franco, Y. Son, R. W. Springer, O. Tibolla, K. Tollefson, I. Torres, R. Torres-Escobedo, R. Turner, F. Urena-Mena, L. Villasenor, Xiaojie Wang, E. Willox, H. Zhou, C. De Leon
Physics Faculty Research & Creative Works
We present the results of dark matter (DM) searches in a sample of 31 dwarf irregular (dIrr) galaxies within the field of view of the HAWC Observatory. dIrr galaxies are DM-dominated objects in which astrophysical gamma-ray emission is estimated to be negligible with respect to the secondary gamma-ray flux expected by annihilation or decay of weakly interacting massive particles (WIMPs). While we do not see any statistically significant DM signal in dIrr galaxies, we present the exclusion limits (95% C.L.) for annihilation cross section and decay lifetime for WIMP candidates with masses between 1 and 100 TeV. Exclusion limits from …
Non-Hermitian Floquet-Free Analytically Solvable Time-Dependent Systems, Hamed Ghaemi-Dizicheh, Hamidreza Ramezani
Non-Hermitian Floquet-Free Analytically Solvable Time-Dependent Systems, Hamed Ghaemi-Dizicheh, Hamidreza Ramezani
Physics & Astronomy Faculty Publications
The non-Hermitian models, which are symmetric under parity (P) and time-reversal (T) operators, are the cornerstone for the fabrication of new ultra-sensitive optoelectronic devices. However, providing the gain in such systems usually demands precise control of nonlinear processes, limiting their application. In this paper, to bypass this obstacle, we introduce a class of time-dependent non-Hermitian Hamiltonians (not necessarily Floquet) that can describe a two-level system with temporally modulated on-site potential and couplings. We show that implementing an appropriate non-Unitary gauge transformation converts the original system to an effective one with a balanced gain and loss. This …
Comments On The Draft Final Butte Reduction Works (Brw) Smelter Area Mine Waste Remediation And Contaminated Groundwater Hydraulic Control Site Organic Pollutant Surface Water Sampling Quality Assurance Project Plan (Qapp) (Dated December 27, 2022), Nikia Greene
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Calculating MBh Scaling Relations For Agns Using 2d Galaxy Decomposition Software To Analyse Hst Images, Jewel A. Capili
Calculating MBh Scaling Relations For Agns Using 2d Galaxy Decomposition Software To Analyse Hst Images, Jewel A. Capili
Physics
This study uses the 2D galaxy decomposition software GALFIT developed by Dr. Chien Peng to analyse Hubble Space Telescope images of 14 Active Galactic Nuclei (AGNs) and obtain their M_BH-spheroid luminosity scaling relations for comparison with previous studies.
Application Of Traditional Vaccine Development Strategies To Sars-Cov-2, Halie M. Rando, Ronan Lordan, Alexandra J. Lee, Amruta Naik, Nils Wellhausen, Elizabeth Sell, Likhitha Kolla, Anthony Gitter, Casey S. Greene
Application Of Traditional Vaccine Development Strategies To Sars-Cov-2, Halie M. Rando, Ronan Lordan, Alexandra J. Lee, Amruta Naik, Nils Wellhausen, Elizabeth Sell, Likhitha Kolla, Anthony Gitter, Casey S. Greene
Computer Science: Faculty Publications
Over the past 150 years, vaccines have revolutionized the relationship between people and disease. During the COVID-19 pandemic, technologies such as mRNA vaccines have received attention due to their novelty and successes. However, more traditional vaccine development platforms have also yielded important tools in the worldwide fight against severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). A variety of approaches have been used to develop COVID-19 vaccines that are now authorized for use in countries around the world. In this review, we highlight strategies that focus on the viral capsid and outwards, rather than on the nucleic acids inside. These approaches …
Green Stormwater Infrastructure: A Critical Review Of The Barriers And Solutions To Widespread Implementation, Bardia Heidari, Sarah Priscilla Randle, Dean Minchillo, Fouad H. Jaber
Green Stormwater Infrastructure: A Critical Review Of The Barriers And Solutions To Widespread Implementation, Bardia Heidari, Sarah Priscilla Randle, Dean Minchillo, Fouad H. Jaber
Research Collection College of Integrative Studies
Rapid urbanization, aging infrastructure, and climate change impacts have put a strain on existing stormwater drainage systems. One commonly acknowledged solution to relieve such stress is Green Stormwater Infrastructure (GSI). Interest in GSI technology has been growing. However, the level of implementation in many areas around the world lags behind the interest level. This study aims to critically review the body of literature from the last decade to determine the main barriers to wide adoption and the offered solutions to overcome them. Based on a review of 92 peer-reviewed journal articles published between 2012 and 2022, we classify barriers and …
Climate Denialism Bullshit Is Harmful, Joshua Luczak
Climate Denialism Bullshit Is Harmful, Joshua Luczak
Research Collection College of Integrative Studies
This paper suggests that some climate denialism is bullshit. Those who spread it do not display a proper concern for the truth. This paper also shows that this bullshit is harmful in some significant ways. It undermines the epistemic demands imposed on us by what we care about, by the social roles we occupy, and by morality. It is also harmful because it corrodes epistemic trust.
Insights Into Receptor Structure And Dynamics At The Surface Of Living Cells, Frederik Steiert, Peter Schultz, Siegfried Höfinger, Thomas D. Müller, Petra Schwille, Thomas Weidemann
Insights Into Receptor Structure And Dynamics At The Surface Of Living Cells, Frederik Steiert, Peter Schultz, Siegfried Höfinger, Thomas D. Müller, Petra Schwille, Thomas Weidemann
Michigan Tech Publications, Part 1
Evaluating protein structures in living cells remains a challenge. Here, we investigate Interleukin-4 receptor alpha (IL-4Rα) into which the non-canonical amino acid bicyclo[6.1.0]nonyne-lysine (BCNK) is incorporated by genetic code expansion. Bioorthogonal click labeling is performed with tetrazine-conjugated dyes. To quantify the reaction yield in situ, we develop brightness-calibrated ratiometric imaging, a protocol where fluorescent signals in confocal multi-color images are ascribed to local concentrations. Screening receptor mutants bearing BCNK in the extracellular domain uncovered site-specific variations of both click efficiency and Interleukin-4 binding affinity, indicating subtle well-defined structural perturbations. Molecular dynamics and continuum electrostatics calculations suggest solvent polarization to determine …
A Simple In Situ Method For Optimizing Settings For The Einzel Lens Elements In A Focused Ion Beam, Rich Swinford, Erik Sanchez
A Simple In Situ Method For Optimizing Settings For The Einzel Lens Elements In A Focused Ion Beam, Rich Swinford, Erik Sanchez
Physics Faculty Publications and Presentations
Ion beams have had an incredible impact on research in the past couple of decades. One major reason for this is the continued development of systems having optimal beam currents that allows one to image more clearly at different spot sizes to include higher currents that allow for faster milling. The advancements for Focused ion beam (FIB) columns have developed rapidly due to the computational optimization of lens designs. However, once a system has been produced, the optimal column settings for these lenses may change or simply become obscure. Our work involves regaining this optimization with the newly applied values …
The Coming Of Age Of Nucleic Acid Vaccines During Covid-19, Halie M. Rando, Ronan Lordan, Likhitha Kolla, Elizabeth Sell, Alexandra J. Lee, Nils Wellhausen, Amruta Naik, Jeremy P. Kamil, Anthony Gitter, Casey S. Greene
The Coming Of Age Of Nucleic Acid Vaccines During Covid-19, Halie M. Rando, Ronan Lordan, Likhitha Kolla, Elizabeth Sell, Alexandra J. Lee, Nils Wellhausen, Amruta Naik, Jeremy P. Kamil, Anthony Gitter, Casey S. Greene
Computer Science: Faculty Publications
In the 21st century, several emergent viruses have posed a global threat. Each pathogen has emphasized the value of rapid and scalable vaccine development programs. The ongoing severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) pandemic has made the importance of such efforts especially clear. New biotechnological advances in vaccinology allow for recent advances that provide only the nucleic acid building blocks of an antigen, eliminating many safety concerns. During the COVID-19 pandemic, these DNA and RNA vaccines have facilitated the development and deployment of vaccines at an unprecedented pace. This success was attributable at least in part to broader shifts …
Responses To Sad Emotion In Autistic And Normal Developing Children: Is There A Difference?, Mohamed Basel Almourad, Emad Bataineh, Zelal Wattar
Responses To Sad Emotion In Autistic And Normal Developing Children: Is There A Difference?, Mohamed Basel Almourad, Emad Bataineh, Zelal Wattar
All Works
This paper describes how the gazing pattern differ between the responses of Normal Developing (ND) and Autistic (AP) children to sad emotion. We employed an eye tracking technology to collect and track the participants’ eye movements by showing a dynamic stimulus (video) that showed a gradual transition from pale emotions to melancholy facial expressions in both female and male faces. The location of the child's gaze in the stimulus was the focus of our data analysis. We deduced that there was a distinction between the two groups based on this. ND children predominantly concentrated on the eyes and mouth region …
Blockscope: Detecting And Investigating Propagated Vulnerabilities In Forked Blockchain Projects, Xiao Yi, Yuzhou Fang, Daoyuan Wu, Lingxiao Jiang
Blockscope: Detecting And Investigating Propagated Vulnerabilities In Forked Blockchain Projects, Xiao Yi, Yuzhou Fang, Daoyuan Wu, Lingxiao Jiang
Research Collection School Of Computing and Information Systems
Due to the open-source nature of the blockchain ecosystem, it is common for new blockchains to fork or partially reuse the code of classic blockchains. For example, the popular Dogecoin, Litecoin, Binance BSC, and Polygon are all variants of Bitcoin/Ethereum. These “forked” blockchains thus could encounter similar vulnerabilities that are propagated from Bitcoin/Ethereum during forking or subsequently commit fetching. In this paper, we conduct a systematic study of detecting and investigating the propagated vulnerabilities in forked blockchain projects. To facilitate this study, we propose BlockScope, a novel tool that can effectively and efficiently detect multiple types of cloned vulnerabilities given …
Wearables For In-Situ Monitoring Of Cognitive States: Challenges And Opportunities, Meera Radhakrishnan, Thivya Kandappu, Manoj Gulati, Archan Misra
Wearables For In-Situ Monitoring Of Cognitive States: Challenges And Opportunities, Meera Radhakrishnan, Thivya Kandappu, Manoj Gulati, Archan Misra
Research Collection School Of Computing and Information Systems
We propose using wrist and ear-based sensing, via multiple novel and complementary modalities, to unobtrusively infer activity-aware, complex cognitive and affective states (such as confusion, boredom, and recall failure) of individuals. While state-of-the-art wearable devices are predominantly used (a) independently, with limited coordination among multiple devices, and (b) to capture macro-level physical activity and physiological state, we seek to expand the ambit of unobtrusive wearable sensing to capture the cognitive states while performing commonplace physical activities. Such states typically manifest via fine-grained, almost unobservable, microscopic head, face, and eye movements. We identify some of these fine-grained physical markers that serve …
Investigating Guardian Awareness Techniques To Promote Safety In Virtual Reality, Sixuan Wu, Jiannan Li, Maurício Sousa, Tovi Grossman
Investigating Guardian Awareness Techniques To Promote Safety In Virtual Reality, Sixuan Wu, Jiannan Li, Maurício Sousa, Tovi Grossman
Research Collection School Of Computing and Information Systems
Virtual Reality (VR) can completely immerse users in a virtual world and provide little awareness of bystanders in the surrounding physical environment. Current technologies use predefined guardian area visualizations to set safety boundaries for VR interactions. However, bystanders cannot perceive these boundaries and may collide with VR users if they accidentally enter guardian areas. In this paper, we investigate four awareness techniques on mobile phones and smartwatches to help bystanders avoid invading guardian areas. These techniques include augmented reality boundary overlays and visual, auditory, and haptic alerts indicating bystanders' distance from guardians. Our findings suggest that the proposed techniques effectively …
An Exploratory Study On Museum Visitor Ship Trends In Singapore, Aldy Gunawan, Chentao Liu, Heranshan S/O Subramaniam, Melissa Tan, Ranice Tan, Clarence Tay, Tasaporn. Visawameteekul
An Exploratory Study On Museum Visitor Ship Trends In Singapore, Aldy Gunawan, Chentao Liu, Heranshan S/O Subramaniam, Melissa Tan, Ranice Tan, Clarence Tay, Tasaporn. Visawameteekul
Research Collection School Of Computing and Information Systems
The COVID-19 outbreak has unpredictably disrupted the operations of numerous museums. Museum visitor experience has a physical, personal, and social context, which are not achievable during the pandemic. Despite the depreciation during the Circuit Breaker period, the disruption also presents an opportunity for local museums to develop new strategies of audience engagement to accommodate the altered audience behavior. This exploratory study analyses data from six Singapore-based museums to understand the visitorship patterns across different ages and genders. The impact of COVID-19 is also analysed. Using R-studio and relevant packages, we conducted statistical tests such as hypothesis testing, Chi-square testing and …
Dminer: Dashboard Design Mining And Recommendation, Yanna Lin, Haotian Li, Aoyu Wu, Yong Wang, Huamin Qu
Dminer: Dashboard Design Mining And Recommendation, Yanna Lin, Haotian Li, Aoyu Wu, Yong Wang, Huamin Qu
Research Collection School Of Computing and Information Systems
Dashboards, which comprise multiple views on a single display, help analyze and communicate multiple perspectives of data simultaneously. However, creating effective and elegant dashboards is challenging since it requires careful and logical arrangement and coordination of multiple visualizations. To solve the problem, we propose a data-driven approach for mining design rules from dashboards and automating dashboard organization. Specifically, we focus on two prominent aspects of the organization: arrangement , which describes the position, size, and layout of each view in the display space; and coordination , which indicates the interaction between pairwise views. We build a new dataset containing 854 …
Effective Graph Kernels For Evolving Functional Brain Networks, Xinlei Wang, Jinyi Chen, Bing Tian Dai, Junchang Xin, Yu Gu, Ge Yu
Effective Graph Kernels For Evolving Functional Brain Networks, Xinlei Wang, Jinyi Chen, Bing Tian Dai, Junchang Xin, Yu Gu, Ge Yu
Research Collection School Of Computing and Information Systems
The graph kernel of the functional brain network is an effective method in the field of neuropsychiatric disease diagnosis like Alzheimer's Disease (AD). The traditional static brain networks cannot reflect dynamic changes of brain activities, but evolving brain networks, which are a series of brain networks over time, are able to seize such dynamic changes. As far as we know, the graph kernel method is effective for calculating the differences among networks. Therefore, it has a great potential to understand the dynamic changes of evolving brain networks, which are a series of chronological differences. However, if the conventional graph kernel …
Detecting C++ Compiler Front-End Bugs Via Grammar Mutation And Differential Testing, Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang
Detecting C++ Compiler Front-End Bugs Via Grammar Mutation And Differential Testing, Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang
Research Collection School Of Computing and Information Systems
C++ is a widely used programming language and the C++ front-end is a critical part of a C++ compiler. Although many techniques have been proposed to test compilers, few studies are devoted to detecting bugs in C++ compiler. In this study, we take the first step to detect bugs in C++ compiler front-ends. To do so, two main challenges need to be addressed, namely, the acquisition of test programs that are more likely to trigger bugs in compiler front-ends and the bug identification from complicated compiler outputs. In this article, we propose a novel framework named Ccoft to detect bugs …
Demystifying Performance Regressions In String Solvers, Yao Zhang, Xiaofei Xie, Yi Li, Yi Lin, Sen Chen, Yang Liu, Xiaohong Li
Demystifying Performance Regressions In String Solvers, Yao Zhang, Xiaofei Xie, Yi Li, Yi Lin, Sen Chen, Yang Liu, Xiaohong Li
Research Collection School Of Computing and Information Systems
Over the past few years, SMT string solvers have found their applications in an increasing number of domains, such as program analyses in mobile and Web applications, which require the ability to reason about string values. A series of research has been carried out to find quality issues of string solvers in terms of its correctness and performance. Yet, none of them has considered the performance regressions happening across multiple versions of a string solver. To fill this gap, in this paper, we focus on solver performance regressions (SPRs), i.e., unintended slowdowns introduced during the evolution of string solvers. To …
Multi-Modal Api Recommendation, Ivana Clairine Irsan, Ting Zhang, Ferdian Thung, Kisub Kim, David Lo
Multi-Modal Api Recommendation, Ivana Clairine Irsan, Ting Zhang, Ferdian Thung, Kisub Kim, David Lo
Research Collection School Of Computing and Information Systems
Too many options can be a problem, which is the case for Application Programming Interfaces (APIs). As there are many such APIs, with many more being introduced periodically, it raises the problem of choosing which API to be recommended. Furthermore, numerous APIs are commonly used together with other complementary third-party APIs. It can be challenging for developers to understand how to use each API and to remember all the complementary APIs for the API they want to use. Therefore, an accurate API recommendation approach can improve developers' efficiency in implementing certain functionality. Several approaches have been developed to automatically recommend …
User Acceptance And Adoption Of Smart Homes: A Decade Long Systematic Literature Review, Ibrahim Mashal, Ahmed Shuhaiber, Ayman Wael Al-Khatib
User Acceptance And Adoption Of Smart Homes: A Decade Long Systematic Literature Review, Ibrahim Mashal, Ahmed Shuhaiber, Ayman Wael Al-Khatib
All Works
This survey aims to provide a coherent and bibliometric overview of the theories and constructs employed in smart homes acceptance and adoption literature. To achieve the study aims, we con-ducted a systematic search for every article related to the SH concept, services and applications, user acceptance and adoption, and integrated IoT home appliances and devices, in 10 major library databases, namely, IEEE Digital Library, ACM Digital Library, Association for Information Systems (AIS), Elsevier, Emerald, Taylor and Francis, Wiley InterScience, Springer, Inderscience, and Hindawi. These databases contain literature focusing on smart home adoption using IoT tech-nology. 40 research articles of journal …
Hearing Healthcare Professionals’ Views About Over-The-Counter (Otc) Hearing Aids: Analysis Of Retrospective Survey Data, Vinaya Manchaiah, Anu Sharma, Hansapani Rodrigo, Abram Bailey, Karina C. De Sousa, De Wet Swanepoel
Hearing Healthcare Professionals’ Views About Over-The-Counter (Otc) Hearing Aids: Analysis Of Retrospective Survey Data, Vinaya Manchaiah, Anu Sharma, Hansapani Rodrigo, Abram Bailey, Karina C. De Sousa, De Wet Swanepoel
School of Mathematical & Statistical Sciences Faculty Publications
Over-the-counter hearing aids have been available to consumers in the US since 17 October 2022 following a ruling by the Food and Drug Administration. However, their reception by hearing healthcare professionals (HHP) has been mixed, and concerns have been expressed by many HHPs. The aim of this study was to examine the concerns that HHPs have towards over-the-counter (OTC) hearing aids. The study used a retrospective survey design. The survey data of HHPs (n = 730) was obtained from Hearing Tracker. A 22-item structured questionnaire was administered using a Question Scout platform. Descriptive analyses examined reported areas of concern and …
The Use Of Artificial Intelligence To Detect Students Sentiments And Emotions In Gross Anatomy Reflections, Krzysztof J. Rechowicz, Carrie A. Elzie
The Use Of Artificial Intelligence To Detect Students Sentiments And Emotions In Gross Anatomy Reflections, Krzysztof J. Rechowicz, Carrie A. Elzie
VMASC Publications
Students' reflective writings in gross anatomy provide a rich source of complex emotions experienced by learners. However, qualitative approaches to evaluating student writings are resource heavy and timely. To overcome this, natural language processing, a nascent field of artificial intelligence that uses computational techniques for the analysis and synthesis of text, was used to compare health professional students' reflections on the importance of various regions of the body to their own lives and those of the anatomical donor dissected. A total of 1365 anonymous writings (677 about a donor, 688 about self) were collected from 132 students. Binary and trinary …
Mathematical Models For Thalassemia, Hamda Mohammed Al Dhaheri
Mathematical Models For Thalassemia, Hamda Mohammed Al Dhaheri
Theses
Thalassemia is a genetic blood disorder caused by gene mutation or deletion in a blood protein called hemoglobin. Treatment of thalassemia requires a life-long blood transfusion and removal of excessive iron in the blood stream, which usually causes a big pressure on health care systems. Various forms of thalassemia control measures have been used to reduce the prevalence of thalassemia major. This has resulted in a substantial reduction in the prevalence of thalassemia. However, the thalassemia carrier population remains high, which could lead to an increase in the thalassemia major population through carrier-to-carrier marriages. Thus, we developed two mathematical models …
Design And Assessment Of A Leo Gnss Miniconstellation For Positioning, Navigation, And Timing (Pnt), Mariya Abdulkhaleq Mohamad
Design And Assessment Of A Leo Gnss Miniconstellation For Positioning, Navigation, And Timing (Pnt), Mariya Abdulkhaleq Mohamad
Theses
Recently, there has been a resurgent demand in the United Arab Emirates for more accurate positioning, navigation, and timing signals, especially for some targeted applications such as autonomous vehicles and flying taxis. The existing Global Navigation Satellite Systems (GNSS) provide real-time positioning accuracy for up to several meters, while the targeted applications require fast convergence of centimeterlevel positioning accuracy. Recent studies have shown that transmitting GNSS signals from a Low Earth Orbit (LEO) instead of a Medium Earth Orbit (MEO) would enhance positioning accuracy. The main objective of this thesis is to design and simulate an optimum scenario of a …
Feasibility Study On The Characterization Of Mars Atmospheric And Surface Features In Spacecraft Images By Machine Learning And Similar Automated Methods, Hind Hassan Alriyami
Feasibility Study On The Characterization Of Mars Atmospheric And Surface Features In Spacecraft Images By Machine Learning And Similar Automated Methods, Hind Hassan Alriyami
Theses
This thesis is focused on automated detection of Mars atmospheric and surface features in spacecraft images based on machine learning and similar automated methods using crater detection algorithm (CDA) software, named DeepMars2 algorithm. The purpose of this study is to perform machine learning to detect coarse and high-resolution topography craters on mars. The algorithm is applied to two digital elevation models (DEMs) of the Mars surface with high and coarse resolution in order to identify craters using machine and deep learning methods. The DEMs are based on the satellite instruments MOLA/MGS (Mars Orbiter Laser Altimeter/Mars Global Surveyor) and HRSC/MEX (High …
The Three-Dimensional Visualization Of Mars Dust Storms Based On Deriving Digital Elevation Maps From Satellite Imagery, Meirah Ali Alzeyoudi
The Three-Dimensional Visualization Of Mars Dust Storms Based On Deriving Digital Elevation Maps From Satellite Imagery, Meirah Ali Alzeyoudi
Theses
This work focuses on generating a Three-Dimensional Visualization of Mars's local dust storms utilizing satellite images from publicly available archives. The work aimed to create a Three-Dimensional Visualization of two Local Dust storms, the first local dust storm occurred on May 20, 2020, in the Chryse Planitia Region of Mars, while the second one occurred on 8 June 2021, on the northern side of the Utopia Planitia Region of Mars. The visualization will assist in providing a better understanding of the dynamics of Dust Storms on Mars by indicating and analyzing the main features of dust storms on Mars. Also, …
Correlation Between The Preparation Methods And The Physiochemical Characteristics Of Mgal₂O₄ As A Support For Ni Catalysts In Partial Oxidation Of Methane, Fatima El Alem
Theses
Due to different technical challenges associated with direct use of methane, the main component of natural gas, its conversion to higher hydrocarbons has been a subject of great industrial importance. All of the known routes for methane conversion are catalytic processes, where the performance is largely dependent on the physicochemical properties of the catalyst. The catalysts that have shown promising performance in methane reforming are based on expensive metals such as Pt, Pd, and Ru. Ni, on the other hand, is a cost-effective metal and has shown promising catalytic activity. These catalysts are usually in the form of metal nanoparticles …