Considering that one of today9;s biggest global concerns is related to the climate change and its imminent undesired effects, we present the approach of creating and offering a public Web service to provide real-ti...
详细信息
ISBN:
(纸本)9780769530789
Considering that one of today's biggest global concerns is related to the climate change and its imminent undesired effects, we present the approach of creating and offering a public Web service to provide real-time access to environmental data and information. One of service's direct usages is natural disasters detection, but it could be further used for developing complex statistics and prediction generators, or for other environment related applications. the data is extracted from a satellite imagery repository implemented on a Grid infrastructure. For testing the capabilities of the service for different type of users, a visualization and interaction Web application has been developed the service is integrated in the MedioGRID system.
this paper addresses the architectural foundations of dynamic workflows in distributed multi-agent systems (MAS) integrated in Grid context. the purpose is to design an architecture at the same time taking into consid...
详细信息
ISBN:
(纸本)9780769530789
this paper addresses the architectural foundations of dynamic workflows in distributed multi-agent systems (MAS) integrated in Grid context. the purpose is to design an architecture at the same time taking into consideration tasks dependencies among agents, adaptation with respect to historic lessons learnt from past behaviour (memory) and the autonomous decisions when an unpredicted event occurs. In order to do this, given one ontology, called AGIO, which describes Agent-Grid Integration, we propose a workflow based on MAS with a complementary decision-making aid using Markov Logic Networks (MLN).
We report on successfully porting and making available online TARSKI, a system for computing with Tarski formulas (Boolean combinations of polynomial sign conditions over the real numbers). TARSKI provides operations ...
详细信息
ISBN:
(纸本)9781665465458
We report on successfully porting and making available online TARSKI, a system for computing with Tarski formulas (Boolean combinations of polynomial sign conditions over the real numbers). TARSKI provides operations like formula simplification and quantifier elimination, and is able to read and write SMT-LIB syntax. the web version of TARSKI was created by using the Emscripten C++ to JavaScript/WebAssembly compiler. A terminal-based interpreter is provided via ***. TARSKI is also available as a JavaScript library. We report on an experimental use in the dynamic geometry software GeoGebra.
the emerging storage systems for Cloud computing are so-called NoSQL databases. these systems lack the join mechanism and declarative queries approach but show high scalability and performance. While most famous ICT c...
详细信息
ISBN:
(纸本)9780769549347;9781467350266
the emerging storage systems for Cloud computing are so-called NoSQL databases. these systems lack the join mechanism and declarative queries approach but show high scalability and performance. While most famous ICT companies have no doubts about the usage of NoSQL, there is still a lack of methodologies and mechanisms to support the design and management of a NoSQL database starting from a complex high level data schema. the final goal of our work is to equip NoSQL databases with programming abstractions that make them close to the expressiveness of RDBMS, still maintaining their significant advantages in terms of scalability. In this paper we discuss the main shortcomings of using a NoSQL approach and we show how we plan to overcome them.
We describe an approach for empirical modeling of steel phase kinetics based on symbolic regression and genetic programming. the algorithm takes processed data gathered from dilatometer measurements and produces a sys...
详细信息
ISBN:
(纸本)9781665465458
We describe an approach for empirical modeling of steel phase kinetics based on symbolic regression and genetic programming. the algorithm takes processed data gathered from dilatometer measurements and produces a system of differential equations that models the phase kinetics. Our initial results demonstrate that the proposed approach allows to identify compact differential equations that fit the data. the model predicts ferrite, pearlite and bainite formation for a single steel type. Martensite is not yet included in the model. Future work shall incorporate martensite and generalize to multiple steel types with different chemical compositions.
Lang9;s "universal molecule" algorithm solves a variant of the origami design problem. It takes as input a metric tree and a convex polygonal region (the "paper") having a certain metric relatio...
详细信息
ISBN:
(纸本)9781479930357
Lang's "universal molecule" algorithm solves a variant of the origami design problem. It takes as input a metric tree and a convex polygonal region (the "paper") having a certain metric relationship withthe tree. It computes a crease-pattern which allows for the paper to "fold" to a uniaxial base, which is a 3-dimensional shape projecting onto the given tree. Lang's universal molecule algorithm runs in cubic time and quadratic space. We investigate two implementations which improve the running time to sub-cubic time. the first uses a cyclic tournament forest, a new data structure which extends kinetic tournament trees to allow for cycle splitting operations, and the second uses a priority queue to store events.
Cloud governance9;s approach to development in the cloud environment allows for a way in which services are well defined and unambiguous;where they can be easily designed, implemented, deployed and executed;for a w...
详细信息
ISBN:
(纸本)9780769549347;9781467350266
Cloud governance's approach to development in the cloud environment allows for a way in which services are well defined and unambiguous;where they can be easily designed, implemented, deployed and executed;for a way in which they can be consumed. this approach is beneficial to SMEs which can now empower themselves by adopting cloud-based technologies and platforms. they now have the opportunity to develop niche solutions, or to group themselves in specialized clusters, in order to build complex, targeted solutions, tailored on customers' needs. the focus of this paper is detailing the service lifecycle from the point of view of our proposed cloud governance architecture that is based on a cloud management solution, the Cloud Agency, a multi-agent system that is part of the mOSAIC project.
Given a 0-dimensional polynomial system in a polynomial ring over F-2 having only. F-2-rational solutions, we optimize the Border Basis Algorithm (BBA) for solving this system by introducing a Boolean BBA. this algori...
详细信息
ISBN:
(纸本)9781509057078
Given a 0-dimensional polynomial system in a polynomial ring over F-2 having only. F-2-rational solutions, we optimize the Border Basis Algorithm (BBA) for solving this system by introducing a Boolean BBA. this algorithm is further improved by optimizing the linear algebra steps. We discuss ways to combine it with SAT solvers, optimized methods for performing the combinatorial steps involved in the algorithm, and various approaches to implement the linear algebra steps. Based on our C++ implementation, we provide some timings to compare sparse and dense representations of the coefficient matrices and to Grobner basis methods.
We introduce a technique for reachability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real-time systems where time constraints are expressed as intervals, representing possible transition firing t...
详细信息
ISBN:
(纸本)9780769546308
We introduce a technique for reachability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real-time systems where time constraints are expressed as intervals, representing possible transition firing times, whose bounds are functions of marking's time description. the technique consists of building a symbolic reachability graph relying on a sort of time coverage, and overcomes the limitations of the only available analyzer for TB nets, based in turn on a time-bounded inspection of a (possibly infinite) reachability-tree. the graph construction algorithm has been automated by a tool-set, briefly described in the paper together with its main functionality and analysis capability. A running example is used throughout the paper to sketch the symbolic graph construction. A use case describing a small real system - that the running example is an excerpt from - has been employed to benchmark the technique and the tool-set. the main outcome of this test are also presented in the paper. Ongoing work, in the perspective of integrating with a model-checking engine, is shortly discussed.
the Cloud-computing paradigm was considered as a revolution. thanks to the abstraction of computing resources "in the clouds" this paradigm provides "anything" as a service, on a pay-as-you-go basi...
详细信息
ISBN:
(纸本)9780769549347;9781467350266
the Cloud-computing paradigm was considered as a revolution. thanks to the abstraction of computing resources "in the clouds" this paradigm provides "anything" as a service, on a pay-as-you-go basis. Unfortunately, there is no reference software that one can use to properly compare a cloud approach against others. We propose the SENSAPP platform to tackle this challenge. SENSAPP is designed as a prototypical cloud application and is provided as an open-source service-based application used to store and exploit data collected by the Internet of things. We propose SENSAPP as a reference implementation to compare different cloud approaches. In this paper we present initial experiments about scalability based on this platform.
暂无评论