Search results for "Programming Language"

Human factor policy testing in the sequencing of manual mixed model assembly lines

2004

In this paper the human resource management in manual mixed model assembly U-lines is considered. The objective is to minimise the total conveyor stoppage time to achieve the full efficiency of the line. A model, that includes effects of the human resource, was developed in order to evaluate human factor policies impact on the optimal solution of this line sequencing problem. Different human resource management policies are introduced to cope with the particular layout of the proposed line. Several examples have been proposed to investigate the effects of line dimensions on the proposed management policies. The examples have been solved through a genetic algorithm. The obtained results conf…

The Arctic Cloud Puzzle: Using ACLOUD/PASCAL Multiplatform Observations to Unravel the Role of Clouds and Aerosol Particles in Arctic Amplification

2019

A consortium of polar scientists combined observational forces in a field campaign of unprecedented complexity to uncover the secrets of clouds and their role in Arctic amplification. Two research aircraft, an icebreaker research vessel, an ice-floe camp including an instrumented tethered balloon, and a permanent ground-based measurement station were employed in this endeavour. Clouds play an important role in Arctic amplification. This term represents the recently observed enhanced warming of the Arctic relative to the global increase of near-surface air temperature. However, there are still important knowledge gaps regarding the interplay between Arctic clouds and aerosol particles, surfa…

Q-Chem 2.0: a high-performanceab initio electronic structure program package

2000

ABSTRACT: Q-Chem 2.0 is a new release of an electronic structure programpackage, capable of performing first principles calculations on the ground andexcited states of molecules using both density functional theory and wavefunction-based methods. A review of the technical features contained withinQ-Chem 2.0 is presented. This article contains brief descriptive discussions of thekey physical features of all new algorithms and theoretical models, together withsample calculations that illustrate their performance. c 2000 John Wiley S electronic structure; density functional theory;computer program; computational chemistry Introduction A reader glancing casually at this article mightsuspect on t…

Cell Association for MTC Devices in 5G Networks: Schemes and Performance Evaluation

2021

Fifth generation (5G) networks offer tremendous opportunities for Internet of things applications by facilitating massive machine-type communications (MTC). As many MTC devices are battery powered and intend to stay often in the sleep or power-saving mode, cell (re)association needs to be performed when a device wakes up. On the other hand, 5G networks are usually deployed as heterogeneous networks consisting of both macro and small cells under which a single device may be covered by multiple radio access technologies (RATs) simultaneously. Therefore, it is imperative to design effective cell association schemes for the purpose of efficient connectivity and resource utilization, especially …

Analysis of a Fast Reserve Unit Behaviour with Additional Modular Synthetic Inertia Control

2021

The paper presents the results of a theoretical study on the behaviour of a battery storage system operated as a Fast Reserve Unit and equipped with additional synthetic inertia control. The Fast Reserve Unit is assumed connected to the transmission system of Sicily, operated as an isolated grid in order to show more clearly the effect of the Fast Reserve Unit intervention during a power imbalance. The unit is controlled also to provide synthetic inertia with a conventional control scheme and with a new scheme proposed by the authors and named “Modular Synthetic Inertia”. The latter has been conceived for offering a modular response as a function of the Rate of Change of Frequency, to avoid…

A Biologically Inspired Representation of the Intelligence of a University Campus

2016

Abstract Intelligence or smartness in an urban environment implies several factors directed to improve quality of life and efficiency. It is important to note that in this context the inclusion of citizens and their devices is a key factor for reaching smartness. Data from mobile devices are increasingly used in everyday activities and have to be considered a useful means for handling and analyzing knowledge and communications. This paper shows how to represent important data when dealing with smartness by creating an analogy between the representation of human brain areas, activated when specific tasks are performed, and groups of students when behaviors or needs arise. The brain traffic c…

Asynchronous Runtime Verification of Business Processes: Proof of Concept

2020

OPETH: Open Source Solution for Real-Time Peri-Event Time Histogram Based on Open Ephys

2019

Single cell electrophysiology remains one of the most widely used approaches of systems neuroscience. Decisions made by the experimenter during electrophysiology recording largely determine recording quality, duration of the project and value of the collected data. Therefore, online feedback aiding these decisions can lower monetary and time investment, and substantially speed up projects as well as allow novel studies otherwise not possible due to prohibitively low throughput. Real-time feedback is especially important in studies that involve optogenetic cell type identification by enabling a systematic search for neurons of interest. However, such tools are scarce and limited to costly co…

Context-free Languages

1988

In this chapter we shall define a class of rewriting systems called context-free grammars. The left-hand side of a rule in a context-free grammar consists of a single symbol, so that symbols are rewritten “context-freely”. Context-free grammars are of central importance to us because they define the class of context-free languages, the parsing of which is the subject of this book. In this chapter we shall consider some structural properties of context-free grammars which are of importance in parsing. Also, a basic method for recognizing context-free languages will be given.

Elements of Language Theory

1988

In this chapter we shall review the mathematical and computer science background on which the presentation in this book is based. We shall discuss the elements of discrete mathematics and formal language theory, emphasizing those issues that are of importance from the point of view of context-free parsing. We shall devote a considerable part of this chapter to matters such as random access machines and computational complexity. These will be relevant later when we derive efficient algorithms for parsing theoretic problems or prove lower bounds for the complexity of these problems. In this chapter we shall also discuss a general class of formal language descriptors called “rewriting systems”…