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

Trust Levels Definition on Virtual Learning Platforms Through Semantic Languages

Trust level concept is a topic that has opened a knowledge area about the profile evaluation and the people participation in Social Networks. These have presented a high knowledge profit, but at the same time it is necessary to analyze a group of variables to determine the trust participants' degree. In addition, this is a topic that from some years ago has been presenting a big expectation to settle some alternatives to generate confidence in an activer community on internet. To establish these parameters it is important to define a model to abstract some variables that are involved in this process. For this, it is relevant to take into account the semantic languages as one of the alternatives that allow these kinds of activities. The purpose of this article is to analyze the Trust Levels definition in the contents that are shared on Open Source Virtual learning Platforms through the use of a model of representation of semantic languages. The last ones allow determining the trust in the use of learning objects that are shared in this kind of platforms