Results 81 to 90 of about 71,024 (318)
Sufficient Incorrectness Logic: SIL and Separation SIL [PDF]
arXiv, 2023 Sound over-approximation methods have been proved effective for guaranteeing the absence of errors, but inevitably they produce false alarms that can hamper the programmers. Conversely, under-approximation methods are aimed at bug finding and are free from false alarms.
arxiv
Multiple Exposures to Ascaris suum Induce Tissue Injury and Mixed Th2/Th17 Immune Response in Mice
PLoS Neglected Tropical Diseases, 2016 Ascaris spp. infection affects 800 million people worldwide, and half of the world population is currently at risk of infection. Recurrent reinfection in humans is mostly due to the simplicity of the parasite life cycle, but the impact of multiple ...
D. Nogueira +14 more
semanticscholar +1 more source
Fiscal Stance, Fiscal Rules, and Public Debt Dynamics in the United States
Public Budgeting &Finance, Volume 45, Issue 1, Page 88-98, Spring 2025.ABSTRACT Public debt in the United States has continued to rise despite the implementation of various policy measures aimed at curbing its growth. The Autoregressive Distributed Lag (ARDL) and Dynamic Simulated ARDL models were used to examine the effect of fiscal stance and fiscal rules on the dynamics of US public debt. The findings reveal that while
Attahir B. Abubakar +2 more
wiley +1 more source
A Study on the Effect of Gamma Rays on Reducing the Burden of Some Pathogens in Sewage Sludge [PDF]
مجله علوم و فنون هستهای, 2017 : The reuse of sludge in agriculture leads to the transfer of some pollutants into food chain, thus hazarding the public health. The pathogens, heavy metals and nutrients in the sewage sludge from two wastewater treatment plants in Tehran-Iran, Shahid ...
R Betesho +3 more
doaj
Monetary-fiscal interactions under price level targeting [PDF]
arXiv, 2020 The adoption of a "makeup" strategy is one of the proposals in the ongoing review of the Fed's monetary policy framework. Another suggestion, to avoid the zero lower bound, is a more active role for fiscal policy. We put together these ideas to study monetary-fiscal interactions under price level targeting.
arxiv
Brain-based control of car infotainment [PDF]
, 2020 Nowadays, the possibility to run advanced AI on embedded systems allows natural interaction between humans and machines, especially in the automotive field. We present a custom portable EEG-based Brain-Computer Interface (BCI) that exploits Event-Related Potentials (ERPs) induced with an oddball experimental paradigm to control the infotainment menu of
arxiv +1 more source
Journal of Parasitology Research, 2016 Ascaris lumbricoides is a nematode parasite that causes the common tropical infection ascariasis in humans. It is also considered among the neglected tropical diseases.
Esther A Shiraho +8 more
semanticscholar +1 more source
Paleoparasitological report on Ascaris aDNA from an ancient East Asian sample
Memorias do Instituto Oswaldo Cruz, 2010 In this study, Ascaris DNA was extracted and sequenced from a medieval archaeological sample in Korea. While Ascaris eggs were confirmed to be of human origin by archaeological evidence, it was not possible to pinpoint the exact species due to close ...
Chang Seok Oh +6 more
doaj +1 more source
Empirical evidence on the Euler equation for investment in the US [PDF]
arXiv, 2021 Is the typical specification of the Euler equation for investment employed in DSGE models consistent with aggregate macro data? Using state-of-the-art econometric methods that are robust to weak instruments and exploit information in possible structural changes, the answer is yes.
arxiv