Building Type Checker Using Scope Graphs: For a Language with Type Classes

In this paper, we explore scope graphs as a formal model for constructing type checkers for programming languages that support type classes. Type classes provide a powerful mechanism for ad hoc-polymorphism and code reuse. Nevertheless, the incorporation of type classes into type checkers poses challenges, as it necessitates the resolution of...

The Case for Polymorphic Registers in Dataflow Computing

Heterogeneous systems are becoming increasingly popular, delivering high performance through hardware specialization. However, sequential data accesses may have a negative impact on performance. Data parallel solutions such as Polymorphic Register Files (PRFs) can potentially accelerate applications by facilitating high-speed, parallel access to...

Targeting static and dynamic workloads with a reconfigurable VLIW processor

Embedded systems range from very simple devices, such as a digital watch, to highly complex systems such as smartphones. In these complex devices, an increasing number of applications need to be executed on a computing platform. Moreover, the number of applications (or programs) usually exceeds the number of processors found on such platforms....

Crystal Nucleation and Polymorph Control: Self-­association, Template Nucleation, Liquid?Liquid, phase Separation

Crystallization is an essential step in many processes in chemical industries, ranging from bulk chemicals to special products. It is a separation and purification technique that results in a solid particulate product, which is generally preferred in the pharmaceutical industry. The crystal product quality is determined by the specific crystal...

Customizable Register Files for Multidimensional SIMD Architectures

Processor clock frequencies and the related performance improvements recently stagnated due to severe power and thermal dissipation barriers. As a result, the additional transistors provided by new technology generations are turned into more processing elements on a chip and used for their specialization towards power efficiency. For data...

Process Intensification in Crystallization: Submicron Particle Generation Using Alternative Energy Forms

Crystallization is one of the oldest separation and product formation techniques that continues to be in use today. Despite its long history, it only started to develop significantly in the past few decades. In this thesis, the application of Process Intensification in crystallization is investigated. Process Intensification is a set of often...

Cooling crystallization under influence of a strong DC electric field

Polymorphism is the ability of solid material to exist in more than one form or crystal structure. It is especially important for the pharmaceutical industry, where often one particular polymorph is wanted. This research investigated the effect of a strong DC electric field on polymorphic control during cooling crystallization. In principle,...

Quasi-near field terahertz spectroscopy

Everyday we see around us many materials that are different from one another. We identify them on the basis of their shape, texture, smell, taste, color, etc with the help of our senses. Many times it is almost impossible to identify materials only with our senses. Then, one has to look into more fundamental aspects of the materials such as...

Crystallization Kinetics in Polymorphic Organic Compounds

Polymorphism is frequently encountered in many pharmaceutical, chemical, and food products. Polymorphs have the same chemical composition but different crystal structures, and therefore differ in their physicochemical properties such as stability, solubility, and bioavailability. These property differences can influence the product performance....

Protein stabilisation and controlled particulate production by supercritical fluid drying

Carbon dioxide was used as a drying medium for the preparation of micro-size powders from aqueous solutions in a high-pressure spray-drying process. This technology was shown to be an alternative to traditional drying processes that could be successfully used for the dry formulation of therapeutic proteins, the preparation of stable amorphous...

Design of an integrated fermentation crystallization process for the production of L-phenylalanine

Polymorphism in precipitation processes

Polymorphism is the phenomenon that molecules of a compound are able to form more than one crystal structure. These structures possess different properties that are of considerable interest to industry, for example, the solubility and hence bio-availability of pharmaceuticals. Only one of the polymorphic structures is thermodynamically stable...

The Molen Polymorphic Media Processor

In this dissertation, we address high performance media processing based on a tightly coupled co-processor architectural paradigm. More specifically, we introduce a reconfigurable media augmentation of a general purpose processor and implement it into a fully operational processor prototype. The proposed media Molen prototype is implemented on...

Influence of additives on structure and thermal stability of ammonium nitrate