122,511 research outputs found
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
Foreword
The objective of this work was to evaluate and implement a number of energy saving functions for a specific embedded system. The functions were then grouped into a number of energy levels with known properties in terms of functionality, energy consumption, and transition time between the levels. The embedded system consisted of an AT91 ARM9 processor, GSM/GPRS modem, display, Ethernet and other peripheral units. Some energy saving methods that were considered were suspend to RAM, suspend to disk, frequency scaling, and methods for saving energy in the modem, Ethernet, USB and display backlight. The functions were grouped into levels and an interface was specified for controlling the energy level. It proved possible to get known properties within the defined energy levels, even though the paritioning of functions into these levels proved to be sub-optimal in a typical application usage scenario because it was designed for mainly energy consumption, not usage. The final result is a number of energy saving functions grouped into levels, which are controllable via an application interface. Each of the levels have a known energy consumption in both loaded and un-loaded mode
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
- …