Answer Set Programming Modulo `Space-Time'

We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of `space-time' regions as first-class objects. We present an empirical evaluation (with scalability and robustness results), and include diverse application examples involving interpretation and control tasks

Optical in situ monitoring during the synthesis of halide perovskite solar cells reveals formation kinetics and evolution of optoelectronic properties

The formation mechanism and the evolution of optoelectronic properties during annealing of chlorine derived methylammonium lead iodide MAPbI3 amp; 8722;xClx are investigated in detail combining in situ and ex situ optical and structural characterization. Using in situ optical reflectometry we are able to monitor the evolution of the MAPbI3 amp; 8722;xClx phase as a function of time and processing temperature. The formation kinetics is fitted using an improved Johnson Mehl Avrami Kolmogorov model and a delayed formation of MAPbI3 amp; 8722;xClx is found when chlorine is present in the precursor. This is verified by X ray diffraction and X ray fluorescence measurements. From absolute photoluminescence measurements we determine the implied Voc during film formation, which exhibits a maximum at a specific time during the annealing process. In conjunction with ex situ time resolved photoluminescence we deduce a decrease in the net doping density for increased annealing times, while the minority carrier lifetime stays constant. We thus demonstrate the potential of in situ optical spectroscopy to monitor and tailor the electronic properties of hybrid perovskites directly during film growth, which can be easily applied to different growth recipes and synthesis environment

Compact Labelings For Efficient First-Order Model-Checking

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the graphs of every class that is \emph{nicely locally cwd-decomposable}. This notion generalizes that of a \emph{nicely locally tree-decomposable} class. The graphs of such classes can be covered by graphs of bounded \emph{clique-width} with limited overlaps. We also consider such labelings for \emph{bounded} first-order formulas on graph classes of \emph{bounded expansion}. Some of these results are extended to counting queries

Migration ecology in insects: integrative approaches to trace long-distance movements of the Painted Lady butterfly (Vanessa cardui)

Póster presentado en el EGU23 General Assembly celebrado del 23 al 28 abril 202

Lexical olfaction recruits olfactory orbitofrontal cortex in metaphorical and literal contexts

The investigation of specific lexical categories has substantially contributed to advancing our knowledge on how meaning is neurally represented. One sensory domain that has received particularly little attention is olfaction. This study aims to investigate the neural representation of lexical olfaction. In an fMRI experiment, participants read olfactory metaphors, their literal paraphrases, and literal olfactory sentences. Regions of interest were defined by a functional localizer run of odor processing. We observed activation in secondary olfactory areas during metaphorical and literal olfactory processing, thus extending previous findings to the novel source domain of olfaction. Previously reported enhanced activation in emotion-related areas due to metaphoricity could not be replicated. Finally, no primary olfactory cortex was found active during lexical olfaction processing. We suggest that this absence is due to olfactory hedonicity being crucial to understand the meaning of the current olfactory expressions. Consequently, the processing of olfactory hedonicity recruits secondary olfactory areas

The Afrotropical breeding grounds of the Palearctic-African migratory painted lady butterflies (Vanessa cardui)

Migratory insects are key players in ecosystem functioning and services, but their spatiotemporal distributions are typically poorly known. Ecological niche modeling (ENM) may be used to predict species seasonal distributions, but the resulting hypotheses should eventually be validated by field data. The painted lady butterfly (Vanessa cardui) performs multigenerational migrations between Europe and Africa and has become a model species for insect movement ecology. While the annual migration cycle of this species is well understood for Europe and northernmost Africa, it is still unknown where most individuals spend the winter. Through ENM, we previously predicted suitable breeding grounds in the subhumid regions near the tropics between November and February. In this work, we assess the suitability of these predictions through i) extensive field surveys and ii) two-year monitoring in six countries: a large-scale monitoring scheme to study butterfly migration in Africa. We document new breeding locations, year-round phenological information, and hostplant use. Field observations were nearly always predicted with high probability by the previous ENM, and monitoring demonstrated the influence of the precipitation seasonality regime on migratory phenology. Using the updated dataset, we built a refined ENM for the Palearctic-African range of V. cardui. We confirm the relevance of the Afrotropical region and document the missing natural history pieces of the longest migratory cycle described in butterflies.This work was funded by the National Geographic Society (grant WW1-300R-18); by the British Ecological Society (grant LRB16/1015); by the Research and Conservation Projects of the Fundació Barcelona Zoo; by the grant PID2020-117739GA-I00/MCIN/AEI/10.13039/501100011033 of the Spanish Ministry of Science and Innovation and the Spanish State Research Agency to G.T.; by the grant LINKA20399 from the Spanish National Research Council iLink program to G.T., C.P.B., N.E.P., and R.V.; by fellowship FPU19/01593 of the program Formación de Profesorado Universitario (FPU) to A.G.-B.; by the Turkana Basin Institute, National Geographic Society, and Whitley Fund for Nature to D.J.M.; and by grant 2018-00738 of the New Frontiers in Research Fund (Government of Canada) to G.T. and C.P.B.Significance Abstract Results Field Surveys, Larval Hostplants, and Field-Based Model Validation Monitoring Results and Population Dynamics across Regions A Refined Model for the Afrotropical Region Discussion The Afrotropical Breeding Grounds of V. cardui: Multiple Generations Shift South Toward the Tropics Diversity and Phenology of Larval Hostplants in the Afrotropics The Ecological Relevance of Delimiting Spatiotemporal Distributions in Migratory Insects Conclusion Methods December-January Field Surveys and Year-Round Monitoring Spatiotemporal Ecological Niche Modeling Data, Materials, and Software Availability Acknowledgments Supporting Information Reference

Period and Cohort Changes in Americans’ Support for Marijuana Legalization: Convergence and Divergence across Social Groups

We cast fresh light on how and why Americans’ views on marijuana legalization shifted between 1973 and 2014. Results from age-period-cohort models show a strong negative effect of age and relatively high levels of support for legalization among baby boom cohorts. Despite the baby boom effect, the large increase in support for marijuana legalization is predominantly a broad, period-based change in the population. Additional analyses demonstrate that differences in support for legalization by education, region, and religion decline, that differences by political party increase, and that differences between whites and African Americans reverse direction. We conclude by discussing the implications of these findings and by identifying promising directions for future research on this topic

Software quality management improvement through mentoring: an exploratory study from GSD projects

Proceeding of: OTM 2011 Workshops: Confederated InternationalWorkshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011Software Quality Management (SQM) is a set of processes and procedures designed to assure the quality of software artifacts along with their development process. In an environment in which software development is evolving to a globalization, SQM is seen as one of its challenges. Global Software Development is a way to develop software across nations, continents, cultures and time zones. The aim of this paper is to detect if mentoring, one of the lead personnel development tools, can improve SQM of projects developed under GSD. The results obtained in the study reveal that the influence of mentoring on SQM is just temperate

Distinct contributions of extrastriate body area and temporoparietal junction in perceiving one's own and others' body.

The right temporoparietal cortex plays a critical role in body representation. Here, we applied repetitive transcranial magnetic stimulation (rTMS) over right extrastriate body area (EBA) and temporoparietal junction (TPJ) to investigate their causative roles in perceptual representations of one's own and others' body. Healthy women adjusted size-distorted pictures of their own body or of the body of another person according to how they perceived the body (subjective task) or how others perceived it (intersubjective task). In keeping with previous reports, at baseline, we found an overall underestimation of body size. Crucially, EBA-rTMS increased the underestimation bias when participants adjusted the images according to how others perceived their own or the other woman's body, suggesting a specific role of EBA in allocentric body representations. Conversely, TPJ-rTMS increased the underestimation bias when participants adjusted the body of another person, either a familiar other or a close friend, in both subjective and intersubjective tasks, suggesting an involvement of TPJ in representing others' bodies. These effects were body-specific, since no TMS-induced modulation was observed when participants judged a familiar object. The results suggest that right EBA and TPJ play active and complementary roles in the complex interaction between the perceptions of one's own and other people's body

Status, sources and contamination levels of organochlorine pesticide residues in urban and agricultural areas: a preliminary review in central–southern Italian soils

Organochlorine pesticides (OCPs) are synthetic chemicals commonly used in agricultural activities to kill pests and are persistent organic pollutants (POPs). They can be detected in different environmental media, but soil is considered an important reservoir due to its retention capacity. Many different types of OCPs exist, which can have different origins and pathways in the environment. It is therefore important to study their distribution and behaviour in the environment, starting to build a picture of the potential human health risk in different contexts. This study aimed at investigating the regional distribution, possible sources and contamination levels of 24 OCP compounds in urban and rural soils from central and southern Italy. One hundred and forty-eight topsoil samples (0–20 cm top layer) from 78 urban and 70 rural areas in 11 administrative regions were collected and analysed by gas chromatography–electron capture detector (GC–ECD). Total OCP residues in soils ranged from nd (no detected) to 1043 ng/g with a mean of 29.91 ng/g and from nd to 1914 ng/g with a mean of 60.16 ng/g in urban and rural area, respectively. Endosulfan was the prevailing OCP in urban areas, followed by DDTs, Drins, Methoxychlor, HCHs, Chlordane-related compounds and HCB. In rural areas, the order of concentrations was Drins > DDTs > Methoxychlor > Endosulfans > HCHs > Chlordanes > HCB. Diagnostic ratios and robust multivariate analyses revealed that DDT in soils could be related to historical application, whilst (illegal) use of technical DDT or dicofol may still occur in some urban areas. HCH residues could be related to both historical use and recent application, whilst there was evidence that modest (yet significant) application of commercial technical HCH may still be happening in urban areas. Drins and Chlordane compounds appeared to be mostly related to historical application, whilst Endosulfan presented a complex mix of results, indicating mainly historical origin in rural areas as well as potential recent applications on urban areas. Contamination levels were quantified by Soil Quality Index (SoQI), identifying high levels in rural areas of Campania and Apulia, possibly due to the intensive nature of some agricultural practices in those regions (e.g., vineyards and olive plantations). The results from this study (which is in progress in the remaining regions of Italy) will provide an invaluable baseline for OCP distribution in Italy and a powerful argument for follow-up studies in contaminated areas. It is also hoped that similar studies will eventually constitute enough evidence to push towards an institutional response for more adequate regulation as well as a full ratification of the Stockholm Convention