Use of radiobiological modeling in treatment plan evaluation and optimization of prostate cancer radiotherapy

There are many tools available that are used to evaluate a radiotherapy treatment plan, such as isodose distribution charts, dose volume histograms (DVH), maximum, minimum and mean doses of the dose distributions as well as DVH point dose constraints. All the already mentioned evaluation tools are dosimetric only without taking into account the radiobiological characteristics of tumors or OARs. It has been demonstrated that although competing treatment plans might have similar mean, maximum or minimum doses they may have significantly different clinical outcomes (Mavroidis et al. 2001). For performing a more complete treatment plan evaluation and comparison the complication-free tumor control probability (P+) and the biologically effective uniform dose (D ) have been proposed (Källman et al. 1992a, Mavroidis et al. 2000). The D concept denotes that any two dose distributions within a target or OAR are equivalent if they produce the same probability for tumor control or normal tissue complication, respectively (Mavroidis et al. 2001)..

Model checking quantum protocols

This thesis describes model checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of a practical model checker, QMC, for quantum protocols. In our framework, we assume that the quantum operations performed in a protocol are restricted to those within the stabilizer formalism; while this particular set of operations is not universal for quantum computation, it allows us to develop models of several useful protocols as well as of systems involving both classical and quantum information processing. We detail the syntax, semantics and type system of QMC’s modelling language, the logic QCTL which is used for verification, and the verification algorithms that have been implemented in the tool. We demonstrate our techniques with applications to a number of case studies

Ballistic Spin Injection from Fe into ZnSe and GaAs with a (001), (111), and (110) orientation

We present first-principles calculations of ballistic spin injection in Fe/GaAs and Fe/ZnSe junctions with orientation (001), (111), and (110). We find that the symmetry mismatch of the Fe minority-spin states with the semiconductor conduction states can lead to extremely high spin polarization of the current through the (001) interface for hot and thermal injection processes. Such a symmetry mismatch does not exist for the (111) and (110) interfaces, where smaller spin injection efficiencies are found. The presence of interface states is found to lower the current spin polarization, both with and without a Schottky barrier. Finally, a higher bias can also affect the spin injection efficiency.Comment: 12 pages, 18 figure

Energy efficiency parametric design tool in the framework of holistic ship design optimization

Recent International Maritime Organization (IMO) decisions with respect to measures to reduce the emissions from maritime greenhouse gases (GHGs) suggest that the collaboration of all major stakeholders of shipbuilding and ship operations is required to address this complex techno-economical and highly political problem efficiently. This calls eventually for the development of proper design, operational knowledge, and assessment tools for the energy-efficient design and operation of ships, as suggested by the Second IMO GHG Study (2009). This type of coordination of the efforts of many maritime stakeholders, with often conflicting professional interests but ultimately commonly aiming at optimal ship design and operation solutions, has been addressed within a methodology developed in the EU-funded Logistics-Based (LOGBASED) Design Project (2004–2007). Based on the knowledge base developed within this project, a new parametric design software tool (PDT) has been developed by the National Technical University of Athens, Ship Design Laboratory (NTUA-SDL), for implementing an energy efficiency design and management procedure. The PDT is an integral part of an earlier developed holistic ship design optimization approach by NTUA-SDL that addresses the multi-objective ship design optimization problem. It provides Pareto-optimum solutions and a complete mapping of the design space in a comprehensive way for the final assessment and decision by all the involved stakeholders. The application of the tool to the design of a large oil tanker and alternatively to container ships is elaborated in the presented paper

Model checking quantum protocols

This thesis describes model checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of a practical model checker, QMC, for quantum protocols. In our framework, we assume that the quantum operations performed in a protocol are restricted to those within the stabilizer formalism; while this particular set of operations is not universal for quantum computation, it allows us to develop models of several useful protocols as well as of systems involving both classical and quantum information processing. We detail the syntax, semantics and type system of QMC’s modelling language, the logic QCTL which is used for verification, and the verification algorithms that have been implemented in the tool. We demonstrate our techniques with applications to a number of case studies.EThOS - Electronic Theses Online ServiceUniversity of Warwick. Dept. of Computer ScienceEngineering and Physical Sciences Research Council (Great Britain) (EPSRC) (GR/S34090/01, EP/E006833/2, GR/S86037/01)Sixth Framework Programme (European Commission) (SFP)Fundação para a Ciência ea Tecnologia (FCT) (POCI/MAT/55796/2004)Conselho de Reitores das Universidades Portuguesas (CRUP)GBUnited Kingdo

The effect of preloading on the strength of jacketed R/C columns

The influence of core preloading on the strength of jacketed reinforced concrete (R/C) columns is analytically investigated. A recently proposed method for arbitrary composite section analysis in biaxial bending and axial load is extended to include preloading actions. A parametric evaluation of the preloading effect using quantitative indices is performed, considering the variability of several parameters such as section geometry, amount of reinforcement, and various axial and moment preloading levels. Results are presented in the form of 3D failure surfaces and moment-curvature curves. Specific cases where the preloading effect is more pronounced are finally highlighted