Resource-driven Substructural Defeasible Logic

Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework

Snapshots in time: MicroCT scanning of pottery sherds determines early domestication of sorghum (Sorghum bicolor) in East Africa

MicroCT visualisations of organic inclusions within pottery sherds from Khashm el Girba 23 (KG23), Sudan, reveal domesticated sorghum (Sorghum bicolor subsp. bicolor) at c. 3700–2900 BCE. The percentage of non-shattering spikelet bases was c. 73% of identifiable visualizations, with c. 27% representing wild types. These analyses demonstrate the domestication of sorghum is significantly earlier than suggested by previous archaeological research. These results also demonstrate that microCT scanning is a major qualitative and quantitative advance on pre-existing methods for the investigation of crop remains in pottery sherds, which hitherto have been reliant on surface impressions; it is non-destructive, provides higher resolution 3D imaging of organic inclusions, and enables greater archaeobotanical recovery of inclusions within a sherd. MicroCT analysis of ceramics, mudbrick and other building materials has considerable potential for improving the chronologies and resolution for the domestication of other cereals in the past

Long-Term Changes of Source Apportioned Particle Number Concentrations in a metropolitan Area of the Northeastern United States

The northeastern United States has experienced significant emissions reductions in the last two decades leading to a decrease in PM2.5, major gaseous pollutants (SO2, CO, NOx) and ultrafine particles (UFPs) concentrations. Emissions controls were implemented for coal-fired power plants, and new heavy-duty diesel trucks were equipped with particle traps and NOx control systems, and ultralow sulfur content is mandatory for both road and non-road diesel as well as residual oil for space heating. At the same time, economic changes also influenced the trends in air pollutants. Investigating the influence of these changes on ultrafine particle sources is fundamental to determine the success of the mitigation strategies and to plan future actions. Particle size distributions have been measured in Rochester, NY since January 2002. The particle sources were investigated with positive matrix factorization (PMF) of the size distributions (11–470 nm) and measured criteria pollutants during five periods (2002–2003, 2004–2007, 2008–2010, 2011–2013, and 2014–2016) and three seasons (winter, summer, and transition). Monthly, weekly, and hourly source contributions patterns were evaluated

On the General Analytical Solution of the Kinematic Cosserat Equations

Based on a Lie symmetry analysis, we construct a closed form solution to the kinematic part of the (partial differential) Cosserat equations describing the mechanical behavior of elastic rods. The solution depends on two arbitrary analytical vector functions and is analytical everywhere except a certain domain of the independent variables in which one of the arbitrary vector functions satisfies a simple explicitly given algebraic relation. As our main theoretical result, in addition to the construction of the solution, we proof its generality. Based on this observation, a hybrid semi-analytical solver for highly viscous two-way coupled fluid-rod problems is developed which allows for the interactive high-fidelity simulations of flagellated microswimmers as a result of a substantial reduction of the numerical stiffness.Comment: 14 pages, 3 figure

Fault-tolerant formation driving mechanism designed for heterogeneous MAVs-UGVs groups

A fault-tolerant method for stabilization and navigation of 3D heterogeneous formations is proposed in this paper. The presented Model Predictive Control (MPC) based approach enables to deploy compact formations of closely cooperating autonomous aerial and ground robots in surveillance scenarios without the necessity of a precise external localization. Instead, the proposed method relies on a top-view visual relative localization provided by the micro aerial vehicles flying above the ground robots and on a simple yet stable visual based navigation using images from an onboard monocular camera. The MPC based schema together with a fault detection and recovery mechanism provide a robust solution applicable in complex environments with static and dynamic obstacles. The core of the proposed leader-follower based formation driving method consists in a representation of the entire 3D formation as a convex hull projected along a desired path that has to be followed by the group. Such an approach provides non-collision solution and respects requirements of the direct visibility between the team members. The uninterrupted visibility is crucial for the employed top-view localization and therefore for the stabilization of the group. The proposed formation driving method and the fault recovery mechanisms are verified by simulations and hardware experiments presented in the paper

TGF-β Induces Surface LAP Expression on Murine CD4 T Cells Independent of Foxp3 Induction

It has been reported that human FOXP3(+) CD4 Tregs express GARP-anchored surface latency-associated peptide (LAP) after activation, based on the use of an anti-human LAP mAb. Murine CD4 Foxp3(+) Tregs have also been reported to express surface LAP, but these studies have been hampered by the lack of suitable anti-mouse LAP mAbs.We generated anti-mouse LAP mAbs by immunizing TGF-β(-/-) animals with a mouse Tgfb1-transduced P3U1 cell line. Using these antibodies, we demonstrated that murine Foxp3(+) CD4 Tregs express LAP on their surface. In addition, retroviral transduction of Foxp3 into mouse CD4(+)CD25(-) T cells induced surface LAP expression. We then examined surface LAP expression after treating CD4(+)CD25(-) T cells with TGF-β and found that TGF-β induced surface LAP not only on T cells that became Foxp3(+) but also on T cells that remained Foxp3(-) after TGF-β treatment. GARP expression correlated with the surface LAP expression, suggesting that surface LAP is GARP-anchored also in murine T cells.Unlike human CD4 T cells, surface LAP expression on mouse CD4 T cells is controlled by Foxp3 and TGF-β. Our newly described anti-mouse LAP mAbs will provide a useful tool for the investigation and functional analysis of T cells that express LAP on their surface

Changes in triggering of ST-elevation myocardial infarction by particulate air pollution in Monroe County, New York over time: a case-crossover study

Background Previous studies have reported that fine particle (PM2.5) concentrations triggered ST elevation myocardial infarctions (STEMI). In Rochester, NY, multiple air quality policies and economic changes/influences from 2008 to 2013 led to decreased concentrations of PM2.5 and its major constituents (SO42−, NO3−, elemental and primary organic carbon). This study examined whether the rate of STEMI associated with increased ambient gaseous and PM component concentrations was different AFTER these air quality policies and economic changes (2014–2016), compared to DURING (2008–2013) and BEFORE these polices and changes (2005–2007). Methods Using 921 STEMIs treated at the University of Rochester Medical Center (2005–2016) and a case-crossover design, we examined whether the rate of STEMI associated with increased PM2.5, ultrafine particles (UFP, < 100 nm), accumulation mode particles (AMP, 100-500 nm), black carbon, SO2, CO, and O3 concentrations in the previous 1–72 h was modified by the time period related to these pollutant source changes (BEFORE, DURING, AFTER). Results Each interquartile range (3702 particles/cm3) increase in UFP concentration in the previous 1 h was associated with a 12% (95% CI = 3%, 22%) increase in the rate of STEMI. The effect size was larger in the AFTER period (26%) than the DURING (5%) or BEFORE periods (9%). There were similar patterns for black carbon and SO2. Conclusions An increased rate of STEMI associated with UFP and other pollutant concentrations was higher in the AFTER period compared to the BEFORE and DURING periods. This may be due to changes in PM composition (e.g. higher secondary organic carbon and particle bound reactive oxygen species) following these air quality policies and economic changes

The optical counterpart to gamma-ray burst GRB970228 observed using the Hubble Space Telescope

Although more than 2,000 astronomical gamma-ray bursts (GRBs) have been detected, and numerous models proposed to explain their occurrence, they have remained enigmatic owing to the lack of an obvious counterpart at other wavelengths. The recent ground-based detection of a transient source in the vicinity of GRB 970228 may therefore have provided a breakthrough. The optical counterpart appears to be embedded in an extended source which, if a galaxy as has been suggested, would lend weight to those models that place GRBs at cosmological distances. Here we report the observations using the Hubble Space Telescope of the transient counterpart and extended source 26 and 39 days after the initial gamma-ray outburst. We find that the counterpart has faded since the initial detection (and continues to fade), but the extended source exhibits no significant change in brightness between the two dates of observations reported here. The size and apparent constancy between the two epochs of HST observations imply that it is extragalactic, but its faintness makes a definitive statement about its nature difficult. Nevertheless, the decay profile of the transient source is consistent with a popular impulsive-fireball model, which assumes a merger between two neutron stars in a distant galaxy.Comment: 11 pages + 2 figures. To appear in Nature (29 May 1997 issue

On the Origins and Dissemination of Domesticated Sorghum and Pearl Millet across Africa and into India: a View from the Butana Group of the Far Eastern Sahel

Four decades have passed since Harlan and Stemler (1976) proposed the eastern Sahelian zone as the most likely center of Sorghum bicolor domestication. Recently, new data on seed impressions on Butana Group pottery, from the fourth millennium BC in the southern Atbai region of the far eastern Sahelian Belt in Africa, show evidence for cultivation activities of sorghum displaying some domestication traits. Pennisetum glaucum may have been undergoing domestication shortly thereafter in the western Sahel, as finds of fully domesticated pearl millet are present in southeastern Mali by the second half of the third millennium BC, and present in eastern Sudan by the early second millennium BC. The dispersal of the latter to India took less than 1000 years according to present data. Here, we review the middle Holocene Sudanese archaeological data for the first time, to situate the origins and spread of these two native summer rainfall cereals in what is proposed to be their eastern Sahelian Sudan gateway to the Red Sea and the Indian Ocean trade