Search results for "Programming language"
showing 10 items of 624 documents
The Art for the Disabled Scheme: Enhance Limb-disabled Students’ Social Inclusion through Integration of Art and Charity
2015
This paper explored how a small group of limb-disabled students enhanced their social inclusion through participation in the Art for the Disabled Scheme, a long-term project aiming to help disabled young people through the integration of extracurricular art instruction and philanthropy. This research was conducted using qualitative case study method. The findings revealed the multiple benefits the disabled students reaped regarding their social inclusion enhancement: financial and material supports; mental well-being improvement; promotion for personal development; positive self and group identity building; and social development. The findings also demonstrated that the successful combinati…
xloops - Automated Feynman diagram calculation
1998
The program package xloops, a general, model independent tool for the calculation of high energy processes up to the two-loop level, is introduced. xloops calculates massive one- and two-loop Feynman diagrams in the standard model and related theories both analytically and numerically. A user-friendly Xwindows frontend is part of the package. xloops relies on the application of parallel space techniques. The treatment of tensor structure and the separation of divergences in analytic expressions is described in this scheme. All analytic calculations are performed with Maple. We describe the mathematical methods and computer algebra techniques xloops uses and give a brief introduction how to …
Using knowledge of human-generated code to bias the search in program synthesis with grammatical evolution
2021
Recent studies show that program synthesis with GE produces code that has different structure compared to human-generated code, e.g., loops and conditions are hardly used. In this article, we extract knowledge from human-generated code to guide evolutionary search. We use a large code-corpus that was mined from the open software repository service GitHub and measure software metrics and properties describing the code-base. We use this knowledge to guide the search by incorporating a new selection scheme. Our new selection scheme favors programs that are structurally similar to the programs in the GitHub code-base. We find noticeable evidence that software metrics can help in guiding evoluti…
A Neural Network model for the Evaluation of Text Complexity in Italian Language: a Representation Point of View
2018
Abstract The goal of a text simplification system (TS) is to create a new text suited to the characteristics of a reader, with the final goal of making it more understandable.The building of an Automatic Text Simplification System (ATS) cannot be separated from a correct evaluation of the text complexity. In fact the ATS must be capable of understanding if a text should be simplified for the target reader or not. In a previous work we have presented a model capable of classifying Italian sentences based on their complexity level. Our model is a Long Short Term Memory (LSTM) Neural Network capable of learning the features of easy-to-read and complex-to-read sentences autonomously from a anno…
Multi-pass execution of functional logic programs
1994
An operational semantics for functional logic programs is presented. In such programs functional terms provide for reduction of expressions, provided that they ground. The semantics is based on multi-pass evaluation techniques originally developed for attribute grammars. Program execution is divided into two phases: (1) construction of an incomplete proof tree, and (2) its decoration into a complete proof tree. The construction phase applies a modified SLD-resolution scheme, and the decoration phase a partial (multi-pass) traversal over the tree. The phase partition is generated by static analysis where data dependencies are extracted for the functional elements of the program. The method g…
Embedding Evolution in Epidemic-Style Forwarding
2007
International audience; In this work, we introduce a framework to let forwarding schemes evolve in order to adapt to changing and a priori unknown environments. The framework is inspired by genetic algorithms: at each node a genotype describes the forwarding scheme used, a selection process fosters the diffusion of the fittest genotypes in the system and new genotypes are created by combining existing ones or applying random changes. A case study implementation is presented and its performance evaluated via numerical simulations.
Learning Automata-Based Solutions to the Multi-Elevator Problem
2019
In the last century, AI has been the topic of interest in many areas, where the focus was on mimicking human behaviour. It has been researched to be incorporated into different domains, such as security, diagnosis, autonomous driving, financial prediction analysis and playing games such as chess and Go. They also worked on different subfields of AI such as machine learning, deep learning, pattern recognition and other relevant subfields. Our work in a previous paper [1] focused on a problem that has not been tackled using AI before, which is the elevator-problem. In which we try to find the optimal parking floor for the elevator for the single elevator problem. In this paper, our work exten…
Developing a Tool Point Control Scheme for a Hydraulic Crane Using Interactive Real-time Dynamic Simulation
2010
This paper describes the implementation of an interactive real-time dynamic simulation model of a hydraulic crane. The user input to the model is given continuously via joystick and output is presented continuously in a 3D animation. Using this simulation model, a tool point control scheme is developed for the specific crane, considering the saturation phenomena of the system and practical implementation. This paper describes the implementation of an interactive real-time dynamic simulation model of a hydraulic crane. The user input to the model is given continuously via joystick and output is presented continuously in a 3D animation. Using this simulation model, a tool point control scheme…
Study of Wine Producers’ Marketing Communication in Extreme Territories–Application of the AGIL Scheme to Wineries’ Website Features
2020
This study measures the communication ability of wineries in two extreme territories of Southern Italy, Mount Etna and the island of Pantelleria. The evaluation of four dimensions of web communication was carried out by the AGIL Scheme (i.e., adaptation, goal-attainment, integration, latent pattern maintenance). The study provides a generalizable model to be applied in other similar studies. Additionally, focus groups of experts were carried out. The method proved to be suitable to measure the communication effectiveness of wineries through websites. Extreme territories may add value to the wine, regardless of the brand. The heroic wines may become the symbol of these territories, helping e…
Proposed use of spatial mortality assessments as part of the pesticide evaluation scheme for vector control
2013
Background: The WHO Pesticide Evaluation Scheme to evaluate the efficacy of insecticides does not include the testing of a lethal effect at a distance. A tool was developed to evaluate the spatial mortality of an insecticide product against adult mosquitoes at a distance under laboratory and field conditions. Operational implications are discussed. Methods: Insecticide paint, Inesfly 5A IGR (TM), containing two organophosphates (OPs): chlorpyrifos and diazinon, and one insect growth regulator (IGR): pyriproxyfen, was the product tested. Laboratory tests were performed using "distance boxes" with surfaces treated with one layer of control or insecticide paint at a dose of 1 kg/6 sq m. Field …