An application for solving truth functions

Nowadays, many technical devices are controlled by logic circuits. These circuits evaluate the situation based on the proposed truth functions, which they then use to perform one of the defined actions. In line with the increasing complexity of individual technical devices, the logic circuits and truth functions are also increasingly complex. For this reason, it makes sense to minimise these functions since they can thereby achieve a simpler technological process and the higher reliability of whole logic systems. This paper describes the Karnaugh Studio application, which resolves the minimisation of these truth functions - and was developed at our faculty (FAI, TBU in Zlín). The minimisation is performed using the Karnaugh Map Method - with support for up to eight variables on input. The application is based on the C++ programming language and the Dear ImGui and Magick++ libraries. Its functionality has been verified on a number of examples. This proved its applicability and ability to be used in the solution of logic circuits in industrial practice. © 2020, Springer Nature Switzerland AG

Stoichiometry of Base Excision Repair Proteins Correlates with Increased Somatic CAG Instability in Striatum over Cerebellum in Huntington's Disease Transgenic Mice

Huntington's disease (HD) is a progressive neurodegenerative disorder caused by expansion of an unstable CAG repeat in the coding sequence of the Huntingtin (HTT) gene. Instability affects both germline and somatic cells. Somatic instability increases with age and is tissue-specific. In particular, the CAG repeat sequence in the striatum, the brain region that preferentially degenerates in HD, is highly unstable, whereas it is rather stable in the disease-spared cerebellum. The mechanisms underlying the age-dependence and tissue-specificity of somatic CAG instability remain obscure. Recent studies have suggested that DNA oxidation and OGG1, a glycosylase involved in the repair of 8-oxoguanine lesions, contribute to this process. We show that in HD mice oxidative DNA damage abnormally accumulates at CAG repeats in a length-dependent, but age- and tissue-independent manner, indicating that oxidative DNA damage alone is not sufficient to trigger somatic instability. Protein levels and activities of major base excision repair (BER) enzymes were compared between striatum and cerebellum of HD mice. Strikingly, 5′-flap endonuclease activity was much lower in the striatum than in the cerebellum of HD mice. Accordingly, Flap Endonuclease-1 (FEN1), the main enzyme responsible for 5′-flap endonuclease activity, and the BER cofactor HMGB1, both of which participate in long-patch BER (LP–BER), were also significantly lower in the striatum compared to the cerebellum. Finally, chromatin immunoprecipitation experiments revealed that POLβ was specifically enriched at CAG expansions in the striatum, but not in the cerebellum of HD mice. These in vivo data fit a model in which POLβ strand displacement activity during LP–BER promotes the formation of stable 5′-flap structures at CAG repeats representing pre-expanded intermediate structures, which are not efficiently removed when FEN1 activity is constitutively low. We propose that the stoichiometry of BER enzymes is one critical factor underlying the tissue selectivity of somatic CAG expansion

Lung vasodilatory response to inhaled iloprost in experimental pulmonary hypertension: amplification by different type phosphodiesterase inhibitors

Inhaled prostanoids and phosphodiesterase (PDE) inhibitors have been suggested for treatment of severe pulmonary hypertension. In catheterized rabbits with acute pulmonary hypertension induced by continuous infusion of the stable thromboxane analogue U46619, we asked whether sildenafil (PDE1/5/6 inhibitor), motapizone (PDE3 inhibitor) or 8-Methoxymethyl-IBMX (PDE1 inhibitor) synergize with inhaled iloprost. Inhalation of iloprost caused a transient pulmonary artery pressure decline, levelling off within <20 min, without significant changes in blood gases or systemic hemodynamics. Infusion of 8-Methoxymethyl-IBMX, motapizone and sildenafil caused each a dose-dependent decrease in pulmonary artery pressure, with sildenafil possessing the highest efficacy and at the same time selectivity for the pulmonary circulation. When combining a per se ineffective dose of each PDE inhibitor (200 μg/kg × min 8-Methoxymethyl-IBMX, 1 μg/kg × min sildenafil, 5 μg/kg × min motapizone) with subsequent iloprost nebulization, marked amplification of the prostanoid induced pulmonary vasodilatory response was noted and the area under the curve of P(PA )reduction was nearly threefold increased with all approaches, as compared to sole iloprost administration. Further amplification was achieved with the combination of inhaled iloprost with sildenafil plus motapizone, but not with sildenafil plus 8MM-IBMX. Systemic hemodynamics and gas exchange were not altered for all combinations. We conclude that co-administration of minute systemic doses of selective PDE inhibitors with inhaled iloprost markedly enhances and prolongs the pulmonary vasodilatory response to inhaled iloprost, with maintenance of pulmonary selectivity and ventilation perfusion matching. The prominent effect of sildenafil may be operative via both PDE1 and PDE5, and is further enhanced by co-application of a PDE3 inhibitor

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

Search for high-mass resonances decaying to dilepton final states in pp collisions at s√=7 TeV with the ATLAS detector

The ATLAS detector at the Large Hadron Collider is used to search for high-mass resonances decaying to an electron-positron pair or a muon-antimuon pair. The search is sensitive to heavy neutral Z′ gauge bosons, Randall-Sundrum gravitons, Z * bosons, techni-mesons, Kaluza-Klein Z/γ bosons, and bosons predicted by Torsion models. Results are presented based on an analysis of pp collisions at a center-of-mass energy of 7 TeV corresponding to an integrated luminosity of 4.9 fb−1 in the e + e − channel and 5.0 fb−1 in the μ + μ −channel. A Z ′ boson with Standard Model-like couplings is excluded at 95 % confidence level for masses below 2.22 TeV. A Randall-Sundrum graviton with coupling k/MPl=0.1 is excluded at 95 % confidence level for masses below 2.16 TeV. Limits on the other models are also presented, including Technicolor and Minimal Z′ Models

Animal influence on water, sanitation and hygiene measures for zoonosis control at the household level: A systematic literature review

Neglected zoonotic diseases (NZDs) have a significant impact on the livelihoods of the world’s poorest populations, which often lack access to basic services. Water, sanitation and hygiene (WASH) programmes are included among the key strategies for achieving the World Health Organization’s 2020 Roadmap for Implementation for control of Neglected Tropical Diseases (NTDs). There exists a lack of knowledge regarding the effect of animals on the effectiveness of WASH measures. This review looked to identify how animal presence in the household influences the effectiveness of water, hygiene and sanitation measures for zoonotic disease control in low and middle income countries; to identify gaps of knowledge regarding this topic based on the amount and type of studies looking at this particular interaction

Polymorphous adenocarcinoma of the salivary glands : reappraisal and update

Although relatively rare, polymorphous adenocarcinoma (PAC) is likely the second most common malignancy of the minor salivary glands (MiSG). The diagnosis is mainly based on an incisional biopsy. The optimal treatment comprises wide surgical excision, often with adjuvant radiotherapy. In general, PAC has a good prognosis. Previously, PAC was referred to as polymorphous low-grade adenocarcinoma (PLGA), but the new WHO classification of salivary gland tumours has also included under the PAC subheading, the so-called cribriform adenocarcinoma of minor salivary glands (CAMSG). This approach raised controversy, predominantly because of possible differences in clinical behaviour. For example, PLGA (PAC, classical variant) only rarely metastasizes, whereas CAMSG often shows metastases to the neck lymph nodes. Given the controversy, this review reappraises the definition, epidemiology, clinical presentation, diagnostic work-up, genetics, treatment modalities, and prognosis of PAC of the salivary glands with a particular focus on contrasting differences with CAMSG.Peer reviewe