Low-ν method with LHC neutrinos

The Forward Physics Facility (FPF) plans to use neutrinos produced at the Large Hadron Collider to make a variety of measurements at previously unexplored TeV energies. Its primary goals include precision measurements of the neutrino cross section and using the measured neutrino flux both to uncover information about far-forward hadron production and to search for various beyond standard model scenarios. However, these goals have the potential to conflict: Extracting information about the flux or cross section relies upon an assumption about the other. In this paper, we demonstrate that the FPF can use the low-ν method - a technique for constraining the flux shape by isolating neutrino interactions with low energy transfer to the nucleus - to break this degeneracy. We show that the low-ν method is effective for extracting the νμ flux shape, in a model-independent way. We discuss its application for extracting the ν¯μ flux shape but find that this is significantly more model dependent. Finally, we explore the precision to which the νμ flux shape could be constrained at the FPF for a variety of proposed detector options. We find that the precision would be sufficient to discriminate between various realistic flux models

WoT model for authenticity contents in virtual learning platforms

The following research proposal seeks to bring a model of security software on virtual learning platforms LCMS under all SCORM specifications to ensure the authenticity of content created under concepts of digital signature and identification of protocols and mechanisms to ensure such activities

Recent activity of the Be/X-ray binary system SAX J2103.5+4545

Aims. We present a multiwavelength study of the Be/X-ray binary system SAX J2103.5+4545 with the goal of better characterizing the transient behaviour of this source. Methods. SAX J2103.5+4545 was observed by Swift-XRT four times in 2007 from April 25 to May 5, and during quiescence in 2012 August 31. In addition, this source has been monitored from the ground-based astronomical observatories of El Teide (Tenerife, Spain), Roque de los Muchachos (La Palma, Spain) and Sierra Nevada (Granada, Spain) since 2011 August, and from the TUBITAK National Observatory (Antalya, Turkey) since 2009 June. We have performed spectral and photometric temporal analyses in order to investigate the different states exhibited by SAX J2103.5+4545. Results. In X-rays, an absorbed power law model provided the best fit for all the XRT spectra. An iron-line feature at ~6.42 keV was present in all the observations except for that taken during quiescence in 2012. The photon indexes are consistent with previous studies of SAX J2103.5+4545 in high/low luminosity states. Pulsations were found in all the XRT data from 2007 (2.839(2) mHz; MJD 54222.02), but not during quiescence. Both optical outbursts in 2010 and 2012 lasted for about 8/9 months (as the one in 2007 probably did and the current one in 2014 might do) and were most probably caused by mass ejection events from the Be star that eventually fed the circumstellar disc. All of these outbursts started about 3 months before the triggering of the X-ray activity, and about the same period before the maximum of the H_alpha line equivalent width (in emission) was reached at only ~ -5 \AA. In this work we found that the global correlation between the BV variability and the X-ray intensity was also observed at longer wavelengths in the IR domain.Comment: 11 pages, 7 figures, and online material (2 tables). Submitted to A&A in 2014 Januar

Synthesis of hybrid automata with affine dynamics from time-series data

Formal design of embedded and cyber-physical systems relies on mathematical modeling. In this paper, we consider the model class of hybrid automata whose dynamics are defined by affine differential equations. Given a set of time-series data, we present an algorithmic approach to synthesize a hybrid automaton exhibiting behavior that is close to the data, up to a specified precision, and changes in synchrony with the data. A fundamental problem in our synthesis algorithm is to check membership of a time series in a hybrid automaton. Our solution integrates reachability and optimization techniques for affine dynamical systems to obtain both a sufficient and a necessary condition for membership, combined in a refinement framework. The algorithm processes one time series at a time and hence can be interrupted, provide an intermediate result, and be resumed. We report experimental results demonstrating the applicability of our synthesis approach

Distribution and genetic variability of Staphylinidae across a gradient of anthropogenically influenced insular landscapes

This paper describes the distribution and genetic variability of rove beetles (Coleoptera Staphylinidae) in anthropogenically influenced insular landscapes. The study was conducted in the Azores archipelago, characterized by high anthropogenic influence and landscape fragmentation. Collections were made in five islands, from eight habitats, along a gradient of anthropogenic influence. The species of Staphylinidae from the Azores collected for this study were widely distributed and showed low habitat fidelity. Rove beetle richness was associated with anthropogenic influence and habitat type, increasing from less to more anthropogenic impacted habitats. However, genetic diversity of profiled species (i.e. with three or more specimens per species/habitat) does not seem affected by anthropogenic influence in the different habitat types, isolation or landscape fragmentation. COI haplotypes were, as a rule, not exclusive to a given island or habitat. High level of genetic divergence and nucleotide saturation was found in closely related morphological designated species, demonstrating possible disparities between currently defined taxonomic units based on morphology and molecular phylogenies of Staphylinidae. This study found evidence of cryptic speciation in the Atheta fungi (Gravenhorst) species complex which had thus far remained undetected. Similar trends were found for Oligota parva Kraatz, Oxytelus sculptus Gravenhorst, Oligota pumilio Kiesenwetter. Previous studies with lower taxonomical resolution may have underestimated the biotic diversity reported in the Azores in comparison to other Macaronesian archipelagos.info:eu-repo/semantics/publishedVersio

Multi-agent robotic systems and exploration algorithms: Applications for data collection in construction sites

The construction industry has been notoriously slow to adopt new technology and embrace automation. This has resulted in lower efficiency and productivity compared to other industries where automation has been widely adopted. However, recent advancements in robotics and artificial intelligence offer a potential solution to this problem. In this study, a methodology is proposed to integrate multi-robotic systems in construction projects with the aim of increasing efficiency and productivity. The proposed approach involves the use of multiple robot and human agents working collaboratively to complete a construction task. The methodology was tested through a case study that involved 3D digitization of a small, occluded space using two robots and one human agent. The results show that integrating multi-agent robotic systems in construction can effectively overcome challenges and complete tasks efficiently. The implications of this study suggest that multi-agent robotic systems could revolutionize the industry