Awake the Sleeper Within : Releasing the Energy of Stifled Domestic Commerce!

Policy in Pakistan has been fairly path-dependant, placing a higher weight on export promotion and domestic industrialisation development than on domestic commerce. Yet domestic commerce is growing rapidly, and quite possibly is the largest sector in the economy. This paper argues that a more holistic policy, with no favourites, that allows for all sectors to grow leads to better long-term economic results. A vibrant domestic commerce sector is the core of the economy facilitating intermediation between supply and demand, entrepreneurial development, risk-taking, innovation, and competitive markets. Such an economy moves beyond commodity exports to brand name, process, and capital exports, all of which command a higher rate of return. Pakistan could therefore achieve a higher and a more sustainable growth rate by adopting a more balanced growth strategy.domestic commerce, policy

Awake the Sleeper Within: Releasing the Energy of Stifled Domestic Commerce!

Policy in Pakistan has been fairly path-dependant, placing a higher weight on export promotion and domestic industrialisation development than on domestic commerce. Yet domestic commerce is growing rapidly, and quite possibly is the largest sector in the economy. This paper argues that a more holistic policy, with no favourites, that allows for all sectors to grow leads to better long-term economic results. A vibrant domestic commerce sector is the core of the economy facilitating intermediation between supply and demand, entrepreneurial development, risk-taking, innovation, and competitive markets. Such an economy moves beyond commodity exports to brand name, process, and capital exports, all of which command a higher rate of return. Pakistan could therefore achieve a higher and a more sustainable growth rate by adopting a more balanced growth strategyCommercial policy

The desktop interface in intelligent tutoring systems

The interface between an Intelligent Tutoring System (ITS) and the person being tutored is critical to the success of the learning process. If the interface to the ITS is confusing or non-supportive of the tutored domain, the effectiveness of the instruction will be diminished or lost entirely. Consequently, the interface to an ITS should be highly integrated with the domain to provide a robust and semantically rich learning environment. In building an ITS for ZetaLISP on a LISP Machine, a Desktop Interface was designed to support a programming learning environment. Using the bitmapped display, windows, and mouse, three desktops were designed to support self-study and tutoring of ZetaLISP. Through organization, well-defined boundaries, and domain support facilities, the desktops provide substantial flexibility and power for the student and facilitate learning ZetaLISP programming while screening the student from the complex LISP Machine environment. The student can concentrate on learning ZetaLISP programming and not on how to operate the interface or a LISP Machine

Channel Dynamics and SNR Tracking in Millimeter Wave Cellular Systems

The millimeter wave (mmWave) frequencies are likely to play a significant role in fifth-generation (5G) cellular systems. A key challenge in developing systems in these bands is the potential for rapid channel dynamics: since mmWave signals are blocked by many materials, small changes in the position or orientation of the handset relative to objects in the environment can cause large swings in the channel quality. This paper addresses the issue of tracking the signal to noise ratio (SNR), which is an essential procedure for rate prediction, handover and radio link failure detection. A simple method for estimating the SNR from periodic synchronization signals is considered. The method is then evaluated using real experiments in common blockage scenarios combined with outdoor statistical models

Targeted Greybox Fuzzing with Static Lookahead Analysis

Automatic test generation typically aims to generate inputs that explore new paths in the program under test in order to find bugs. Existing work has, therefore, focused on guiding the exploration toward program parts that are more likely to contain bugs by using an offline static analysis. In this paper, we introduce a novel technique for targeted greybox fuzzing using an online static analysis that guides the fuzzer toward a set of target locations, for instance, located in recently modified parts of the program. This is achieved by first semantically analyzing each program path that is explored by an input in the fuzzer's test suite. The results of this analysis are then used to control the fuzzer's specialized power schedule, which determines how often to fuzz inputs from the test suite. We implemented our technique by extending a state-of-the-art, industrial fuzzer for Ethereum smart contracts and evaluate its effectiveness on 27 real-world benchmarks. Using an online analysis is particularly suitable for the domain of smart contracts since it does not require any code instrumentation---instrumentation to contracts changes their semantics. Our experiments show that targeted fuzzing significantly outperforms standard greybox fuzzing for reaching 83% of the challenging target locations (up to 14x of median speed-up)

Enforcement in Dynamic Spectrum Access Systems

The spectrum access rights granted by the Federal government to spectrum users come with the expectation of protection from harmful interference. As a consequence of the growth of wireless demand and services of all types, technical progress enabling smart agile radio networks, and on-going spectrum management reform, there is both a need and opportunity to use and share spectrum more intensively and dynamically. A key element of any framework for managing harmful interference is the mechanism for enforcement of those rights. Since the rights to use spectrum and to protection from harmful interference vary by band (licensed/unlicensed, legacy/newly reformed) and type of use/users (primary/secondary, overlay/underlay), it is reasonable to expect that the enforcement mechanisms may need to vary as well.\ud \ud In this paper, we present a taxonomy for evaluating alternative mechanisms for enforcing interference protection for spectrum usage rights, with special attention to the potential changes that may be expected from wider deployment of Dynamic Spectrum Access (DSA) systems. Our exploration of how the design of the enforcement regime interacts with and influences the incentives of radio operators under different rights regimes and market scenarios is intended to assist in refining thinking about appropriate access rights regimes and how best to incentivize investment and growth in more efficient and valuable uses of the radio frequency spectrum

The transfer of property rights from the public to the private sector in Hong Kong: A critical assessment

The privatization idea may have lost some of its luster in recent years, but it remains relevant in today’s socio-economic environment and is pursued consistently in industrialized and industrializing countries alike. Hong Kong has followed the general pattern in a manner reflecting its particular circumstances and its institutional modus operandi. The underlying logic may not appear highly compelling, from a short-term perspective, yet there are sound grounds for approaching the task positively, if viewed from a multi-year standpoint. Rather surprisingly, for such a quintessentially capitalist society, Hong Kong has not confronted the privatization challenge astutely on the political front and has handled it somewhat mechanically in managerial terms. The benefits to the community may have thus been more modest than one could legitimately expect, given the historical backdrop

Unleashing the Power of Clippy in Real-World Rust Projects

Clippy lints are considered as essential tools for Rust developers, as they can be configured as gate-keeping rules for a Rust project during continuous integration. Despite their availability, little was known about practical application and cost-effectiveness of the lints in reducing code quality issues. In this study, we embark on a comprehensive analysis to unveil the true impact of Clippy lints in the Rust development landscape. The study is structured around three interrelated components, each contributing to the overall effectiveness of Clippy. Firstly, we conduct a comprehensive analysis of Clippy lints in all idiomatic crates-io Rust projects with an average warning density of 21/KLOC. The analysis identifies the most cost-effective lint fixes, offering valuable opportunities for optimizing code quality. Secondly, we actively engage Rust developers through a user survey to garner invaluable feedback on their experiences with Clippy. User insights shed light on two crucial concerns: the prevalence of false positives in warnings and the need for auto-fix support for most warnings. Thirdly, building upon these findings, we engineer three innovative automated refactoring techniques to effectively fix the four most frequent Clippy lints. As a result, the warning density in Rosetta benchmarks has significantly decreased from 195/KLOC to an impressive 18/KLOC, already lower than the average density of the crates-io Rust projects. These results demonstrate tangible benefit and impact of our efforts in enhancing the overall code quality and maintainability for Rust developers