Search results for "Programming Language"
showing 10 items of 624 documents
Activities with Educational Robotics: Research Model and Tools for Evaluation of Progress
2019
The use of robots in the learning process has been popular since S. Papert developed his LOGO Turtle idea and argued that students can construct their own knowledge, test their constructive solutions and be motivated to learn if they use robotics in the learning process. Today, the idea of using elements of robotics in the learning process is no longer new and innovative but there are still elements that can be developed and issues that should be discussed. In this chapter, the authors provide the research model and five research tools (structured observation protocol, evaluation of the possible risks of early school leaving to be filled in by teachers before and after activities, students’…
Rigal — a programming language for compiler writing
2005
A new programming language for compiler writing is described. The main data structures are atoms, lists and trees. The control structures are based on advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form. Sample compiler written in RIGAL is presented.
Real-time data processing in the ALICE High Level Trigger at the LHC
2019
At the Large Hadron Collider at CERN in Geneva, Switzerland, atomic nuclei are collided at ultra-relativistic energies. Many final-state particles are produced in each collision and their properties are measured by the ALICE detector. The detector signals induced by the produced particles are digitized leading to data rates that are in excess of 48 GB/$s$. The ALICE High Level Trigger (HLT) system pioneered the use of FPGA- and GPU-based algorithms to reconstruct charged-particle trajectories and reduce the data size in real time. The results of the reconstruction of the collision events, available online, are used for high level data quality and detector-performance monitoring and real-tim…
Indeterminacy Reduction in Agent Communication Using a Semantic Language
2015
In recent years, the importance of vagueness and uncertainty in the messages exchanged between agents has been highlighted, mainly due to the ubiquitous nature of the (artificial or human) agents’ communication. The imprecision in the communication becomes more significant when the autonomy of the agents increases or the number of exchanged messages for a communicative goal is limited. In this paper we conjugate ideas drawn from situation semantics theory, human communication, and the multi-agent systems (MAS) field to reduce the impact of vagueness and uncertainty present in the communication. The main advances are achieved with the help of context information, collaboration and reinforcem…
Change-Dominant Characteristic of the 21st Century and Essential Factor for Organizational Success
2013
Abstract This paper aims to bring to the forefront change, because it is known that this dominant characteristic of the third millennium has a major impact on the business world, on organizations and on management. In this context, the organizations of the future are changing organizations, they are organizations whose managers have understood the necessity of implementing change and have accepted without reserve the reality that progress requires change.
Spatialization of the Semantic Web
2012
syntax for Horn-like rules. The SWRL as the form, antecedentconsequent, where both antecedent and consequent are conjunctions of atoms written a1^ ... ^ an. Atoms in rules can be of the form C(x), P(x,y), Q(x,z), sameAs(x,y), differentFrom(x,y), or builtIn(pred, z1, ..., zn), where C is an OWL description, P is an OWL individual-valued property, Q is an OWL data-valued property, pred is a datatype predicate URIref, x and y are either individual-valued variables or OWL individuals, and z, z1, ... zn are either data-valued variables or OWL data literals. An OWL data literal is either a typed literal or a plain literal. Variables are indicated by using the standard convention of prefixing the…
Working with Multiple Ontologies on the Semantic Web.
2016
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with multiple distinct, but linked, ontologies. OWL provides the owl:imports construct which, roughly, allows Web ontologies to include other Web ontologies, but only by merging all the linked ontologies into a single logical "space". Recent work on multidimensional logics, fusions and other combinations of modal logics, distributed and contextual logics, and the like have tried to find formalisms wherein knowledge bases (and their logic) are kept more distinct but yet affect each other. These formalisms have various …
OntoSTEP: Enriching product model data using ontologies
2012
The representation and management of product lifecycle information is critical to any manufacturing organization. Different modeling languages are used at different lifecycle stages, for example STEP's EXPRESS may be used at a detailed design stage, while UML may be used for initial design stages. It is necessary to consolidate product information created using these different languages to build a coherent knowledge base. In this paper, we present an approach to enable the translation of STEP schema and its instances to Ontology Web Language (OWL). This gives a model-which we call OntoSTEP-that can easily be integrated with any OWL ontologies to create a semantically rich model. As an examp…
Teaching master's degree students to read research literature
2017
The skill to read research literature critically belongs in every university graduate’s toolbox. I have attempted to teach this skill in a master’s degree level course in programming languages over 15 years using, at various times, simulated conferences, voluntary reading exercises, evidence-based practice training, and a flipped classroom with mandatory reading assignments. I discuss my experience and analyze preliminary qualitative data on the use of evidence-based practice and a flipped classroom for this purpose. I present no firm conclusions, but expect that future work (by me or others) will be able to use my experience as a baseline for better teaching of research literature reading.…
Multi-Agent Based Energy Management in Microgrids Using MACSimJX
2019
Excessive growth in electricity consumption has been experienced over the past few years due to an increase in population around the world.This tends to increase the use of renewable energy and randomness of the load. So.it is important to improve the traditional methodologies and techniques applied on microgrid to make it more intelligent. In this paper, multi agent system is employed over autonomous microgrid framework to endorse its intelligence. The Multi-Agent system is simulated in Java Agent Development Environment (JADE) environment and matlab toolbox Simulink is used for the implementation of the microgrid model. Further, MACSimJX is used to communicate between the micro grid and a…