A principled approach to programming with nested types in Haskell

Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold combinator which encapsulates structured recursion over data of that type, and a fold/build rule which optimises modular programs by eliminating from them data constructed using the buildcombinator, and immediately consumed using the foldcombinator, for that type. It has long been thought that initial algebra semantics is not expressive enough to provide a similar foundation for programming with nested types in Haskell. Specifically, the standard folds derived from initial algebra semantics have been considered too weak to capture commonly occurring patterns of recursion over data of nested types in Haskell, and no build combinators or fold/build rules have until now been defined for nested types. This paper shows that standard folds are, in fact, sufficiently expressive for programming with nested types in Haskell. It also defines buildcombinators and fold/build fusion rules for nested types. It thus shows how initial algebra semantics provides a principled, expressive, and elegant foundation for programming with nested types in Haskell.     

SPIDER: An availability-aware framework for the service function chain placement in distributed scenarios

The network function virtualization (NFV) paradigm replaces hardware-dependent network functions by virtual network functions (VNFs) that can be deployed in commodity hardware, including legacy servers. Consequently, the use of NFV is expected to reduce operating and capital expenses, as well as improve service deployment operation and management flexibility. For many use cases, the VNFs must be visited and invoked following a specific order of execution in order to compose a complete network service, named service function chain (SFC). Nonetheless, despite the benefits from NFV and SFC virtualization technologies, their introduction must not harm network performance and service availability. On the one hand, redundancy is seen by network service planners as a mechanism well established to combat availability issues. At same time, there is a goal to optimize resource utilization in order to reduce operational expenditure. In this article, we share our experience in the design use of a framework, named SPIDER, focused on SFC placement that considers the network infrastructure condition and the required SFC availability to define the placement strategy. The SPIDER monitors the status of infrastructure nodes and links and defines which servers the VNFs should be placed on and the number of redundant replicas needed. We present a proof-of-concept of SPIDER using Kubernetes to launch the VNFs as containers. We also use Kubernetes to forward the traffic between the VNFs, composing the service chain. We perform experiments to evaluate the runtime of SPIDER and the SFC delay under different network conditions.     

Determinants of internal and external R&D offshoring: evidence from Spanish firms

This paper analyses the determinants of R&D offshoring of Spanish firms using information from the Panel of Technological Innovation. We find that being an exporter, international technological cooperation, continuous R&D engagement, applying for patents, being a foreign subsidiary, and firm size are factors that positively affect the decision to offshore R&D. In addition, we find that a lack of financing is an obstacle relatively more important for independent firms than for firms that belong to business groups. For these latter, we also obtain that the factors that influence the decision to offshore R&D differ depending on whether the firm purchases the R&D services within the group or through the market: a higher degree of importance assigned to internal sources of information for innovation as compared to market sources increases (decreases) the probability of R&D offshoring only through the group (market).     

Hybrid Nanoscopy of Hybrid Nanomaterials

The combination of complementary techniques to characterize materials at the nanoscale is crucial to gain a more complete picture of their structure, a key step to design and fabricate new materials with improved properties and diverse functions. Here it is shown that correlative atomic force microscopy (AFM) and localization‐based super‐resolution microscopy is a useful tool that provides insight into the structure and emissive properties of fluorescent β‐lactoglobulin (βLG) amyloid‐like fibrils. These hybrid materials are made by functionalization of βLG with organic fluorophores and quantum dots, the latter being relevant for the production of 1D inorganic nanostructures templated by self‐assembling peptides. Simultaneous functionalization of βLG fibers by QD655 and QD525 allows for correlative AFM and two‐color super‐resolution fluorescence imaging of these hybrid materials. These experiments allow the combination of information about the topography and number of filaments that compose a fibril, as well as the emissive properties and nanoscale spatial distribution of the attached fluorophores. This study represents an important step forward in the characterization of multifunctionalized hybrid materials, a key challenge in nanoscience.     

GraftFast Surface Engineering to Improve MOF Nanoparticles Furtiveness

Controlling the outer surface of nanometric metal–organic frameworks (nanoMOFs) and further understanding the in vivo effect of the coated material are crucial for the convenient biomedical applications of MOFs. However, in most studies, the surface modification protocol is often associated with significant toxicity and/or lack of selectivity. As an alternative, how the highly selective and general grafting GraftFast method leads, through a green and simple process, to the successful attachment of multifunctional biopolymers (polyethylene glycol (PEG) and hyaluronic acid) on the external surface of nanoMOFs is reported. In particular, effectively PEGylated iron trimesate MIL‐100(Fe) nanoparticles (NPs) exhibit suitable grafting stability and superior chemical and colloidal stability in different biofluids, while conserving full porosity and allowing the adsorption of bioactive molecules (cosmetic and antitumor agents). Furthermore, the nature of the MOF–PEG interaction is deeply investigated using high‐resolution soft X‐ray spectroscopy. Finally, a cell penetration study using the radio‐labeled antitumor agent gemcitabine monophosphate (³H‐GMP)‐loaded MIL‐100(Fe)@PEG NPs shows reduced macrophage phagocytosis, confirming a significant in vitro PEG furtiveness.     

A geostatistical algorithm to reproduce lateral gradual facies transitions: Description and implementation

Valid representations of geological heterogeneity are fundamental inputs for quantitative models used in managing subsurface activities. Consequently, the simulation of realistic facies distributions is a significant aim. Realistic facies distributions are typically obtained by pixel-based, object-based or process-based methods. This work presents a pixel-based geostatistical algorithm suitable for reproducing lateral gradual facies transitions (LGFT) between two adjacent sedimentary bodies. Lateral contact (i.e. interfingering) between distinct depositional facies is a widespread geometric relationship that occurs at different scales in any depositional system. The algorithm is based on the truncation of the sum of a linear expectation trend and a random Gaussian field, and can be conditioned to well data. The implementation introduced herein also includes subroutines to clean and geometrically characterize the obtained LGFT. The cleaned sedimentary body transition provides a more appropriate and realistic facies distribution for some depositional settings. The geometric measures of the LGFT yield an intuitive measure of the morphology of the sedimentary body boundary, which can be compared to analogue data. An example of a LGFT obtained by the algorithm presented herein is also flow simulated, quantitatively demonstrating the importance of realistically reproducing them in subsurface models, if further flow-related accurate predictions are to be made.     

Educational recommender systems and their application in lifelong learning

The almost unlimited access to educational information plethora came with a drawback: finding meaningful material is not a straightforward task anymore. Recommender algorithms can be used to make smart decisions in complex information systems and help the users decide upon useful materials; therefore, they become a promising area in academia and industry. The current paper presents a survey on educational recommender systems (RS): a set of analysis criteria are exposed and the technological specifications and challenges of each analysed system are provided, in the context of the main trends in the development of RS. Also, an ontology-based educational recommendation mechanism is proposed and its application to lifelong learning is highlighted, proving that RS can successfully support new learning paradigms.     

The role of a “make” or internal human resource management system in Spanish manufacturing companies: Empirical evidence

The combined study of the literature about human resource management and the resource‐based view of the firm and organizational learning provides an analysis framework useful for understanding how strategic human resource management systems contribute to the creation and development of a sustained competitive advantage for the firm. This article has two major aims. First, it provides a conceptual framework linking simultaneously three theoretical blocks: (a) human resource management, (b) organizational learning and knowledge management, and (c) sustained competitive advantage. Second, the article builds a causal model and tests it with a sample of Spanish firms from the manufacturing industry using structural equation modeling (SEM). After the performance of a cluster analysis, a group of 72 learning firms is identified and used to test the model. Finally, major conclusions and implications for management are drawn and further avenues for research are suggested. © 2008 Wiley Periodicals, Inc.