Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Environmental Sciences (28704)
- Earth Sciences (25913)
- Computer Sciences (24345)
- Physics (19486)
- Geology (16402)
-
- Engineering (14984)
- Life Sciences (14109)
- Chemistry (11048)
- Mathematics (10514)
- Social and Behavioral Sciences (9292)
- Oceanography and Atmospheric Sciences and Meteorology (8431)
- Education (6245)
- Natural Resources and Conservation (6087)
- Natural Resources Management and Policy (5817)
- Astrophysics and Astronomy (5810)
- Water Resource Management (5695)
- Arts and Humanities (5177)
- Statistics and Probability (4925)
- Environmental Health and Protection (4780)
- Science and Mathematics Education (4399)
- History (4101)
- Databases and Information Systems (3924)
- Mechanical Engineering (3801)
- Computer Engineering (3753)
- Environmental Monitoring (3749)
- History of Science, Technology, and Medicine (3699)
- Sustainability (3646)
- Medicine and Health Sciences (3566)
- United States History (3450)
- Institution
-
- University of Nebraska - Lincoln (22570)
- Western Michigan University (12208)
- Singapore Management University (5866)
- University of Wollongong (4830)
- Utah State University (4466)
-
- Old Dominion University (3117)
- Wright State University (2676)
- University of Kentucky (2665)
- Missouri University of Science and Technology (2530)
- University of Massachusetts Amherst (2408)
- University of Pennsylvania (2306)
- William & Mary (2254)
- Portland State University (2241)
- City University of New York (CUNY) (2122)
- Technological University Dublin (2044)
- University of Nevada, Las Vegas (1946)
- Purdue University (1906)
- California Polytechnic State University, San Luis Obispo (1602)
- Dartmouth College (1496)
- University of Colorado Law School (1476)
- Department of Primary Industries and Regional Development, Western Australia (1433)
- Western Kentucky University (1403)
- University of Texas Rio Grande Valley (1399)
- Edith Cowan University (1300)
- Syracuse University (1277)
- Marquette University (1176)
- COBRA (1119)
- University of New Hampshire (1104)
- Chapman University (1043)
- Nova Southeastern University (985)
- Keyword
-
- Western Australia (1066)
- Climate change (816)
- Research and Technical Reports (787)
- Nebraska (703)
- Grains and field crops (645)
-
- United States (607)
- Physics (565)
- Mathematics (557)
- Water quality (533)
- Groundwater (532)
- Sustainability (514)
- Chemistry (512)
- Virginia (507)
- Management (467)
- 2014 International Conference on Hydroinformatics HIC (464)
- Water (459)
- Data (455)
- Machine learning (427)
- Utah (387)
- Kentucky (381)
- GIS (373)
- Colorado (336)
- Western Kentucky University (326)
- Geology (321)
- Conservation (319)
- Climate (317)
- Security (314)
- Education (302)
- Energy (301)
- Agriculture (293)
- Publication Year
- Publication
-
- Legacy Scout Tickets from Pure Oil Company (10919)
- Research Collection School Of Computing and Information Systems (5549)
- Faculty Publications (3592)
- Nebraska Tractor Tests (3301)
- Faculty of Informatics - Papers (Archive) (2013)
-
- Reports (1811)
- Physics Faculty Publications (1759)
- Department of Computer Science Technical Reports (1721)
- Australian Institute for Innovative Materials - Papers (1521)
- USDA Wildlife Services - Staff Publications (1412)
- Papers in Natural Resources (1396)
- Computer Science & Engineering Syllabi (1312)
- Articles (1244)
- Publications (1218)
- Legacy Color Lithology Strip Logs (1149)
- Physics Faculty Research & Creative Works (1148)
- Faculty of Science - Papers (Archive) (1143)
- Chemistry Faculty Publications (1118)
- Dartmouth Scholarship (1103)
- Publications and Research (1098)
- Departmental Technical Reports (CS) (973)
- USGS Staff -- Published Research (956)
- Mathematics Faculty Publications (876)
- Physics and Astronomy Faculty Publications (860)
- Conservation and Survey Division (807)
- Experimental Summaries - Plant Research (725)
- Physics (702)
- All Computer Science and Engineering Research (683)
- Euler Archive - All Works by Eneström Number (678)
- Computer Science Technical Reports (673)
Articles 1 - 30 of 134616
Full-Text Articles in Physical Sciences and Mathematics
Inferred Areal Extent Of The Oligocene (White River Group) Chadron Basal Sand, Conservation And Survey Division
Inferred Areal Extent Of The Oligocene (White River Group) Chadron Basal Sand, Conservation And Survey Division
Conservation and Survey Division
No abstract provided.
Pre-Tertiary Subcrop Rocks In The Nebraska Panhandle, Conservation Annd Survey Division
Pre-Tertiary Subcrop Rocks In The Nebraska Panhandle, Conservation Annd Survey Division
Conservation and Survey Division
No abstract provided.
Configuration Of The Base Of The Principal Aquifer, Conservation And Survey Division
Configuration Of The Base Of The Principal Aquifer, Conservation And Survey Division
Conservation and Survey Division
No abstract provided.
Leveraging Aruco Fiducial Marker System For Bridge Displacement Estimation Using Unmanned Aerial Vehicles, Mohamed Aly
Leveraging Aruco Fiducial Marker System For Bridge Displacement Estimation Using Unmanned Aerial Vehicles, Mohamed Aly
Computer Science and Engineering: Theses, Dissertations, and Student Research
The use of unmanned aerial vehicles (UAVs) in construction sites has been widely growing for surveying and inspection purposes. Their mobility and agility have enabled engineers to use UAVs in Structural Health Monitoring (SHM) applications to overcome the limitations of traditional approaches that require labor-intensive installation, extended time, and long-term maintenance. One of the critical applications of SHM is measuring bridge deflections during the bridge operation period. Due to the complex remote sites of bridges, remote sensing techniques, such as camera-equipped drones, can facilitate measuring bridge deflections. This work takes a step to build a pipeline using the state-of-the-art computer …
An Analysis Of Energy Production And Efficiency In Various Longbow Archery Models, Hannah Mcpherson
An Analysis Of Energy Production And Efficiency In Various Longbow Archery Models, Hannah Mcpherson
Honors Projects
An analysis of the energy production and efficiency of three lab-tested longbow models is undertaken. The first model, which is constructed to not allow flexing of limbs and which uses a frictionless cart and track in place of an arrow, demonstrated an efficiency of 50% +/- 40%. The second model, which is constructed similarly to the first with the exception of a wooden dowel now being used as an arrow-like object, demonstrated an efficiency of 13% +/- 3%. The last model, a 3D printed longbow with flexible limbs using the wooden dowel as an arrow-like object, demonstrated an efficiency of …
Logic And Rationality, Rohit J. Parikh
Logic And Rationality, Rohit J. Parikh
Publications and Research
Logic aims at truth, or more accurately, at deriving some truths from other truths. But why are we interested in truth in the first place? Surely one reason is that relying on truth makes it easier to make better choices.
One could think of Game theory as a tool which bridges the gap between logic and rationality.
Decision theory - or single agent game theory tells us when to make the best choice in a game of us against nature. But nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign. Things change when …
The Vehicle Routing Problem With Simultaneous Pickup And Delivery And Occasional Drivers, Vincent F. Yu, Grace Aloina, Panca Jodiawan, Aldy Gunawan, Tsung-C. Huang
The Vehicle Routing Problem With Simultaneous Pickup And Delivery And Occasional Drivers, Vincent F. Yu, Grace Aloina, Panca Jodiawan, Aldy Gunawan, Tsung-C. Huang
Research Collection School Of Computing and Information Systems
This research addresses the Vehicle Routing Problem with Simultaneous Pickup and Delivery and Occasional Drivers (VRPSPDOD), which is inspired from the importance of addressing product returns and the emerging notion of involving available crowds to perform pickup and delivery activities in exchange for some compensation. At the depot, a set of regular vehicles is available to deliver and/or pick up customers’ goods. A set of occasional drivers, each defined by their origin, destination, and flexibility, is also able to help serve the customers. The objective of VRPSPDOD is to minimize the total traveling cost of operating regular vehicles and total …
Error Analysis Of A Fully Discrete Projection Method For Magnetohydrodynamic System, Qianqian Ding, Xiaoming He, Xiaonian Long, Shipeng Mao
Error Analysis Of A Fully Discrete Projection Method For Magnetohydrodynamic System, Qianqian Ding, Xiaoming He, Xiaonian Long, Shipeng Mao
Mathematics and Statistics Faculty Research & Creative Works
In this paper, we develop and analyze a finite element projection method for magnetohydrodynamics equations in Lipschitz domain. A fully discrete scheme based on Euler semi-implicit method is proposed, in which continuous elements are used to approximate the Navier–Stokes equations and H(curl) conforming Nédélec edge elements are used to approximate the magnetic equation. One key point of the projection method is to be compatible with two different spaces for calculating velocity, which leads one to obtain the pressure by solving a Poisson equation. The results show that the proposed projection scheme meets a discrete energy stability. In addition, with the …
A New Global Divergence Free And Pressure-Robust Hdg Method For Tangential Boundary Control Of Stokes Equations, Gang Chen, Wei Gong, Mariano Mateos, John R. Singler, Yangwen Zhang
A New Global Divergence Free And Pressure-Robust Hdg Method For Tangential Boundary Control Of Stokes Equations, Gang Chen, Wei Gong, Mariano Mateos, John R. Singler, Yangwen Zhang
Mathematics and Statistics Faculty Research & Creative Works
In Gong et al. (2020), we proposed an HDG method to approximate the solution of a tangential boundary control problem for the Stokes equations and obtained an optimal convergence rate for the optimal control that reflects its global regularity. However, the error estimates depend on the pressure, and the velocity is not divergence free. The importance of pressure-robust numerical methods for fluids was addressed by John et al. (2017). In this work, we devise a new HDG method to approximate the solution of the Stokes tangential boundary control problem; the HDG method is also of independent interest for solving the …
Evidence Of Sea Level Rise At The Peruvian Coast (1942-2019), Bismarck Jigena-Antelo, Carol Estrada-Ludeña, Stephan Howden, Wilmer Rey, Jorge Paz-Acosta, Patricia Lopez-García, Eric Salazar-Rodriguez, Nieves Endrina, Juan J. Muñoz-Pérez
Evidence Of Sea Level Rise At The Peruvian Coast (1942-2019), Bismarck Jigena-Antelo, Carol Estrada-Ludeña, Stephan Howden, Wilmer Rey, Jorge Paz-Acosta, Patricia Lopez-García, Eric Salazar-Rodriguez, Nieves Endrina, Juan J. Muñoz-Pérez
Faculty Publications
The present work aims to analyze the variability of the sea level of the Peruvian coast with time series over a long observation period (Seventy-eight years, from 1942 to 2019). Data came from the Talara, Callao and Matarani tide gauge stations located at the north, center and south of the coast. Variations of sea level as well as air and seawater surface temperature were analyzed. Among the different scenarios studied, a sea level rise of 6.79, 4.21 and 5.16 mm/year for Talara, Callao and Matarani, respectively was found during the 1979–1997 nodal cycle. However, these results decreased significantly during the …
Learning Comprehensive Global Features In Person Re-Identification: Ensuring Discriminativeness Of More Local Regions, Jiali Xia, Jianqiang Huang, Shibao Zheng, Qin Zhou, Bernt Schiele, Xian-Sheng Hua, Qianru Sun
Learning Comprehensive Global Features In Person Re-Identification: Ensuring Discriminativeness Of More Local Regions, Jiali Xia, Jianqiang Huang, Shibao Zheng, Qin Zhou, Bernt Schiele, Xian-Sheng Hua, Qianru Sun
Research Collection School Of Computing and Information Systems
Person re-identification (Re-ID) aims to retrieve person images from a large gallery given a query image of a person of interest. Global information and fine-grained local features are both essential for the representation. However, global embedding learned by naive classification model tends to be trapped in the most discriminative local region, leading to poor evaluation performance. To address the issue, we propose a novel baseline network that learns strong global feature termed as Comprehensive Global Embedding (CGE), ensuring more local regions of global feature maps to be discriminative. In this work, two key modules are proposed including Non-parameterized Local Classifier …
Safe Delivery Of Critical Services In Areas With Volatile Security Situation Via A Stackelberg Game Approach, Tien Mai, Arunesh Sinha
Safe Delivery Of Critical Services In Areas With Volatile Security Situation Via A Stackelberg Game Approach, Tien Mai, Arunesh Sinha
Research Collection School Of Computing and Information Systems
Vaccine delivery in under-resourced locations with security risks is not just challenging but also life threatening. The COVID pandemic and the need to vaccinate added even more urgency to this issue. Motivated by this problem, we propose a general framework to set-up limited temporary (vaccination) centers that balance physical security and desired (vaccine) service coverage with limited resources. We set-up the problem as a Stackelberg game between the centers operator (defender) and an adversary, where the set of centers is not fixed a priori but is part of the decision output. This results in a mixed combinatorial and continuous optimization …
A Fair Incentive Scheme For Community Health Workers, Avinandan Bose, Tracey Li, Arunesh Sinha, Tien Mai
A Fair Incentive Scheme For Community Health Workers, Avinandan Bose, Tracey Li, Arunesh Sinha, Tien Mai
Research Collection School Of Computing and Information Systems
Community health workers (CHWs) play a crucial role in the last mile delivery of essential health services to under-served populations in low-income countries. Many non-governmental organizations (NGOs) provide training and support to enable CHWs to deliver health services to their communities, with no charge to the recipients of the services. This includes monetary compensation for the work that CHWs perform, which is broken down into a series of well-defined tasks. In this work, we partner with a NGO D-Tree International to design a fair monetary compensation scheme for tasks performed by CHWs in the semi-autonomous region of Zanzibar in Tanzania, …
Online Hyperparameter Optimization For Class-Incremental Learning, Yaoyao Liu, Yingying Li, Bernt Schiele, Qianru Sun
Online Hyperparameter Optimization For Class-Incremental Learning, Yaoyao Liu, Yingying Li, Bernt Schiele, Qianru Sun
Research Collection School Of Computing and Information Systems
Class-incremental learning (CIL) aims to train a classification model while the number of classes increases phase-by-phase. An inherent challenge of CIL is the stability-plasticity tradeoff, i.e., CIL models should keep stable to retain old knowledge and keep plastic to absorb new knowledge. However, none of the existing CIL models can achieve the optimal tradeoff in different data-receiving settings—where typically the training-from-half (TFH) setting needs more stability, but the training-from-scratch (TFS) needs more plasticity. To this end, we design an online learning method that can adaptively optimize the tradeoff without knowing the setting as a priori. Specifically, we first introduce the …
Towards Carbon Neutrality: Prediction Of Wave Energy Based On Improved Gru In Maritime Transportation, Zhihan Lv, Nana Wang, Ranran Lou, Yajun Tian, Mohsen Guizani
Towards Carbon Neutrality: Prediction Of Wave Energy Based On Improved Gru In Maritime Transportation, Zhihan Lv, Nana Wang, Ranran Lou, Yajun Tian, Mohsen Guizani
Machine Learning Faculty Publications
Efficient use of renewable energy is one of the critical measures to achieve carbon neutrality. Countries have introduced policies to put carbon neutrality on the agenda to achieve relatively zero emissions of greenhouse gases and to cope with the crisis brought about by global warming. This work analyzes the wave energy with high energy density and wide distribution based on understanding of various renewable energy sources. This study provides a wave energy prediction model for energy harvesting. At the same time, the Gated Recurrent Unit network (GRU), Bayesian optimization algorithm, and attention mechanism are introduced to improve the model's performance. …
Enhanced Convolutional Neural Network For Non-Small Cell Lung Cancer Classification, Yahya Tashtoush, Rasha Obeidat, Abdallah Al-Shorman, Omar Darwish, Mohammad A. Al-Ramahi, Dirar Darweesh
Enhanced Convolutional Neural Network For Non-Small Cell Lung Cancer Classification, Yahya Tashtoush, Rasha Obeidat, Abdallah Al-Shorman, Omar Darwish, Mohammad A. Al-Ramahi, Dirar Darweesh
Computer Information Systems Faculty Publications
Lung cancer is a common type of cancer that causes death if not detected
early enough. Doctors use computed tomography (CT) images to diagnose
lung cancer. The accuracy of the diagnosis relies highly on the doctor's
expertise. Recently, clinical decision support systems based on deep learning
valuable recommendations to doctors in their diagnoses. In this paper, we
present several deep learning models to detect non-small cell lung cancer in
CT images and differentiate its main subtypes namely adenocarcinoma,
large cell carcinoma, and squamous cell carcinoma. We adopted standard
convolutional neural networks (CNN), visual geometry group-16 (VGG16),
and VGG19. Besides, we …
Sustainable And Organic Beekeeping In Chester County, John Pisciotta
Sustainable And Organic Beekeeping In Chester County, John Pisciotta
Sustainability Research & Practice Seminar Presentations
Professor John Pisciotta, Biology - Sustainable and Organic Beekeeping in Chester County
Translation Of: Familles De Surfaces Isoparamétriques Dans Les Espaces À Courbure Constante, Annali Di Mat. 17 (1938), 177–191, By Élie Cartan., Thomas E. Cecil
Translation Of: Familles De Surfaces Isoparamétriques Dans Les Espaces À Courbure Constante, Annali Di Mat. 17 (1938), 177–191, By Élie Cartan., Thomas E. Cecil
Mathematics Department Faculty Scholarship
This is an English translation of the article "Familles de surfaces isoparamétriques dans les espaces à courbure constante" which was originally published in Annali di Matematica 17, 177–191 (1938), by Élie Cartan.
A note from Thomas E. Cecil, translator: This is an unofficial translation of the original paper which was written in French. All references should be made to the original paper.
Mathematics Subject Classification Numbers: 53C40, 53C42, 53B25
Sustainability Hub Newsletter - February 2023, Jacqueline Jergensen, Neyda Gilman, Jennifer Embree
Sustainability Hub Newsletter - February 2023, Jacqueline Jergensen, Neyda Gilman, Jennifer Embree
Library Sustainability Resources
This issue of the Sustainability Hub Newsletter shares tips on what seeds you can start planting indoors and inspiration on which plants to grow this season! Keep reading to learn about planting by the moon, new resources, and important announcements!
Remote Internal Wave Forcing Of Regional Ocean Simulations Near The U.S. West Coast, Oladeji Q. Siyanbola, Maarten C. Buijsman, Audrey Delpech, Lionel Renault, Roy Barkan, Jay F. Shriver, Brian K. Arbic, James C. Mcwilliams
Remote Internal Wave Forcing Of Regional Ocean Simulations Near The U.S. West Coast, Oladeji Q. Siyanbola, Maarten C. Buijsman, Audrey Delpech, Lionel Renault, Roy Barkan, Jay F. Shriver, Brian K. Arbic, James C. Mcwilliams
Faculty Publications
Low mode internal waves are able to propagate across ocean basins and modulate ocean dynamics thousands of kilometers away from their generation sites. In this study, the impact of remotely generated internal waves on the internal wave energetics near the U.S. West Coast is investigated with realistically forced regional ocean simulations. At the open boundaries, we impose high-frequency oceanic state variables obtained from a global ocean simulation with realistic atmospheric and astronomical tidal forcing. We use the Discrete Fourier Transform (DFT) technique in separating ingoing and outgoing internal tide energy fluxes at the open boundaries in order to quantify internal …
Wallaby Pilot Survey: H I Gas Kinematics Of Galaxy Pairs In Cluster Environment, Shin-Jeong Kim, Se-Heon Oh, Jing Wang, Lister Staveley-Smith, Bärbel S. Koribalski, Minsu Kim, Hye-Jin Park, Shinna Kim, Kristine Spekkens, Juan P. Madrid
Wallaby Pilot Survey: H I Gas Kinematics Of Galaxy Pairs In Cluster Environment, Shin-Jeong Kim, Se-Heon Oh, Jing Wang, Lister Staveley-Smith, Bärbel S. Koribalski, Minsu Kim, Hye-Jin Park, Shinna Kim, Kristine Spekkens, Juan P. Madrid
Physics and Astronomy Faculty Publications and Presentations
We examine the H I gas kinematics of galaxy pairs in two clusters and a group using Australian Square Kilometre Array Pathfinder (ASKAP) WALLABY pilot survey observations. We compare the H I properties of galaxy pair candidates in the Hydra I and Norma clusters, and the NGC 4636 group, with those of non-paired control galaxies selected in the same fields. We perform H I profile decomposition of the sample galaxies using a tool, BAYGAUD, which allows us to deblend a line-of-sight velocity profile with an optimal number of Gaussian components. We construct H I superprofiles of the sample galaxies via …
Combinatorial Identities Associated With A Bivariate Generating Function For Overpartition Pairs, Atul Dixit, Ankush Goswami
Combinatorial Identities Associated With A Bivariate Generating Function For Overpartition Pairs, Atul Dixit, Ankush Goswami
School of Mathematical and Statistical Sciences Faculty Publications and Presentations
We obtain a three-parameter q-series identity that generalizes two results of Chan and Mao. By specializing our identity, we derive new results of combinatorial significance in connection with N(r,s,m,n), a function counting certain overpartition pairs recently introduced by Bringmann, Lovejoy and Osburn. For example, one of our identities gives a closed-form evaluation of a double series in terms of Chebyshev polynomials of the second kind, thereby resulting in an analogue of Euler's pentagonal number theorem. Another of our results expresses a multi-sum involving N(r,s,m,n) in terms of just the partition function p(n). Using a result of Shimura we also relate …
Coloring Complexes And Combinatorial Hopf Monoids, Jacob A. White
Coloring Complexes And Combinatorial Hopf Monoids, Jacob A. White
School of Mathematical and Statistical Sciences Faculty Publications and Presentations
We generalize the notion of a coloring complex of a graph to linearized combinatorial Hopf monoids. We determine when a linearized combinatorial Hopf monoid has such a construction, and discover some inequalities that are satisfied by the quasisymmetric function invariants associated to the combinatorial Hopf monoid. We show that the collection of all such coloring complexes forms a linearized combinatorial Hopf monoid, which is the terminal object in the category of combinatorial Hopf monoids with convex characters. We also study several examples of combinatorial Hopf monoids.
Electromagnetic Theory And Applications, Nicholas Madamopoulos, George Kliros
Electromagnetic Theory And Applications, Nicholas Madamopoulos, George Kliros
Open Educational Resources
This book intends to provide both the fundamentals of Electromagnetics but also some practical applications of the concepts covered. Having taught electromagnetics for several years, the authors feel that many times the field of electromagnetics comes as “old” and often times students do not appreciate the concepts and their importance in everyday applications. The authors intend to accompany the EM concepts with life applications. Hence, students may see the direct impact of the knowledge they acquire through the study of the field of electromagnetics and better appreciate the field.
A Non-Reference Evaluation Of Underwater Image Enhancement Methods Using A New Underwater Image Dataset, Ashraf Saleem, Sidike Paheding, Nathir Rawashdeh, Ali Awad, Navjot Kaur
A Non-Reference Evaluation Of Underwater Image Enhancement Methods Using A New Underwater Image Dataset, Ashraf Saleem, Sidike Paheding, Nathir Rawashdeh, Ali Awad, Navjot Kaur
Michigan Tech Publications
The rise of vision-based environmental, marine, and oceanic exploration research highlights the need for supporting underwater image enhancement techniques to help mitigate water effects on images such as blurriness, low color contrast, and poor quality. This paper presents an evaluation of common underwater image enhancement techniques using a new underwater image dataset. The collected dataset is comprised of 100 images of aquatic plants taken at a shallow depth of up to three meters from three different locations in the Great Lake Superior, USA, via a Remotely Operated Vehicle (ROV) equipped with a high-definition RGB camera. In particular, we use our …
Codebase Relationship Visualizer: Visualizing Relationships Between Source Code Files, Jesse Hines
Codebase Relationship Visualizer: Visualizing Relationships Between Source Code Files, Jesse Hines
MS in Computer Science Project Reports
Understanding relationships between files and their directory structure is a fundamental part of the software development process. However, it can be hard to grasp these relationships without a convenient way to visualize how files are connected and how they fit into the directory structure of the codebase. In this paper we describe CodeBase Relationship Visualizer (CBRV), a Visual Studio Code extension that interactively visualizes the relationships between files. CBRV displays the relationships between files as arrows superimposed over a diagram of the codebase's directory structure. CBRV comes bundled with visualizations of the stack trace path, a dependency graph for Python …
Combinatorics Syllabus, Tugce Ozdemir
Combinatorics Syllabus, Tugce Ozdemir
Open Educational Resources
No abstract provided.
Completeness Of Nominal Props, Samuel Balco, Alexander Kurz
Completeness Of Nominal Props, Samuel Balco, Alexander Kurz
Engineering Faculty Articles and Research
We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.
Evaluating Knowledge Gaps In Sea-Level Rise Assessments From The United States, Andra J. Garner, Sarah E. Sosa, Fangyi Tan, Christabel Wan Jie Tan, Gregory G. Garner, Benjamin P. Horton
Evaluating Knowledge Gaps In Sea-Level Rise Assessments From The United States, Andra J. Garner, Sarah E. Sosa, Fangyi Tan, Christabel Wan Jie Tan, Gregory G. Garner, Benjamin P. Horton
School of Earth & Environment Faculty Scholarship
There have been many scientific advances regarding future sea-level projections, however it is unclear if these have been transferred to assessment reports used by stakeholders. Here, we present a first-of-its-kind comprehensive analysis of regional sea-level rise (SLR) assessments for the United States (U.S.). We identify variations in time horizons over which regions plan for SLR, with 25 projections from the U.S. Northeast and West that extend to 2150 or beyond, but no projections from the U.S. South beyond 2100. The majority of 2100 projections from the U.S. Northeast (77%) and West (83%) include ranges of future SLR, while 88% of …
Transcription And Translation Of Nicole Oresme: Quaestiones Super Geometricam Euclidis: Questio 2, Daniel E. Otero
Transcription And Translation Of Nicole Oresme: Quaestiones Super Geometricam Euclidis: Questio 2, Daniel E. Otero
2023, February 10-11 ORESME Reading Group Meeting
No abstract provided.