Koszul-Tate Cohomology For an Sp(2)-Covariant Quantization of Gauge Theories with Linearly Dependent Generators

The anti-BRST transformation, in its Sp(2)-symmetric version, for the general case of any stage-reducible gauge theories is implemented in the usual BV approach. This task is accomplished not by duplicating the gauge symmetries but rather by duplicating all fields and antifields of the theory and by imposing the acyclicity of the Koszul-Tate differential. In this way the Sp(2)-covariant quantization can be realised in the standard BV approach and its equivalence with BLT quantization can be proven by a special gauge fixing procedure.Comment: 13 pages, Latex, To Be Published in International Journal of Modern Physics

Summary of papers presented at the 2012 seventh international cough symposium

Twenty six papers were presented as posters in the Seventh International Symposium on Cough; 12 papers were presented in the Basic Science of Cough session, and 14 papers presented in the Clinical Science of Cough session. These papers explored a wide spectrum of cough-related areas including pathophysiological mechanisms, treatment and detection of cough, and symptom assessment and perception, and were grouped into several general themes for facilitate the discussion. Studies presented in these posters have provided new information that should improve our knowledge on the basic physiology and pharmacology of cough, and the peripheral and central neural mechanisms involved in the generation of the cough motor pattern. In addition, in the clinical science section, studies reporting potential new anti-tussive agents and further characterisation of cough symptoms and perception have provided a base for the fruitful strategies for the development of novel anti-tussive therapies and cough management

Exploring Blockchain Adoption Supply Chains: Opportunities and Challenges

Acquisition Management / Grant technical reportAcquisition Research Program Sponsored Report SeriesSponsored Acquisition Research & Technical ReportsIn modern supply chains, acquisition often occurs with the involvement of a network of organizations. The resilience, efficiency, and effectiveness of supply networks are crucial for the viability of acquisition. Disruptions in the supply chain require adequate communication infrastructure to ensure resilience. However, supply networks do not have a shared information technology infrastructure that ensures effective communication. Therefore decision-makers seek new methodologies for supply chain management resilience. Blockchain technology offers new decentralization and service delegation methods that can transform supply chains and result in a more flexible, efficient, and effective supply chain. This report presents a framework for the application of Blockchain technology in supply chain management to improve resilience. In the first part of this study, we discuss the limitations and challenges of the supply chain system that can be addressed by integrating Blockchain technology. In the second part, the report provides a comprehensive Blockchain-based supply chain network management framework. The application of the proposed framework is demonstrated using modeling and simulation. The differences in the simulation scenarios can provide guidance for decision-makers who consider using the developed framework during the acquisition process.Approved for public release; distribution is unlimited

УПРАВЛІННЯ ФІНАНСОВОЮ БЕЗПЕКОЮ БАНКІВ: ІНСТРУМЕНТАРІЙ МОДЕЛЮВАННЯ

The article is devoted to the development of the complex of economic and mathematical models to support decision–making on managing commercial banks financial security. Aggregated model of management system of commercial banks financial security is presented. Basic conceptual scheme of the bank’s financial security management is developed.The proposed modern modeling tools on the bases of multivariate, econometric, simulation methods and decision making methods make possible to do integrated complex analysis at all levels of the banking market. The results of research in particular assessment and analysis of the survival and spread of crises in the banking market, the research of the particular bank financial security level dynamics in terms of external and internal factors are the basis for the formation and selection of scenarios of financial security ensuring taking into account the features, opportunities and competitive advantages of each bank. The implementation of the proposed modeling tools of financial security makes possible to improve the efficiency and effectiveness of the commercial bank activity and its financial security level.В работе разработан комплекс экономико–математических моделей поддержки принятия решений по управлению финансовой безопасностью коммерческого банка. Представлена агрегированная модель системы управления финансовой безопасностью коммерческого банка. Разработана базисная концептуальная схема процесса управления финансовой безопасностью коммерческого банка. Предложено современный инструментарий моделирования на основе оценки и анализа выживаемости и распространения кризисных ситуаций на банковском рынке, исследования динамики уровня финансовой безопасности конкретного банка в условиях внешних и внутренних факторов влияния для формирования и выбора сценариев обеспечения финансовой безопасности, их внедрения и оценки эффективности реализации.В роботі розроблено комплекс економіко–математичних моделей підтримки прийняття рішень з управління фінансовою безпекою комерційного банку. Представлена агрегована модель системи управління фінансовою безпекою комерційного банку. Розроблена базисна концептуальна схема процесу управління фінансовою безпекою комерційного банку. Запропоновано сучасний інструментарій моделювання на основі оцінки та аналізу виживаності та розповсюдження кризових ситуацій на банківському ринку, дослідження динаміки рівня фінансової безпеки конкретного банку в умовах зовнішніх і внутрішніх факторів впливу для формування та вибору сценаріїв забезпечення фінансової безпеки, їх впровадження та оцінки ефективності реалізації

Compact F-theory GUTs with U(1)_PQ

We construct semi-local and global realizations of SU(5) GUTs in F-theory that utilize a U(1)_PQ symmetry to protect against dimension four proton decay. Symmetries of this type, which assign charges to H_u and H_d that forbid a tree level \mu term, play an important role in scenarios for neutrino physics and gauge mediation that have been proposed in local F-theory model building. As demonstrated in arXiv:0906.4672, the presence of such a symmetry implies the existence of non-GUT exotics in the spectrum, when hypercharge flux is used to break the GUT group and to give rise to doublet-triplet splitting. These exotics are of precisely the right type to solve the unification problem in such F-theory models and might also comprise a non-standard messenger sector for gauge mediation. We present a detailed description of models with U(1)_PQ in the semi-local regime, which does not depend on details of any specific Calabi-Yau four-fold, and then specialize to the geometry of arXiv:0904.3932 to construct three-generation examples with the minimal allowed number of non-GUT exotics. Among these, we find a handful of models in which the D3-tadpole constraint can be satisfied without requiring the introduction of anti-D3-branes. Finally, because SU(5) singlets that carry U(1)_PQ charge may serve as candidate right-handed neutrinos or can be used to lift the exotics, we study their origin in compact models and motivate a conjecture for how to count their zero modes in a semi-local setting.Comment: 73 pages, 5 figures, v2: minor corrections to 4.3 and 6.3.1, reference adde

Flavor Structure in F-theory Compactifications

F-theory is one of frameworks in string theory where supersymmetric grand unification is accommodated, and all the Yukawa couplings and Majorana masses of right-handed neutrinos are generated. Yukawa couplings of charged fermions are generated at codimension-3 singularities, and a contribution from a given singularity point is known to be approximately rank 1. Thus, the approximate rank of Yukawa matrices in low-energy effective theory of generic F-theory compactifications are minimum of either the number of generations N_gen = 3 or the number of singularity points of certain types. If there is a geometry with only one E_6 type point and one D_6 type point over the entire 7-brane for SU(5) gauge fields, F-theory compactified on such a geometry would reproduce approximately rank-1 Yukawa matrices in the real world. We found, however, that there is no such geometry. Thus, it is a problem how to generate hierarchical Yukawa eigenvalues in F-theory compactifications. A solution in the literature so far is to take an appropriate factorization limit. In this article, we propose an alternative solution to the hierarchical structure problem (which requires to tune some parameters) by studying how zero mode wavefunctions depend on complex structure moduli. In this solution, the N_gen x N_gen CKM matrix is predicted to have only N_gen entries of order unity without an extra tuning of parameters, and the lepton flavor anarchy is predicted for the lepton mixing matrix. We also obtained a precise description of zero mode wavefunctions near the E_6 type singularity points, where the up-type Yukawa couplings are generated.Comment: 148 page

Stability of the Minimal Heterotic Standard Model Bundle

The observable sector of the "minimal heterotic standard model" has precisely the matter spectrum of the MSSM: three families of quarks and leptons, each with a right-handed neutrino, and one Higgs-Higgs conjugate pair. In this paper, it is explicitly proven that the SU(4) holomorphic vector bundle leading to the MSSM spectrum in the observable sector is slope-stable.Comment: LaTeX, 19 page

Anthropometric measurements of the orbita and gender prediction with three-dimensional computed tomography images

Background: The aim of the study was to investigate the orbital anthropometric variations in the normal population using three-dimensional computed tomography (3D-CT) images and to define the effects of age and gender on orbital anthropometry.Materials and methods: Three-dimensional orbita CT of 280 patients, obtained for various reasons, were retrospectively evaluated in 772-bed referral and tertiary-care hospital between April 2011 and June 2012. Using 3D images, orbital width, height, biorbital-interorbital diameter and orbital index were measured. Measurements were obtained comparing right and left sides and male to female. The relation of the results with age and gender was analysed.Results: Right orbit was found to be wider than left (p < 0.0001). Male patients had wider (p < 0.0001) and higher (p = 0.0001) orbits. Right orbital index was found to be smaller than the left one (p = 0.005). No differences were found between the genders in terms of right and left orbital indexes (p > 0.05). Biorbital (p < 0.0001) and interorbital (p = 0.01) widths were found to be higher in males. There was no relation between the age change and the parameters defined (p > 0.05).Conclusions: No relation was found between age and orbital measurements. It was concluded that orbital images obtained with 3D-CT may be used as a method for gender evaluation

Non Equilibrium Electronic Distribution in Single Electron Devices

The electronic distribution in devices with sufficiently small diemnsions may not be in thermal equilibrium with their surroundings. Systems where the occupancies of electronic states are solely determined by tunneling processes are analyzed. It is shown that the effective temperature of the device may be higher, or lower, than that of its environment, depending on the applied voltage and the energy dependence of the tunneling rates. The I-V characteristics become asymmetric. Comparison with recent experiments is made

Experimental characterization of anti-icing system and accretion of re-emitted droplets on turbojet engine blades

In the framework of STORM, a European project dedicated to icing physics in aircraft engines, a cascade rig representative of an anti-iced engine inlet was tested in icing conditions. This mock-up integrates two rows of vanes, the upstream one being anti-iced using an Electro-Thermal Ice Protection System (ET-IPS). Experimental tests were performed to reproduce the following phenomena: runback water and droplet re-emission from anti-iced vanes, and accretion of re-emitted droplets on downstream vanes. A complete experimental database was generated, including the characterization of ice accretion shapes, and the characterization of electro-thermal anti-icing system (power limit for apparition of the runback water or ice accretion). In the current study, these data are compared to droplet trajectory simulation and ice accretion simulation results, for validating icing tools in engine environment. Influence of one-step and multi-step approaches have been investigated