A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aer…
This book describes the growing field of multi-criteria decision making (MCDM) as applied to materials selection in product design. Useful in academic and research contexts, as well as to practitioners in materials engineering and design, it aids readers in producing successful designs by improving the decision-making process in materials selection. It is a constant challenge for designers, …
This Brief presents the main aspects of the response functions theory (RFT) for molecular solutes described within the framework of the Polarizable Continuum Model (PCM). PCM is a solvation model for a Quantum Mechanical molecular system in which the solvent is represented as a continuum distribution of matter. Particular attention is devoted to the description of the basic features of the PCM …
DepCoS – RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), WrocÅ‚aw University of Technology, since 2006. Its idea came from the heritage of the other two cycles of events: RELCOMEX Conferences (1977 – 89) and Microcomputer Schools (1985 – 95) which were then organized by the Institute of Engineer…
Christopher Schirwitz's thesis focuses on improving the quality of in situ synthesized high-complexity peptide micro arrays. Micro arrays containing proteins or small protein fragments in the form of peptides have become of great interest in proteomic research. With the help of these microarrays a large number of potential target molecules can be screened for interaction with a probe in a shor…
This thesis explores a route to induce and control the structure formation process in thin films by the use of strong electric fields. We investigate, establish and apply the use of the electrohydrodynamic (EHD) lithography as a versatile patterning tool on the sub-micrometre and nanometre length scales for functional materials. Thin films are ubiquitous, they are found in nature and used in al…
PIC Projects and Applications Using C details how to program the PIC microcontroller in the C language. The book takes a learn-by-doing approach, with applications covering topics such as inputs, outputs, keypads, alphanumeric displays, analogue-to-digital conversion, radio transmitters and receivers, data EEPROM, interrupts and timing. To aid debugging, the book provides a section detailing th…
Written by an international group of active researchers in the field, this volume presents innovative formulations and applied procedures for sensitivity analysis and structural design optimization. Eight chapters discuss subjects ranging from recent developments in the determination and application of topological gradients, to the use of evolutionary algorithms and meta-models to solve practic…
Janet Lau's thesis describes her studies into the use of phthalocyanine-based photosensitizers in combined chemo- and photodynamic therapy (PDT) and targeted PDT. In order to carry out this study, Lau uses several approaches: conjugation with a chemotherapeutic oxaliplatin derivative, use of a polyamine ligand 2 with a view to targeting the polyamine transporters over-expressed in tumor cells, …
The triggered release of functional compounds from such polymeric carriers as micelles, nanoparticles or nanogels is a rapidly developing and highly versatile concept which is expected to be one of the key approaches to future therapeutics. In his thesis, Daniel Klinger highlights the approach of stimuli-responsive microgels for such applications and discusses why especially light as a trigger …