Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Earth Sciences (58709)
- Computer Sciences (57896)
- Environmental Sciences (52353)
- Engineering (40188)
- Life Sciences (39752)
-
- Physics (36514)
- Chemistry (34505)
- Geology (29714)
- Mathematics (27371)
- Social and Behavioral Sciences (24559)
- Oceanography and Atmospheric Sciences and Meteorology (16420)
- Statistics and Probability (13243)
- Education (12801)
- Computer Engineering (12790)
- Soil Science (11973)
- Medicine and Health Sciences (11777)
- Plant Sciences (11181)
- Natural Resources and Conservation (10265)
- Arts and Humanities (9725)
- Astrophysics and Astronomy (9199)
- Electrical and Computer Engineering (8896)
- Sustainability (8673)
- Natural Resources Management and Policy (8565)
- Artificial Intelligence and Robotics (8475)
- Water Resource Management (8291)
- Applied Mathematics (7987)
- Environmental Health and Protection (6879)
- Science and Mathematics Education (6755)
- Databases and Information Systems (6717)
- Institution
-
- University of Nebraska - Lincoln (24230)
- Western Michigan University (19508)
- Selected Works (16838)
- University of Kentucky (12002)
- TÜBİTAK (10317)
-
- Singapore Management University (7445)
- Utah State University (7340)
- Missouri University of Science and Technology (6056)
- Old Dominion University (5947)
- University of Wollongong (4868)
- William & Mary (4602)
- University of South Florida (3859)
- Wright State University (3840)
- Portland State University (3797)
- University of Nevada, Las Vegas (3639)
- Louisiana State University (3417)
- China Simulation Federation (3363)
- City University of New York (CUNY) (3219)
- Brigham Young University (2906)
- Purdue University (2813)
- Air Force Institute of Technology (2678)
- Claremont Colleges (2640)
- California Polytechnic State University, San Luis Obispo (2553)
- 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 (2352)
- University of Texas at El Paso (2315)
- Chinese Chemical Society | Xiamen University (2294)
- Chulalongkorn University (2268)
- Keyword
-
- Machine learning (1686)
- Climate change (1680)
- Western Australia (1581)
- Mathematics (1369)
- Chemistry (1157)
-
- Sustainability (1141)
- Physics (1068)
- Water quality (983)
- Deep learning (890)
- Geology (858)
- Groundwater (851)
- Machine Learning (826)
- Simulation (824)
- Research and Technical Reports (797)
- Water (780)
- United States (757)
- Education (755)
- Management (745)
- Nebraska (744)
- Agriculture (718)
- Artificial intelligence (704)
- Climate (702)
- GIS (698)
- Statistics (685)
- Security (681)
- Grains and field crops (674)
- Environment (672)
- Computer Science (667)
- Ecology (657)
- Optimization (656)
- Publication Year
-
- 2024 (7799)
- 2023 (12566)
- 2022 (18295)
- 2021 (27876)
- 2020 (15205)
-
- 2019 (15926)
- 2018 (13643)
- 2017 (12520)
- 2016 (12675)
- 2015 (12617)
- 2014 (12299)
- 2013 (11461)
- 2012 (12196)
- 2011 (10326)
- 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 (6884)
- Thin Sections (5745)
-
- Electronic Theses and Dissertations (4194)
- Faculty Publications (3783)
- Journal of System Simulation (3363)
- 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 (2158)
- 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 (1476)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (1427)
- Publication Type
Articles 11821 - 11850 of 302419
Full-Text Articles in Physical Sciences and Mathematics
Flow Dynamics In Cardiovascular Devices: A Comprehensive Review, Venant Niyonkuru, Bosco Jean Ndayishimiye Dr, Anicet Barthélemy Sibomana
Flow Dynamics In Cardiovascular Devices: A Comprehensive Review, Venant Niyonkuru, Bosco Jean Ndayishimiye Dr, Anicet Barthélemy Sibomana
Digital Journal of Clinical Medicine
This review explores flow dynamics in cardiovascular devices, focusing on fundamental fluid mechanics principles and normal blood flow patterns. It discusses the role of different structures in maintaining flow dynamics and the importance of stents, heart valves, artificial hearts, and ventricular assist devices in cardiovascular interventions. The review emphasizes the need for optimized designs and further research to enhance knowledge of flow dynamics in cardiovascular devices, advancing the field and improving patient care in cardiovascular interventions.
Deep Weakly-Supervised Anomaly Detection, Guansong Pang, Chunhua Shen, Huidong Jin, Anton Van Den Hengel
Deep Weakly-Supervised Anomaly Detection, Guansong Pang, Chunhua Shen, Huidong Jin, Anton Van Den Hengel
Research Collection School Of Computing and Information Systems
Recent semi-supervised anomaly detection methods that are trained using small labeled anomaly examples and large unlabeled data (mostly normal data) have shown largely improved performance over unsupervised methods. However, these methods often focus on fitting abnormalities illustrated by the given anomaly examples only (i.e., seen anomalies), and consequently they fail to generalize to those that are not, i.e., new types/classes of anomaly unseen during training. To detect both seen and unseen anomalies, we introduce a novel deep weakly-supervised approach, namely Pairwise Relation prediction Network (PReNet), that learns pairwise relation features and anomaly scores by predicting the relation of any two …
Single-View View Synthesis With Self-Rectified Pseudo-Stereo, Yang Zhou, Hanjie Wu, Wenxi Liu, Zheng Xiong, Jing Qin, Shengfeng He
Single-View View Synthesis With Self-Rectified Pseudo-Stereo, Yang Zhou, Hanjie Wu, Wenxi Liu, Zheng Xiong, Jing Qin, Shengfeng He
Research Collection School Of Computing and Information Systems
Synthesizing novel views from a single view image is a highly ill-posed problem. We discover an effective solution to reduce the learning ambiguity by expanding the single-view view synthesis problem to a multi-view setting. Specifically, we leverage the reliable and explicit stereo prior to generate a pseudo-stereo viewpoint, which serves as an auxiliary input to construct the 3D space. In this way, the challenging novel view synthesis process is decoupled into two simpler problems of stereo synthesis and 3D reconstruction. In order to synthesize a structurally correct and detail-preserved stereo image, we propose a self-rectified stereo synthesis to amend erroneous …
A Predictive Flood Model For Urban Karst Groundwater Systems, Trayson Lawler
A Predictive Flood Model For Urban Karst Groundwater Systems, Trayson Lawler
Masters Theses & Specialist Projects
Urban karst environments are often plagued by groundwater flooding, which occurs when water rises from the subsurface to the surface through the underlying caves and other karst features. The heterogeneity and interconnectedness of karst systems often makes them very unpredictable, especially during intense storm events; urbanization exacerbates the problem with the addition of many impervious surfaces. Residents in such areas are frequently disturbed and financially burdened by the effects of karst groundwater flooding. The Federal Emergency Management Agency (FEMA) offers limited protection to citizens living near flood-prone areas as they primarily focus on the areas near surface bodies of water. …
A Comparison Of Computational Perfusion Imaging Techniques, Shaharina Shoha
A Comparison Of Computational Perfusion Imaging Techniques, Shaharina Shoha
Masters Theses & Specialist Projects
Dynamic contrast agent magnetic resonance perfusion imaging plays a vital role in various medical applications, including tumor grading, distinguishing between tumor types, guiding procedures, and evaluating treatment efficacy. Extracting essential biological parameters, such as cerebral blood flow (CBF), cerebral blood volume (CBV), and mean transit time (MTT), from acquired imaging data is crucial for making critical treatment decisions. However, the accuracy of these parameters can be compromised by the inherent noise and artifacts present in the source images.
This thesis focuses on addressing the challenges associated with parameter estimation in dynamic contrast agent magnetic resonance perfusion imaging. Specifically, we aim …
Hydrological Dynamics Of Surface-Groundwater Interactions Between Major Springs Of Mammoth Cave And The Green River, Kentucky, Usa, Matthew Cecil
Hydrological Dynamics Of Surface-Groundwater Interactions Between Major Springs Of Mammoth Cave And The Green River, Kentucky, Usa, Matthew Cecil
Masters Theses & Specialist Projects
Mammoth Cave is an iconic example of the cave and karst systems that underlie over 50% of the United States and provide around 13% of the world’s population with water resources. These environmental features are vulnerable to drought, pollution, and human impacts. The complex hydrological regime of the Mammoth Cave system has been studied in the past, but there are improvements and updates that can be made to the past research. The dynamics of the surface-groundwater system, particularly reversals of the Green River and how it backfloods into the cave, are some examples. Echo River and River Styx Springs provide …
Survey On Sentiment Analysis: Evolution Of Research Methods And Topics, Jingfeng Cui, Zhaoxia Wang, Seng-Beng Ho, Erik Cambria
Survey On Sentiment Analysis: Evolution Of Research Methods And Topics, Jingfeng Cui, Zhaoxia Wang, Seng-Beng Ho, Erik Cambria
Research Collection School Of Computing and Information Systems
Sentiment analysis, one of the research hotspots in the natural language processing field, has attracted the attention of researchers, and research papers on the field are increasingly published. Many literature reviews on sentiment analysis involving techniques, methods, and applications have been produced using different survey methodologies and tools, but there has not been a survey dedicated to the evolution of research methods and topics of sentiment analysis. There have also been few survey works leveraging keyword co-occurrence on sentiment analysis. Therefore, this study presents a survey of sentiment analysis focusing on the evolution of research methods and topics. It incorporates …
Metagenomic Profiling Of Cave Biofilms, With A Focus On Chemolithoautotrophy And Pseudonocardiaceae, John A. Fulginiti
Metagenomic Profiling Of Cave Biofilms, With A Focus On Chemolithoautotrophy And Pseudonocardiaceae, John A. Fulginiti
Masters Theses
The dark, humid, and nutrient depleted conditions of caves set limitations on habitability and result in microbial diversity and community structures that differ from surface environments. Recent studies investigating cave microbiomes reveal that Pseudonocardiaceae, a family of bacteria belonging to the phylum Actinomycetota, are abundant in cave sediment and on rocks as subaerial biofilms, however little work has been done on attempting to characterize their diversity and metabolism within the environment. This study used shotgun metagenomics to characterize the functional potential of Pseudonocardiaceae, as well as other cave microbes, in cave site KN14 located in Knox County, Tennessee. Functions of …
Cosmic Diffuse Neutrino And Gamma-Ray Backgrounds In The Mev Regime, Ilukpitiye Samalka Anandagoda
Cosmic Diffuse Neutrino And Gamma-Ray Backgrounds In The Mev Regime, Ilukpitiye Samalka Anandagoda
All Dissertations
Cosmic Multi-Messenger backgrounds include relic diffuse components created in the early Universe and contributions from individual sources. In this dissertation, I present the work done in Anandagoda (2019); Anandagoda et al. (2020, 2023) where type Ia (SNe Ia) and core-collapse supernovae (CCSNe) contributions to the diffuse neutrino and gamma-ray backgrounds in the MeV regime are studied. These backgrounds are referred to as DSNB and DSGB respectively. Based on this work, the diffuse SN Ia background is ~106 times lower (for electron antineutrinos) than the CCSN background making it negligible. The predicted DSNB electron antineutrino flux at earth in the …
Atom Economical Reactions Of Terpenoids And Post-Consumer Plastics With Sulfur, Charini Maladeniya
Atom Economical Reactions Of Terpenoids And Post-Consumer Plastics With Sulfur, Charini Maladeniya
All Dissertations
The production of Ordinary Portland Cement (OPC) and its uses have a complicated environmental impact, which is influenced by infrastructure development and building operations as well as CO2 emissions, which account for 7% of all worldwide CO2 emissions. Due to the increasing population, production is still ongoing. The search for cement and construction materials produced with zero to low CO2 emissions is therefore continuous. Finding recyclable, CO2 gas-free biocomposites with high sulfur content that can rival the mechanical properties of popular building supplies like Portland cement is the primary objective of the research discussed in this …
Motion Synthesis And Control For Autonomous Agents Using Generative Models And Reinforcement Learning, Pei Xu
All Dissertations
Imitating and predicting human motions have wide applications in both graphics and robotics, from developing realistic models of human movement and behavior in immersive virtual worlds and games to improving autonomous navigation for service agents deployed in the real world. Traditional approaches for motion imitation and prediction typically rely on pre-defined rules to model agent behaviors or use reinforcement learning with manually designed reward functions. Despite impressive results, such approaches cannot effectively capture the diversity of motor behaviors and the decision making capabilities of human beings. Furthermore, manually designing a model or reward function to explicitly describe human motion characteristics …
Recovering Coefficients Of Second-Order Hyperbolic And Plate Equations Via Finite Measurements On The Boundary, Scott Randall Scruggs
Recovering Coefficients Of Second-Order Hyperbolic And Plate Equations Via Finite Measurements On The Boundary, Scott Randall Scruggs
All Dissertations
Abstract In this dissertation, we consider the inverse problem for a second-order hyperbolic equation of recovering n + 3 unknown coefficients defined on an open bounded domain with a smooth enough boundary. We also consider the inverse problem of recovering an unknown coefficient on the Euler- Bernoulli plate equation on a lower-order term again defined on an open bounded domain with a smooth enough boundary. For the second-order hyperbolic equation, we show that we can uniquely and (Lipschitz) stably recover all these coefficients from only using half of the corresponding boundary measurements of their solutions, and for the plate equation, …
All Hands On Deck: Choosing Virtual End Effector Representations To Improve Near Field Object Manipulation Interactions In Extended Reality, Roshan Venkatakrishnan
All Hands On Deck: Choosing Virtual End Effector Representations To Improve Near Field Object Manipulation Interactions In Extended Reality, Roshan Venkatakrishnan
All Dissertations
Extended reality, or "XR", is the adopted umbrella term that is heavily gaining traction to collectively describe Virtual reality (VR), Augmented reality (AR), and Mixed reality (MR) technologies. Together, these technologies extend the reality that we experience either by creating a fully immersive experience like in VR or by blending in the virtual and "real" worlds like in AR and MR.
The sustained success of XR in the workplace largely hinges on its ability to facilitate efficient user interactions. Similar to interacting with objects in the real world, users in XR typically interact with virtual integrants like objects, menus, windows, …
Study Of Highly Charged Ion Charge Exchange With Applications To X-Ray Astrophysics, Richard Mattish
Study Of Highly Charged Ion Charge Exchange With Applications To X-Ray Astrophysics, Richard Mattish
All Dissertations
Highly charged ions (HCIs) exist in many hot astrophysical environments where they play an important role in plasma dynamics. Charge exchange involving highly charged ions has been shown to be responsible for many observed X-ray emissions from a variety of astrophysical sources. Proper modeling of these environments requires an understanding of this process, including the electronic structure of each ion species as well as their charge exchange cross sections. This dissertation investigates charge exchange processes with highly charged ions which are present in astrophysical environments via a laboratory-based study.
The Clemson University electron beam ion trap (CUEBIT) laboratory was utilized …
Hybridly Integrated Semiconductor Lasers And Amplifiers On Iii-V/Si3n4 Platform For Beam Combining And Other Advanced Applications, Siwei Zeng
All Dissertations
Photonic integrated circuits (PICs) are devices that integrate multiple photonic functions on a small chip and allow for accurate dimension control and massive production. Similar to electronic integrated circuits, PICs can significantly reduce the system cost, size, weight, and operation power (CSWaP). Recently, the PIC technology has transformed many optical technologies which traditionally rely on tabletop systems and bulky components, such as optical interconnects, nonlinear optics, and quantum photonics, into a chip-scale platform. This device and system miniaturization has successfully led to a wide range of practical applications in computing, sensing, spectroscopy, and communication. However, the traditional passive PIC platform …
Optimal Control Frameworks For Modeling Dynamics And Androgen Deprivation Therapies In Prostate Cancer, Hussein Ed Duweh
Optimal Control Frameworks For Modeling Dynamics And Androgen Deprivation Therapies In Prostate Cancer, Hussein Ed Duweh
Mathematics Dissertations
In this work, we present an optimal control approach for the assessment of treatments in prostate cancer. For this purpose, we use two different approaches, based on differential equations, to model the dynamics of prostate cancer. For the first approach, we use a system of ordinary differential equations (ODE) that model androgen-dependent and independent prostate cancer cell mechanisms. Given some synthetic patient data, we then performed a parameter estimation process by formulating an optimization problem to obtain the coefficients in this model. A second optimal control problem was formulated to obtain optimal androgen suppression therapies. A theoretical analysis of both …
A Comparative Study Of Vinti-Based Orbit Propagation And Estimation For Cubesats In Very Low Earth Orbits, Ethan Michael Senecal
A Comparative Study Of Vinti-Based Orbit Propagation And Estimation For Cubesats In Very Low Earth Orbits, Ethan Michael Senecal
Mechanical & Aerospace Engineering Theses & Dissertations
In recent years, there has been a growing interest in CubeSats and very low Earth orbit (VLEO) space missions. Mission SeaLion, a collaborative CubeSat mission between Old Dominion University, the U.S. Coast Guard Academy, and U.S. Air Force Institute of Technology, planned to launch a 3U CubeSat into VLEO. The VLEO mission is a particularly challenging environment for navigation and orbit propagation because drag introduces a significant perturbation for orbit models such as SGP4. Additionally, mission requirements left no capacity for attitude determination or control, further reducing knowledge of drag behavior of the satellite in flight. This deficiency is a …
Tidal Flooding In The Mid-Atlantic Region Of The Us: Water Quality Effects In The Lower Chesapeake Bay, Alfonso Macias Tapia
Tidal Flooding In The Mid-Atlantic Region Of The Us: Water Quality Effects In The Lower Chesapeake Bay, Alfonso Macias Tapia
OES Theses and Dissertations
Many coastal areas around the globe suffer from nutrient pollution and its environmental, social, and economic consequences. Nutrient inputs can come from point (e.g., the end of a pipe) and nonpoint sources, from which the former are better constrained as sampling need only be conducted at a discharge point. Given the temporal and spatially extensive nature of tidal flooding events, they can represent another type of nonpoint source of nutrients to adjacent water bodies heretofore, unexamined and quantified. Most studies examining impacts of tidal flooding have focused on threats to resources on land, such as urban infrastructure and human health …
Nitrogen Cycling In The Lower Chesapeake Bay And Mid- And South Atlantic Bight, Yifan Zhu
Nitrogen Cycling In The Lower Chesapeake Bay And Mid- And South Atlantic Bight, Yifan Zhu
OES Theses and Dissertations
Nitrogen (N) is central to marine primary production; its availability often limits the capacity and rates of primary productivity in most of the world’s oceans. Contrastingly, estuaries frequently receive anthropogenic N loading, oftentimes resulting in eutrophication, harmful algal blooms (HABs), and substantially degraded water quality. Nutrient variability in both estuaries and oceanic regimes results from meteorological forcing and physical processes, including wind-induced, tidal, and mesoscale mixing and upwelling. In this dissertation, a comprehensive investigation of N variability and cycling and its links to physical-biogeochemical processes was conducted using time-series monitoring approaches, flux estimations, satellite imaging, biogeochemical measurements, and molecular analyses. …
History Of Ice-Rafting In The Arctic Ocean During Glacial Maxima Through Marine Isotope Stage 6, Shannon M. Cofield
History Of Ice-Rafting In The Arctic Ocean During Glacial Maxima Through Marine Isotope Stage 6, Shannon M. Cofield
OES Theses and Dissertations
Numerous studies attempted to reconstruct Arctic paleoclimate, specifically ice mass timing and locations, during glacial maxima. While some regions, like the Barents-Svalbard Ice Sheet (BSIS) are well-studied, they may benefit from a high-resolution paleo proxy. Other regions are highly contested, such as the East Siberian Sea or the presence of a central Arctic Ocean ice mass.
This research uses an Fe-grain provenance method to (1) define how the BSIS behaved during Marine Isotope Stage (MIS) 2, 4, and 6, and when it retreated; (2) determine the presence and ages of Shelf Ice Masses (SIMs) in the Beaufort Sea and East …
Null Space Removal In Finite Element Discretizations, Pengfei Jia
Null Space Removal In Finite Element Discretizations, Pengfei Jia
All Theses
Partial differential equations are frequently utilized in the mathematical formulation of physical problems. Boundary conditions need to be applied in order to obtain the unique solution to such problems. However, some types of boundary conditions do not lead to unique solutions because the continuous problem has a null space. In this thesis, we will discuss how to solve such problems effectively. We first review the foundation of all three problems and prove that Laplace problem, linear elasticity problem and Stokes problem can be well posed if we restrict the test and trial space in the continuous and discrete finite element …
Evaluating The Feasibility Of Using Strain Measured During Sinusoidal Rate Pumping Tests To Characterize An Aquifer, Riley Blais
Evaluating The Feasibility Of Using Strain Measured During Sinusoidal Rate Pumping Tests To Characterize An Aquifer, Riley Blais
All Theses
Pumping tests with sinusoidal variation in pumping rate have been proposed as a method for improving aquifer characterization. These tests can interrogate a larger aquifer volume than slug tests and they can be more sensitive to small variations in drawdown. Current methods of using sinusoidal variations of rate are based on measuring pressure signals from the reservoir or aquifer, which requires access to monitoring wells. An alternative approach has been developed that measures the strain in the vadose zone instead of pressure in the reservoir. An instrument has been developed at Clemson University that can measure small strains using optical …
Characterization Of Mechanically Recycled Polylactic Acid (Pla) Filament For 3d-Printing By Evaluating Mechanical, Thermal, And Chemical Properties And Process Performance, Mahsa Shabani Samghabady
Characterization Of Mechanically Recycled Polylactic Acid (Pla) Filament For 3d-Printing By Evaluating Mechanical, Thermal, And Chemical Properties And Process Performance, Mahsa Shabani Samghabady
All Theses
Polylactic acid (PLA) is a biopolymer made from renewable resources such as sugar and corn. PLA filament is a popular material used in Fused Deposition Modeling (FDM) 3D-printing. While this material has many advantages, all the failed parts, support structures, rafts, nozzle tests, and the many prototype iterations during the 3D-printing process contribute to the plastic pollution and release of greenhouse gases. Although PLA is biodegradable, it can take years to degrade in landfills. Instead of throwing away PLA waste and buying new filaments, PLA can be recycled. Amongst the different recycling technologies, mechanical recycling is the most environmentally friendly. …
Multi-Commodity Flow Models For Logistic Operations Within A Contested Environment, Isabel Strinsky
Multi-Commodity Flow Models For Logistic Operations Within A Contested Environment, Isabel Strinsky
All Theses
Today's military logistics officers face a difficult challenge, generating route plans for mass deployments within contested environments. The current method of generating route plans is inefficient and does not assess the vulnerability within supply networks and chains. There are few models within the current literature that provide risk-averse solutions for multi-commodity flow models. In this thesis, we discuss two models that have the potential to aid military planners in creating route plans that account for risk and uncertainty. The first model we introduce is a continuous time model with chance constraints. The second model is a two-stage discrete time model …
Formalizing Stack Safety As A Security Property, Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
Formalizing Stack Safety As A Security Property, Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
Computer Science Faculty Publications and Presentations
The term stack safety is used to describe a variety of compiler, runtime, and hardware mechanisms for protecting stack memory. Unlike “the heap,” the ISA-level stack does not correspond to a single high-level language concept: different compilers use it in different ways to support procedural and functional abstraction mechanisms from a wide range of languages. This protean nature makes it difficult to nail down what it means to correctly enforce stack safety.
Lepton Flavor Violation And Lepton Flavor Universality Violation: Opportunity For New Physics Beyond The Standard Model, Fang Xu
Arts & Sciences Electronic Theses and Dissertations
The Standard Model (SM) of Particle Physics has been remarkably successful in explaining the fundamental forces and classifying elementary particles. However, there are various experimental and theoretical indications that suggest the need to go beyond the SM (BSM) and expand our understanding of the fundamental nature of the universe. From a theoretical perspective, there are several limitations of the SM that suggest the existence of a more fundamental theory. For example, the SM does not incorporate gravity, and it fails to explain the hierarchy problem. Additionally, the nature of dark matter and the origin of the mass hierarchy of elementary …
Grasp Based Metaheuristic To Solve The Mixed Fleet E-Waste Collection Route Planning Problem, Aldy Gunawan, Dang V.A. Nguyen, Pham K.M. Nguyen, Pieter. Vansteenwegen
Grasp Based Metaheuristic To Solve The Mixed Fleet E-Waste Collection Route Planning Problem, Aldy Gunawan, Dang V.A. Nguyen, Pham K.M. Nguyen, Pieter. Vansteenwegen
Research Collection School Of Computing and Information Systems
The digital economy has brought significant advancements in electronic devices, increasing convenience and comfort in people’s lives. However, this progress has also led to a shorter life cycle for these devices due to rapid advancements in hardware and software technology. As a result, e-waste collection and recycling have become vital for protecting the environment and people’s health. From the operations research perspective, the e-waste collection problem can be modeled as the Heterogeneous Vehicle Routing Problem with Multiple Time Windows (HVRP-MTW). This study proposes a metaheuristic based on the Greedy Randomized Adaptive Search Procedure complemented by Path Relinking (GRASP-PR) to solve …
The 4th International Workshop On Talent And Management Computing (Tmc'2023): Editorial, Hengshu Zhu, Hui Xiong, Yong Ge, Ee-Peng Lim
The 4th International Workshop On Talent And Management Computing (Tmc'2023): Editorial, Hengshu Zhu, Hui Xiong, Yong Ge, Ee-Peng Lim
Research Collection School Of Computing and Information Systems
In today's competitive and fast-evolving business environment, it is a critical time for organizations to rethink how to deal with the talent and management related tasks in a quantitative manner. Indeed, thanks to the era of big data, the availability of large-scale talent data provides unparalleled opportunities for business leaders to understand the rules of talent and management, which in turn deliver intelligence for effective decision making and management for their organizations. In the past few years, talent and management computing have increasingly attracted attentions from KDD communities, and a number of research/applied data science efforts have been devoted. To …
Transferable Curricula Through Difficulty Conditioned Generators, Sidney Tio, Pradeep Varakantham
Transferable Curricula Through Difficulty Conditioned Generators, Sidney Tio, Pradeep Varakantham
Research Collection School Of Computing and Information Systems
Advancements in reinforcement learning (RL) have demonstrated superhuman performance in complex tasks such as Starcraft, Go, Chess etc. However, knowledge transfer from Artificial "Experts" to humans remain a significant challenge. A promising avenue for such transfer would be the use of curricula. Recent methods in curricula generation focuses on training RL agents efficiently, yet such methods rely on surrogate measures to track student progress, and are not suited for training robots in the real world (or more ambitiously humans). In this paper, we introduce a method named Parameterized Environment Response Model (PERM) that shows promising results in training RL agents …
Decompiling X86 Deep Neural Network Executables, Zhibo Liu, Yuanyuan Yuan, Shuai Wang, Xiaofei Xie, Lei Ma
Decompiling X86 Deep Neural Network Executables, Zhibo Liu, Yuanyuan Yuan, Shuai Wang, Xiaofei Xie, Lei Ma
Research Collection School Of Computing and Information Systems
Due to their widespread use on heterogeneous hardware devices, deep learning (DL) models are compiled into executables by DL compilers to fully leverage low-level hardware primitives. This approach allows DL computations to be undertaken at low cost across a variety of computing platforms, including CPUs, GPUs, and various hardware accelerators. We present BTD (Bin to DNN), a decompiler for deep neural network (DNN) executables. BTD takes DNN executables and outputs full model specifications, including types of DNN operators, network topology, dimensions, and parameters that are (nearly) identical to those of the input models. BTD delivers a practical framework to process …