其他计算机科学

In this article we address the problem of automatic answer checking in interactive learning systems that support mathematical notation. This problem consists of the problem of establishing identities in formal mathematical systems and hence…

The design of cyber-physical systems (CPSs) faces various new challenges that are unheard of in the design of classical real-time systems. Power optimization is one of the major design goals that is witnessing such new challenges. The…

In this paper, we propose optimal pilot pattern of downlink OFDM (Orthogonal Frequency Division Multiplexing) communication system.

In this paper, a method for CFO/RFO estimation based on proportional coefficients extraction in OFDM system is proposed, which may be applied to any pilot symbol pattern.

Full control over a Wi-Fi chip for research purposes is often limited by its firmware, which makes it hard to evolve communication protocols and test schemes in practical environments. Monitor mode, which allows eavesdropping on all frames…

In this report we propose 50+ metrics which can be measured by organizations in order to identify improvements in various areas such as meeting efficiency, capacity planning or leadership skills, just to new a few. The notion of calendar…

The manuscript discusses a well-known issue that, despite its fundamental role in basic electric circuit theory, seems to be tackled without the needful attention. The question if the Principle of Superposition (POS) can be applied to…

Carry Value Transformation (CVT) is a model of discrete dynamical system which is one special case of Integral Value Transformations (IVTs). Earlier in [5] it has been proved that sum of two non-negative integers is equal to the sum of…

The ability to recognize weakness of students and solving any problem may confront them in timely fashion is always a target of all educational institutions. This study was designed to explore how can predictive and statistical analysis…

A novel approach to integrated ground and air public transport journey planning, operating at continent scale. Flexible date search, prerequisite for long distance trips given their typical low and irregular service frequencies, is core…

We present a generalized velocity model to improve localization when using an Inertial Navigation System (INS). This algorithm was applied to correct the velocity of a smart phone based indoor INS system to increase the accuracy by…

Fractal surfaces ('patchwork quilts') are shown to arise under most general circumstances involving simple bitwise operations between real numbers. A theory is presented for all deterministic bitwise operations on a finite alphabet. It is…

Humanities have convincingly argued that they need transnational research opportunities and through the digital transformation of their disciplines also have the means to proceed with it on an up to now unknown scale. The digital…

There is considerable and growing interest in the emergence of novel technologies, especially from the policy-making perspective. Yet as an area of study, emerging technologies lacks key foundational elements, namely a consensus on what…

As a vital indicator for measuring urban development, urban areas are expected to be identified explicitly and conveniently with widely available dataset thereby benefiting the planning decisions and relevant urban studies. Existing…

The article presents the design of a digital power measurement device intended for the green IT. Article comprises: use case analysis, accuracy and precision measurements and real life test of apache web server as exemplary application.

Data compression is very important feature in terms of saving the memory space. In this proposal, an indexed dictionary based compression is used for text data, where the word's reference in dictionary is used for compression. This approach…

Over two million containers crossed the docks at Sydney's Port Botany in 2011/12; a figure that is forecast increase more than threefold by the end of the next decade. To cope with such large growth in volumes the NSW Government plans to…

Long-range forecasting of heat/cold waves is a topical issue nowadays. High computational complexity of the design of numerical and statistical models is a bottleneck for the forecast process. In this work, Windows Server 2012 R2 virtual…

Earth, water, air, food, shelter and energy are essential factors required for human being to survive on the planet. Among this energy plays a key role in our day to day living including giving lighting, cooling and heating of shelter,…