1,758,606 research outputs found

    Introducció al Projecte ARIS

    No full text
    Introducció al projecte ARIS (AI Skills for ICT professionals) i al MOOC desenvolupat dintre d'aquest projecte.Introducció al projecte ARIS (AI Skills for ICT professionals) i al MOOC desenvolupat dintre d'aquest projecte

    Introducció al Projecte ARIS

    No full text
    Introducció al projecte ARIS (AI Skills for ICT professionals) i al MOOC desenvolupat dintre d'aquest projecte.Introducció al projecte ARIS (AI Skills for ICT professionals) i al MOOC desenvolupat dintre d'aquest projecte

    Predicting the power output of distributed renewable energy resources within a broad geographical region

    No full text
    In recent years, estimating the power output of inherently intermittent and potentially distributed renewable energy sources has become a major scientific and societal concern. In this paper, we provide an algorithmic framework, along with an interactive web-based tool, to enable short-to-middle term forecasts of photovoltaic (PV) systems and wind generators output. Importantly, we propose a generic PV output estimation method, the backbone of which is a solar irradiance approximation model that incorporates free-to-use, readily available meteorological data coming from online weather stations. The model utilizes non-linear approximation components for turning cloud-coverage into radiation forecasts, such as an MLP neural network with one hidden layer. We present a thorough evaluation of the proposed techniques, and show that they can be successfully employed within a broad geographical region (the Mediterranean belt) and come with specific performance guarantees. Crucially, our methods do not rely on complex and expensive weather models and data, and our web-based tool can be of immediate use to the community as a simulation data acquisition platform.<br/

    Samizdat.net, l’histoire d’un projet de médias alternatifs sur Internet Entretien avec Aris Papatheorodou

    No full text
    Papatheorodou Aris. Samizdat.net, l’histoire d’un projet de médias alternatifs sur Internet Entretien avec Aris Papatheorodou. In: Matériaux pour l'histoire de notre temps, n°79, 2005. Internet et mouvements sociaux : nouvelles pratiques militantes, nouvelles sources pour l'histoire. pp. 57-62

    Detection of plastic litter using an ARIS sonar

    No full text
    Dataset used for the note titled "Detection of plastic litter using an ARIS sonar." Summary: This report describes a first test in April 2021 to use an ARIS sonar to detect macro- and mesoplastic in the water column of the river Waal (a free flowing distributary of the river Rhine in the Netherlands). Tests were performed in standing water, flowing water along the shore of the river and fast flowing water in the main channel simultaneous with stow net fishing. The costs associated with the ARIS sonar were financed by Rijkswaterstaat Oost Nederland. The preliminary data acquisition and analysis were performed by the Radboud University. The dataset includes raw ARIS sonar data (.aris format) collected on two separate dates: 1.Dataset collected on 16-04-2021; file names are date_time_name of the plastic litter assessed. 2.Dataset collected on 19-04-2021; file names end date_time_name of the plastic litter assessed (If not included then it was a test with several items). Opens with: ARISFish softwar

    Coupling of DEMO and ARIS: Based on theoretical ground

    No full text
    The methodologies ARIS and DEMO combined on a theoretical level, at the Corporate Dienst of Rijkswaterstaat.Electrical Engineering, Mathematics and Computer Scienc

    Evaluate and Benchmark Aris

    Full text link
    In this paper, we present evaluation and benchmark of Aris (Analogical Reasoning for reuse of Implementation & Specification). Aris aims to increase the number of verified programs by promotes the advantages of code reuse and the possibility of transferring specifications between similar implementations. Source code retrieval in Aris acts as an enabling technology for the reuse of formal specifications. Although the result of the early version of Aris is encouraging and show potential reuse of formal specifications, it still has many rooms for improvements and wide possibility for feature enhancement. By using experimental methodology, we identify the issues and limitation of Aris 1.0. We develop Aris 2.0 that improve the construction of conceptual graph, reduce the occurrences of false variable and loop mapping, enable adjustment for transferring specifications between different iteration process of for loop, and support assert and assume specifications transfer. We also introduce new metric (specification score) to ensure that the top ranked retrieved documents possess good quality specifications for transferring specifications. Finally, we compare the performance of Aris 1.0 and Aris 2.0 as retrieval and mapping system and also its ability to create the verified specification. In order to evaluate and benchmark Aris, we use 2 million methods of unverified implementations real world example amongst verified implementation. Our overall result shows the improvement in Aris 2.0 able to produce more successful mapping between similar source code files, increase ranking precision in retrieval phase, and generate more verified specifications

    Application of ARIS business process management framework in NPD context

    No full text
    New product development (NPD) is a complex dynamic process involving multiple interactions and co-operations. Efficient business process management (BPM) plays a pivotal role in successful NPD, and successful development is the outcome of effective processes. Therefore, streamlining g NPD process has become e an important tool to gain and sustain competitive. The characteristics of NPD process is described and based on which the functions of BPM in NPD is summarized. ARIS (Architecture of Integrated Information Systems) business process framework is introduced to implement the descriptions of NPD process and process-related information. The rich diagram representations of ARIS modeling methods proved to be efficient in supporting process management in NPD context
    corecore