Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (1493)
- Environmental Sciences (1305)
- Physics (905)
- Engineering (809)
- Chemistry (762)
-
- Life Sciences (712)
- Social and Behavioral Sciences (672)
- Earth Sciences (632)
- Mathematics (595)
- Oceanography and Atmospheric Sciences and Meteorology (358)
- Statistics and Probability (354)
- Computer Engineering (337)
- Astrophysics and Astronomy (234)
- Education (234)
- Geology (227)
- Natural Resources and Conservation (217)
- Arts and Humanities (201)
- Natural Resources Management and Policy (195)
- Databases and Information Systems (188)
- Electrical and Computer Engineering (185)
- Applied Mathematics (177)
- Environmental Indicators and Impact Assessment (175)
- Environmental Health and Protection (154)
- Business (152)
- Science and Mathematics Education (152)
- Law (137)
- Sustainability (137)
- Water Resource Management (123)
- Information Security (121)
- Institution
-
- University of Nebraska - Lincoln (947)
- University of Wollongong (359)
- Wright State University (302)
- TÜBİTAK (220)
- Selected Works (185)
-
- Missouri University of Science and Technology (158)
- Singapore Management University (158)
- University of Nevada, Las Vegas (157)
- Brigham Young University (139)
- Louisiana State University (135)
- SelectedWorks (116)
- Old Dominion University (112)
- University of Kentucky (108)
- Utah State University (107)
- Embry-Riddle Aeronautical University (97)
- Edith Cowan University (92)
- Chinese Chemical Society | Xiamen University (86)
- Wayne State University (84)
- COBRA (83)
- Clemson University (81)
- Air Force Institute of Technology (76)
- William & Mary (76)
- Georgia State University (75)
- Portland State University (71)
- University of Central Florida (70)
- University of Massachusetts Amherst (70)
- University of Tennessee, Knoxville (69)
- Technological University Dublin (68)
- University of Northern Iowa (63)
- University of Texas at Arlington (62)
- Keyword
-
- Invasive species (66)
- Environmental science--Experiments; Ecology--Experiments; Atmospheric physics--Experiments; (37)
- CMMB (36)
- Human–wildlife conflicts (28)
- Water (28)
-
- Climate change (27)
- GeoQUEST (27)
- Groundwater (26)
- Mathematics (26)
- [RSTDPub] (26)
- Natural resources (25)
- Conservation (24)
- Coyote (24)
- Management (24)
- Data (23)
- Geology (23)
- 2007 (21)
- Natural resource management (21)
- Physics (21)
- College for Professional Studies (20)
- History (20)
- California (19)
- Chemistry (19)
- Computer science (19)
- Landslides (19)
- Research and Technical Reports (19)
- School of Computer & Information Science (19)
- United States (19)
- Environment (18)
- Machine learning (18)
- Publication
-
- Faculty of Informatics - Papers (Archive) (209)
- Theses and Dissertations (198)
- Computer Science & Engineering Syllabi (160)
- Research Collection School Of Computing and Information Systems (153)
- Faculty Publications (142)
-
- Faculty of Science - Papers (Archive) (120)
- United States Department of Agriculture Wildlife Services: Staff Publications (114)
- Electronic Theses and Dissertations (104)
- Journal of Electrochemistry (86)
- Turkish Journal of Chemistry (83)
- Nebraska Tractor Tests (75)
- Journal of Modern Applied Statistical Methods (64)
- Masters Theses (61)
- Kno.e.sis Publications (57)
- Managing Vertebrate Invasive Species (56)
- Physics Faculty Publications (56)
- Sci-Tech News (55)
- Human–Wildlife Interactions (54)
- LSU Master's Theses (52)
- Publications (52)
- United States Geological Survey: Staff Publications (50)
- Doctoral Dissertations (49)
- Turkish Journal of Mathematics (48)
- All Computer Science and Engineering Research (47)
- LSU Doctoral Dissertations (47)
- Physics Faculty Research & Creative Works (47)
- Browse all Theses and Dissertations (43)
- Dissertations (43)
- Thai Environment (43)
- Open Educational Resources (42)
- Publication Type
Articles 3151 - 3180 of 6758
Full-Text Articles in Physical Sciences and Mathematics
Gravitational Larmor Formula In Higher Dimensions, Vitor Cardoso, Marco Cavaglia, Jun-Quo Guo
Gravitational Larmor Formula In Higher Dimensions, Vitor Cardoso, Marco Cavaglia, Jun-Quo Guo
Physics Faculty Research & Creative Works
The Larmor formula for scalar and gravitational radiation from a pointlike particle is derived in any even higher-dimensional flat spacetime. General expressions for the field in the wave zone and the energy flux are obtained in closed form. The explicit results in four and six dimensions are used to illustrate the effect of extra dimensions on linear and uniform circular motion. Prospects for detection of bulk gravitational radiation are briefly discussed.
Higher-Order Soft Gluon Corrections In Single Top Quark Production At The Cern Lhc, Nikolaos Kidonakis
Higher-Order Soft Gluon Corrections In Single Top Quark Production At The Cern Lhc, Nikolaos Kidonakis
Faculty Articles
I present a calculation of soft-gluon corrections to single top-quark production in pp collisions at the LHC via the standard model partonic processes in the t and s channels and associated top quark and W boson production. Higher-order soft-gluon corrections through next-to-next-to-next-to-leading order (NNNLO) are calculated at next-to-leading logarithmic (NLL) accuracy. The soft-gluon corrections in the s channel and in tW production are large and dominant, while in the t channel they are not a good approximation of the complete QCD corrections.
Riparian Shade Assessment And Restoration Priorities Analysis In The Damascus Urban Growth Boundary Expansion Area, Robin K. Leferink
Riparian Shade Assessment And Restoration Priorities Analysis In The Damascus Urban Growth Boundary Expansion Area, Robin K. Leferink
Environmental Science and Management Professional Master's Project Reports
An important component of progressive urban planning is the protection and restoration of riparian environments, particularly in the Pacific Northwest where increasing stream temperatures threaten the survival of endangered salmonids and other cold-water biota. Restoration projects are often led by watershed councils or other grassroots organizations with limited resources, and it is essential that these groups have an efficient and effective approach to determine priority areas where their efforts can be directed to achieve the greatest ecological benefit. The purpose of this project was to quantify existing riparian shade levels and identify priority reaches for shade restoration on Clackamas River …
A Variational Principle For Discontinuous Potentials, Anna Mummert
A Variational Principle For Discontinuous Potentials, Anna Mummert
Mathematics Faculty Research
Let $X$ be a compact space, $f\colon X \to X$ a continuous map, and $\Lambda \subset X$ be any $f$-invariant subset. Assume that there exists a nested family of subsets $\{\Lambda_l\}_{l \geq 1}$ that exhaust $\Lambda$, that is $\Lambda_l \subset\Lambda_{l+1}$ and $\Lambda =\bigcup_{l \geq 1} \Lambda_l$. Assume that the potential $\varphi \colon X \to \mathbb{R}$ is continuous on the closure of each $\Lambda_l$ but not necessarily continuous on $\Lambda$. We define the topological pressure of $\varphi$ on $\Lambda$. This definition is shown to have a corresponding variational principle. We apply the topological pressure and variational principle to systems with non-zero …
An Ideal Approach To Global Warming, Hannah Lee Varn
An Ideal Approach To Global Warming, Hannah Lee Varn
Inquiry Journal 2007
No abstract provided.
Urban Location Based Services Using Mobile Clients: The Icing Approach, Eoin Kilfeather, James Carswell, Keith Gardiner, Seamus Rooney
Urban Location Based Services Using Mobile Clients: The Icing Approach, Eoin Kilfeather, James Carswell, Keith Gardiner, Seamus Rooney
Conference papers
The ICING project is conducting research into eGovernment and Location Based Services and also into two-way interaction with the physical environment. The research focuses on the areas of embedded intelligence, tighter integration of operator platforms and city infrastructure to enable novel services, empowerment of citizens to evolve systems of interaction with the city via social software, input from citizens and sensors for management systems and decision modelling, and a combination of city systems and multi-modal, multi-device communications to provide enhanced services. The technology platforms are gathering indicators from the City, processing the information, proposing actions to be taken with human …
An Open Approach To Contextualising Heterogeneous Cultural Heritage Datasets, John Mcauley, James Carswell
An Open Approach To Contextualising Heterogeneous Cultural Heritage Datasets, John Mcauley, James Carswell
Conference papers
This paper describes a semantic museum application, which aims to present a holistic impression of the Etruscan civilisation. Through the use of a distributed computing paradigm and the CIDOC CRM ontology, the system presents a unified view of a fragmented heritage, while supporting browse and search at a semantic level. Within the cultural heritage world, however, much value is placed on ‘context’, both in describing and presenting heritage artefacts. From this perspective, a platform built upon the distributed search paradigm, although useful in many respects, does not convey how an artefact sits within a broader setting. Narrative concepts are proposed …
Fisheries Research Report No.161 - Distribution And Abundance Of Juvenile Pink Snapper, Pagrus Auratus, In The Gulfs Of Shark Bay, Western Australia, From Trap Surveys, Gary Jackson, C. Burton, Michael J. Moran, Ben Radford
Fisheries Research Report No.161 - Distribution And Abundance Of Juvenile Pink Snapper, Pagrus Auratus, In The Gulfs Of Shark Bay, Western Australia, From Trap Surveys, Gary Jackson, C. Burton, Michael J. Moran, Ben Radford
Fisheries research reports
Trap surveys using Antillean-Z fish traps were carried out across a range of depths and habitat types in the gulfs of Shark Bay between 1998 and 2000. Objectives of the study were (i) to evaluate the efficiency of the fish traps in catching 0+ and 1+ pink snapper (Pagrus auratus), (ii) to investigate the distribution and abundance of juvenile pink snapper in both gulfs using trap surveys, (iii) to investigate the influence of environmental factors including habitat-type on the distribution of juvenile pink snapper and, (iv) to develop trap indices of 0+ relative abundance and assess their use for monitoring …
Rationalized Evaluation Subgroups Of A Map Ii: Quillen Models And Adjoint Maps, Gregory Lupton, Samuel Bruce Smith
Rationalized Evaluation Subgroups Of A Map Ii: Quillen Models And Adjoint Maps, Gregory Lupton, Samuel Bruce Smith
Mathematics and Statistics Faculty Publications
We identify the long exact sequence induced on rational homotopy groups by the evaluation map ω: map(X, Y ; f)→Y and in particular the rationalization of the evaluation subgroups off, in terms of derivations of Quillen models and adjoint maps. We consider a generalization of a question of Gottlieb within the context of rational homotopytheory. We also study the rationalization of the G-sequence of a map. In a separate result of independent interest, we give an explicit Quillen minimal model of a product A×X, in the case in which A is a rational co-H-space.
Applying Model-View-Controller To An Embedded System Simulation, Joseph Dominic Cali
Applying Model-View-Controller To An Embedded System Simulation, Joseph Dominic Cali
Honors Theses
No abstract provided.
Designing A Simulated Testing System For Embedded Systems Development, Abhishek Debchoudry
Designing A Simulated Testing System For Embedded Systems Development, Abhishek Debchoudry
Honors Theses
No abstract provided.
Green Chemistry Using Bismuth Salts Bismuth (Iii) Iodide Catalyzed Deprotection Of Acetals And Ketals In H2o, Aaron D. Bailey '07
Green Chemistry Using Bismuth Salts Bismuth (Iii) Iodide Catalyzed Deprotection Of Acetals And Ketals In H2o, Aaron D. Bailey '07
Honors Projects
Since the Pollution Prevention Act was passed in 1990, synthetic organic chemists have focused on the use of environmentally friendly reagents. Often, many synthetic labs use metal catalysts (compounds containing Hg, Ni, Pb, & Sn) that are toxic to or have detrimental effects on the environment. Unlike many heavy metal compounds, bismuth and its compounds have been found to be relatively non-toxic and environmentally friendly. Due to poor shielding of the nucleus by the f electrons bismuth compounds have been shown to be efficient Lewis acid catalysts for many reactions.
The goal of this project to utilize bismuth compounds, specifically …
Energy-Efficient Group Key Management Protocols For Hierarchical Sensor Networks, Biswajit Panja, Sanjay Kumar Madria, Bharat Bhargava
Energy-Efficient Group Key Management Protocols For Hierarchical Sensor Networks, Biswajit Panja, Sanjay Kumar Madria, Bharat Bhargava
Computer Science Faculty Research & Creative Works
In this paper, we describe a group key management protocol for hierarchical sensor networks where instead of using pre-deployed keys, each sensor node generates a partial key dynamically using a function. The function takes partial keys of its children as arguments. The design of the protocol is motivated by the fact that traditional cryptographic techniques are impractical in sensor networks because of associated high energy and computational overheads. The group key management protocol supports the establishment of two types of group keys; one for the nodes within a group (intra-cluster), and the other among a group of cluster heads (inter-cluster). …
Vulnerability Analysis Of Emap: An Efficient Rfid Mutual Authentication Protocol, Tieyan Li, Robert H. Deng
Vulnerability Analysis Of Emap: An Efficient Rfid Mutual Authentication Protocol, Tieyan Li, Robert H. Deng
Research Collection School Of Computing and Information Systems
In this paper, we analyze the security vulnerabilities of EMAP, an efficient RFID mutual authentication protocol recently proposed by Peris-Lopez et al. (2006). We present two effective attacks, a de-synchronization attack and a full-disclosure attack, against the protocol. The former permanently disables the authentication capability of a RFID tag by destroying synchronization between the tag and the RFID reader. The latter completely compromises a tag by extracting all the secret information stored in the tag. The de-synchronization attack can be carried out in just round of interaction in EMAP while the full-disclosure attack is accomplished across several runs of EMAP. …
Mining Colossal Frequent Patterns By Core Pattern Fusion, Feida Zhu, Xifeng Yan, Jiawei Han, Philip S. Yu, Hong Cheng
Mining Colossal Frequent Patterns By Core Pattern Fusion, Feida Zhu, Xifeng Yan, Jiawei Han, Philip S. Yu, Hong Cheng
Research Collection School Of Computing and Information Systems
Extensive research for frequent-pattern mining in the past decade has brought forth a number of pattern mining algorithms that are both effective and efficient. However, the existing frequent-pattern mining algorithms encounter challenges at mining rather large patterns, called colossal frequent patterns, in the presence of an explosive number of frequent patterns. Colossal patterns are critical to many applications, especially in domains like bioinformatics. In this study, we investigate a novel mining approach called Pattern-Fusion to efficiently find a good approximation to the colossal patterns. With Pattern-Fusion, a colossal pattern is discovered by fusing its small core patterns in one step, …
A Multimodal And Multilevel Ranking Framework For Content-Based Video Retrieval, Steven C. H. Hoi, Michael R. Lyu
A Multimodal And Multilevel Ranking Framework For Content-Based Video Retrieval, Steven C. H. Hoi, Michael R. Lyu
Research Collection School Of Computing and Information Systems
One critical task in content-based video retrieval is to rank search results with combinations of multimodal resources effectively. This paper proposes a novel multimodal and multilevel ranking framework for content-based video retrieval. The main idea of our approach is to represent videos by graphs and learn harmonic ranking functions through fusing multimodal resources over these graphs smoothly. We further tackle the efficiency issue by a multilevel learning scheme, which makes the semi-supervised ranking method practical for large-scale applications. Our empirical evaluations on TRECVID 2005 dataset show that the proposed multimodal and multilevel ranking framework is effective and promising for content-based …
Episodic Tremor And Slip In The Pacific Northwest, Kenneth C. Creager, Timothy I. Melbourne
Episodic Tremor And Slip In The Pacific Northwest, Kenneth C. Creager, Timothy I. Melbourne
Geological Sciences Faculty Scholarship
Every 14 months the Pacific Northwest experiences slow slip on a fault that is the equivalent of about a magnitude 6.5 earthquake. While a typical earthquake of this magnitude happens in less than 10 seconds, the duration of these slip events is two to several weeks. The most recent event occurred from January 14 through February 1, 2007.
Santa Clara Magazine, Volume 48 Number 4, Spring 2007, Santa Clara University
Santa Clara Magazine, Volume 48 Number 4, Spring 2007, Santa Clara University
Santa Clara Magazine
8 - ARCHAEOLOGISTS OF THE CARIBBEAN By Monte Lorenzet. Eye patch and peg leg-we all know what makes a pirate. Or do we? Only recently have scientists taken a serious look at the archeology of piracy, with SCU's Russ Skowronek one of the hearties unearthing facts buried beneath centuries of myth.
12 - ARE PEOPLE GETTING CRAZIER? By Thomas G. Plante. From what the media offers every day, you can't help but think the world is going to hell in a handbasket. What's really going on? And what can we do about it?
21 - A TEACHABLE MOMENT Q&A with …
Hotel Energy Use Contributes To Global Warming, Christine Faja
Hotel Energy Use Contributes To Global Warming, Christine Faja
UNLV Theses, Dissertations, Professional Papers, and Capstones
Before learning about the consequences of global warming and the efforts hotels are making to reverse the effects, it is important to get a better understanding of what exactly is the phenomenon that scientists call global warming. According to the EPA (2006), the earth’s climate has changed several times since the beginning of Earth’s existence. The earth is hotter than ever. NASA has reported that the earth’s average surface temperature has risen from 1.2 degrees to 1.4 degrees Fahrenheit since 1900. They also found that the warmest years have occurred within the last 15 years, with 1998 and 2005 being …
Unlv Magazine, Grace Russell, Gian Galassi, Shane Bevell, Karyn S. Hollingsworth, Jennifer Lawson, Lori Bachand, Cate Weeks, Erin O'Donnell, Peter Starkweather
Unlv Magazine, Grace Russell, Gian Galassi, Shane Bevell, Karyn S. Hollingsworth, Jennifer Lawson, Lori Bachand, Cate Weeks, Erin O'Donnell, Peter Starkweather
UNLV Magazine
No abstract provided.
Colorado College State Of The Rockies Report Card, Walter E. Hecox, Matthew K. Reuer, Christopher B. Jackson
Colorado College State Of The Rockies Report Card, Walter E. Hecox, Matthew K. Reuer, Christopher B. Jackson
Publications (SD)
No abstract provided.
Ionization And Ionization-Excitation Of Helium To The N=1-4 States Of He⁺ By Electron Impact, Susan M. Bellm, Julian C A Lower, Klaus Bartschat, Xiaoxu Guan, Daniel Weflen, Matthew S. Foster, Allison L. Harris, Don H. Madison
Ionization And Ionization-Excitation Of Helium To The N=1-4 States Of He⁺ By Electron Impact, Susan M. Bellm, Julian C A Lower, Klaus Bartschat, Xiaoxu Guan, Daniel Weflen, Matthew S. Foster, Allison L. Harris, Don H. Madison
Physics Faculty Research & Creative Works
We present experimental and theoretical results for the electron-impact-induced ionization of ground-state helium atoms. Using a high-sensitivity toroidal electron spectrometer, we measured cross-section ratios for transitions leading to the first three excited states of the residual helium ion relative to the transition leaving the ion in the ground state. Measurements were performed for both symmetric- and asymmetric-energy-sharing kinematics. By presenting results as a ratio, a direct comparison can be made between theoretical and experimental predictions without recourse to normalization. The experimental data are compared to theoretical predictions employing various first-order models and a second-order hybrid distorted-wave + convergent R matrix …
Gauging Newton’S Law, James Thomas Wheeler
Gauging Newton’S Law, James Thomas Wheeler
All Physics Faculty Publications
We derive both Lagrangian and Hamiltonian mechanics as gauge theories of Newtonian mechanics. Systematic development of the distinct symmetries of dynamics and measurement suggest that gauge theory may be motivated as a reconciliation of dynamics with measurement. Applying this principle to Newton's law with the simplest measurement theory leads to Lagrangian mechanics, while use of conformal measurement theory leads to Hamiltonian mechanics.PACS Nos.: 45.20.Jj, 11.25.Hf, 45.10.–b [ABSTRACT FROM AUTHOR]
Transcriptional Regulation Of Glucose-6-Phosphate Dehydrogenase (G6pdh) By Glucose, Pramod U. Thekkat
Transcriptional Regulation Of Glucose-6-Phosphate Dehydrogenase (G6pdh) By Glucose, Pramod U. Thekkat
Masters Theses
In liver, insulin and glucose regulate the expression of important genes for lipid and carbohydrate homeostasis. Studies on the effects of glucose and insulin, including effects on cell signaling, are vital since deficiencies in glucose utilization in cells and/or insulin secretion contribute to conditions like obesity and diabetes. In liver, the pentose phosphate pathway is one of the primary pathways that can utilize the excess carbohydrate. Glucose-6-phosphate dehydrogenase (G6PDH) is an important rate limiting enzyme in this pathway. Our laboratory has shown that both insulin and glucose induce the expression of G6PDH, although the mechanism by which this transcriptional regulation …
Systems Ideas And Sustainability, Martin Zwick
Systems Ideas And Sustainability, Martin Zwick
Systems Science Faculty Publications and Presentations
Slides from a presentation that provides an outline of ideas to understand how systems science and systems theory is related to, and can work for, sustainability. It illustrates how sustainability requires input from many disciplines, including graph theory, game theory, and thermodynamics, and is dependent on theories from ecology, sociology, and history.
How Do Women In Prek Toal Village (Tonle Sap Biosphere Reserve, Cambodia) Participate In And Benefit From Ecotourism?, Amy Dowley
Independent Study Project (ISP) Collection
Abstract This study assesses how women in the floating village of Prek Toal in the Tonle Sap Biosphere Reserve, participate and benefit from the ecotourism activities in their area. The study also investigates women’s perspective on ecotourism within their community, how it affects their lives, and if they have expectations of current and future benefits or changes resulting from ecotourism. This study is conducted in the context of current studies on livelihoods in the Tonle Sap region, including the recent technical report, “Influence of Built Structures on Local Livelihoods: Case Studies of Road Development, Irrigation, and Fishing Lots,”(ADB, 2007a) identifying …
Predicting The Impacts Of Serra Leste: A Case Study In Companhia Vale Do Rio Doce’S Influence On Southern Pará, Jason Hayes
Predicting The Impacts Of Serra Leste: A Case Study In Companhia Vale Do Rio Doce’S Influence On Southern Pará, Jason Hayes
Independent Study Project (ISP) Collection
This project analyzes the possible environmental and socioeconomic impacts of Serra Leste, a newly proposed iron mine by the Companhia Vale do Rio Doce (CVRD). However, Serra Leste is also part of a much larger system of CVRD projects which has recently had a profound influence on the micro-region surrounding Curionópolis, the future cite of the operation. Interviews, CVRD studies, and secondary sources were used and contrasted to evaluate the situation from several angles. Environmentally, Serra Leste will have profound impacts on the water, air, and soil. Specifically, the mine will probably have the largest influence on regional water tables, …
“Sustainable Soy” In Santarém: Power Struggles For The Future Of Development, Jake Schoneker
“Sustainable Soy” In Santarém: Power Struggles For The Future Of Development, Jake Schoneker
Independent Study Project (ISP) Collection
This study examines the environmental and socio-economic effects of soy development in the city of Santarém, located in the western part of Pará state in the Brazilian Amazon. In the past decade the soybean has emerged as one of Santarém’s primary crops, largely as a result of Cargill Corporation’s construction of a fluvial port in the city that now exports one million tons of soy per year to European markets. The arrival of soy agribusiness in Santarém has transformed the agricultural scene and has had drastic impacts on both local communities and the forest. Surrounding the soy conflict are various …
Iowa Academy Of Science: The New Bulletin, V03n2, Spring 2007, Iowa Academy Of Science
Iowa Academy Of Science: The New Bulletin, V03n2, Spring 2007, Iowa Academy Of Science
New Bulletin
Inside This Issue:
--Message from the Executive Director
--Election Information
--Financial Statement
--IJAS Represented at American Junior Academy of Science
--Expedition Iowa Update
--Gifts Received 2006
--Schutte Receives National Biology Teaching Award
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi T. Khatchadourian, Jason Sawin, Atanas Rountev
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi T. Khatchadourian, Jason Sawin, Atanas Rountev
Publications and Research
Modern Java languages introduce several new features that offer significant improvements over older Java technology. In this article we consider the new enum construct, which provides language support for enumerated types. Prior to recent Java languages, programmers needed to employ various patterns (e.g., the weak enum pattern) to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly-desirable properties of the enum construct, most notably, type safety. We present a novel fully-automated approach for transforming legacy Java code to use the new enumeration construct. This semantics-preserving approach increases type safety, produces code that is …