Search results for "programming."
showing 10 items of 3035 documents
Priority-based initial access for URLLC traffic in massive IoT networks: Schemes and performance analysis
2020
Abstract At a density of one million devices per square kilometer, the10’s of billions of devices, objects, and machines that form a massive Internet of things (mIoT) require ubiquitous connectivity. Among a massive number of IoT devices, a portion of them require ultra-reliable low latency communication (URLLC) provided via fifth generation (5G) networks, bringing many new challenges due to the stringent service requirements. Albeit a surge of research efforts on URLLC and mIoT, access mechanisms which include both URLLC and massive machine type communications (mMTC) have not yet been investigated in-depth. In this paper, we propose three novel schemes to facilitate priority-based initial …
Optimal Buffer Resource Allocation in Wireless Caching Networks
2019
Wireless caching systems have been exhaustively investigated in recent years. Due to limited buffer capacity, and unbalanced arrival and service rates, the backlogs may exist in the caching node and even cause buffer overflow. In this paper, we first investigate the relationship among backlogs, buffer capacity, data arrival rate and service rate, utilizing the martingale theory which is flexible in handling any arrival and service processes. Then given a target buffer overflow probability, the minimal required buffer portion is determined. If the devoted buffer capacity can fulfill all serving users' minimal buffer requirements, an optimization problem is constructed with the objective to m…
Life-based design as an extension of problem-based learning — A tool for understanding people and technology
2015
Global conditions are changing at such a rate that foreseeing trends in technological development, economic fluctuations and climatic conditions is ever more difficult. When developing technologies, there is one constant factor that practitioners and researchers should be aware of, and that is people. This is not to say that people, culture and social conditions remain stagnant, for these too evolve with the surrounding circumstances. Rather, appropriate tools and capabilities for investigating people, their lives and life situations, are integral to understanding what people need in terms of technology, how these technologies will be used, and more importantly how they will be valued in th…
A symbolic distributed event detection scheme for Wireless Sensor Networks
2016
Due to the possibility of extensive and pervasive deployment of many tiny sensor devices in the area of interest, Wireless Sensor Networks (WSNs) result particularly suitable to detect significant events and to react accordingly in industrial and home scenarios. In this context, fuzzy inference systems for event detection in WSNs have proved to be accurate enough in treating imprecise sensory readings to decrease the number of false alarms. Besides reacting to event occurrences, the whole network may infer more information to enrich the event semantics resulting from reasoning processes carried out on the individual nodes. Contextual knowledge, including spatial and temporal relationships, …
Interactive Learning Environments (ILEs) as Effective Tools for Teaching Social Sciences
2016
Schoolteachers could enhance learning in social science courses by using teaching tools that favour a methodological approach focused on the topics' basic structure rather than on facts. An innovative system dynamics social-based ILE built with a social constructivist approach is presented here. The pedagogical futures of this ILE are then analysed. The effective impact of different instructional approaches inspired by social-based ILEs on student learning outcomes is also discussed. The ILE and the related inquiry-based instructional approach seem to help students understand fundamental concepts more easily, thus making the topic more comprehensible and helping students place the social fa…
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…