Although the effects of solar (and lunar) gravitational potentials on the frequencies of orbiting Global Positioning System (GPS) clocks are actually no more than a few parts in 10^(15), a naïve calculation appears to show that such effects are much larger, and depend on whether the orbiting clock is between the earth and the sun, or on the side of the earth opposite to the sun. Consequently questions about whether such effects have been properly accounted for in the GPS continue to arise. This issue has been discussed in a misleading way in terms of cancellations arising from a second-order Doppler shift in the literature for almost 50 years. The purpose of this article is to provide a correct argument, based on fundamental relativity principles, so that one may understand in a simple way why the effects of external solar system bodies on orbiting or earth-bound clocks in the GPS are so small. The relativity of simultaneity plays a crucial role in these arguments.
This paper describes the Duluth systems that participated in SemEval-2017 Task 7 : Detection and Interpretation of English Puns. The Duluth systems participated in all three subtasks, and relied on methods that included word sense disambiguation and measures of semantic relatedness.
We present three eastward-expanding auroral surge (EEAS) events that were observed intermittently at intervals of about 15 min in the post-midnight sector (01:55-02:40 MLT) by all-sky imagers and magnetometers in northern Europe. It was deduced that each surge occurred just after each onset of a multiple-onset substorm, which was small-scale and did not clearly expand westward, because they were observed almost simultaneously with Pi 2 pulsations at the magnetic equator and magnetic bay variations at middle-to-high latitudes associated with the DP-1 current system. The EEASs showed similar properties to omega bands or torches reported in previous studies, such as recurrence intervals of about 15 min, concurrence with magnetic pulsations with amplitudes of several tens of nanotesla, horizontal scales of 300-400 km, and occurrence of a pulsating aurora in a diffuse aurora after the passage of the EEASs. Furthermore, the EEASs showed similar temporal evolution to the omega bands, during which eastward-propagating auroral streamers occurred simultaneously in the poleward region, followed by the formation of north-south-aligned auroras, which eventually connected with the EEASs. Thus, w
In 2019, North Dakota repealed its Sunday closing law, which had required most non-grocery stores to close between midnight and noon. Using this policy change and consumer GPS data, we study the impact of opening hours on shopping behavior and welfare. We compare visits before and after the repeal in North Dakota and neighboring states using difference-in-differences and event-study designs. The repeal caused a large increase in Sunday morning visits, originating partly from intertemporal, store-type, and cross-border substitution. The closing law's welfare loss is equivalent to increasing the travel distance to affected stores by about 1.4 miles per consumer.
Resting-state fMRI (rs-fMRI) is widely used to investigate brain functional connectivity, but the reliability of these measurements remains a key concern for ensuring reproducibility. The distance-based intraclass correlation coefficient (dbICC) generalizes classical ICC to more general data types, making it well-suited for assessing the reliability of measures of functional connectivity. In this study, we applied dbICC to assess the reliability of rs-fMRI data from the Midnight Scanning Club (MSC) dataset, which consists of 10 subjects, each undergoing 10 sessions of 30-minute rs-fMRI scans. The functional connectivity was estimated using Pearson's correlation coefficients between all pairs of brain regions, resulting in a correlation matrix for each session. We compared two distance metrics-the widely used Frobenius metric and the Affine Invariant Riemannian Metric (AIRM) selected to respect the geometry of the space of covariance matrices-to evaluate how the choice of metric affects the reliability of estimating correlation. In addition, we investigated the impact of scan length and time interval between sessions on reliability. Results based on each metric agreed in some respec
Workforce scheduling is an NP-hard combinatorial optimization problem requiring simultaneous satisfaction of labor regulations, coverage requirements, employee preferences and operational objectives. Existing CP formulations typically model simplified instances with 6-12 constraints at shift-level granularity and critically lack explicit support for: mandatory break scheduling with midpoint placement control; acuity weighted workload equity; sub-shift temporal granularity enabling demand-driven staffing; inter-week schedule stability; and cross-midnight shift patterns common in 24-hour operations. This paper presents CP-WSP: a declarative CP-SAT framework enforcing 14 hard constraints as mathematically inviolable requirements (zero regulatory violations by construction) while optimizing 15 soft objectives through a unified weighted penalty function -- all configurable via a JSON specification with no code changes required. Key contributions include: a shift-window variable decomposition enabling mandatory break scheduling with centrality control; acuity-weighted workload equity; multi-granularity temporal resolution from 30 minutes to 2 hours; inter-week schedule stability; a grid-
Based on models derived from Earth's magnetotail, other planets with dipole magnetic fields, including Mercury, Jupiter, and Saturn, were expected to possess similar magnetotail configurations. In this traditional picture, the majority of plasma is confined near the magnetic equator within a plasma sheet (or plasma disc), whereas higher-latitude regions feature strong magnetic fields that are open to the solar wind, forming magnetospheric lobes. However, auroral observations and recent simulations have shown that Jupiter's magnetic topology differs markedly from this picture, particularly in its high-latitude regions where magnetic field lines are predominantly closed. This discrepancy calls for a re-examination of high-latitude magnetospheric structure at Jupiter. Here, using Juno measurements acquired between 2016 and 2022, we show that Jupiter's nightside high latitudes host a persistent current-sheet-like structure above about 40 degrees magnetic latitude near midnight. This structure contains internally sourced oxygen and sulfur ions and exhibits azimuthal magnetic signatures opposite to the bend-back of the equatorial current sheet. These findings indicate that the canonical
Spectroscopic study of the night sky has been a common way to assess the impacts of artificial light at night at remote astronomical observatories. However, the spectroscopic properties of the urban night sky remain poorly documented. We addressed this gap by collecting more than 12,000 zenith sky spectra with compact spectrometers at urban and suburban sites from 2021 to 2023. Here, by examining the intensity variations of the spectral features that represent characteristic emissions from common artificial light sources, we show that the skyglow is predominantly shaped by artificial emissions, including compact fluorescent lamps and high-pressure sodium lamps. Contributions from commercially controlled lighting, including those for floodlighting and advertising adopting light-emitting diode and metal halide technologies, were more pronounced in urban areas during the hours leading up to midnight. We also documented direct evidence of the impact of a neon sign located on top of a commercial tower, illustrating how a single light source can significantly influence the surrounding environment. Compared with observations made a decade ago at the same location, our findings indicate a
The rapid expansion of ride-hailing services has significantly reshaped urban on-demand mobility patterns, but it still remains unclear how they perform relative to traditional street-hailing services and how effective are related policy interventions. This study presents a simulation framework integrating a graph theory-based trip-vehicle matching mechanism with real cruising taxi operations data to simulate ride-hailing services in Chengdu, China. The performances of the two on-demand mobility service modes (i.e., ride-hailing and street-hailing) are evaluated in terms of three key performance indicators: average passenger waiting time (APWT), average deadheading miles (ADM), and average deadheading energy consumption (ADEC). We further examine the impacts of spatiotemporal characteristics and three types of policies: fleet size management, geofencing, and demand management, on the performance of ride-hailing services. Results show that under the same fleet size and trip demand as street-hailing taxis, ride-hailing services without cruising achieve substantial improvements, reducing APWT, ADM, and ADEC by 81\%, 75\%, and 72.1\%, respectively. These improvements are most pronounce
Magnetospheric-ionospheric coupling studies often rely on multi-spacecraft conjunctions, which require accurate magnetic field mapping tools. For example, linking measurements from the magnetotail with those in the ionosphere involves determining when the orbital magnetic footpoint of THEMIS or MMS intersects with the footpoint of Swarm. The Tsyganenko models are commonly used for tracing magnetic field lines. In this study, we aim to analyze how the footpoint locations are impacted by the input parameters of these models, including solar wind conditions, geomagnetic activity, and the location in the magnetotail. A dataset of 2394 bursty bulk flows (BBFs) detected by MMS was mapped to Earth's ionosphere with six different Tsyganenko models. Approximately 90% of the ionospheric footpoints are concentrated within 70° +/-5° magnetic latitude (MLAT) and +/-3 hours of magnetic local time (MLT) around midnight, with a pronounced peak in the pre-midnight sector. The MLT position showed a difference of approximately +/-1 hour MLT across the models. Footpoint locations were linked to the dawn-dusk position of the BBFs, with differences between models associated with variations in the interp
A complete time-parameterized statistical model quantifying the divergent evolution of protein structures in terms of the patterns of conservation of their secondary structures is inferred from a large collection of protein 3D structure alignments. This provides a better alternative to time-parameterized sequence-based models of protein relatedness, that have clear limitations dealing with twilight and midnight zones of sequence relationships. Since protein structures are far more conserved due to the selection pressure directly placed on their function, divergence time estimates can be more accurate when inferred from structures. We use the Bayesian and information-theoretic framework of Minimum Message Length to infer a time-parameterized stochastic matrix (accounting for perturbed structural states of related residues) and associated Dirichlet models (accounting for insertions and deletions during the evolution of protein domains). These are used in concert to estimate the Markov time of divergence of tertiary structures, a task previously only possible using proxies (like RMSD). By analyzing one million pairs of homologous structures, we yield a relationship between the Markov
Utilizing observations from the ELFIN satellites, we present a statistical study of $\sim$2000 events in 2019-2020 characterizing the occurrence in magnetic local time (MLT) and latitude of $\geq$50 keV electron isotropy boundaries (IBs) at Earth, and the dependence of associated precipitation on geomagnetic activity. The isotropy boundary for an electron of a given energy is the magnetic latitude poleward of which persistent isotropized pitch-angle distributions ($J_{prec}/J_{perp}\sim 1$) are first observed to occur, interpreted as resulting from magnetic field-line curvature scattering (FLCS) in the equatorial magnetosphere. We find that energetic electron IBs can be well-recognized on the nightside from dusk until dawn, under all geomagnetic activity conditions, with a peak occurrence rate of almost 90% near $\sim$22 hours in MLT, remaining above 80% from 21 to 01 MLT. The IBs span a wide range of IGRF magnetic latitudes from $60^\circ$-$74^\circ$, with a maximum occurrence between $66^\circ$-$71^\circ$ (L of 6-8), shifting to lower latitudes and pre-midnight local times with activity. The precipitating energy flux of $\geq$50 keV electrons averaged over the IB-associated latit
We present long-term density trends of the Earth's upper atmosphere at altitudes between 71 and 116 km, based on atmospheric occultations of the Crab Nebula observed with X-ray astronomy satellites, ASCA, RXTE, Suzaku, NuSTAR, and Hitomi. The combination of the five satellites provides a time period of 28 yr from 1994 to 2022. To suppress seasonal and latitudinal variations, we concentrate on the data taken in autumn (49< doy <111) and spring (235< doy <297) in the northern hemisphere with latitudes of 0--40 degrees. With this constraint, local times are automatically limited either around noon or midnight. We obtain four sets (two seasons times two local times) of density trends at each altitude layer. We take into account variations due to a linear trend and the 11-yr solar cycle using linear regression techniques. Because we do not see significant differences among the four trends, we combine them to provide a single vertical profile of trend slopes. We find a negative density trend of roughly -5 %/decade at every altitude. This is in reasonable agreement with inferences from settling rate of the upper atmosphere. In the 100--110 km altitude, we found an exceptionall
We present a new search for dark matter using planetary atmospheres. We point out that annihilating dark matter in planets can produce ionizing radiation, which can lead to excess production of ionospheric $H_3^+$. We apply this search strategy to the night side of Jupiter near the equator. The night side has zero solar irradiation, and low latitudes are sufficiently far from ionizing auroras, leading to an effectively background-free search. We use Cassini data on ionospheric $H_3^+$ emission collected 3 hours either side of Jovian midnight, during its flyby in 2000, and set novel constraints on the dark matter-nucleon scattering cross section down to about $10^{-38}$ cm$^2$. We also highlight that dark matter atmospheric ionization may be detected in Jovian exoplanets using future high-precision measurements of planetary spectra.
Magnetic field line curvature (FLC) scattering is a collisionless scattering mechanism that arises when a particle's gyro-radius is comparable to the magnetic field line's curvature radius, resulting in the breaking of the conservation of the first adiabatic invariant. Studies in recent years have explored the implications of FLC scattering on the precipitation of both ring current ions and radiation belt electrons. In this work, we first compare two previous FLC scattering coefficients using test particle calculations. Then, we systematically calculate diffusion coefficients from FLC scattering in radial and MLT directions for particles of various energy levels, as well as its sensitivity to the $Kp$ index. We find that the timescale of FLC scattering is sufficient to account for the sudden loss of MeV electrons near the geostationary orbit during disturbed times. Additionally, the decay time of ring current protons is on the order of hours to minutes, providing an explanation for the ring current decay throughout the recovery phase of magnetic storms. Lastly, we compare the effects of wave-particle resonant scattering and FLC scattering in the vicinity of the midnight equator. Ou
We investigate ionospheric flow patterns occurring on 28 January 2002 associated with the development of the nightside distorted end of a J-shaped transpolar arc (nightside distorted TPA). Based on the nightside ionospheric flows near to the TPA, detected by the SuperDARN (Super Dual Auroral Radar Network) radars, we discuss how the distortion of the nightside end toward the pre-midnight sector is produced. The J-shaped TPA was seen under southward Interplanetary Magnetic Field (IMF) conditions, in the presence of a dominant dawnward IMF-By component. At the onset time of the nightside distorted TPA, particular equatorward plasma flows at the TPA growth point were observed in the post-midnight sector, flowing out of the polar cap and then turning toward the pre-midnight sector of the main auroral oval along the distorted nightside part of the TPA. We suggest that these plasma flows play a key role in causing the nightside distortion of the TPA. SuperDARN also found ionospheric flows typically associated with Tail Reconnection during IMF Northward Non-substorm Intervals (TRINNIs) on the nightside main auroral oval, before and during the TPA interval, indicating that nightside magnet
Few spacecraft have studied the dynamics of Venus' deep atmosphere, which is needed to understand the interactions between the surface and atmosphere. Recent global simulations suggest a strong effect of the diurnal cycle of surface winds on the depth of the planetary boundary layer. We propose to use a turbulent-resolving model to characterize the Venus boundary layer and the impact of surface winds for the first time. Simulations were performed in the low plain and high terrain at the Equator and noon and midnight. A strong diurnal cycle is resolved in the high terrain, with a convective layer reaching 7 km above the local surface and vertical wind of 1.3 m/s. The boundary layer depth in the low plain is consistent with the observed wavelength of the dune fields. At noon, the resolved surface wind field for both locations is strong enough to lift dust particles and engender micro-dunes. Convective vortices are resolved for the first time on Venus.
The effectiveness of traditional traffic prediction methods is often extremely limited when forecasting traffic dynamics in early morning. The reason is that traffic can break down drastically during the early morning commute, and the time and duration of this break-down vary substantially from day to day. Early morning traffic forecast is crucial to inform morning-commute traffic management, but they are generally challenging to predict in advance, particularly by midnight. In this paper, we propose to mine Twitter messages as a probing method to understand the impacts of people's work and rest patterns in the evening/midnight of the previous day to the next-day morning traffic. The model is tested on freeway networks in Pittsburgh as experiments. The resulting relationship is surprisingly simple and powerful. We find that, in general, the earlier people rest as indicated from Tweets, the more congested roads will be in the next morning. The occurrence of big events in the evening before, represented by higher or lower tweet sentiment than normal, often implies lower travel demand in the next morning than normal days. Besides, people's tweeting activities in the night before and e
A search for a non-random co-variation between the Neutrino Flux and Mental Activity was undertaken, using the 5-day period version of the SK-I data taken from May 31st, 1996 to July 15th, 2001. For the whole 1996-2001 period, a significant correlation between the Neutrino Flux and Mental Activity was found for each of the two midnight hours, i.e. for each of the two hours between 23:00-1:00. A significant correlation was also found across all hours for the whole year of 1998. It is not clear why this particular year should have been different from the other calendar years of 1996-2001. More specifically, significant correlations were also found for each of its hours around noon, i.e. for each of the hours between 10:00-16:00, for the year of 1998. An attempt was made to interpret why significant correlations were found only for midnight hours and hours around noon, but not for any other hours: when the sun-earth axis and the staff-detector axis coincided, the likelihood increased that staff neutrinos (if any) were counted - as solar neutrinos. Unruh's second quantization in the Kerr metric was suggested as an example of theoretical support for this conjecture that Mental Activity