Mary Katherine Heinrich, Mostafa Wahby, Mohammad Divband Soorati, D. Hofstadler, Payam Zahadat, P. Ayres, K. Støy, Heiko Hamann
{"title":"Self-Organized Construction with Continuous Building Material: Higher Flexibility Based on Braided Structures","authors":"Mary Katherine Heinrich, Mostafa Wahby, Mohammad Divband Soorati, D. Hofstadler, Payam Zahadat, P. Ayres, K. Støy, Heiko Hamann","doi":"10.1109/FAS-W.2016.43","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.43","url":null,"abstract":"Self-organized construction with continuous, structured building material, as opposed to modular units, offers new challenges to the robot-based construction process and lends the opportunity for increased flexibility in constructed artifact properties, such as shape and deformation. As an example investigation, we look at continuous filaments organized into braided structures, within the context of bio-hybrids constructing architectural artifacts. We report the result of an early swarm robot experiment. The robots successfully constructed a braid in a self-organized process. The construction process can be extended by using different materials and by embedding sensors during the self-organized construction directly into the braided structure. In future work, we plan to apply dedicated braiding robot hardware and to construct sophisticated 3-d structures with local variability in patterns of filament interlacing.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114620378","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"F-Calculus: A Universal Programming Language of Self-Stabilizing Computational Fields","authors":"Yuichi Nishiwaki","doi":"10.1109/FAS-W.2016.51","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.51","url":null,"abstract":"This paper proposes a new programming language F-calculus (digamma-calculus). F-calculus is an effective tool to construct self-stabilizing computational fields. A computational field is a data structure representing a network composed of asynchronously running devices that have low computational ability and independent states. The research on computational fields has been getting more advanced recently due to the rise of distributed computing and the internet of things. Self-stabilizing computational fields are important especially for practice. Our main contribution is to clarify the class of self-stabilizing computational fields, about which little has been known since the research field was established. In this paper, we introduce our new calculus and prove that it has the same expressive power to the self-stabilizing fragment of the field calculus on condition that termination is guaranteed. Furthermore, we discuss formal verification of self-stabilization using a type-theoretic approach.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133906268","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Parameter Tuning Model for Optimizing Application Performance on GPU","authors":"Nhat-Phuong Tran, Myungho Lee","doi":"10.1109/FAS-W.2016.28","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.28","url":null,"abstract":"Recently, the Graphic Processing Units (GPUs) are becoming increasingly popular for the High Performance Computing (HPC) applications. Although the GPUs provide high peak performance, exploiting the full performance potential for application programs, however, leaves a challenging task to the programmers. When launching a parallel kernel of an application on the GPU, the programmer needs to carefully select the number of blocks (grid size) and the number of threads per block (block size) which greatly influence the performance. With a huge range of possible combinations of the parameter values, choosing the right grid size and the block size is not straightforward. In this paper, we propose a model for tuning the grid size and the block size through which we can reach the optimal performance. Our approach can significantly reduce the potential search space, instead of exhaustive search approaches in the previous research which are not practical in the real applications.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132195993","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-technical Systems","authors":"J. Pitt, A. Diaconescu","doi":"10.1109/FAS-W.2016.20","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.20","url":null,"abstract":"The saturation of the physical environment with sensors, the proliferation of personal mobile computing, and the prominence ofArtificial Intelligence in (so-called) 'smart' objects has created new opportunities for the development of socio-technical systems. We are particularly interested in the convergence of people and computational processes (agents) in the creation of digital communities for sustainabilityand successful collective action. However, prior experience with intelligent and adaptive user interfaces suggests that the symbiosisof people and technology needs to be carefully considered. This paper presents three applications of self-organising socio-technicalsystems, from which we derive design guidelines for implementing interactive self-governance. The guidelines are related to the methodology of value-sensitive design and the need to actualise human values as acritical supra-functional requirement of future socio-technical systems.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"1997 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128230251","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Qussai M. Yaseen, Firas AlBalas, Y. Jararweh, M. Al-Ayyoub
{"title":"A Fog Computing Based System for Selective Forwarding Detection in Mobile Wireless Sensor Networks","authors":"Qussai M. Yaseen, Firas AlBalas, Y. Jararweh, M. Al-Ayyoub","doi":"10.1109/FAS-W.2016.60","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.60","url":null,"abstract":"Intrusions detection is one of the major issues that worry organizations in wireless sensor networks (WSNs). Many researchers have dealt with this problem and have proposed many methods for detecting different kinds of intrusions such as selective forwarding, which is a serious attack that may obstruct communications in WSNs. However, as the applications of mobile computing, vehicular networks, and internet of things (IoT) are spreading immensely, selective forwarding detection in Mobile Wireless Sensor Networks (MWSNs) has become a key demand. This paper introduces the problem of selective forwarding in MWSNs, and discusses how available techniques for mitigation this problem in WSNs are not applicable in handling the problem in MWSNs due to sensors mobility. Therefore, the paper proposes a model that provides a global monitoring capability for tracing moving sensors and detecting malicious ones. The model leverages the infrastructure of Fog Computing to achieve this purpose. Furthermore, the paper provides a complete algorithm, a comprehensive discussion and experiments that show the correctness and importance of the proposed approach.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"66 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120924484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Matter of the Mix: Integration of Compile and Runtime Variability","authors":"Holger Eichelberger","doi":"10.1109/FAS-W.2016.17","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.17","url":null,"abstract":"While dynamic software product lines focus on runtime variability, traditional software product lines typically aim at development-time variability. In this paper, we argue that integrating both kinds of binding times into a single variability model can be beneficial for modeling the adaptation space as well as for controlling runtime decision making. We achieve this by a mix of modeling and constraint capabilities. We illustrate the integration of compile time and runtime variability using a general-purpose variability modeling language and an example from the field of adaptive data stream processing. We also discuss advantages and disadvantages of our approach.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129273112","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Sarah Edenhofer, Christopher Stifter, Youssef Madkour, Sven Tomforde, Jan Kantert, C. Müller-Schloer, J. Hähner
{"title":"Bottom-Up Norm Adjustment in Open, Heterogeneous Agent Societies","authors":"Sarah Edenhofer, Christopher Stifter, Youssef Madkour, Sven Tomforde, Jan Kantert, C. Müller-Schloer, J. Hähner","doi":"10.1109/FAS-W.2016.21","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.21","url":null,"abstract":"Open, distributed multi-agent systems with heterogeneous agent societies face the challenge to maintain an appropriate performance level in the presence of bad-behaving agents. An approach to counter the exploiting behaviour of such agents is the use of trust mechanisms. Yet, it is still possible for agents with a more complex behaviour to manipulate and exploit the trust mechanism. In this paper, we show that the use of norms increases the performance, as well as the robustness of the system against colluding attacks of malevolent agents. We assume a fully self-organised agent society, i.e. no centralised control authority. However, this also demands a self-organised rule establishing and configuration process. This paper introduces a concept of norm adaption at runtime that adjusts dynamically to changing environmental conditions. We evaluate our approach within simulations of a trust-based desktop computing grid, where different classes of agent stereotype behaviour are considered.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116391294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Evolutionary Online Machine Learning from Imbalanced Data","authors":"Anthony Stein","doi":"10.1109/FAS-W.2016.68","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.68","url":null,"abstract":"The discipline of machine learning has raised plenty of well-understood and partially well-studied challenges. Research has been concerned with issues such as incompletely labeled or missing data, dataset imbalances regarding the distributions of the target values, as well as the non-deterministic and unpredictable behavior of non-stationary environments. In this article, one particular challenge will be reviewed and motivated - the challenge of online learning from imbalanced data common in real world environments. It is hypothesized how interpolation between already gained knowledge and a proactive exploration of the input space may lead to beneficial effects when learning from data streams exhibiting imbalances. After the definition of this doctoral study's objectives, a reference evolutionary online machine learning technique is briefly introduced. On this basis, all aspects that will be thoroughly investigated are sketched and finally integrated into a research schedule.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116185547","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Self-Organised Construction with Revit","authors":"Sarah Edenhofer, S. Rädler, M. Hoß, S. Mammen","doi":"10.1109/FAS-W.2016.44","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.44","url":null,"abstract":"Due to innovations in software, robotics and 3D printing, self-organised construction is within reach. It bears great potential for the automatic generation of a wide variety of designs, their integration into the built environment, their structural and automatised optimisation, as well as their dynamic adaptation over long periods of time. In this paper, motivated by the latest empirical findings on the construction methods of social insects, we present a software pipeline for the generation of architectural designs based on self-organisation. A probabilistic, grid-based multi-agent system that implements a flexible stigmergy-based behavioural construction model generates three-dimensional structures. Next, the generated structures could be evaluated in terms of their energy efficiency and these results be fed into an optimisation engine to improve the local behaviours of the construction agents. For visualisation and evaluation of the generated designs we utilise the API of the framework Revit 2016, a software for Building Information Modelling (BIM) provided by Autodesk.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115500975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"ACE-JADE: Autonomic Computing Enabled JADE","authors":"Ali Farahani, E. Nazemi, Giacomo Cabri","doi":"10.1109/FAS-W.2016.63","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.63","url":null,"abstract":"Autonomic computing has become an enormous trend in software engineering in the past decade. Also, dealing with problems from a distributed system point of view has often become a choice. Using autonomic computing in distributed environments started about decade ago. In this context, the availability of a development environment could be useful for developing the systems easily and with better quality. In this research we are going to describe a method for extending one of the well-known development environments for agent-oriented systems (JADE) in order to enable support for Autonomic Computing in it. This research will state the desired path to the ACE-JADE by extending the Agent, Behavior, Message in JADE and also adding Knowledge into JADE.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126660928","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}