We describe the design and implementation of GNU Guix, a purely functional package manager designed to support a complete GNU/Linux distribution. Guix supports transactional upgrades and roll-backs, unprivileged package management, per-user profiles, and garbage collection. It builds upon the low-level build and deployment layer of the Nix package manager. Guix uses Scheme as its programming in...

Cognitive radio (CR) is designed to detect available frequency bands/channels. Spectrum sensing plays a critical role in CR with energy detection being the most common method. In our paper, we implement energy detection using GNU Radio and USRP boards as a test-bed. Specifically, energy detection is performed by using blocks in GNU Radio Companion (GRC) to calculate the energy of a present sign...

The ESRF control system is in the process of being modernised. The present control system is based on VME, 10 MHz Ethernet, OS9, Solaris, HP-UX, NFS/RPC, Motif and C. The new control system will be based on compact PCI, 100 MHz Ethernet, Linux, Windows, Solaris, CORBA/IIOP, C++, Java and Python. The main frontend operating system will be GNU/Linux running on Intel/x86 and Motorola/68k. Linux wi...

The general neural unit (GNU) 1] is known for its high storage capacity as an autoassociative memory. The exponential increase in its storage capacity with the number of inputs per neuron is far greater than the linear growth in the famous Hoppeld network 2]. This paper shows that the GNU attains an even higher capacity with the use of pyramids of neurons instead of single neurons as its nodes....

This paper examines to what degree developers of the collaboratively produced computer operating system GNU/Linux are politically motivated for their contributions. It first states that software is politically relevant. It then goes on to argue for the political significance of Free Software/Open Source Software (FS/OSS) and discusses the developers ambivalent attitude towards a politicisation ...

1 Abstract An outline of Johnson-Laird's theory of Mental Models J-L 83] and J-L&Byr 91] is presented along with a short explanation of its importance. Implementational issues are discussed, and a possible GNU based architecture for a syllogistic reasoner is proposed. 2 Introduction Mental models J-L 83, J-L&Byr 91] are an attempt to explain human cognition, and speciically reasoning which appe...

Software defined radio (SDR) technology implements some of the functional modules of a radio system in software enabling highly flexible handsets. SDR devices may be reconfigured dynamically via the download of new software modules. Malicious or malfunctioning downloaded software present serious security risks to SDR devices and networks in which they operate. In this paper, we analyze threats ...

data types, class definitions, and packages. All modern, high level programming languages support one or more of these forms of logical decomposition. While the details of these forms is beyond the scope of the article, they are all methods for creating software components that are larger than single functions or procedures. In addition to logical decomposition, modern programming languages all...