Performance-Analyse und -Optimierung in der Softwareentwicklung

Nicht-funktionale Anforderungen an ein Softwaresystem beschreiben Aspekte, die nicht direkt die Funktionalit?t, wie sie der Benutzer sieht, betreffen.     

Agens Faber: Toward a Theory of Artefacts for MAS

Human intelligence has evolved along with the use of more and more sophisticated tools, allowing Homo Faber (from Homo Habilis to Homo Sapiens Sapiens) to cope with environment changes, as well as to adapt the environment to his needs. Analogously, in this seminal paper we introduce the notion of Agens Faber, conveying the idea that agent intelligence should not be considered as separated by the agent ability to perceive and affect the environment—and so, that agent intelligence is strictly related to the artefacts that enable, mediate and govern any agent (intelligent) activity.

Along this line, we first discuss the notion of artefact for MAS in general, then we try to devise out the admissible / required / desirable features of an artefact for MAS. We elaborate on the many sorts of possible relations between agents and artefacts, focusing in particular on the issue of the rational exploitation of artefacts, and also rough out a possible taxonomy of artefacts for MAS.     

The Electrochemistry of Liposomes

This review aims to summarize the current state of research concerning the interaction of electrodes with liposomes suspended in solutions. Main attention is given to the complex mechanism of adhesion and spreading of liposomes on mercury electrodes. That mechanism can be studied with the help of chronoamperometry, where each adhesion-spreading event appears as a capacitive current spike. Integration of these spikes produces charge versus time transients that can be modeled and simulated, revealing the details of the multi-step adhesion-spreading process. Whereas the number of spikes per time mirrors the macro-kinetics, the analysis of the time behavior of each spike mirrors the micro-kinetics of each adhesion-spreading event. The reviewed studies show that this approach provides a new tool to study the properties of liposome membranes. The adhesion-spreading of liposomes on mercury electrodes has strong similarities to the process of vesicle fusion, which makes these studies a biomimetic model allowing one to deduce the effects of foreign molecules in bilayer membranes.     

Pharmacokinetics of liposomal amphotericin B (Ambisome) in critically ill patients

The liposomal formulation of amphotericin B (AmBisome) greatly reduces the acute and chronic side effects of the parent drug. The present study describes the pharmacokinetic characteristics of AmBisome applied to 10 patients at a dose of 2.8 to 3.0 mg/kg of body weight and compares them to the pharmacokinetics observed in 6 patients treated with amphotericin B deoxycholate at the standard dose of 1.0 mg/kg. Interpatient variabilities of amphotericin B peak concentrations (Cmax) and areas under concentration-time curves (AUC) were 8- to 10-fold greater for patients treated with AmBisome than for patients treated with amphotericin B deoxycholate. At the threefold greater dose of AmBisome, median Cmaxs were 8.4-fold higher (14.4 versus 1.7 microg/ml) and median AUCs exceeded those observed with amphotericin B deoxycholate by 9-fold. This was in part explained by a 5.7-fold lower volume of distribution (0.42 liters/kg) in AmBisome-treated patients. The elimination of amphotericin B from serum was biphasic for both formulations. However, the apparent half-life of elimination was twofold shorter for AmBisome (P = 0.03). Neither hemodialysis nor hemofiltration had a significant impact on AmBisome pharmacokinetics as analyzed in one patient. In conclusion, the liposomal formulation of amphotericin B significantly (P = 0.001) reduces the volume of drug distribution, thereby allowing for greater drug concentrations in serum. The low toxicity of AmBisome therefore cannot readily be explained by its serum pharmacokinetics.     

meSAT: multiple encodings of CSP to SAT

One approach for solving Constraint Satisfaction Problems (CSP) (and related Constraint Optimization Problems (COP)) involving integer and Boolean variables is reduction to propositional satisfiability problem (SAT). A number of encodings (e.g., direct, log, support, order) for this purpose exist as well as specific encodings for some constraints that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single encoding that performs well on all classes of problems and there is a need for a system that supports multiple encodings. We present a system that translates specifications of finite linear CSP problems into SAT instances using several well-known encodings, and their combinations. We also present a methodology for selecting a suitable encoding based on simple syntactic features of the input CSP instance. Thorough evaluation has been performed on large publicly available corpora and our encoding selection method improves upon the efficiency of existing encodings and state-of-the-art tools used in comparison.