Enantiomeric PLA-PEG block copolymers and their stereocomplex micelles used as rifampin delivery

A novelty approach to self-assembling stereocomplex micelles by enantiomeric PLA-PEG block copolymers as a drug delivery carrier was described. The particles were encapsulated by enantiomeric PLA-PEG stereocomplex to form nanoscale micelles different from the microspheres or the single micelles by PLLA or PDLA in the reported literatures. First, the block copolymers of enantiomeric poly(L-lactide)-poly(ethylene-glycol) (PLLA-PEG) and poly(D-lactide)-poly(ethylene-glycol) (PDLA-PEG) were synthesized by the ring-opening polymerization of L-lactide and D-lactide in the presence of monomethoxy PEG, respectively. Second, the stereocomplex block copolymer micelles were obtained by the self-assembly of the equimolar mixtures of enantiomeric PLA-PEG copolymers in water. These micelles possessed partially the crystallized hydrophobic cores with the critical micelle concentrations (cmc) in the range of 0.8-4.8 mg/l and the mean hydrodynamic diameters ranging from 40 to 120 nm. The micelle sizes and cmc values obviously depended on the hydrophobic block PLA content in the copolymer.Compared with the single PLLA-PEG or PDLA PEG micelles, the cmc values of the stereocomplex micelles became lower and the sizes of the stereocomplex micelles formed smaller. And lastly, the stereocomplex micelles encapsulated with rifampin were tested for the controlled release application.

Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code

In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader.

Global value Chains, rising power firms and economic and social upgrading

© Emerald Group Publishing Limited.Purpose – The purpose of this paper is to introduce the global value chain (GVC) approach to understand the relationship between multinational enterprises (MNEs) and the changing patterns of global trade, investment and production, and its impact on economic and social upgrading. It aims to illuminate how GVCs can advance our understanding about MNEs and rising power (RP) firms and their impact on economic and social upgrading in fragmented and dispersed global production systems. Design/methodology/approach – The paper reviews theGVCliterature focusing on two conceptual elements of the GVC approach, governance and upgrading, and highlights three key recent developments in GVCs: concentration, regionalization and synergistic governance. Findings – The paper underscores the complicated role of GVCs in shaping economic and social upgrading for emerging economies, RP firms and developing country firms in general. Rising geographic and organizational concentration in GVCs leads to the uneven distribution of upgrading opportunities in favor of RP firms, and yet economic upgrading may be elusive even for the most established suppliers because of power asymmetry with global buyers. Shifting end markets and the regionalization of value chains can benefit RP firms by presenting alternative markets for upgrading. Yet, without further upgrading, such benefits may be achieved at the expense of social downgrading. Finally, the ineffectiveness of private standards to achieve social upgrading has led to calls for synergistic governance through the cooperation of private, public and social actors, both global and local. Originality/value – The paper illuminates how the GVC approach and its key concepts can contribute to the critical international business and RP firms literature by examining the latest dynamics in GVCs and their impacts on economic and social development in developing countries.

Una revisión de la Cadena Datos-Información-Conocimiento desde el Pragmatismo de Peirce

La Cadena Datos-Información-Conocimiento (DIC), denominada “Jerarquía de la Información” o “Pirámide del Conocimiento”, es uno de los modelos más importantes en la Gestión de la Información y la Gestión del Conocimiento. Por lo general, la estructuración de la cadena se ha ido definiendo como una arquitectura en la que cada elemento se levanta sobre el elemento inmediatamente inferior; sin embargo no existe un consenso en la definición de los elementos, ni acerca de los procesos que transforman un elemento de un nivel a uno del siguiente nivel. En este artículo se realiza una revisión de la Cadena Datos-Información-Conocimiento examinando las definiciones más relevantes sobre sus elementos y sobre su articulación en la literatura, para sintetizar las acepciones más comunes. Se analizan los elementos de la Cadena DIC desde la semiótica de Peirce; enfoque que nos permite aclarar los significados e identificar las diferencias, las relaciones y los roles que desempeñan en la cadena desde el punto de vista del pragmatismo. Finalmente se propone una definición de la Cadena DIC apoyada en las categorías triádicas de signos y la semiosis ilimitada de Peirce, los niveles de sistemas de signos de Stamper y las metáforas de Zeleny.

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.