Some analyses of the chemistry and diffusion of SST exhaust materials during phase 3 of the wake period

In the generally stably stratified lower stratosphere, SST exhaust plumes could spend a significant length of time in a relatively undispersed state. This effort has utilized invariant modeling techniques to simulate the separate and combined effects of atmospheric turbulence, turbulent diffusion, and chemical reactions of SST exhaust materials in the lower stratosphere. The primary results to date are: (1) The combination of relatively slow diffusive mixing and rapid chemical reactions during the Phase III wake period minimizes the effect of SST exhausts on O3 depletion by the so-called NOx catalytic cycle. While the SST-produced NO is substantially above background concentrations, it appears diffusive mixing of NO and O3 is simply too slow to produce the O3 depletions originally proposed. (2) The time required to dilute the SST exhaust plume may be a significant fraction of the total time these materials are resident in the lower stratosphere. If this is the case, then prior estimates of the environmental impact of these materials must be revised significantly downward

Pathways to Online Hate: Behavioural, Technical, Economic, Legal, Political & Ethical Analysis.

The Alfred Landecker Foundation seeks to create a safer digital space for all. The work of the Foundation helps to develop research, convene stakeholders to share valuable insights, and support entities that combat online harms, specifically online hate, extremism, and disinformation. Overall, the Foundation seeks to reduce hate and harm tangibly and measurably in the digital space by using its resources in the most impactful way. It also aims to assist in building an ecosystem that can prevent, minimise, and mitigate online harms while at the same time preserving open societies and healthy democracies. A non-exhaustive literature review was undertaken to explore the main facets of harm and hate speech in the evolving online landscape and to analyse behavioural, technical, economic, legal, political and ethical drivers; key findings are detailed in this report

Mechanisms of burst release from pH-responsive polymeric microparticles.

Microencapsulation of drugs into preformed polymers is commonly achieved through solvent evaporation techniques or spray drying. We compared these encapsulation methods in terms of controlled drug release properties of the prepared microparticles and investigated the underlying mechanisms responsible for the “burst release” effect. Using two different pH-responsive polymers with a dissolution threshold of pH 6 (Eudragit L100 and AQOAT AS-MG), hydrocortisone, a model hydrophobic drug, was incorporated into microparticles below and above its solubility within the polymer matrix. Although, spray drying is an attractive approach due to rapid particle production and relatively low solvent waste, the oil-in-oil microencapsulation method is superior in terms of controlled drug release properties from the microparticles. Slow solvent evaporation during the oil-in-oil emulsification process allows adequate time for drug and polymer redistribution in the microparticles and reduces uncontrolled drug burst release. Electron microscopy showed that this slower manufacturing procedure generated non-porous particles whereas thermal analysis and X-ray diffractometry showed that drug loading above the solubility limit of the drug in the polymer generated excess crystalline drug on the surface of the particles. Raman spectral mapping illustrated that drug was homogeneously distributed as a solid solution in the particles when loaded below saturation in the polymer with consequently minimal burst release

Euler number of Instanton Moduli space and Seiberg-Witten invariants

We show that a partition function of topological twisted N=4 Yang-Mills theory is given by Seiberg-Witten invariants on a Riemannian four manifolds under the condition that the sum of Euler number and signature of the four manifolds vanish. The partition function is the sum of Euler number of instanton moduli space when it is possible to apply the vanishing theorem. And we get a relation of Euler number labeled by the instanton number $k$ with Seiberg-Witten invariants, too. All calculation in this paper is done without assuming duality.Comment: LaTeX, 34 page

Explaining anomalous responses to treatment in the Intensive Care Unit

The Intensive Care Unit (ICU) provides treatment to critically ill patients. When a patient does not respond as expected to such treatment it can be challenging for clinicians, especially junior clinicians, as they may not have the relevant experience to understand the patient’s anomalous response. Datasets for 10 patients from Glasgow Royal Infirmary’s ICU have been made available to us. We asked several ICU clinicians to review these datasets and to suggest sequences which include anomalous or unusual reactions to treatment. Further, we then asked two ICU clinicians if they agreed with their colleagues’ assessments, and if they did to provide possible explanations for these anomalous sequences. Subsequently we have developed a system which is able to replicate the clinicians’ explanations based on the knowledge contained in its several ontologies; further the system can suggest additional explanations which will be evaluated by the senior consultant

Degenerations of LeBrun twistor spaces

We investigate various limits of the twistor spaces associated to the self-dual metrics on n CP ^2, the connected sum of the complex projective planes, constructed by C. LeBrun. In particular, we explicitly present the following 3 kinds of degenerations whose limits of the metrics are: (a) LeBrun metrics on (n-1) CP ^2$, (b) (Another) LeBrun metrics on the total space of the line bundle O(-n) over CP ^1 (c) The hyper-Kaehler metrics on the small resolution of rational double points of type A_{n-1}, constructed by Gibbons and Hawking.Comment: 21 pages, 7 figures. V2: A new section added at the end of the article. V3: Reference slightly update

Quaternionic Monopoles

We present the simplest non-abelian version of Seiberg-Witten theory: Quaternionic monopoles. These monopoles are associated with Spin^h(4)-structures on 4-manifolds and form finite-dimensional moduli spaces. On a Kahler surface the quaternionic monopole equations decouple and lead to the projective vortex equation for holomorphic pairs. This vortex equation comes from a moment map and gives rise to a new complex-geometric stability concept. The moduli spaces of quaternionic monopoles on Kahler surfaces have two closed subspaces, both naturally isomorphic with moduli spaces of canonically stable holomorphic pairs. These components intersect along Donaldsons instanton space and can be compactified with Seiberg-Witten moduli spaces. This should provide a link between the two corresponding theories. Notes: To appear in CMP The revised version contains more details concerning the Uhlenbeck compactfication of the moduli space of quaternionic monopoles, and possible applications are discussed. Attention ! Due to an ununderstandable mistake, the duke server had replaced all the symbols "=" by "=3D" in the tex-file of the revised version we sent on February, the 2-nd. The command "\def{\ad}" had also been damaged !Comment: LaTeX, 35 page

On complex surfaces diffeomorphic to rational surfaces

In this paper we prove that no complex surface of general type is diffeomorphic to a rational surface, thereby completing the smooth classification of rational surfaces and the proof of the Van de Ven conjecture on the smooth invariance of Kodaira dimension.Comment: 34 pages, AMS-Te

Compiler fuzzing: how much does it matter?

Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of fuzzer-found compiler bugs on real-world applications has barely been assessed. We present the first quantitative and qualitative study of the tangible impact of miscompilation bugs in a mature compiler. We follow a rigorous methodology where the bug impact over the compiled application is evaluated based on (1) whether the bug appears to trigger during compilation; (2) the extent to which generated assembly code changes syntactically due to triggering of the bug; and (3) whether such changes cause regression test suite failures, or whether we can manually find application inputs that trigger execution divergence due to such changes. The study is conducted with respect to the compilation of more than 10 million lines of C/C++ code from 309 Debian packages, using 12% of the historical and now fixed miscompilation bugs found by four state-of-the-art fuzzers in the Clang/LLVM compiler, as well as 18 bugs found by human users compiling real code or as a by-product of formal verification efforts. The results show that almost half of the fuzzer-found bugs propagate to the generated binaries for at least one package, in which case only a very small part of the binary is typically affected, yet causing two failures when running the test suites of all the impacted packages. User-reported and formal verification bugs do not exhibit a higher impact, with a lower rate of triggered bugs and one test failure. The manual analysis of a selection of the syntactic changes caused by some of our bugs (fuzzer-found and non fuzzer-found) in package assembly code, shows that either these changes have no semantic impact or that they would require very specific runtime circumstances to trigger execution divergence