Electronic amplifier with power supply switching Patent

Increasing power conversion efficiency of electronic amplifiers by power supply switchin

Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)

We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent interactive proofs (LiP) as a minimal conservative extension of LiiP. Instant interactive proofs effect a fragile epistemic impact in their intended communities of peer reviewers that consists in the impermanent induction of the knowledge of their proof goal by means of the knowledge of the proof with the interpreting reviewer: If my peer reviewer knew my proof then she would at least then (in that instant) know that its proof goal is true. Their impact is fragile and their induction of knowledge impermanent in the sense of being the case possibly only at the instant of learning the proof. This accounts for the important possibility of internalising proofs of statements whose truth value can vary, which, as opposed to invariant statements, cannot have persistent proofs. So instant interactive proofs effect a temporary transfer of certain propositional knowledge (knowable ephemeral facts) via the transmission of certain individual knowledge (knowable non-monotonic proofs) in distributed systems of multiple interacting agents.Comment: continuation of arXiv:1201.3667 ; published extended abstract: DOI:10.1007/978-3-642-36039-8_16 ; related to arXiv:1208.591

Spherical Orbifolds for Cosmic Topology

Harmonic analysis is a tool to infer cosmic topology from the measured astrophysical cosmic microwave background CMB radiation. For overall positive curvature, Platonic spherical manifolds are candidates for this analysis. We combine the specific point symmetry of the Platonic manifolds with their deck transformations. This analysis in topology leads from manifolds to orbifolds. We discuss the deck transformations of the orbifolds and give eigenmodes for the harmonic analysis as linear combinations of Wigner polynomials on the 3-sphere. These provide new tools for detecting cosmic topology from the CMB radiation.Comment: 17 pages, 9 figures. arXiv admin note: substantial text overlap with arXiv:1011.427

Interests and Policy Clashes in Conflict of Laws

Glycoside hydrolases (GHs) cleave glycosidic bonds in glycoconjugates, oligosaccharides and polysaccharides such as cellulose and various hemicelluloses. Mannan is a major group of hemicelluloses. In higher plants, they usually serve as storage carbohydrates in seeds and tubers or as structural polysaccharides cross-linking with cellulose/lignin in cell walls. In industrial fields, this renewable biomass component can be used in various areas such as production of biofuels and health-benefit manno-oligosaccharides; and mannan degrading enzymes, especially mannanases, are important molecular tools for controlling mannan polysaccharides properties in biomass conversion. In this thesis, the evolution, substrate specificity and subfamily classification of the most important GH family, i.e., glycoside hydrolase family 5 (GH5), are presented providing a powerful tool for exploring GH5 enzymes in search for enzymes with interesting properties for sustainable biomass conversion. Additionally, three GH5_7 mannanases from Arabidopsis thaliana (AtMan5-1, AtMan5-2 and AtMan5-6) were investigated in the present study. Bioinformatics tools, heterologous expression, and enzymology were applied in order to reveal the catalytic properties of the target enzymes, increase understanding of plant mannanase evolution, and evaluate their potential use in biomass conversion. This approach revealed: (1) AtMan5-1 exhibits mannan hydrolase/transglycosylase activity (MHT), (2) AtMan5-2 preferably degrades mannans with a glucomannan backbone, and (3) AtMan5-6 is a relatively thermotolerant enzyme showing high catalytic efficiency for conversion of glucomannan and galactomannan making this plant mannanase an interesting candidate for biotechnological applications of digesting various mannans. Moreover, these studies suggest an evolutionary diversification of plant mannanase enzymatic function.QC 20150224</p

Foreword

This project measures the upper bound of exposure time for laser reflection detection in the software DotDetector. Via measurement of the exposure time for which distortion happens in a room lit with everyday light we conclude that the upper bound for exposure times are 100 milliseconds. This value does not change as long as the lighting in the room is the same. As future work this project proposes variable upper bounds depending on secondary lighting in the room. Also we propose automating the colour masking of the detection algorithm.Den här rapporten mäter den övre gränsen för slutartider i den laserljusreflektionsdetekterande mjukvaran DotDetector. Genom att ställa upp och mata slutartider vid vilka distortioner uppstår i bilden i ett normalt upplyst rum konstaterar vi i rapporten att den övra gränsen for slutartdider bör ligga vid 100 millisekunder. Detta värde är detsamma sa länge den övriga belysningen i rummet ar densamma. Projektet föreslår som framtida utveckling att ge ett variabelt gränsvärde baserat pa belysningen i rummet. Projektet föreslår även automatisering av färgaskningen i programmets detektionsalgoritm

Emasculated Men: The Perception and Treatment of Shell-Shocked Soldiers During World War I

World War I differed from wars of the past in a variety of ways. Thus, it created a host of modern medical and psychological problems for soldiers, military leaders, and physicians to overcome such as shell shock. Since shell shock was a relatively new phenomenon in warfare, the medical and military communities were uncertain about how to interpret its appearance and decrease its occurrence in their armed forces. As a result, shell shock fell victim to several social constructs of the time. One of the main societal factors that fueled the negative stigmatization of shell-shocked soldiers during the war was militarized masculinity. Using a variety of primary sources including military recruitment posters, medical journals, and other military and medical records, this paper aims to contribute to the current historiographical literature on the period by focusing exclusively on how societal perceptions of masculinity ultimately influenced the American and British military’s attitudes towards shell-shocked soldiers and determined the types of treatments used by medical practitioners to relieve soldiers of their debilitating and “effeminate” symptoms

Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)

We produce a decidable classical normal modal logic of internalised negation-complete and thus disjunctive non-monotonic interactive proofs (LDiiP) from an existing logical counterpart of non-monotonic or instant interactive proofs (LiiP). LDiiP internalises agent-centric proof theories that are negation-complete (maximal) and consistent (and hence strictly weaker than, for example, Peano Arithmetic) and enjoy the disjunction property (like Intuitionistic Logic). In other words, internalised proof theories are ultrafilters and all internalised proof goals are definite in the sense of being either provable or disprovable to an agent by means of disjunctive internalised proofs (thus also called epistemic deciders). Still, LDiiP itself is classical (monotonic, non-constructive), negation-incomplete, and does not have the disjunction property. The price to pay for the negation completeness of our interactive proofs is their non-monotonicity and non-communality (for singleton agent communities only). As a normal modal logic, LDiiP enjoys a standard Kripke-semantics, which we justify by invoking the Axiom of Choice on LiiP's and then construct in terms of a concrete oracle-computable function. LDiiP's agent-centric internalised notion of proof can also be viewed as a negation-complete disjunctive explicit refinement of standard KD45-belief, and yields a disjunctive but negation-incomplete explicit refinement of S4-provability.Comment: Expanded Introduction. Added Footnote 4. Corrected Corollary 3 and 4. Continuation of arXiv:1208.184