Energy Cost of Quantum Circuit Optimisation: Predicting That Optimising Shor’s Algorithm Circuit Uses 1 GWh

Quantum circuits are difficult to simulate, and their automated optimisation is complex as well. Significant optimisations have been achieved manually (pen and paper) and not by software. This is the first in-depth study on the cost of compiling and optimising large-scale quantum circuits with state-of-the-art quantum software. We propose a hierarchy of cost metrics covering the quantum software stack and use energy as the long-term cost of operating hardware. We are going to quantify optimisation costs by estimating the energy consumed by a CPU doing the quantum circuit optimisation. We use QUANTIFY, a tool based on Google Cirq, to optimise bucket brigade QRAM and multiplication circuits having between 32 and 8,192 qubits. Although our classical optimisation methods have polynomial complexity, we observe that their energy cost grows extremely fast with the number of qubits. We profile the methods and software and provide evidence that there are high constant costs associated to the operations performed during optimisation. The costs are the result of dynamically typed programming languages and the generic data structures used in the background. We conclude that state-of-the-art quantum software frameworks have to massively improve their scalability to be practical for large circuits.

Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs

Rust is an emerging programming language that aims at preventing memory-safety bugs without sacrificing much efficiency. The claimed property is very attractive to developers, and many projects start using the language. However, can Rust achieve the memory-safety promise? This article studies the question by surveying 186 real-world bug reports collected from several origins, which contain all existing Rust common vulnerability and exposures (CVEs) of memory-safety issues by 2020-12-31. We manually analyze each bug and extract their culprit patterns. Our analysis result shows that Rust can keep its promise that all memory-safety bugs require unsafe code, and many memory-safety bugs in our dataset are mild soundness issues that only leave a possibility to write memory-safety bugs without unsafe code. Furthermore, we summarize three typical categories of memory-safety bugs, including automatic memory reclaim, unsound function, and unsound generic or trait. While automatic memory claim bugs are related to the side effect of Rust newly-adopted ownership-based resource management scheme, unsound function reveals the essential challenge of Rust development for avoiding unsound code, and unsound generic or trait intensifies the risk of introducing unsoundness. Based on these findings, we propose two promising directions toward improving the security of Rust development, including several best practices of using specific APIs and methods to detect particular bugs involving unsafe code. Our work intends to raise more discussions regarding the memory-safety issues of Rust and facilitate the maturity of the language.

Assessment of ship accident risk in the east Surabaya shipping channel using formally safety assessment method

Surabaya East Shipping Channel is part of the busiest shipping lanes west of Surabaya in Indonesia after inflows in Tanjung Priok. With the navigation, channel conditions are long and narrow plus the number of flows in and out of the harbor boats is very vulnerable to accidents resulting in either the stranded sea, ship collision, or other accident types, which would harm the cruise interocular. By looking at the facts above, so it is necessary to conduct a more in-depth study of the accident risk assessment of the shipping channel east of Surabaya. This study aimed to obtain any kind of accident that has a high risk in the port of Surabaya, to know what impact may result from an accident with a high risk and gain steps that can be taken to reduce accidents in Surabaya East Shipping Channel by using Method Formal Safety Assessment (FSA). Of the six types of accidents that occur, there are three accidents with the highest risk of stranded ships, human accidents, collisions with ships dock at the time of sailing ships and dock. The impact of the third accident caused huge material losses. To reduce the risk of all three types of accidents was measured Implied Cost of Averting a Risk (ICAR), the lowest of any risk reduction options. Reduction of risk to do is impose a routine patrol and installation of signs groove ICAR ports have amounted to 234 million, giving a human rescue training vessel which has a value of 112 million ICAR and the latter is tightened harbor area with ICAR 84 million so that unauthorized parties do not enter in the harbor area.

The Special Apparatus (al-Niẓām al-Khāṣṣ): The Rise of Nationalist Militancy in the Ranks of the Egyptian Muslim Brotherhood

Existing scholarship has largely focused on the role of Sayyid Qutb’s ideas when analyzing the Muslim Brotherhood’s violent history. Perceiving Qutb’s ideas as paving the way for radical interpretations of jihad, many studies linked the Brotherhood’s violent history with this key ideologue. Yet, in so doing, many studies overlooked the importance of the Special Apparatus in shaping this violent history of the Brotherhood, long before Qutb joined the organization. Through an in-depth study of memoires and accounts penned by Brotherhood members and leaders, and a systematic study of British and American intelligence sources, I attempt to shed light on this understudied formation of the Brotherhood, the Special Apparatus. This paper looks at the development of anti-colonial militancy in Egypt, particularly the part played by the Brotherhood until 1954. It contends that political violence, in the context of British colonization, antedated the Brotherhood’s foundation, and was in some instances considered as a legitimate and even distinguished duty among anti-colonial factions. The application of violence was on no account a part of the Brotherhood’s core strategy, but the organization, nevertheless, established an armed and secret wing tasked with the fulfillment of what a segment of its members perceived as the duty of anti-colonial jihad.

Modulation of DNA Damage Response by SAM and HD Domain Containing Deoxynucleoside Triphosphate Triphosphohydrolase (SAMHD1) Determines Prognosis and Treatment Efficacy in Different Solid Tumor Types

SAMHD1 is a deoxynucleotide triphosphate (dNTP) triphosphohydrolase with important roles in the control of cell proliferation and apoptosis, either through the regulation of intracellular dNTPs levels or the modulation of the DNA damage response. However, SAMHD1 role in cancer evolution is still unknown. We performed the first in-depth study of SAMHD1 role in advanced solid tumors, by analyzing samples of 128 patients treated with chemotherapy agents based on platinum derivatives and/or antimetabolites and developing novel in vitro knock-out models to explore the mechanisms driving SAMHD1 function in cancer. Low or no expression of SAMHD1 was associated with a positive prognosis in breast, ovarian and non-small cell lung cancer (NSCLC) cancer patients. A predictive value was associated to low-SAMHD1 expression in NSCLC and ovarian patients treated with antimetabolites in combination with platinum derivatives. In vitro, SAMHD1 knock-out cells showed increased γ-H2AX and apoptosis suggesting that SAMHD1 depletion induces DNA damage leading to cell death. In vitro treatment with platinum-derived drugs significantly enhanced γ-H2AX and apoptotic markers expression in knock-out cells, indicating a synergic effect of SAMHD1 depletion and platinum-based treatment. SAMHD1 expression represents a new strong prognostic and predictive biomarker in solid tumors and thus, modulation of SAMHD1 function may constitute a promising target for the improvement of cancer therapy.

Liquid Resin Infusion Process Validation through Fiber Optic Sensor Technology

In the proposed work, a fiber-optic-based sensor network was employed for the monitoring of the liquid resin infusion process. The item under test was a panel composed by a skin and four stringers, sensorized in such a way that both the temperature and the resin arrival could be monitored. The network was arranged with 18 Fiber Bragg Gratings (FBGs) working as temperature sensors and 22 fiber optic probes with a modified front-end in order to detect the resin presence. After an in-depth study to find a better solution to install the sensors without affecting the measurements, the system was investigated using a commercial Micron Optics at 0.5 Hz, with a passive split-box connected in order to be able to sense all the sensors simultaneously. The obtained results in terms of resin arrival detection at different locations and the relative temperature trend allowed us to validate an infusion process numerical model, giving us better understanding of what the actual resin flow was and the time needed to dry preform filling during the infusion process.

Neuroimmune mechanisms of pruritus in atopic dermatitis

Atopic dermatitis is a chronic hereditary recurrent skin disease. One of the most pronounced symptoms of this dermatosis is itchy skin. Pruritus accompanies atopic dermatitis in more than 80% of cases. This review presents modern data on the mechanisms of pruritus formation in atopic dermatitis. The issues of etiological factors, neuroimmune interactions, peculiarities of skin dysfunction, as well as the role of stress are considered. The relevance of studying the topic is due to the high prevalence of atopic dermatitis among the population, a decrease in the quality of life and the lack of effective therapy. Analysis of the literature indicates the need for a comprehensive assessment of the pathogenetic mechanisms of the development of pruritus in atopic dermatitis. A more in-depth study of the mechanisms of neurogenic inflammation in atopic dermatitis will contribute to the development of new methods of diagnosis and treatment.

Welfare Mediators as Game Changers? Deconstructing Power Asymmetries Between EU Migrants and Welfare Administrators

Under EU law, EU citizens constitute a particular group of immigrants, as they can, mostly without restrictions, move to, and reside in, another EU country, enjoying equal treatment with nationals in terms of accessing employment and social rights. However, as this article demonstrates, the settlement of EU citizens in another member state does not happen without hurdles. Through a careful in‐depth study of access to transnational welfare rights in practice, we analyse knowledge and resulting power asymmetries impacting interactions between certain EU migrant claimants and street‐level bureaucrats in Austrian and German social administrations. Following an inductive approach, based on an extensive data set of 144 qualitative interviews, this article first unpacks the different types of knowledge asymmetries relating to administrative procedures, formal social entitlements and the German language. We then analyse how such knowledge asymmetries may open space for welfare mediation in order to compensate for a lack of German language skills and to clarify misunderstandings about legal entitlements and obligations embedded in the claims system. Finally, our contribution offers a typology of welfare mediators and their characteristics, as not all types can be regarded as equally effective in reshaping power asymmetries. Overall, this article allows for insights into how welfare mediators, as more or less institutionalised opportunity structures, can shift policy outcomes in unexpected ways, enabling access to social benefits and services for otherwise excluded EU migrant citizens working, or seeking to work, in another EU member state.