Nesting Biology of Lesser Canada Geese, Branta canadensis parvipes, along the Tanana River, Alaska

Lesser Canada Geese (Branta canadensis parvipes) are widespread throughout interior regions of Alaska and Canada, yet there have been no published studies documenting basic aspects of their nesting biology. We conducted a study to determine reproductive parameters of Lesser Canada Geese nesting along the Tanana River near the city of Fairbanks, in interior Alaska. Fieldwork was conducted in May of 2003, and consisted of locating nests along the riparian corridor between Fairbanks and Northpole, Alaska. Nests were found on gravel islands and shore habitats along the Tanana River, and were most commonly observed among driftwood logs associated with patches of alder (Alnus spp.) and willow (Salix spp.). Peak of nest initiation was 3-8 May, with a range from 27 April to 20 May; renesting was likely. Clutches ranged in size from 2 to 7 eggs and averaged 4.6 eggs. There was a negative correlation between clutch size and date of nest initiation. Egg size (mean mass = 128 g) was similar to other medium-sized Canada Geese. A positive correlation between egg size and clutch size was likely related to female age. Nineteen of 28 nests (68%) were active when visited; nests located on islands with nesting Mew Gulls (Larus canus) were more likely to be active than nests located elsewhere. Evidence at nest sites implicated Bald Eagles (Haliaeetus leucocephalus) and Red Foxes (Vulpes vulpes) as nest predators

New results on rewrite-based satisfiability procedures

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page

N and P constrain C in ecosystems under climate change: role of nutrient redistribution, accumulation, and stoichiometry

© The Author(s), 2022. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Rastetter, E., Kwiatkowski, B., Kicklighter, D., Plotkin, A., Genet, H., Nippert, J., O’Keefe, K., Perakis, S., Porder, S., Roley, S., Ruess, R., Thompson, J., Wieder, W., Wilcox, K., & Yanai, R. N and P constrain C in ecosystems under climate change: role of nutrient redistribution, accumulation, and stoichiometry. Ecological Applications, (2022): e2684, https://doi.org/10.1002/eap.2684.We use the Multiple Element Limitation (MEL) model to examine responses of 12 ecosystems to elevated carbon dioxide (CO2), warming, and 20% decreases or increases in precipitation. Ecosystems respond synergistically to elevated CO2, warming, and decreased precipitation combined because higher water-use efficiency with elevated CO2 and higher fertility with warming compensate for responses to drought. Response to elevated CO2, warming, and increased precipitation combined is additive. We analyze changes in ecosystem carbon (C) based on four nitrogen (N) and four phosphorus (P) attribution factors: (1) changes in total ecosystem N and P, (2) changes in N and P distribution between vegetation and soil, (3) changes in vegetation C:N and C:P ratios, and (4) changes in soil C:N and C:P ratios. In the combined CO2 and climate change simulations, all ecosystems gain C. The contributions of these four attribution factors to changes in ecosystem C storage varies among ecosystems because of differences in the initial distributions of N and P between vegetation and soil and the openness of the ecosystem N and P cycles. The net transfer of N and P from soil to vegetation dominates the C response of forests. For tundra and grasslands, the C gain is also associated with increased soil C:N and C:P. In ecosystems with symbiotic N fixation, C gains resulted from N accumulation. Because of differences in N versus P cycle openness and the distribution of organic matter between vegetation and soil, changes in the N and P attribution factors do not always parallel one another. Differences among ecosystems in C-nutrient interactions and the amount of woody biomass interact to shape ecosystem C sequestration under simulated global change. We suggest that future studies quantify the openness of the N and P cycles and changes in the distribution of C, N, and P among ecosystem components, which currently limit understanding of nutrient effects on C sequestration and responses to elevated CO2 and climate change.This material is based on work supported by the National Science Foundation under Grant No. 1651722 as well through the NSF LTER Program 1637459, 2220863 (ARC), 1637686 (NWT), 1832042 (KBS), 2025849 (KNZ), 1636476 (BNZ), 1637685 (HBR), 1832210 (HFR), 2025755 (AND). We also acknowledge NSF grants 1637653 and 1754126 (INCyTE RCN), and DOE grant DESC0019037. We also acknowledge support through the USDA Forest Service Hubbard Brook Experimental Forest, North Woodstock, New Hampshie (USDA NIFA 2019-67019-29464) and Pacific Northwest Research Station, Corvallis, Oregon

Scanning-probe spectroscopy of semiconductor donor molecules

Semiconductor devices continue to press into the nanoscale regime, and new applications have emerged for which the quantum properties of dopant atoms act as the functional part of the device, underscoring the necessity to probe the quantum structure of small numbers of dopant atoms in semiconductors[1-3]. Although dopant properties are well-understood with respect to bulk semiconductors, new questions arise in nanosystems. For example, the quantum energy levels of dopants will be affected by the proximity of nanometer-scale electrodes. Moreover, because shallow donors and acceptors are analogous to hydrogen atoms, experiments on small numbers of dopants have the potential to be a testing ground for fundamental questions of atomic and molecular physics, such as the maximum negative ionization of a molecule with a given number of positive ions[4,5]. Electron tunneling spectroscopy through isolated dopants has been observed in transport studies[6,7]. In addition, Geim and coworkers identified resonances due to two closely spaced donors, effectively forming donor molecules[8]. Here we present capacitance spectroscopy measurements of silicon donors in a gallium-arsenide heterostructure using a scanning probe technique[9,10]. In contrast to the work of Geim et al., our data show discernible peaks attributed to successive electrons entering the molecules. Hence this work represents the first addition spectrum measurement of dopant molecules. More generally, to the best of our knowledge, this study is the first example of single-electron capacitance spectroscopy performed directly with a scanning probe tip[9].Comment: In press, Nature Physics. Original manuscript posted here; 16 pages, 3 figures, 5 supplementary figure

One-dimensional Weak Localization of Electrons in a Single InAs Nanowire

We report on low temperature (2-30K) electron transport and magneto-transport measurements of a chemically synthesized InAs nanowire. Both the temperature, T, and transverse magnetic field dependences of the nanowire conductance are consistent with the functional forms predicted in one-dimensional (1D) weak localization theory. By fitting the magneto-conductance data to theory, the phase coherence length of electrons is determined to be tens of nanometers with a T-1/3 dependence. Moreover, as the electron density is increased by a gate voltage, the magneto-conductance shows a possible signature of suppression of weak localization in multiple 1D subbands

Development of the 174 GHz collective Thomson scattering diagnostics at Wendelstein 7-X

In this paper, we present the design and commissioning results of the upgraded collective Thomson scattering diagnostic at the Wendelstein 7-X stellarator. The diagnostic has a new radiometer designed to operate between the second and third harmonics of the electron cyclotron emission from the plasma at 171–177 GHz, where the emission background has a minimum and is of order 10–100 eV. It allows us to receive the scattered electromagnetic field with a significantly improved signal-to-noise ratio and extends the set of possible scattering geometries compared to the case of the original instrument operated at 140 GHz. The elements of the diagnostic are a narrowband notch filter and a frequency stabilized probing gyrotron that will allow measuring scattered radiation spectra very close to the probing frequency. Here, we characterize the microwave components applied to the radiometer and demonstrate the performance of the complete system that was achieved during the latest experimental campaign, OP2.1

Phenotypic variation of larks along an aridity gradient:Are desert birds more flexible?

We investigated interindividual variation and intra-individual phenotypic flexibility in basal metabolic rate (BMR), total evaporative water loss (TEWL), body temperature (T-b), the minimum dry heat transfer coefficient (h), and organ and muscle size of five species of larks geographically distributed along an aridity gradient. We exposed all species to constant environments of 15degreesC or 35degreesC, and examined to what extent interspecific differences in physiology can be attributed to acclimation. We tested the hypothesis that birds from deserts display larger intra-individual phenotypic flexibility and smaller intern individual variation than species from mesic areas.Larks from arid areas had lower BMR, TEWL, and h, but did not have internal organ, sizes different from birds from mesic habitats. BMR of 15degreesC-acclimated birds was 18.0%, 29.1%, 12.2%, 25.3%, and 4.7% higher than of 35degreesC-acclimated Hoopoe Larks, Dunn's Larks, Spike-heeled Larks, Skylarks, and Woodlarks, respectively. TEWL of 15degreesC-acclimated Hoopoe Larks exceeded values for 35degreesC-acclimated individuals by 23% but did not differ between 15degreesC- and 35degreesC-acclimated individuals in the other species. The dry heat transfer coefficient was increased in 15degreesC-acclimated individuals of Skylarks and Dunn's Larks, but not in the. other species. Body temperature was on average 0.4degreesC +/- 0.15degreesC (mean +/- 1 SEM) lower in 15degreesC-acclimated individuals of all species. Increased food intake in 15degreesC-acclimated birds stimulated enlargement of intestine (26.9-38.6%), kidneys (9.8-24.4%), liver (16.5-27.2%), and. stomach (22.0-31.6%). The pectoral muscle increased in 15degreesC-acclimated Spike-heeled Larks and Skylarks, remained unchanged in Hoopoe Larks, and decreased in 15degreesC-acclimated Woodlarks and Dunn's Larks. We conclude that the degree of intra-individual flexibility varied between physiological traits and among species, but that acclimation does not account for interspecific differences in BMR, TEWL, and h in larks. We found no general support for the hypothesis that species from desert environments display larger intra-individual phenotypic flexibility than those from mesic areas.The coefficient of variation of larks acclimated to their natural environment was smaller in species from and areas than in species from mesic areas for mass-corrected BMR and surface-specific h, but not for mass-corrected TEWL. The high repeatabilities of BMR, TEWL, and h in several species indicated a within-individual consistency on which natural selection could operate.</p