cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Pollen Analysis of Samples from Two Dead Juniper Village, NM 0:3:1:11 (LA 87432), Kirtland Air Force Base, Bernalillo County, New Mexico
Creators: name: Dean, Glenna
Publisher: name: Archeobotanical Services
Year: 1991
Subjects: subject: Bernalillo (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3646/bernalillo-county
subject: Albuquerque, New Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/84765/albuquerque-new-mexico
subject: Kirtland Air Force Base
valueUri: https://core.tdar.org/browse/geographic-keyword/17943/kirtland-air-force-base
subject: Historic
valueUri: https://core.tdar.org/browse/temporal-keyword/5728/historic
subject: Prehistoric
valueUri: https://core.tdar.org/browse/temporal-keyword/53/prehistoric
subject: LA 87432
valueUri: https://core.tdar.org/browse/site-name/126678/la-87432
subject: NM 0:3:1:11
valueUri: https://core.tdar.org/browse/site-name/126677/nm-03111
subject: Two Dead Juniper Village site
valueUri: https://core.tdar.org/browse/site-name/130106/two-dead-juniper-village-site
subject: Isolated Burial
valueUri: https://core.tdar.org/browse/site-type/305/isolated-burial
subject: Storage Pit
valueUri: https://core.tdar.org/browse/site-type/358/storage-pit
subject: Pit House / Earth Lodge
valueUri: https://core.tdar.org/browse/site-type/263/pit-house-earth-lodge
subject: Hearth
valueUri: https://core.tdar.org/browse/site-type/343/hearth
subject: Storage Bin
valueUri: https://core.tdar.org/browse/site-type/4668/storage-bin
subject: Pollen
valueUri: https://core.tdar.org/browse/material-type/13/pollen
subject: Human Remains
valueUri: https://core.tdar.org/browse/material-type/9/human-remains
subject: Archeobotanical Services
valueUri: https://core.tdar.org/browse/other-keyword/168059/archeobotanical-services
subject: Archeobotanical Study
valueUri: https://core.tdar.org/browse/other-keyword/3948/archeobotanical-study
subject: Environment Research
valueUri: https://core.tdar.org/browse/investigation-type/13/environment-research
subject: Bioarchaeological Research
valueUri: https://core.tdar.org/browse/investigation-type/15/bioarchaeological-research
subject: Methodology, Theory, or Synthesis
valueUri: https://core.tdar.org/browse/investigation-type/6/methodology-theory-or-synthesis

description: This report presents the results of an analysis conducted on 20 pollen samples taken from various prehistoric features at the Two Dead Juniper Village site in 1983. Analysis revealed the pollen on squash, corn, cholla, prickly pear, grass seeds, Mormon tea, sagebrush, sunflowers and globemallow.
The Szegö kernel on a class of noncompact CR manifolds of high codimension
Creators: name: Raich, Andrew
name: Tinker, Michael
Publisher: name: arXiv
Year: 2014
Subjects: subject: Complex Variables (math.CV)
subject: FOS: Mathematics
subject: 32A25, 32V20, 32W10, 42B37

description: We generalize Nagel's formula for the Szegö kernel and use it to compute the Szegö kernel on a class of noncompact CR manifolds whose tangent space decomposes into one complex direction and several totally real directions. We also discuss the control metric on these manifolds and relate it to the size of the Szegö kernel.
description: 7 pages
Food web ecology of Lahontan Cutthroat Trout and trophic dynamics of selenium in Omak Lake, Washington
Creators: name: Reyes-Avila, Alexander David
Publisher: name: Washington State University
Year: 2024
Subjects: subject: Alkaline lake
subject: Food web
subject: Omak
subject: Selenium
subject: Stable isotopes
subject: Ecology
subject: FOS: Biological sciences

description: The adaptation of Lahontan cutthroat trout (LCT) - Oncorhynchus clarkii henshawi to Omak Lake’s water (the largest alkaline lake in Washington state) is a great example of fish survival and evolution in harsh environments. LCT is the only game fish in Omak Lake and became the apex predator. The research aimed to understand (i) how LCT thrived in alkaline waters with potentially low prey availability, (ii) what are the main prey items feeding LCT? (iii) what dietary limitations could threaten LCT sustainability and growth? Additionally, alkalinity combined with oxidizing conditions promotes the speciation of potentially toxic selenium (Se) ions (selenate and selenite). Thus, another research question was (iv) how Se could be biomagnifying in Omak’s food web. Therefore, I performed a stomach content analysis (SCA) to assess LCT's prey consumption. Then, stable isotopes (δ15N and δ13C) analysis (SIA) validated SCA and refined LCT’s diet via a mixing model. Furthermore, otolith reading provided LCT’s age estimation. Se was assayed via ICP-MS, and biomagnification was estimated via the trophic magnification factor (TMF) model. The SCA results from 2018 – 2021 identified the 10 largest prey biomasses proving an abundance of prey despite the alkaline conditions: Peamouth, Coleoptera, cannibalized-LCT, Longnose sucker, Odonata, Redside shiner, Diptera, Hymenoptera, Sculpin, and gastropods. The SIA mixing model predicted the piscivore feeding transition started on LCT (1–3 years) but also recognized the significance of invertebrate prey (aquatic and terrestrials) for all LCT sizes. Thus, a combination of invertebrates and prey fish were the main items feeding LCT. The ontogenetic shift to a piscivore feeding was detected in large LCT, 4-6 years. Dipterans were found in all LCT sizes confirming generalist feeding, but the abundance of prey fish might be a significant limiting factor regulating LCT’s growth. The Se concentrations were below the 4-ppm toxicity threshold for all fish and invertebrates analyzed. Nevertheless, biomagnification was confirmed via TMF >1 in most cases. Further examination of Se content in terrestrials and littoral aquatic invertebrates suggested they might be a significant Se dietary source for fish.
Ethiopian Socio Economic Survey - Community Questionnaire
Creators: name: Central Statistical Agency
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2022

description: Datasets For Ethiopian Socio Economic Survey Community Questionnaire Section 1a: COVER https://nadre.ethernet.edu.et/record/20515/files/sect01a_com_w4.csv Section 1b: Direct Observation by Supervisor https://nadre.ethernet.edu.et/record/20515/files/sect01b_com_w4.csv Section 2: Roster of Informants https://nadre.ethernet.edu.et/record/20515/files/sect02_com_w4.csv Section3: Basic Information https://nadre.ethernet.edu.et/record/20515/files/sect03_com_w4.csv Section 4: Access to Basic Services https://nadre.ethernet.edu.et/record/20515/files/sect04_com_w4.csv Section 5: Economic Activities https://nadre.ethernet.edu.et/record/20515/files/sect05_com_w4.csv Section 6: Agriculture (Only for Rural Eas) https://nadre.ethernet.edu.et/record/20515/files/sect06_com_w4.csv Section 7: Changes https://nadre.ethernet.edu.et/record/20515/files/sect07_com_w4.csv Section 8: Community Needs & Actions https://nadre.ethernet.edu.et/record/20515/files/sect08_com_w4.csv Section 9: Productive Safety Nets Programme https://nadre.ethernet.edu.et/record/20515/files/sect09_com_w4.csv Section 10a: Market Prices https://nadre.ethernet.edu.et/record/20515/files/sect10a_com_w4.csv Section 10b: Market Prices https://nadre.ethernet.edu.et/record/20515/files/sect10b_com_w4.csv
Lightening Global Types
Creators: name: Chen, Tzu-chun
Publisher: name: arXiv
Year: 2014
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will never arrive or the session is terminated. By decomposing a big global type into several light global types, one can avoid such kind of redundant interactions. Lightening global types gives us cleaner global types, which keep all necessary communications. This work proposes a framework which allows to easily decompose global types into light global types, preserving the interaction sequences of the original ones but for redundant interactions.
description: In Proceedings PLACES 2014, arXiv:1406.3313
Improving Bit-Blasting for Nonlinear Integer Constraints
Creators: name: Jia, Fuqi
name: Han, Rui
name: Huang, Pei
name: Liu, Minghao
name: Ma, Feifei
name: Zhang, Jian
Publisher: name: Zenodo
Year: 2023
Subjects: nonlinear integer constraints, satisfiability modulo theories

description: Nonlinear integer constraints are common and difficult in the verification and analysis of software/hardware. SMT(QF\_NIA) generalizes such constraints, which is a boolean combination of nonlinear integer arithmetic constraints. A classical method to solve SMT(QF\_NIA) is bit-blasting, which reduces them to boolean satisfiability problems. Currently, the existing pure bit-blasting based solvers are noncompetitive with other state-of-the-art SMT solvers. The bit-blasting based methods have some problems: First, the bit-blasting method is hampered by nonlinear multiplication operations; second, it sometimes does not search in a proper search space; and third, it contains some redundancy. In this paper, we focus on improving the efficiency of bit-blasting based method. To decide on a proper search space, we proposed an adaptive function for hard nonlinear multiplications, and heuristic strategies to analyze specific constraints. We also found that different orders in successive additions will result in bit vectors with different bit-widths. We proposed an optimal order decision algorithm to save redundancy in successive additions. We implement a solver with the proposed methods named BLAN. Experiments demonstrate that BLAN outperforms other state-of-the-art SMT solvers (APROVE, CVC5, MATHSAT, YICES2, Z3) on the satisfiable SMT(QF\_NIA) instances in SMT-LIB. We provide an outlook of BLAN on solving unsatisfiable instances via combining with other solvers. Sensitivity analysis also demonstrates the effectiveness of the proposed methods.
description: Funding Agents 1. National Natural Science Foundation of China award number(s):61972384,62132020 2. Youth Innovation Promotion Association of the Chinese Academy of Sciences award number(s):Y202034
Cultural Resources Regulatory Analysis, Area Overview, and Assessment of Previous Department of Energy and Kirtland Air Force Base Inventories for Sandia National Laboratories, New Mexico
Creators: name: Hoagland, Steven R.
name: J., Kenneth
Publisher: name: Chambers Group, Inc.
Year: 1993
Subjects: subject: Bernalillo (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3646/bernalillo-county
subject: Albuquerque, New Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/84765/albuquerque-new-mexico
subject: Kirtland Air Force Base
valueUri: https://core.tdar.org/browse/geographic-keyword/17943/kirtland-air-force-base
subject: Historic
valueUri: https://core.tdar.org/browse/temporal-keyword/5728/historic
subject: Prehistoric
valueUri: https://core.tdar.org/browse/temporal-keyword/53/prehistoric
subject: Alluvial
valueUri: https://core.tdar.org/browse/other-keyword/144703/alluvial
subject: Drainage
valueUri: https://core.tdar.org/browse/other-keyword/11508/drainage
subject: Eastern Mountain
valueUri: https://core.tdar.org/browse/other-keyword/170151/eastern-mountain
subject: Western Mountain
valueUri: https://core.tdar.org/browse/other-keyword/170152/western-mountain
subject: Mesa del Sol
valueUri: https://core.tdar.org/browse/other-keyword/170150/mesa-del-sol
subject: Overview
valueUri: https://core.tdar.org/browse/other-keyword/923/overview
subject: Foothill
valueUri: https://core.tdar.org/browse/other-keyword/170153/foothill
subject: Environment Research
valueUri: https://core.tdar.org/browse/investigation-type/13/environment-research
subject: Records Search / Inventory Checking
valueUri: https://core.tdar.org/browse/investigation-type/8/records-search-inventory-checking
subject: Heritage Management
valueUri: https://core.tdar.org/browse/investigation-type/24/heritage-management

description: The following regulatory analysis and literature review of archaeological and historic resources on the Sandia National Laboratory/New Mexico (SNL/NM) occupied properties was prepared by the Chambers Group Inc. in January 1992. Based upon compliance surveys of Technical Area I through V undertaken in 1990 and 1991 the report concludes that, although consultation with the Department of Energy and State Historic Preservation Officer will still be required for particular projects, cultural resources should not affect the overall planning and development of future Sandia National Laboratory/New Mexico projects. As Sandia National Laboratory/New Mexico buildings approach 50 years in age additional analysis and consultations may be required. In order to protect sensitive resources, the location coordinates and maps provided in the original report are not included here.
Evidence for Bolgiano-Obukhov scaling in rotating stratified turbulence using high-resolution direct numerical simulations
Creators: name: Rosenberg, D.
name: Pouquet, A.
name: Marino, R.
name: Mininni, P. D.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We report results on rotating stratified turbulence in the absence of forcing, with large-scale isotropic initial conditions, using direct numerical simulations computed on grids of up to 4096^3 points. The Reynolds and Froude numbers are respectively equal to Re=5.4 x 10^4 and Fr=0.0242. The ratio of the Brunt-Väisälä to the inertial wave frequency, N/f, is taken to be equal to 4.95, a choice appropriate to model the dynamics of the southern abyssal ocean at mid latitudes. This gives a global buoyancy Reynolds number R_B=ReFr^2=32, a value sufficient for some isotropy to be recovered in the small scales beyond the Ozmidov scale, but still moderate enough that the intermediate scales where waves are prevalent are well resolved. We concentrate on the large-scale dynamics, for which we find a spectrum compatible with the Bolgiano-Obukhov scaling, and confirm that the Froude number based on a typical vertical length scale is of order unity, with strong gradients in the vertical. Two characteristic scales emerge from this computation, and are identified from sharp variations in the spectral distribution of either total energy or helicity. A spectral break is also observed at a scale at which the partition of energy between the kinetic and potential modes changes abruptly, and beyond which a Kolmogorov-like spectrum recovers. Large slanted layers are ubiquitous in the flow in the velocity and temperature fields, with local overturning events indicated by small Richardson numbers, and a small large-scale enhancement of energy directly attributable to the effect of rotation is also observed.
description: 19 pages, 9 figures (including compound figures)
Anomalous dispersion of the collective modes of an ultracold $^6Li-$ $^{40}K$ mixture in a square optical lattice
Creators: name: Koinov, Zlatko
name: Pahl, Shanna
name: Mendoza, Rafael
Publisher: name: arXiv
Year: 2014
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We report numerical calculations of the collective excitation spectrum and the speed of sound of the superfluid phase of an atomic Fermi-Fermi mixture of population-imbalanced Lithium-6 and Potassium-40 atoms in a square lattice. It is predicted that in the exotic states of matter, known as the Fulde-Ferrell phase, an anomalous dispersion of the collective modes may be realized at some values of polarization, interacting strength and temperature, i.e. the collective-mode dispersion initially bends upward before bending over as the quasimomentum increases.
description: arXiv admin note: substantial text overlap with arXiv:1410.2577
Draft: National Register of Historic Places Eligibility Evaluation of Hangers 481 and 482, Kirtland Air Force Base, New Mexico
Creators: name: Van Citters, Karen
Publisher: name: Van Citters Historic Preservation
Year: 2000
Subjects: subject: Bernalillo (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3646/bernalillo-county
subject: Albuquerque, New Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/84765/albuquerque-new-mexico
subject: Kirtland Air Force Base
valueUri: https://core.tdar.org/browse/geographic-keyword/17943/kirtland-air-force-base
subject: Historic
valueUri: https://core.tdar.org/browse/temporal-keyword/5728/historic
subject: World War II
valueUri: https://core.tdar.org/browse/temporal-keyword/3992/world-war-ii
subject: WWII
valueUri: https://core.tdar.org/browse/temporal-keyword/5196/wwii
subject: Historic
valueUri: https://core.tdar.org/browse/culture-keyword/25/historic
subject: Hangar 481
valueUri: https://core.tdar.org/browse/site-name/132855/hangar-481
subject: Hangar 482
valueUri: https://core.tdar.org/browse/site-name/132856/hangar-482
subject: Historic Governmental Structure
valueUri: https://core.tdar.org/browse/site-type/320/historic-governmental-structure
subject: Military Structure
valueUri: https://core.tdar.org/browse/site-type/322/military-structure
subject: Hangar
valueUri: https://core.tdar.org/browse/site-type/3059/hangar
subject: Building Materials
valueUri: https://core.tdar.org/browse/material-type/8/building-materials
subject: Demolished Buildings
valueUri: https://core.tdar.org/browse/other-keyword/84912/demolished-buildings
subject: B-29
valueUri: https://core.tdar.org/browse/other-keyword/170148/b-29
subject: National Register of Historic Places
valueUri: https://core.tdar.org/browse/other-keyword/1572/national-register-of-historic-places
subject: Not Eligible
valueUri: https://core.tdar.org/browse/other-keyword/76953/not-eligible
subject: Atomic Bomb
valueUri: https://core.tdar.org/browse/other-keyword/159322/atomic-bomb
subject: Architectural Survey
valueUri: https://core.tdar.org/browse/investigation-type/2/architectural-survey

description: Hangars 481 and 482 were evaluated using the National Register of Historic Places criteria for eligibility, appropriate historic contexts, drawings, photographs, and site visits. The structures were determined to be two of the select structures constructed toward the end of World War II and associated with the B-29 role in the final incendiary raids that devastated Japan before and after the atomic bomb was dropped. Although the structures were associated with this important period in the history of the United States, the primary character-defining features of Hangars 481 and 482 were removed, destroyed, or covered during a 1985 renovation that clad both of the structures with ribbed metal siding. As a result, these World War II B-29 hangars are not eligible for the National Register of Historic Places.
Identifying transitions in finite systems by means of partition function zeros and microcanonical inflection-point analysis: A comparison for elastic flexible polymers
Creators: name: Rocha, Julio C. S.
name: Schnabel, Stefan
name: Landau, David P.
name: Bachmann, Michael
Publisher: name: arXiv
Year: 2014
Subjects: subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: For the estimation of transition points of finite elastic, flexible polymers with chain lengths from $13$ to $309$ monomers, we compare systematically transition temperatures obtained by the Fisher partition function zeros approach with recent results from microcanonical inflection-point analysis. These methods rely on accurate numerical estimates of the density of states, which have been obtained by advanced multicanonical Monte Carlo sampling techniques. Both the Fisher zeros method and microcanonical inflection-point analysis yield very similar results and enable the unique identification of transition points in finite systems, which is typically impossible in the conventional canonical analysis of thermodynamic quantities.
description: 11 pages and 5 figures
Verifying Parallel Loops with Separation Logic
Creators: name: Blom, Stefan
name: Darabi, Saeed
name: Huisman, Marieke
Publisher: name: arXiv
Year: 2014
Subjects: subject: Software Engineering (cs.SE)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: This paper proposes a technique to specify and verify whether a loop can be parallelised. Our approach can be used as an additional step in a parallelising compiler to verify user annotations about loop dependences. Essentially, our technique requires each loop iteration to be specified with the locations it will read and write. From the loop iteration specifications, the loop (in)dependences can be derived. Moreover, the loop iteration specifications also reveal where synchronisation is needed in the parallelised program. The loop iteration specifications can be verified using permission-based separation logic.
description: In Proceedings PLACES 2014, arXiv:1406.3313
Reconfigurable photoinduced metamaterials in the microwave regime
Creators: name: Rizza, Carlo
name: Ciattoni, Alessandro
name: De Paulis, Francesco
name: Palange, Elia
name: Orlandi, Antonio
name: Columbo, Lorenzo
name: Prati, Franco
Publisher: name: arXiv
Year: 2014
Subjects: subject: Optics (physics.optics)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We investigate optically reconfigurable dielectric metamaterials at gigahertz frequencies. More precisely, we study the microwave response of a subwavelength grating optically imprinted into a semiconductor slab. In the homogenized regime, we analytically evaluate the ordinary and extraordinary component of the effective permittivity tensor by taking into account the photo-carrier dynamics described by the ambipolar diffusion equation. We analyze the impact of semiconductor parameters on the gigahertz metamaterial response which turns out to be highly reconfigurable by varying the photogenerated grating and which can show a marked anisotropic behavior.
description: 6 figures, 7 pages
Towards Composable Concurrency Abstractions
Creators: name: Swalens, Janwillem
name: Marr, Stefan
name: De Koster, Joeri
name: Van Cutsem, Tom
Publisher: name: arXiv
Year: 2014
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.1.3; D.3; D.3.3

description: In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory. The ubiquity of multi-core processors has made harnessing concurrency even more important. We observe that modern languages, such as Scala, Clojure, or F#, provide not one, but multiple concurrency models that help developers manage concurrency. Large end-user applications are rarely built using just a single concurrency model. Programmers need to manage a responsive UI, deal with file or network I/O, asynchronous workflows, and shared resources. Different concurrency models facilitate different requirements. This raises the issue of how these concurrency models interact, and whether they are composable. After all, combining different concurrency models may lead to subtle bugs or inconsistencies. In this paper, we perform an in-depth study of the concurrency abstractions provided by the Clojure language. We study all pairwise combinations of the abstractions, noting which ones compose without issues, and which do not. We make an attempt to abstract from the specifics of Clojure, identifying the general properties of concurrency models that facilitate or hinder composition.
description: In Proceedings PLACES 2014, arXiv:1406.3313
Cultural Resource Survey Of 148 Acres For Sandia National Laboratories, Environmental Restoration Site 87 North, Kirtland Air Force Base, New Mexico
Creators: name: Hoagland, Steven R.
Publisher: name: Butler Service Group, Inc.
Year: 1994
Subjects: subject: Bernalillo (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3646/bernalillo-county
subject: Albuquerque, New Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/84765/albuquerque-new-mexico
subject: Kirtland Air Force Base
valueUri: https://core.tdar.org/browse/geographic-keyword/17943/kirtland-air-force-base
subject: Historic
valueUri: https://core.tdar.org/browse/temporal-keyword/5728/historic
subject: Prehistoric
valueUri: https://core.tdar.org/browse/temporal-keyword/53/prehistoric
subject: Historic
valueUri: https://core.tdar.org/browse/culture-keyword/25/historic
subject: SNL Building 9990
valueUri: https://core.tdar.org/browse/site-name/130660/snl-building-9990
subject: Site 87
valueUri: https://core.tdar.org/browse/site-name/130663/site-87
subject: Site 87 North
valueUri: https://core.tdar.org/browse/site-name/130664/site-87-north
subject: ADS 1332
valueUri: https://core.tdar.org/browse/site-name/130661/ads-1332
subject: ADS 1332 Site 87
valueUri: https://core.tdar.org/browse/site-name/130662/ads-1332-site-87
subject: Explosive Firing Site
valueUri: https://core.tdar.org/browse/site-type/4690/explosive-firing-site
subject: Activity Data Sheet
valueUri: https://core.tdar.org/browse/other-keyword/168144/activity-data-sheet
subject: Negative Result
valueUri: https://core.tdar.org/browse/other-keyword/76495/negative-result
subject: Cultural Resources Clearance
valueUri: https://core.tdar.org/browse/other-keyword/168090/cultural-resources-clearance
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey

description: A cultural resources survey was recently conducted on approximately 148 acres of property situated within Cibola National Forest withdrawn lands, Kirtland Air Force Base (KAFB), Bernalillo County, New Mexico. The intensive pedestrian survey was conducted for Sandia National Laboratories (SNL) Environmental Restoration Program. Site 87 was inventoried in anticipation of proposed environmental cleanup of the decommissioned Sandia National Laboratories (SNL) explosive firing site. No cultural resources were located during this cultural resource inventory. As no cultural resources were located, there should be no effect to any properties considered potentially eligible for inclusion to the National Register of Historic Places under any of the eligibility criterion. Cultural resource clearance is therefore recommended.
N2E3
Creators: name: Alyssah Clavien
Year: 2023
Subjects: subject: Mesoamerica
valueUri: https://core.tdar.org/browse/geographic-keyword/61/mesoamerica
subject: Basin of Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/3/basin-of-mexico
subject: Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/134/mexico
subject: Mexico (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/326/mexico-state-territory
subject: United Mexican States (Country)
valueUri: https://core.tdar.org/browse/geographic-keyword/438/united-mexican-states-country
subject: Central Mexico, Teotihuacan Valley
valueUri: https://core.tdar.org/browse/geographic-keyword/7/central-mexico-teotihuacan-valley
subject: Central Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/135/central-mexico
subject: Teotihuacan Valley
valueUri: https://core.tdar.org/browse/geographic-keyword/154/teotihuacan-valley
subject: Teotihuacan
valueUri: https://core.tdar.org/browse/geographic-keyword/202/teotihuacan
subject: Valley of Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/44/valley-of-mexico
subject: Classic Period
valueUri: https://core.tdar.org/browse/temporal-keyword/125/classic-period
subject: Terminal Formative
valueUri: https://core.tdar.org/browse/temporal-keyword/67/terminal-formative
subject: Teotihuacan Period
valueUri: https://core.tdar.org/browse/temporal-keyword/7765/teotihuacan-period
subject: Early Classic
valueUri: https://core.tdar.org/browse/temporal-keyword/5560/early-classic
subject: Teotihuacan
valueUri: https://core.tdar.org/browse/culture-keyword/7527/teotihuacan
subject: Teotihuacano
valueUri: https://core.tdar.org/browse/culture-keyword/9224/teotihuacano
subject: Teotihuacan
valueUri: https://core.tdar.org/browse/site-name/92/teotihuacan
subject: Town / City
valueUri: https://core.tdar.org/browse/site-type/255/town-city
subject: Domestic Structure or Architectural Complex
valueUri: https://core.tdar.org/browse/site-type/251/domestic-structure-or-architectural-complex
subject: Settlements
valueUri: https://core.tdar.org/browse/site-type/252/settlements
subject: Systematic Survey
valueUri: https://core.tdar.org/browse/investigation-type/12/systematic-survey

description: Site Survey Form Scan for Square N2E3
Optimal Simultaneous Detection and Signal and Noise Power Estimation
Creators: name: Le, Long
name: Jones, Douglas L.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: Simultaneous detection and estimation is important in many engineering applications. In particular, there are many applications where it is important to perform signal detection and Signal-to-Noise-Ratio (SNR) estimation jointly. Application of existing frameworks in the literature that handle simultaneous detection and estimation is not straightforward for this class of application. This paper therefore aims at bridging the gap between an existing framework, specifically the work by Middleton et al., and the mentioned application class by presenting a jointly optimal detector and signal and noise power estimators. The detector and estimators are given for the Gaussian observation model with appropriate conjugate priors on the signal and noise power. Simulation results affirm the superior performance of the optimal solution compared to the separate detection and estimation approaches.
description: appears in 2014 IEEE International Symposium on Information Theory (ISIT)
Results of Phase I and III Geoarchaeological Studies, Kirtland Air Force Base, Bernalillo County, New Mexico
Creators: name: Frederick, Charles D.
name: Williamson, Thomas E.
Publisher: name: TRC Mariah Associates Inc.
Year: 1997
Subjects: subject: Bernalillo (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3646/bernalillo-county
subject: Albuquerque, New Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/84765/albuquerque-new-mexico
subject: Kirtland Air Force Base
valueUri: https://core.tdar.org/browse/geographic-keyword/17943/kirtland-air-force-base
subject: Holocene
valueUri: https://core.tdar.org/browse/temporal-keyword/30/holocene
subject: Historic
valueUri: https://core.tdar.org/browse/temporal-keyword/5728/historic
subject: Prehistoric
valueUri: https://core.tdar.org/browse/temporal-keyword/53/prehistoric
subject: Artifact Discovery
valueUri: https://core.tdar.org/browse/other-keyword/170240/artifact-discovery
subject: Geomorphic Survey
valueUri: https://core.tdar.org/browse/other-keyword/135198/geomorphic-survey
subject: Geomorphic History
valueUri: https://core.tdar.org/browse/other-keyword/30849/geomorphic-history
subject: Potential
valueUri: https://core.tdar.org/browse/other-keyword/170241/potential
subject: Geomorphic Assessment
valueUri: https://core.tdar.org/browse/other-keyword/160936/geomorphic-assessment
subject: Geology
valueUri: https://core.tdar.org/browse/other-keyword/3273/geology
subject: FOS: Earth and related environmental sciences
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey
subject: Records Search / Inventory Checking
valueUri: https://core.tdar.org/browse/investigation-type/8/records-search-inventory-checking

description: The results of these preliminary studies indicate that arroyos in this region were quite dynamic in the Holocene and that this activity resulted in a significant archaeological visibility bias. Rapid sedimentation rates (0.1 to 0.25 inch/year [0.3 to 0.66 m/year]) and thick alluvial fills demonstrate that large volumes of sediment were repeatedly mobilized in brief periods of time in the past. The discovery of several buried Archaic archaeological sites in the arroyo deposits suggests that the lack of known sites in the arroyo valley floors may simply be an artifact of visibility. The identification of Holocene age eolian and alluvial fan deposits suggests that significant portions of the base ( e.g., the upper and lower piedmont) not examined in detail during this study may have significant visibility problems as well. The results of the relatively brief field investigation clearly demonstrate that geologic processes have had a profound influence on the discovery and inventory of archaeological sites in arroyo and some alluvial fan settings and that the dynamic nature of these portions of the landscape should be considered when evaluating their archaeological potential.
Stellar outflows with the NOT
Creators: name: Liimets, Tiina
name: Corradi, Romano
name: Santander-García, Miguel
name: Balick, Bruce
name: Kraus, Michaela
name: Jones, David
name: Djupvik, Amanda
Publisher: name: Zenodo
Year: 2022

description: NOT has been an important telescope in studying galactic nebulae and stellar outflows since its inauguration more than 30 years ago. Superb observational capabilities provide simultaneous imaging and 2D spectral data, which is indispensable when investigating occasionally rapidly evolving stellar ejecta. In this talk I will provide an overview of various types of stellar outflows within my research interests which have been studied with the NOT. Outstanding examples are the ejecta of the symbiotic binary R Aquarii, the B[e] supergiant MWC 137, nova GK Per, and the bipolar nebula M2-9.
description: This research was funded by the Czech Science foundation (GA CR, grant number 20-00150S).
Sums of cubes with shifts
Creators: name: Chow, Sam
Publisher: name: arXiv
Year: 2014
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 11D75, 11E76, 11P05

description: Let $μ_1, \ldots, μ_s$ be real numbers, with $μ_1$ irrational. We investigate sums of shifted cubes $F(x_1,\ldots,x_s) = (x_1 - μ_1)^3 + \ldots + (x_s - μ_s)^3$. We show that if $η$ is real, $τ>0$ is sufficiently large, and $s \ge 9$, then there exist integers $x_1 > μ_1, \ldots, x_s > μ_s$ such that $|F(\mathbf{x})- τ| < η$. This is a real analogue to Waring's problem. We then prove a full density result of the same flavour for $s \ge 5$. For $s \ge 11$, we provide an asymptotic formula. If $s \ge 6$ then $F(\mathbf{Z}^s)$ is dense on the reals. Given nine variables, we can generalise this to sums of univariate cubic polynomials.
Leaving the Euro. A feasible option for Italy?
Creators: name: Santambrogio, Giovanni
Publisher: name: Universita' degli Studi di Salerno
Year: 2018
Subjects: Euro
Italy
Europe

description: The Financial Crisis of 2008 has been especially hard on European Southern countries which, although some cautious signs of recovery, are still struggling to find theirway out of it and return to previous levels of occupation and growth. During the last decade, many prominent scholars and politicians have blamed the Euro for such difficulties and paved theway for debate about its break-up as a possible solution. Unsurprisingly, such debate has been particularly lively in Italy. The paper dealswith the possibility of Italy leaving the Euro and seeks to address the question of its feasibility, not only froman economic perspective of cost-benefit analysis but also by examining legal issues and possible political repercussions and technical difficulties. It does so by reviewing themain arguments frompro-exit literature and by assessing themaccording to the European Treaties and to official stances of EU officials and other important politicians.
Host Gene Variants and Sting-mediated Reactive Oxygen Species Affect Drosophila melanogaster Survival During Coxiella burnetii Infection
Creators: name: Guzman, Rosa Marena
Publisher: name: Washington State University
Year: 2024
Subjects: host response
immunity
ROS
STING
Bacteria
Pathogenesis

description: The first line of defense against pathogens is referred to as innate immunity. At the molecular level, innate immunity begins when pathogens are recognized by immune receptors which then activate signaling cascades to protect the host. Immune receptors like STimulator of Interferon Genes (STING), recognize cyclic-dinucleotides synthesized by cyclic GMP-AMP synthase (cGAS) upon detection of cytosolic DNA. STING is one of many nucleic acid sensors that have significant roles in human health as they protect against a wide variety of pathogens. Chapter Two in this body of work reviews known RNA and DNA nucleic acid sensors by focusing on their respective activation by different viruses and bacteria. Chapters Three and Four focus on the Gram-negative bacterium Coxiella burnetii, which is the causative agent of Query (Q) fever in humans and coxiellosis in livestock. It is known that C. burnetii evades host detection through its lipopolysaccharide O-antigen which is undetected by immunocompetent hosts. Nonetheless, little is known about specific host genes that confer susceptibility or tolerance to infection, and how specific host proteins like STING are needed for host survival. C. burnetii biomedical research is hindered due to the biosafety-level 3 facility requirement to work with the infectious strain. Moreover, there is a limited number of animal models available to study host-pathogen interactions during infection. We investigated C. burnetii infection using Drosophila melanogaster and the attenuated NMII strain of bacteria to allow us to study live host-pathogen interactions and innate immunity in a biosafety-level 2 facility. In the first study, we performed a genetic screen by injecting over 30,000 fruit flies from the Drosophila Genetic Reference Panel. We validated 15 novel fly host gene variants that confer susceptibility or tolerance to C. burnetii infection. In the second study, we utilized a CRISPR-Cas9 Sting-deleted fly line. We found that the role of Drosophila Sting during C. burnetii infection is to regulate reactive oxygen species. Together, these studies employed two complementary approaches to investigate live host-pathogen interactions during C. burnetii infection in D. melanogaster that highlight the importance of performing biomedical research with specific translatable human impact for challenging pathogens like C. burnetii.
Closed-Form Delay-Optimal Power Control for Energy Harvesting Wireless System with Finite Energy Storage
Creators: name: Zhang, Fan
name: Lau, Vincent K. N.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: In this paper, we consider delay-optimal power control for an energy harvesting wireless system with finite energy storage. The wireless system is powered solely by a renewable energy source with bursty data arrivals, and is characterized by a data queue and an energy queue. We consider a delay-optimal power control problem and formulate an infinite horizon average cost Markov Decision Process (MDP). To deal with the curse of dimensionality, we introduce a virtual continuous time system and derive closed-form approximate priority functions for the discrete time MDP at various operating regimes. Based on the approximation, we obtain an online power control solution which is adaptive to the channel state information as well as the data and energy queue state information. The derived power control solution has a multi-level water-filling structure, where the water level is determined jointly by the data and energy queue lengths. We show through simulations that the proposed scheme has significant performance gain compared with various baselines.
description: 17 pages, 9 figures, 1 table. Accepted for publication in IEEE Transactions on Signal Processing
Cultural Resources Survey Department of Energy (DOE)/Sandia National Laboratories (SNL) Communication Line and Test Equipment Bunker
Creators: name: Hayden, John S.
Year: 1987
Subjects: subject: Bernalillo (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3646/bernalillo-county
subject: Albuquerque, New Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/84765/albuquerque-new-mexico
subject: Sandia Ranger District
valueUri: https://core.tdar.org/browse/geographic-keyword/85840/sandia-ranger-district
subject: Cibola National Forest
valueUri: https://core.tdar.org/browse/geographic-keyword/17697/cibola-national-forest
subject: Kirtland Air Force Base
valueUri: https://core.tdar.org/browse/geographic-keyword/17943/kirtland-air-force-base
subject: Negative Result
valueUri: https://core.tdar.org/browse/other-keyword/76495/negative-result
subject: Cultural Resources Clearance
valueUri: https://core.tdar.org/browse/other-keyword/168090/cultural-resources-clearance
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey

description: This report documents the performance and findings of a cultural resource survey for a proposed construction of a communication tine and test equipment bunker for Sandia National labs at the large "cable site" on Department of Energy (DOE) withdrawn lands of Cibola National Forest covering approximately 8 acres. Thorough searching of the areas failed to reveal any evidence of cultural resources.
Constitutional Criteria Informing Membership of the Australian Political Community
Creators: name: DONAGHUE, STEPHEN
Publisher: name: Monash University
Year: 2024
Subjects: classificationCode: 480702
subject: Constitutional law

description: The Australian Constitution ‘summoned the Australian nation into existence’, thereby creating a new federal body politic. The High Court has grappled with questions about who comprises that body politic since Federation, including in cases concerning the relationship between citizenship and alienage, and the extent of the Commonwealth Parliament’s powers to define and revoke Australian citizenship, to exclude aliens and immigrants from Australia, and to regulate the electoral franchise. These issues have frequently provoked deep divisions in the Court. This article provides a framework for understanding the relationship between three constitutional concepts that together provide the constitutional foundations for the Australian political community: ‘aliens’, ‘the people’, and ‘electors’.
title: Prüfbericht G 2080 : Spritzeinrichtung mit unbemanntem Flugobjekt (UAV) Type DJI Agras MG-1P (alte Bezeichnung MG-1S) ; Anerkannt für das Spritzen/Sprühen im Weinbau unter Verwendung der Drohne DJI Agras MG-1P
Creators: name: JKI-Institut Für Anwendungstechnik Im Pflanzenschutz
Publisher: name: Bundesbehörden und Einrichtungen im Geschäftsbereich des Bundesministeriums für Ernährung und Landwirtschaft (BMEL)
Year: 2021
Subjects: subject: 630

description: Geräteprüfberichte des JKI, p. 1
Session Type Isomorphisms
Creators: name: Dezani-Ciancaglini, Mariangiola
name: Padovani, Luca
name: Pantovic, Jovanka
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.3.3, F.3.3

description: There has been a considerable amount of work on retrieving functions in function libraries using their type as search key. The availability of rich component specifications, in the form of behavioral types, enables similar queries where one can search a component library using the behavioral type of a component as the search key. Just like for function libraries, however, component libraries will contain components whose type differs from the searched one in the order of messages or in the position of the branching points. Thus, it makes sense to also look for those components whose type is different from, but isomorphic to, the searched one. In this article we give semantic and axiomatic characterizations of isomorphic session types. The theory of session type isomorphisms turns out to be subtle. In part this is due to the fact that it relies on a non-standard notion of equivalence between processes. In addition, we do not know whether the axiomatization is complete. It is known that the isomorphisms for arrow, product and sum types are not finitely axiomatisable, but it is not clear yet whether this negative results holds also for the family of types we consider in this work.
description: In Proceedings PLACES 2014, arXiv:1406.3313
title: Prüfbericht G 2199 : Spritzeinrichtung mit unbemanntem Flugobjekt (UAV) Type DJI Agras T16 ; Anerkannt als geeignet für das Spritzen/Sprühen im Weinbau unter Verwendung der Drohne DJI Agras T16
Creators: name: JKI-Institut Für Anwendungstechnik Im Pflanzenschutz
Publisher: name: Bundesbehörden und Einrichtungen im Geschäftsbereich des Bundesministeriums für Ernährung und Landwirtschaft (BMEL)
Year: 2021
Subjects: subject: 630

description: Geräteprüfberichte des JKI, p. 1
N6W4
Creators: name: Alyssah Clavien
Year: 2023
Subjects: subject: Mesoamerica
valueUri: https://core.tdar.org/browse/geographic-keyword/61/mesoamerica
subject: Basin of Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/3/basin-of-mexico
subject: Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/134/mexico
subject: Mexico (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/326/mexico-state-territory
subject: United Mexican States (Country)
valueUri: https://core.tdar.org/browse/geographic-keyword/438/united-mexican-states-country
subject: Central Mexico, Teotihuacan Valley
valueUri: https://core.tdar.org/browse/geographic-keyword/7/central-mexico-teotihuacan-valley
subject: Central Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/135/central-mexico
subject: Teotihuacan Valley
valueUri: https://core.tdar.org/browse/geographic-keyword/154/teotihuacan-valley
subject: Teotihuacan
valueUri: https://core.tdar.org/browse/geographic-keyword/202/teotihuacan
subject: Valley of Mexico
valueUri: https://core.tdar.org/browse/geographic-keyword/44/valley-of-mexico
subject: Classic Period
valueUri: https://core.tdar.org/browse/temporal-keyword/125/classic-period
subject: Terminal Formative
valueUri: https://core.tdar.org/browse/temporal-keyword/67/terminal-formative
subject: Teotihuacan Period
valueUri: https://core.tdar.org/browse/temporal-keyword/7765/teotihuacan-period
subject: Early Classic
valueUri: https://core.tdar.org/browse/temporal-keyword/5560/early-classic
subject: Teotihuacan
valueUri: https://core.tdar.org/browse/culture-keyword/7527/teotihuacan
subject: Teotihuacano
valueUri: https://core.tdar.org/browse/culture-keyword/9224/teotihuacano
subject: Teotihuacan
valueUri: https://core.tdar.org/browse/site-name/92/teotihuacan
subject: Town / City
valueUri: https://core.tdar.org/browse/site-type/255/town-city
subject: Domestic Structure or Architectural Complex
valueUri: https://core.tdar.org/browse/site-type/251/domestic-structure-or-architectural-complex
subject: Settlements
valueUri: https://core.tdar.org/browse/site-type/252/settlements
subject: Systematic Survey
valueUri: https://core.tdar.org/browse/investigation-type/12/systematic-survey

description: Site Survey Form Scan for Square N6W4.