Low-complexity FFT/IFFT IP hardware macrocells for OFDM and MIMO–OFDM CMOS transceivers

The paper presents an automated environment for fast design space exploration and automatic generation of FFT/IFFT macrocells with minimum circuit and memory complexity within the numerical accuracy budget of the target application. The effectiveness of the tool is demonstrated through FPGA and CMOS implementations (90 nm, 65 nm and 45 nm technologies) of the baseband processing in embedded OFDM transceivers. Compared with state-of-art FFT/IFFT IP cores, the proposed work provides macrocells with lower circuit complexity while keeping the same system performance (throughput, transform size and accuracy) and is the first addressing the requirements of all OFDM standards including MIMO systems: 802.11 WLAN, 802.16 WMAN, Digital Audio and Video Broadcasting in terrestrial, handheld and hybrid satellite-scenarios, Ultra Wide Band, Broadband on Power Lines, xDSL.     

The Internet’s impact on sexuality: A critical review of 15 years of research

The body of empirical research on Internet sexuality has grown steadily since 1993. The following paper provides an overview of the current state of research in this field in its full thematic breadth, addressing six areas of online sexuality: Pornography, sex shops, sex work, sex education, sex contacts, and sexual subcultures. Key research results are presented concerning Internet sexuality’s forms of manifestation, participant groups, opportunities, and risks. This paper shows that sexually related online activities have become routine in recent years for large segments of the population in the Western world. Internet sexuality also takes somewhat different forms based on the age, gender, and sexual orientation of the individual. Academic studies to date have focused overwhelmingly on the possible negative effects of Internet sexuality. By contrast, little research has been conducted on potential benefits. Consequently, a surprising number of gaps are evident in the scholarship on Internet sexuality.     

On the relation among answer set solvers

In this paper, we study the relation among Answer Set Programming (ASP) systems from a computational point of view. We consider smodels, dlv, and cmodels ASP systems based on stable model semantics, the first two being native ASP systems and the last being a SAT-based system. We first show that smodels, dlv, and cmodels explore search trees with the same branching nodes (assuming, of course, a same branching heuristic) on the class of tight logic programs. Leveraging on the fact that SAT-based systems rely on the deeply studied Davis–Logemann–Loveland (dll) algorithm, we derive new complexity results for the ASP procedures. We also show that on nontight programs the SAT-based systems are computationally different from native procedures, and the latter have computational advantages. Moreover, we show that native procedures can guarantee the “correctness” of a reported solution when reaching the leaves of the search trees (i.e., no stability check is needed), while this is not the case for SAT-based procedures on nontight programs. A similar advantage holds for dlv in comparison with smodels if the “well-founded” operator is disabled and only Fitting’s operator is used for negative inferences. We finally study the “cost” of achieving such advantages and comment on to what extent the results presented extend to other systems.     

Adaptive course generation through learning styles representation

This paper presents an approach to automatic course generation and student modeling. The method has been developed during the European funded projects Diogene and Intraserv, focused on the construction of an adaptive e-learning platform. The aim of the platform is the automatic generation and personalization of courses, taking into account pedagogical knowledge on the didactic domain as well as statistic information on both the student’s knowledge degree and learning preferences. Pedagogical information is described by means of an innovative methodology suitable for effective and efficient course generation and personalization. Moreover, statistic information can be collected and exploited by the system in order to better describe the student’s preferences and learning performances. Learning material is chosen by the system matching the student’s learning preferences with the learning material type, following a pedagogical approach suggested by Felder and Silverman. The paper discusses how automatic learning material personalization makes it possible to facilitate distance learning access to both able-bodied and disabled people. Results from the Diogene and Intraserv evaluation are reported and discussed.     

Design optimization of an enzymatic assay in an electrokinetically-driven microfluidic device

Microfluidic systems are increasingly popular for rapid and cheap determinations of enzyme assays and other biochemical analysis. In this study reduced order models (ROM) were developed for the optimization of enzymatic assays performed in a microchip. The model enzyme assay used was β-galactosidase (β-Gal) that catalyzes the conversion of Resorufin β-d-galactopyranoside (RBG) to a fluorescent product as previously reported by Hadd et al. (Anal Chem 69(17): 3407–3412, 1997). The assay was implemented in a microfluidic device as a continuous flow system controlled electrokinetically and with a fluorescence detection device. The results from ROM agreed well with both computational fluid dynamic (CFD) simulations and experimental values. While the CFD model allowed for assessment of local transport phenomena, the CPU time was significantly reduced by the ROM approach. The operational parameters of the assay were optimized using the validated ROM to significantly reduce the amount of reagents consumed and the total biochip assay time. After optimization the analysis time would be reduced from 20 to 5.25 min which would also resulted in 50% reduction in reagent consumption.     

Distributed computing on oriented anonymous hypercubes with faulty components

We give efficient algorithms for distributed computation on oriented, anonymous, asynchronous hypercubes with possible faulty components (i.e. processors and links) and deterministic processors. Initially, the processors know only the size of the network and that they are inter-connected in a hypercube topology. Faults may occur only before the start of the computation (and that despite this the hypercube remains a connected network). However, the processors do not know where these faults are located. As a measure of complexity we use the total number of bits transmitted during the execution of the algorithm and we concentrate on giving algorithms that will minimize this number of bits. The main result of this paper is an algorithm for computing Boolean functions on anonymous hypercubes with bit cost , where is the number of faulty components (i.e. links plus processors), is the number of links which are either faulty, or non-faulty but adjacent to faulty processors, and is the diameter of the hypercube with faulty components. Received: October 1992 / Accepted: April 2001     

Innovation in Industrial Districts: Evidence from Italy

The aim of this paper is to show that Italian manufacturing firms belonging to Marshallian industrial districts carry out a higher innovative effort than is usually acknowledged. The empirical analysis makes use of a panel of 1,218 district and non-district firms belonging to traditional sectors. Data refers to the years 1992 and 1995. We have estimated an augmented Cobb-Douglas production function. The estimates make it possible to empirically identify three different determinants of firms' productivity: (i) the intentional innovative activity; (ii) the “district effect”; and (iii) the joint district and innovation effect. The results show that firms' membership in industrial districts and product innovations are key factors in explaining the productivity of firms working in traditional Italian sectors.     

Quality of Service Networking for High Performance Grid Applications

This paper reports on different efforts to provide quality of service (QoS) Networking to Grid applications done in the context of the MB-NG, GRS and DataTAG EU projects. These are leading edge network research projects involving more that 50 researchers in the UK, Europe and North America, concerned with the development and testing of protocols and standards for the next generation of high speed networks. We have implemented and tested the Differentiated Services Architecture (DiffServ) in a multi-domain, 2.5 Gbits/s network (the first such deployment) defining appropriate Service Level Agreements (SLAs) to be used between administrative domains to guarantee end-to-end Quality of Service. We characterised several hardware implementations of DiffServ and concluded on their appropriateness for several network scenarios. Since current and future Grid applications will have to use modified mechanisms of congestion control we have evaluated old and new TCP implementations over a Differentiated Services Networks. These quality of service tests have also included innovative MPLS (Multi-Protocol Label Switching) experiments to establish guaranteed bandwidth connections to Grid applications in a fast and efficient way. We have also developed a software based bandwidth broker architecture for Grids based on IETF standards which allows applications to transparently request dynamic and advanced reservations and implemented it in a real experimental network. We finally report on experiences delivering Quality of Service networking to high performance applications like Particle Physics data transfer and High Performance Computation. This includes quantitative results on the performance improvements that QoS brought to real data transfers in the context of High Performance Computing.     

Formal methods integration for the specification of dependable distributed systems

This paper describes a real-world case study in the specification and analysis of dependable distributed systems. The case study is an automated transport system with safety requirements. In order to manage the complexity of the problem of specifying the dynamic behavior of the whole system, a compositional approach is used, based on the integration of the trace logic of the Communicating Sequential Processes (CSP) theory, and stochastic Petri nets (SPNs). It is argued that the integration of different formal methods is a useful approach in the definition of practical engineering methodologies for the specification, design and analysis of complex dependable distributed systems.     

Scale-effects on mean and standard deviation of the mechanical properties of condensed matter: an energy-based unified approach

The size effects on the mean values of the mechanical properties of condensed matter and on the related variances are analysed by means of a unified approach based on the multiscale character of energy dissipation. In particular, the scaling law for fragmentation energy density is obtained taking into account the self-similarity of fragments. It is based on a generalization of the three classical comminution laws that has been performed to evaluate the energy dissipation, computing volume and surface area of the particles for one- two- and three-dimensional fragmented objects. The result is general and can be applied to different fractal energy dissipation mechanisms, e.g., plasticity. Based on this approach, the scaling laws for mean and standard deviation values of the main mechanical properties of materials can be derived, like Young's and shear elastic moduli, ultimate normal and shear stresses and strains, fracture energy and toughness.