Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Earth Sciences (58740)
- Computer Sciences (57959)
- Environmental Sciences (52391)
- Engineering (40245)
- Life Sciences (39784)
-
- Physics (36535)
- Chemistry (34529)
- Geology (29717)
- Mathematics (27387)
- Social and Behavioral Sciences (24567)
- Oceanography and Atmospheric Sciences and Meteorology (16425)
- Statistics and Probability (13262)
- Education (12809)
- Computer Engineering (12808)
- Soil Science (11978)
- Medicine and Health Sciences (11809)
- Plant Sciences (11182)
- Natural Resources and Conservation (10270)
- Arts and Humanities (9726)
- Astrophysics and Astronomy (9207)
- Electrical and Computer Engineering (8897)
- Sustainability (8695)
- Natural Resources Management and Policy (8571)
- Artificial Intelligence and Robotics (8519)
- Water Resource Management (8292)
- Applied Mathematics (7997)
- Environmental Health and Protection (6879)
- Science and Mathematics Education (6761)
- Databases and Information Systems (6720)
- Institution
-
- University of Nebraska - Lincoln (24230)
- Western Michigan University (19508)
- Selected Works (16838)
- University of Kentucky (12002)
- TÜBİTAK (10319)
-
- Singapore Management University (7454)
- Utah State University (7341)
- Missouri University of Science and Technology (6056)
- Old Dominion University (5954)
- University of Wollongong (4868)
- William & Mary (4602)
- University of South Florida (3859)
- Wright State University (3840)
- Portland State University (3798)
- University of Nevada, Las Vegas (3640)
- Louisiana State University (3417)
- China Simulation Federation (3382)
- City University of New York (CUNY) (3220)
- Brigham Young University (2906)
- Purdue University (2813)
- Air Force Institute of Technology (2678)
- Claremont Colleges (2640)
- California Polytechnic State University, San Luis Obispo (2568)
- Western Washington University (2456)
- University of Arkansas, Fayetteville (2433)
- University of Texas Rio Grande Valley (2419)
- Department of Primary Industries and Regional Development, Western Australia (2358)
- University of Texas at El Paso (2316)
- Chinese Chemical Society | Xiamen University (2294)
- Chulalongkorn University (2268)
- Keyword
-
- Machine learning (1691)
- Climate change (1681)
- Western Australia (1581)
- Mathematics (1369)
- Chemistry (1157)
-
- Sustainability (1141)
- Physics (1068)
- Water quality (983)
- Deep learning (892)
- Geology (858)
- Groundwater (851)
- Machine Learning (828)
- Simulation (824)
- Research and Technical Reports (797)
- Water (780)
- United States (759)
- Education (756)
- Management (746)
- Nebraska (744)
- Agriculture (718)
- Artificial intelligence (709)
- Climate (702)
- GIS (699)
- Statistics (685)
- Security (681)
- Grains and field crops (674)
- Environment (672)
- Computer Science (667)
- Ecology (658)
- Optimization (656)
- Publication Year
-
- 2024 (7931)
- 2023 (12585)
- 2022 (18310)
- 2021 (27884)
- 2020 (15208)
-
- 2019 (15927)
- 2018 (13646)
- 2017 (12521)
- 2016 (12690)
- 2015 (12617)
- 2014 (12299)
- 2013 (11462)
- 2012 (12196)
- 2011 (10325)
- 2010 (8620)
- 2009 (7616)
- 2008 (7321)
- 2007 (6758)
- 2006 (5872)
- 2005 (5573)
- 2004 (4447)
- 2003 (3876)
- 2002 (3435)
- 2001 (3030)
- 2000 (2919)
- 1999 (2555)
- 1998 (2574)
- 1997 (2472)
- 1996 (2437)
- 1995 (2193)
- Publication
-
- Legacy Scout Tickets from Pure Oil Company (11044)
- Theses and Dissertations (8341)
- IGC Proceedings (1993-2023) (7001)
- Research Collection School Of Computing and Information Systems (6891)
- Thin Sections (5745)
-
- Electronic Theses and Dissertations (4195)
- Faculty Publications (3797)
- Journal of System Simulation (3382)
- Nebraska Tractor Tests (3348)
- Turkish Journal of Electrical Engineering and Computer Sciences (3020)
- Masters Theses (2634)
- Turkish Journal of Chemistry (2628)
- Turkish Journal of Mathematics (2494)
- Journal of Electrochemistry (2294)
- Honors Theses (2160)
- Faculty of Informatics - Papers (Archive) (2013)
- Physics Faculty Publications (1942)
- Bulletin of the Mineral Research and Exploration (1893)
- Doctoral Dissertations (1882)
- Dissertations, Theses, and Masters Projects (1876)
- Reports (1835)
- Dissertations (1816)
- Physics Faculty Research & Creative Works (1762)
- Department of Computer Science Technical Reports (1721)
- USF Tampa Graduate Theses and Dissertations (1607)
- School of Natural Resources: Faculty Publications (1586)
- United States Department of Agriculture Wildlife Services: Staff Publications (1529)
- Australian Institute for Innovative Materials - Papers (1524)
- Electronic Thesis and Dissertation Repository (1478)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (1427)
- Publication Type
Articles 25681 - 25710 of 302622
Full-Text Articles in Physical Sciences and Mathematics
Aman Iman: Resilient Customs, Community Water Management, And Dry Futures In Anounizme, Morocco, Haley Kirtland
Aman Iman: Resilient Customs, Community Water Management, And Dry Futures In Anounizme, Morocco, Haley Kirtland
Independent Study Project (ISP) Collection
This project explores how Anounizme, a village in southeastern Morocco, interacts with water. I was particularly curious about how traditional community management systems operate in the context of drought. I argue that the customary management system exhibits resiliency like it has in the face of Arabization, colonization, exploitative industry, and land privatization. It is capable of adapting to drought because it is more than a management system; it is a part of culture engrained as custom. Customs have porous boundaries, allowing a space for old aspects of culture to interact with both emerging aspects of culture and external pressures. I …
The Role Of Frugivorous Birds As Seed Dispersers: Feeding Selection And Preference Of Madagascar’S Avian Frugivores In Analamazaotra Forest, Thaddeus Bashaw
The Role Of Frugivorous Birds As Seed Dispersers: Feeding Selection And Preference Of Madagascar’S Avian Frugivores In Analamazaotra Forest, Thaddeus Bashaw
Independent Study Project (ISP) Collection
Madagascar is a country rich in floral and faunal diversity. However, anthropogenic habitat destruction and climate change increasingly threaten its biodiversity. Endozoochorous plants that dependent on frugivory for seed dispersal are under threat due to increasing rates of localized extinctions of frugivorous lemurs, the primary seed dispersers of the island. While lemurs are the islands most abundant frugivores, other frugivorous vertebrates like birds and bats likely play a significant role in seed dispersal, although this role is still poorly understood. This study, conducted in Analamazaotra forest, compares the rates of visitation and consumption of six endemic fruiting tree species by …
Treatments Of Cyanobacteria On Mariculture Sponges In Jambiani, Tanzania, Sally Thornton-White
Treatments Of Cyanobacteria On Mariculture Sponges In Jambiani, Tanzania, Sally Thornton-White
Independent Study Project (ISP) Collection
Since 2009, Marine Cultures, an NGO, has explored sponge farming in Jambiani to develop secure and sustainable livelihoods for the community. While sponge farming provides economic opportunity for an industry that functions within ecological boundaries, it faces unique issues that threaten its success. As climate change increases global water temperatures, cyanobacteria are causing increased death rates among mariculture sponges. Mitigating these negative effects with sustainable and reliable solutions can help Marine Cultures grow their positive impact. Alternative methods for mitigating cyanobacteria growth were tested during three study phases. Phase 1 tested how sponge health and algae growth responds to being …
¿Cuál Es El Futuro Del Sistema Alimentario En Argentina? El Rol De Los Talleres De Alimentación Sana, Segura Y Soberana Del Área De Alimentación De La Utt En La Lucha Por La Agroecología Y La Soberanía Alimentaria, Gabriela Nahm
Independent Study Project (ISP) Collection
En 2022, con el contexto de la pandemia COVID-19, la crisis climática, la guerra Russo-Ucraniana y la crisis económica, el mundo ha visto los mayores precios de los alimentos en la historia, desproporcionadamente afectando los países y las poblaciones más vulnerables. En los dos lados de la malnutrición, ambos niveles de hambre y de obesidad están aumentando. Es decir que el mundo está en una crisis alimentaria. Si esta crisis existe por el mundo, Argentina y su sistema alimentario hegemónico, controlado por las empresas multinacionales, no puede ser excluido; de hecho, este sistema es uno que produce hambre y que …
El Parque De La Papa Y El Centro Internacional De La Papa: Un Caso De Estudio De Una Colaboración Única Para La Conservación De Diversidad Biocultural, Molly Orr
Independent Study Project (ISP) Collection
El Parque de la Papa, un territorio biocultural indígena en Cusco, Perú, es un sitio de conservación in situ de variedades de papas nativas apoyado por la ONG Asociación ANDES. En 2004, entró en un convenio con el Centro Internacional de la Papa (CIP) para la repatriación, restauración y seguimiento de las papas bajo el cual 410 variedades de papa fueron devueltas al Parque. El convenio ha formado la base para una relación continua entre CIP y el Parque; han desarrollado capacitaciones, investigaciones participativas e intercambios de conocimientos científicos y tradicionales. La colaboración entre CIP y el Parque es un …
Tsaachin Reindeer Herders: Perceptions Vs Reality, Sharla Dart
Tsaachin Reindeer Herders: Perceptions Vs Reality, Sharla Dart
Independent Study Project (ISP) Collection
Mongolia is a country commonly known for its vast steppes and rich culture of nomadic pastoralism. Images of livestock grazing on the open steppe often come to mind when people think about the country. However, what about the lesser-known reindeer herders? The Tsaachin reindeer herders of Mongolia are an ethnic group in the northernmost region of the country that have been subject to common misconceptions stemming from perceptions created by people consuming exaggerated and false narratives. This study aims to discover if perceptions that outsiders have influence the reindeer herders of the West Taiga.
Monuments As A Lens To Understand Climate Change: A Survey Of Altered Indian Architecture, Mckenzie Davis
Monuments As A Lens To Understand Climate Change: A Survey Of Altered Indian Architecture, Mckenzie Davis
Independent Study Project (ISP) Collection
My project is asking in what ways climate change is impacting monuments in the developing world using case studies in India? The project will be a survey of sites occupying different positions in environment, religion, and history in order to assess the multitude of threats on cultural heritage created and/or exacerbated by climate change. The Taj Mahal (17th century) will be assessed in order to discuss the impacts of air pollution associated with an urban environ ment and drought along the Yamuna river, using a widely known icon of India to serve as a visualization of slow violence taking place …
Laguncularia Racemosa Top-Layer Sediment Microorganism Makeup In Relation To Differing Levels Of Perceived Anthropogenic Impact In Bocas Del Drago, Bocas Del Toro, Panama, Gabrielle Glendening
Laguncularia Racemosa Top-Layer Sediment Microorganism Makeup In Relation To Differing Levels Of Perceived Anthropogenic Impact In Bocas Del Drago, Bocas Del Toro, Panama, Gabrielle Glendening
Independent Study Project (ISP) Collection
As mangrove forests are destroyed by human factors across the earth, many crucial ecological processes that take place in these systems of trees are obstructed. One of the most important roles played by mangroves is their ability to sequester carbon in the sediment, as this storage of carbon helps diminish atmospheric warming. Many sediment microorganisms help in this process of carbon sequestration and play various other vital roles in mangrove ecosystems. Microorganisms in marine sediments can be used to assess the health of the surrounding environment. Past research has found significant differences in sediment microorganism composition, abundance, and diversity in …
A Study About Recommendation Of Research And Development The “Green Generation Restaurants”, Sena Ersoy, Atilla Akbaba
A Study About Recommendation Of Research And Development The “Green Generation Restaurants”, Sena Ersoy, Atilla Akbaba
University of South Florida (USF) M3 Publishing
In this study, the subject of "Green Generation Restaurant" was examined based on Turkey, and suggestions were developed for Turkey to use this movement more efficiently. “Green Generation Restaurant”, a concept that has become increasingly popular today, has started to shape the field of gastronomy with the philosophy it contains. Turkey's participation in this trend, which is still in the initial state, has the potential to be one of the important steps for the Anatolian culinary culture to finally reach the place it deserves. In this context, it is important to produce and develop new ideas on “Green Generation Restaurant …
Pandemic Time And Tourism In Oecd Countries: Artificial Intelligence And Digital Platforms, Alfonso Marino, Paolo Pariso, Michele Picariello
Pandemic Time And Tourism In Oecd Countries: Artificial Intelligence And Digital Platforms, Alfonso Marino, Paolo Pariso, Michele Picariello
University of South Florida (USF) M3 Publishing
Introduction underline the three phases related to sector crisis, Background, starting from literature highlight the importance of what are the main actions implemented in 38 Member States. Methodology, with SPAD, elaborates a qualitative and quantitative set of policy responses that are displayed in Results. Discussions highlight the different approaches within the OECD area, but also the absence of a common strategy to exit to the sector crisis. The conclusion emphasizes that crisis response policies still need to be built and developed in the OECD area, even though initial responses showed strong responses in individual Member States that did not address …
An Attempt To Develop A Measurement Tool For Interpretation Performance Of Tourist Guides, Gizem Capar, Dilek Atci
An Attempt To Develop A Measurement Tool For Interpretation Performance Of Tourist Guides, Gizem Capar, Dilek Atci
University of South Florida (USF) M3 Publishing
The search for different experiences in touristic visits brings the necessity of differentiating the tours for tour guides with. Interpretation lies at the heart of this differentiation. This research aims to examine the structure of interpretation performance of tour guides empirically within the framework of E.R.O.T/T.O.R.E model. For this purpose, in line with the literature firstly conceptual structure of interpretation performance and interpretative guiding was determined, then expert opinion was sought with the expression pool consisting of draft statements. After expertising process, the measurement tool was first applied on a sample of 191 participants. For preliminary analysis the performance of …
Bibliometric Profile Of Studies In The International Literature On Sustainability Aviation, Nil Konyalilar
Bibliometric Profile Of Studies In The International Literature On Sustainability Aviation, Nil Konyalilar
University of South Florida (USF) M3 Publishing
In the research, bibliometric profiles of publications in which the concepts of sustainability and aviation are used together were revealed. As a publication, the studies reached by scanning the words sustainability and airline/airway/aviation in the Scopus database were considered. A total of 80 studies published between 1984-2022 were the subject of the research. The data obtained within the scope of the research were reached on January 10, 2022. Examined publications; publication year, authors, field, institution of publication, country of publication, type of publication, cited journals and keywords used in the research. Research data were also analyzed in the VOSviewer bibliographic …
A Mesh-Free Method Using Piecewise Deep Neural Network For Elliptic Interface Problems, Cuiyu He, Xiaozhe Hu, Lin Mu
A Mesh-Free Method Using Piecewise Deep Neural Network For Elliptic Interface Problems, Cuiyu He, Xiaozhe Hu, Lin Mu
School of Mathematical and Statistical Sciences Faculty Publications and Presentations
In this paper, we propose a novel mesh-free numerical method for solving the elliptic interface problems based on deep learning. We approximate the solution by the neural networks and, since the solution may change dramatically across the interface, we employ different neural networks for each sub-domain. By reformulating the interface problem as a least-squares problem, we discretize the objective function using mean squared error via sampling and solve the proposed deep least-squares method by standard training algorithms such as stochastic gradient descent. The discretized objective function utilizes only the point-wise information on the sampling points and thus no underlying mesh …
The Optimization Of Anion Exchange Membrane Fuel Cells And Water Electrolyzers By Varying Catalyst Design And Changing Gas Inlet Composition, Jasmine D. Bohannon
The Optimization Of Anion Exchange Membrane Fuel Cells And Water Electrolyzers By Varying Catalyst Design And Changing Gas Inlet Composition, Jasmine D. Bohannon
Theses and Dissertations
Researchers around the globe are looking to avoid the consequences of climate change by shifting away from the burning of fossil fuels as a source of energy. While using fossil fuels have negatively affected the earth’s climate for at least the last hundred and fifty years, the introduction of renewables looks to use abundant and naturally occurring resources. Sources of renewable energy include solar power, wind power, hydropower, geothermal energy, and biomass2 . These sources work by converting the abundant source into mechanical, electrical, or chemical energy that can be used to power industrial plants or residential areas and they …
Sources And Cycling Of Neodymium And Rare Earth Elements In The Arctic Amerasian Basin And Bering Sea, Brian D. Duggan
Sources And Cycling Of Neodymium And Rare Earth Elements In The Arctic Amerasian Basin And Bering Sea, Brian D. Duggan
Theses and Dissertations
The isotopic composition of dissolved neodymium (143Nd/144Nd, expressed as εNd) behaves quasi-conservatively in the ocean and has been used as a palaeoceanographic tracer of ocean circulation. The εNd value of water masses is acquired—and often altered—during interaction with sediments along the margins; however, the processes involved in seawater εNd acquisition remains poorly characterized and quantified. Here we report the results of 349 Nd isotope and 354 rare earth element (REE) concentration measurements from 27 water column profiles across the Bering shelf and through the Arctic Amerasian Basin collected during U.S. Arctic GEOTRACES cruise HLY1502 (GEOTRACES section …
Self-Assembling Porous Supramolecular Networks Capable Of Post-Synthetic Modification With A New Approach To Reticular Design With Semiconductor Potential, Steven A. Sloope
Self-Assembling Porous Supramolecular Networks Capable Of Post-Synthetic Modification With A New Approach To Reticular Design With Semiconductor Potential, Steven A. Sloope
Theses and Dissertations
In past decades, research in self-assembling supramolecular frameworks have been produced with vast surface area, inherent from their porous nature. Predesigning monomers in a reticular manner allows a framework’s structure to be known before self-assembly occurs. This is very helpful since high porosity is sought after for many purposes such as hosting guests within the framework, post-synthetic modifications, sensing and detection, selective catalysis, semiconduction, etc. Methods of design usually focus on forming intrinsic porosity and unfortunately, sometimes the network formed is not as expected and porosity is lost.
In Chapter 1, we discuss novel ways of network formation, their potential …
Search For Triple-Proton Decay Using Machine Learning With Cuore, Douglas Adams
Search For Triple-Proton Decay Using Machine Learning With Cuore, Douglas Adams
Theses and Dissertations
A framework to search for a triple-proton decay of 130Te in the CUORE detector against a background of muons is presented. We use machine learning to classify different kinds of energy depositing events. We use the classification information to improve our detection or non-detection limits of a triple-proton decay process. We derive and use a methodology of combining Poisson counting statistics with supervised classification machine learning tools. Additionally, a sensitivity calculation is provided which uses the classification counting likelihood. Using our analysis technique, we achieve an lower 2σ half-life bound of 7.43×1024yrs for triple-proton decay of …
Tropical Cyclone And Ocean-Atmosphere Interactions In The Gulf Of Mexico, Emily Nichole Eley
Tropical Cyclone And Ocean-Atmosphere Interactions In The Gulf Of Mexico, Emily Nichole Eley
Theses and Dissertations
The Gulf of Mexico (GoM) is historically a favorable region for the formation, maintenance and intensification of tropical cyclones that frequently evolve into powerful hurricanes. These natural disasters threaten the basin’s innate habitat and wildlife diversity, and the expansive coastal economies and communities. The dominant ocean circulation feature in the GoM is the Loop Current System (LCS) which includes the Loop Current (LC) and its associated mesoscale eddy field. The LC originates at the Yucatán Channel, loops anticyclonically into the basin, and ends at the Florida Straits; further it produces both anticyclonic and cyclonic eddies. The existence of the LCS …
Urban Flooding Accelerates The Affordable Housing Shortage: A Case Study In Columbia, South Carolina, Mary Hannah Lindsay
Urban Flooding Accelerates The Affordable Housing Shortage: A Case Study In Columbia, South Carolina, Mary Hannah Lindsay
Theses and Dissertations
The state of South Carolina stands at the corner where climate change and the housing crisis meet. The affordable housing stock across South Carolina continues to deplete as its major cities experience urban flooding events due to outdated and weakened infrastructure, compounded by an intensification of storm systems brought on by a changing climate. Lower income communities are forced to accept lesser living conditions and less resilient housing options because these options are more affordable. Renters are often met with more challenges when navigating disaster recovery compared to homeowners. Using a case study established in Columbia, South Carolina of the …
Magnetic Field Directed Self-Assembly Of Colloidal Nanoparticles Via Extreme Field Gradients Of Magnetic Recording Media, Abdul Rahman Mohtasebzadeh
Magnetic Field Directed Self-Assembly Of Colloidal Nanoparticles Via Extreme Field Gradients Of Magnetic Recording Media, Abdul Rahman Mohtasebzadeh
Theses and Dissertations
Magnetic nanoparticles have been extensively studied over the last half century and continue to sustain interest due to their potential use in different fields. This research explores Magnetic Field Directed Self-Assembly of magnetic nanoparticles using a magnetic disk drive. The magnetic fields generated by the bits in a magnetic disk drive have rapidly changing field gradients that can self-assemble magnetic nanoparticles into various shapes. We demonstrate the ability to record and read field gradients on a commercial disk drive medium and to use monodisperse iron oxide nanoparticles to achieve self-assembly. We use image analysis techniques to quantify parameters related to …
Empirical Studies On Automated Software Testing Practices, Alireza Salahirad
Empirical Studies On Automated Software Testing Practices, Alireza Salahirad
Theses and Dissertations
Software testing is notoriously difficult and expensive, and improper testing carries economic, legal, and even environmental or medical risks. Research in software testing is critical to enabling the development of the robust software that our society relies upon. This dissertation aims to lower the cost of software testing without decreasing the quality by focusing on the use of automation. The dissertation consists of three empirical studies on aspects of software testing. Specifically, these three projects focus on (1) mapping the connections between research topics and the evolution of research topics in the field of software testing, (2) an assessment of …
Looking Through Their Lenses: An Analysis Of Virginia Environmental Nonprofits' Roles And Challenges In Shoreline Management For Coastal Resilience, Taiwo C. Olanrewaju Lasisi
Looking Through Their Lenses: An Analysis Of Virginia Environmental Nonprofits' Roles And Challenges In Shoreline Management For Coastal Resilience, Taiwo C. Olanrewaju Lasisi
School of Public Service Theses & Dissertations
Environmental nonprofit organizations have emerged to attend to the environmental needs of individuals and communities. Some of these needs are usually those that have been neglected, given insufficient attention, or cannot be singularly handled by the government. In advocating for coastal resilience, environmental nonprofits have been identified as actors who address coastal issues like sea-level rise, flooding, and shoreline management.
Shoreline management involves building setbacks and formulating short and long-term defense strategies such as building living shorelines, ripraps, bulkheads, and tree plantings. These strategies formed the basis of coastal defense in coastal zones. Shoreline management is a significant area of …
Field Experiments In Operations Management, Yang Gao, Meng Li, Shujing Sun
Field Experiments In Operations Management, Yang Gao, Meng Li, Shujing Sun
Research Collection School Of Computing and Information Systems
While the field experiment is a powerful and well-established method to investigate causal relationships, operations management (OM) has embraced this methodology only in recent years. This paper provides a comprehensive review of the existing OM literature leveraging field experiments and serves as a one-stop guide for future application of field experiments in the OM area. We start by recapping the characteristics that distinguish field experiments from other common types of experiments and organizing the relevant OM studies by topic. Corresponding to the commonly overlooked issues in field experiment-based OM studies, we then provide a detailed roadmap, ranging from experimental design …
Soci: A Toolkit For Secure Outsourced Computation On Integers, Bowen Zhao, Jiaming Yuan, Ximeng Liu, Yongdong Wu, Hwee Hwa Pang, Robert H. Deng
Soci: A Toolkit For Secure Outsourced Computation On Integers, Bowen Zhao, Jiaming Yuan, Ximeng Liu, Yongdong Wu, Hwee Hwa Pang, Robert H. Deng
Research Collection School Of Computing and Information Systems
Secure outsourced computation is a key technique for protecting data security and privacy in the cloud. Although fully homomorphic encryption (FHE) enables computations over encrypted data, it suffers from high computation costs in order to support an unlimited number of arithmetic operations. Recently, secure computations based on interactions of multiple computation servers and partially homomorphic encryption (PHE) were proposed in the literature, which enable an unbound number of addition and multiplication operations on encrypted data more efficiently than FHE and do not add any noise to encrypted data; however, these existing solutions are either limited in functionalities (e.g., computation on …
Softskip: Empowering Multi-Modal Dynamic Pruning For Single-Stage Referring Comprehension, Dulanga Weerakoon, Vigneshwaran Subbaraju, Tuan Tran, Archan Misra
Softskip: Empowering Multi-Modal Dynamic Pruning For Single-Stage Referring Comprehension, Dulanga Weerakoon, Vigneshwaran Subbaraju, Tuan Tran, Archan Misra
Research Collection School Of Computing and Information Systems
Supporting real-time referring expression comprehension (REC) on pervasive devices is an important capability for human-AI collaborative tasks. Model pruning techniques, applied to DNN models, can enable real-time execution even on resource-constrained devices. However, existing pruning strategies are designed principally for uni-modal applications, and suffer a significant loss of accuracy when applied to REC tasks that require fusion of textual and visual inputs. We thus present a multi-modal pruning model, LGMDP, which uses language as a pivot to dynamically and judiciously select the relevant computational blocks that need to be executed. LGMDP also introduces a new SoftSkip mechanism, whereby 'skipped' visual …
Transplantfix: Graph Differencing-Based Code Transplantation For Automated Program Repair, Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei, David Lo, Jiayu He
Transplantfix: Graph Differencing-Based Code Transplantation For Automated Program Repair, Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei, David Lo, Jiayu He
Research Collection School Of Computing and Information Systems
Automated program repair (APR) holds the promise of aiding manual debugging activities. Over a decade of evolution, a broad range of APR techniques have been proposed and evaluated on a set of real-world bug datasets. However, while more and more bugs have been correctly fixed, we observe that the growth of newly fixed bugs by APR techniques has hit a bottleneck in recent years. In this work, we explore the possibility of addressing complicated bugs by proposing TransplantFix, a novel APR technique that leverages graph differencing-based transplantation from the donor method. The key novelty of TransplantFix lies in three aspects: …
Lawbreaker: An Approach For Specifying Traffic Laws And Fuzzing Autonomous Vehicles, Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
Lawbreaker: An Approach For Specifying Traffic Laws And Fuzzing Autonomous Vehicles, Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
Research Collection School Of Computing and Information Systems
Autonomous driving systems (ADSs) must be tested thoroughly before they can be deployed in autonomous vehicles. High-fidelity simulators allow them to be tested against diverse scenarios, including those that are difficult to recreate in real-world testing grounds. While previous approaches have shown that test cases can be generated automatically, they tend to focus on weak oracles (e.g. reaching the destination without collisions) without assessing whether the journey itself was undertaken safely and satisfied the law. In this work, we propose LawBreaker, an automated framework for testing ADSs against real-world traffic laws, which is designed to be compatible with different scenario …
Two Singapore Public Healthcare Ai Applications For National Screening Programs And Other Examples, Andy Wee An Ta, Han Leong Goh, Christine Ang, Lian Yeow Koh, Ken Poon, Steven M. Miller
Two Singapore Public Healthcare Ai Applications For National Screening Programs And Other Examples, Andy Wee An Ta, Han Leong Goh, Christine Ang, Lian Yeow Koh, Ken Poon, Steven M. Miller
Research Collection School Of Computing and Information Systems
This article explains how two AI systems have been incorporated into the everyday operations of two Singapore public healthcare nation-wide screening programs. The first example is embedded within the setting of a national level population health screening program for diabetes related eye diseases, targeting the rapidly increasing number of adults in the country with diabetes. In the second example, the AI assisted screening is done shortly after a person is admitted to one of the public hospitals to identify which inpatients—especially which elderly patients with complex conditions—have a high risk of being readmitted as an inpatient multiple times in the …
Qvip: An Ilp-Based Formal Verification Approach For Quantized Neural Networks, Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
Qvip: An Ilp-Based Formal Verification Approach For Quantized Neural Networks, Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
Research Collection School Of Computing and Information Systems
Deep learning has become a promising programming paradigm in software development, owing to its surprising performance in solving many challenging tasks. Deep neural networks (DNNs) are increasingly being deployed in practice, but are limited on resource-constrained devices owing to their demand for computational power. Quantization has emerged as a promising technique to reduce the size of DNNs with comparable accuracy as their floating-point numbered counterparts. The resulting quantized neural networks (QNNs) can be implemented energy-efficiently. Similar to their floating-point numbered counterparts, quality assurance techniques for QNNs, such as testing and formal verification, are essential but are currently less explored. In …
Ergo: Event Relational Graph Transformer For Document-Level Event Causality Identification, Meiqi Chen, Yixin Cao, Kunquan Deng, Mukai Li, Kun Wang, Jing Shao, Yan Zhang
Ergo: Event Relational Graph Transformer For Document-Level Event Causality Identification, Meiqi Chen, Yixin Cao, Kunquan Deng, Mukai Li, Kun Wang, Jing Shao, Yan Zhang
Research Collection School Of Computing and Information Systems
Document-level Event Causality Identification (DECI) aims to identify event-event causal relations in a document. Existing works usually build an event graph for global reasoning across multiple sentences. However, the edges between events have to be carefully designed through heuristic rules or external tools. In this paper, we propose a novel Event Relational Graph TransfOrmer (ERGO) framework1 for DECI, to ease the graph construction and improve it over the noisy edge issue. Different from conventional event graphs, we define a pair of events as a node and build a complete event relational graph without any prior knowledge or tools. This naturally …