Reviewerly/exHarmony huggingface dataset:
A runtime model-based framework for specifying and verifying adaptive RTE systems

Adaptive Real-Time Embedded Systems (RTES) may execute in an unpredictable context that is impossible to definitely consider in the development time. Therefore, these systems are required to adapt their behaviour to unpredicted changes at runtime in order to maintain their feasibility and usefulness. Their design requires effective runtime modelling formalisms for monitoring, reconfiguration planning and adaptive system analysis. In this context, software designers need to evaluate, refine and validate runtime models at early stages of development via adaptation tools, in particular for runtime adaptive systems to avoid execution problems. In the present paper, we propose a runtime model-based framework that allows the modelling and simulation as well as the traceability of adaptive RTES. Our proposal starts by a high-level specification based on the UML/MARTE profile, which describes an adaptive system and supports the reasoning about its behaviour and structure at runtime. The runtime UML/MARTE models are translated into an adaptive one that instantiates MAPE patterns for the control and the traceability of the runtime system. Then Model-to-Text (M2T) transformations allow us to generate simulation scripts for the analysis of adaptive system behaviour at runtime and evaluate its real-time constraints.
EASYDRIP: DIMENSIONAMENTO DE SISTEMAS DE IRRIGAÇÃO POR GOTEJAMENTO ENERGIZADA POR SISTEMAS FOTOVOLTAICOS EM REGIÕES MOÇAMBICANAS / EASYDRIP: DESIGN OF DRIP IRRIGATION ENERGIZED BY PHOTOVOLTAIC SYSTEMS AT MOZAMBICAN REGIONS

The use of softwares to aid the design of irrigation projects can reduce errors, providing an effective the analysis of scenarios, and assisting the choice of the layout.Because drip irrigation is pressurized, energy availability is crucial for its operation, a fact that makes it almost impossible to install in regions where there is no electricity distribution network.Therefore, the objective with this work was to develop a software to aid on the design of drip irrigation systems pumped with the use of solar
Smart Museum for Nepal Cultural Heritage Information Exchange System

Smart Museum is a study focus on Nepal Cultural Heritage information exchange system. The main objective is to provide innovative and interactive approaches which could enhance visitors experience in the museum. Its concept is based upon smart museum that is integrating digital museum contents with information exchange by using Near Field Communication (NFC) smart tags and Quick Response (QR) code. Visitors can use their smart phone to get detail information without help of anyone. The study focuses on detail research about short distance communication network that includes NFC and QR code as of RFID technologies. Back-end system is used for providing detail information of artefacts and preservation of museum in the digital format. Mobile Software Development Life Cycle (MSDLC) was chosen for the development of the application. It was used for its development criteria covered all the aspects. The study requirements were straight forward where many factories were not much changed. MSDLC was found shorter life cycle since mobile applications needs to develop in rapid due to the market competition. Most of the museums were found under-developed as per the requirements. The direct museums visited done were found also interested on the upgrading the museum services however lack of the proper management leaded to not able to do so.
Expressions of style in information-seeking conversation with an embodied agent

Past work in information-seeking conversation has demonstrated that people exhibit different conversational styles — for example, in word choice or prosody — that differences in style lead to poorer conversations, and that partners actively align their styles over time. One might assume that this would also be true for conversations with an artificial agent such as Cortana, Siri, or Alexa; and that agents should therefore track and mimic a user’s style. We examine this hypothesis with reference to a lab study, where 24 participants carried out relatively long information-seeking tasks with an embodied conversational agent. The agent combined topical language models with a conversational dialogue engine, style recognition and alignment modules. We see that “style” can be measured in human-to-agent conversation, although it looks somewhat different to style in human-to-human conversation and does not correlate with self-reported preferences. There is evidence that people align their style to the agent, and that conversations run more smoothly if the agent detects, and aligns to, the human’s style as well.
Location Based Scalable Recommendations Using Social Relationships

Over the last few years, Location Based Services (LBS) has gained huge popularity due to the tremendous advancement of mobile handheld devices. Some of the applications of LBS include recommending nearby restaurants or shopping malls, local news, concerts or events, and local advertisements offering prizes or discounts. These applications are dependent on the location of the users. In this paper, we propose a location based recommendation framework that not only considers the location of the users but also utilizes their social connections in order to improve the recommendation accuracy and scalability. The proposed work recommends restaurants to users using Collaborative Filtering (CF) techniques and while recommending to a target user, it will consider only the ratings of those users who are also her friends in a social network. For this, we compute the similarity among the target user and her friends. Typically the most costly step of any CF algorithm is the similarity computation and since we are calculating similarity only with the friends of a target user bypassing the entire user set, this should definitely enhance the scalability of the system. In this work, we further classify the friendship relations present in social network into immediate friends and distant friends. Experimental evaluations using Foursquare dataset verify that better recommendation accuracy can be achieved considering the opinions of the friends rather than considering the entire set of users.
Bateson, Cybernetics, and Nonverbal Communication

For Gregory Bateson, any instance of communication, among humans as well as other animals, involves, in addition to its overt content if any, an inherent communication about the relationship of the parties who are communicating. This relational communication is, to use Bateson phraseology, a type of metacommunication, of what he calls a higher logical type. Bateson’s concept of relational communication forms the larger subject of this book. (In humans, relational communication is exemplified, but not exclusively, by nonverbal or so-called analog forms of communication; Bateson notes that these have not died out in spite of the human development of linguistic or so-called digital communication.)
ТЕОРЕТИКО-МЕТОДОЛОГІЧНІ ВИМОГИ ДО ПРОЕКТУВАННЯ АДАПТИВНОГО МОБІЛЬНОГО НАВЧАЛЬНОГО СЕРЕДОВИЩА

The article discusses the mechanisms of modernization of the educational system of higher education in Ukraine, including the features of the use of information systems for distance education. Theoretical and methodological requirements for the design of high-tech adaptive mobile educational environment are defined. The proposed model of an integrated system of adaptive mobile environment by means of Internet technologies, which, unlike to the traditional model of distance learning, will solve the problem of choosing an individual trajectory of the educational process and student assessment.
Holistic static and animated 3D scene generation from diverse text descriptions.

We propose a framework for holistic static and animated 3D scene generation from diverse text descriptions. Prior works of scene generation rely on static rule-based entity extraction from natural language description. However, this limits the usability of a practical solution. To overcome this limitation, we use one of state-of-the-art architecture - TransformerXL. Instead of rule-based extraction, our framework leverages the rich contextual encoding which allows us to process a larger range (diverse) of possible natural language descriptions. We empirically show how our proposed mechanism generalizes even on novel combinations of object-features during inference. We also show how our framework can jointly generate static and animated 3D scene efficiently. We modify CLEVR to generate a large, scalable dataset - Integrated static and animated 3D scene (Iscene). Data preparation code and pre-trained model available at - this https URL.
Multi-Modal Machine Learning for Flood Detection in News, Social Media and Satellite Sequences.

In this paper we present our methods for the MediaEval 2019 Mul-timedia Satellite Task, which is aiming to extract complementaryinformation associated with adverse events from Social Media andsatellites. For the first challenge, we propose a framework jointly uti-lizing colour, object and scene-level information to predict whetherthe topic of an article containing an image is a flood event or not.Visual features are combined using early and late fusion techniquesachieving an average F1-score of82.63,82.40,81.40and76.77. Forthe multi-modal flood level estimation, we rely on both visualand textual information achieving an average F1-score of58.48and46.03, respectively. Finally, for the flooding detection in time-based satellite image sequences we used a combination of classicalcomputer-vision and machine learning approaches achieving anaverage F1-score of58.82%
IoT-based real-time monitoring system for fall detection of the elderly with passive RFID sensor tags

In rapidly aging society in Japan, the lack of care-givers may cause a delay in detection when the elderly have an accident in a care home. A monitoring system for the elderly is expected to prevent aggravation of the health condition for them due to the delay in detecting accidents. This paper proposes a real-time monitoring system of fall detection using passive RFID sensor tags. We have implemented and evaluated a prototype system from the acquisition of sensor data to the output of the results using a public cloud service such as Microsoft Azure. The data communication to the cloud service has been successful, while the continuous output of changes in sensor data is still unstable.
Bergmans spelifierade landskap : Interaktioner mellan det digitala och det rumsliga, där användarens intressen, drivkrafter och motiv ingår i spelet.

This is a thesis in information design focusing on spatial design. This project is a collaboration with visitor center Bergmancenter on Faro, who has asked for an interactive aspect to their perm ...
REAL TIME PEDESTRIAN ALERT SYSTEM FOR VEHICLES

In this study, we have developed a pre-collision alert system for vehicles in terms of detection pedestrians in road. The system is consisting from deep learning models and transfer learning methodologies. For this purpose, pre-trained convolutional models was considered to detect pedestrian and road. Finally, the segmented road mask and pedestrian mask was utilized to reveal the intersection of these two masks. The system generates an alert if the number of pixels is higher than predefined threshold value. By considering the visual results, the proposed system gives valuable detection results to avoid collision.
Crescent School MSUS Library: HSB4U: Final Summative Research Project: Home

Online library resources, with primary and secondary sources to support the HSB4U: Final Summative Research Project
Decentralized Autonomous Organizations. Glossary of Distributed Technologies

A DAO is a blockchain-based system that enables people to coordinate and govern themselves mediated by a set of self-executing rules deployed on a public blockchain, and whosegovernance is decentralised (i.e., independent from central control).
Smooth and Strong PCPs.

Probabilistically checkable proofs (PCPs) can be verifiedbased only on a constant amount of random queries, such that anycorrect claim has a proof that is always accepted, and incorrect claimsare rejected with high probability (regardless of the given alleged proof).We consider two possible features of PCPs: We prove that all sets in $$\mathcal{NP}$$ have PCPs that are both smooth andstrong, are of polynomial length and can be verified based on a constantnumber of queries. This is achieved by following the proof of thePCP theorem of Arora et al. (JACM 45(3):501–555, 1998), providing astronger analysis of the Hadamard and Reed–Muller based PCPs anda refined PCP composition theorem. In fact, we show that any set in $$\mathcal{NP}$$ has a smooth strong canonical PCP of Proximity (PCPP), meaningthat there is an efficiently computable bijection of $$\mathcal{NP}$$ witnessesto correct proofs. This improves on the recent construction of Dinuret al. (in: Blum (ed) 10th innovations in theoretical computer scienceconference, ITCS, San Diego, 2019) of PCPPs that are strong canonicalbut inherently non-smooth. Our result implies the hardness of approximating the satisfiability of“stable” 3CNF formulae with bounded variable occurrence, where stablemeans that the number of clauses violated by an assignment is proportionalto its distance from a satisfying assignment (in the relativeHamming metric). This proves a hypothesis used in the work of Friggstad,Khodamoradi and Salavatipour (in: Chan (ed) Proceedings ofthe 30th annual ACM-SIAM symposium on discrete algorithms, SODA,San Diego, 2019), suggesting a connection between the hardness of theseinstances and other stable optimization problems.
Pemimpin: Mimpi Muda, Tua Nyata

Product details Paperback : 281 pages ISBN-10 : 6020624293 ISBN-13 : 978-6020624297 Product Dimensions : 5.51 x 0.64 x 8.27 inches Publisher : Gramedia Pustaka Utama (May 4, 2019) Item Weight : 14.9 ounces Language: : Indonesian
Preface: 2nd International Conference on Earth Science, Mineral, and Energy

First Page
Influencern - ett varumärke och en kanal för marknadsföring - En undersökning av det personliga varumärket och marknadsföring på sociala medier

Influencers as individuals can be viewed as personal trademarks, which includes name, image, layout on social media, appearance etc. Furthermore, the profession often includes that influencers for remuneration markets companies’ products or services on their social media channels. By doing so, the companies utilize the already established relationship between the influencer and his/her followers. In connection with the emergence of the profession some legal problems have arisen, two of which are examined in this essay, regarding trademark protection and marketing law. An EU-trademark is obtained through registration. To be granted trademark registration the trademark must meet the requirements of distinctive character and the representation of the mark must be clear, precise, self-contained, easily accessible, intelligible, durable and objective. In Swedish national law it is also possible to incorporate a trademark, but there is no requirement on presentation. The first part of the thesis aims to investigate which opportunities there are to obtain trademark protection for parts of the personal trademark and how to do it. The second part is examining influencer marketing on social media. Social media content published by influencers might be regulated by laws regarding marketing. Furthermore, the thesis aims to investigate where the line between commercial and non-commercial content is drawn and which responsibilities influencers have to present the commercial intent and make the information about trader available to the consumers. It is possible to obtain trademark protection for a personal name, which is highly associated with the personal trademark, through registration as well as incorporation. When assessing the requirements, is shall not be done in a stricter way than for other trademarks. However, it may be difficult for well-known names to be associated with the origin of the product, which is a function for the trademarks instead of the person as such. Furthermore, it is also possible to obtain protection for, for example, figures and sound-files associated with the person, which can form parts of the personal trademark. The requirements set on influencers when publishing commercial content on their channels were mainly sought in guidance from authorities and case law. It was stated that an influencer must clearly indicate when the content is of commercial character according to two recent influencer cases. If it is a paid collaboration, the influencer must present that it is paid and the information about the commercial intent must graphically be easy to distinguish from the other information. The recipient must by a quick view be able to perceive that it is advertising. How exactly is should be designed is not determined. However, it is clear that the requirements set on an influencer are high, and the influencer can be held responsible if not attaining those.
Best 2019 PIC III Paper: Do They Understand Your Language? Access Their Fluency with Vector Representation

In previous projects Dr. Haskell
Tirana Plug-in River: Catalyst Playful Experiences to Revitalize Albanian Informal Settlements

The fall of the Communist dictatorship has changed dramatically the urban structure of the city of Tirana. The original organic structure - and the later Soviet functionalist fabric - has been parasitized by a spread system of informal (and currently illegal) settlements that are perceivable as ‘other spaces’ (Foucault ), completely rejected by the historical city. Indeed, the latter generated a system of closed clusters within the urban environment, leading to the creation of a series of barriers which are either physical, psychological and behavioral. For these reasons, the city of Tirana is a kaleidoscopic and deceiving reality, where the explosion of colors and shapes hides the urban conflicts that run underneath and exacerbate the always present social tension and conflict.Previous top-down solutions - proposed by the government - have demonstrated their ineffectiveness due to a positivistic approach that could not take into account the complexity of a vital city in continuous evolution. To offer concrete and long-term solutions to these crises, there is the need for catalytic interventions that can help in the creation of different and overlapping frameworks of action: architectural, social, education, and economical ones.In this paper, we will present the incremental design project ‘Tirana | Plug-in River’, with the aim of demonstrating how multitasking infrastructure (Saggio 2014) can work as positive vectors in the urban fabric using playful dynamics and mechanics, and bottom-up/civic engagement design processes in the existing city where architecture, art and citizenship interaction can operate as a key for a new urban consciousness and reactivation.
A Technique for Fast Miller’s Algorithm of Ate Pairings on Elliptic Curves with Embedding Degrees of Multiple of Three

Bilinear pairings are widely used for innovative protocols such as ID-based encryption and group signature authentication. According to the current research of the pairings, not only families of pairing-friendly elliptic curves with embedding degrees of multiple of four or six but also that of multiple of three can realize efficient pairings. However, the range of the practical choices of the elliptic curves with embedding degrees of multiple of three is more restricted than that of even embedding degrees by an efficiency reason for the computation of Miller’s algorithm with a signed binary representation of a loop parameter. To ease the restriction, the authors propose to compute the Miller’s algorithm by swapping the sign of the loop parameter without performance degradation for the ate pairing on such the elliptic curves.
BhTSL, Behavior Trees Specification and Processing.

This work has been supported by FCT–Fundacao para a Ciencia e Tecnologia within the R&D Units Project Scope: UIDB/00319/2020.
An Analysis of Musical Work Datasets and their Current Level of Linkage

Music works are key concepts that present a powerful linkage potential fully acknowledged in the fields of digital music libraries and digital musicology. They form an abstract connecting point for the entities referring to them, and large work datasets act as authority data that offer a promising analysis and search potential. These days, digital music libraries and digital musicology research rely primarily on datasets that have been created over the last decade, mostly from previously existing datasets, such as bibliographic records. In this paper, we try to provide a better understanding of the content of some of the most important datasets available and to evaluate their level of linking. We analyse two leading library datasets, namely those of the Bibliothèque nationale de France (BnF) and the Deutsche Nationalbibliothek (DNB), both available in RDF format, and look at how many works they contain, how these are distributed over time, and their distribution by composer. We compare the results with two other datasets that have completely different backgrounds, namely the Petrucci Music Library (known as IMLSP) and MusicBrainz datasets, two crowd-sourced projects. We evaluate the level of linking the two library datasets currently have with each other through the Virtual International Authority File (VIAF), and their current linking status with other libraries contributing to VIAF. We also evaluate the linking status the IMSLP and the MusicBrainz projects currently have with each other and with other datasets.
Design and Implementation of a Modular Multiplier for Public-Key Cryptosystems Based on Barrett Reduction

This paper refers to a hardware implementation for executing modular multiplication in public-key cryptosystems using the Barrett reduction, which is a method of reducing a number modulo another number without the use of any division. Considering the flexibility of hardware, the modular multiplier we proposed is able to work over 3 prime fields $$ {\text{GF}}\left( p \right) $$ , standardized by NIST for use in Elliptic Curve Cryptography (ECC), where the size of primes $$ p $$ are 256, 384, and 521 bits. We designed two methods to optimize the modular multiplier: Firstly, the circuit departed $$ 257 \times 257 $$ multiplier into two $$ 257 \times 129 $$ multipliers and an adder, three parts to optimize for clock frequency. Secondly, we proposed a parallel computing architecture to improve the utilization of multiplier and achieve high throughput. This modular multiplier runs at the clock rate of 300 MHz on 40 nm CMOS and performs a 256-bit modular multiplication in 3 cycles, while 384-bit modular multiplication costs 10 cycles and 521-bit modular multiplication costs 25 cycles. The architecture is very suitable for situations requiring high computing speed, such as online ECC signature verification.