949 resultados para Proof.
Resumo:
Osteoporosis is a disease of low bone mass most often caused by an increase in bone resorption that is not sufficiently compensated for by a corresponding increase in bone formation(1). As gut-derived serotonin (GDS) inhibits bone formation(2), we asked whether hampering its biosynthesis could treat osteoporosis through an anabolic mechanism (that is, by increasing bone formation). We synthesized and used LP533401, a small molecule inhibitor of tryptophan hydroxylase-1 (Tph-1), the initial enzyme in GDS biosynthesis. Oral administration of this small molecule once daily for up to six weeks acts prophylactically or therapeutically, in a dose-dependent manner, to treat osteoporosis in ovariectomized rodents because of an isolated increase in bone formation. These results provide a proof of principle that inhibiting GDS biosynthesis could become a new anabolic treatment for osteoporosis.
Resumo:
We prove that if (M-n, g), n >= 4, is a compact, orientable, locally irreducible Riemannian manifold with nonnegative isotropic curvature,then one of the following possibilities hold: (i) M admits a metric with positive isotropic curvature. (ii) (M, g) is isometric to a locally symmetric space. (iii) (M, g) is Kahler and biholomorphic to CPn/2. (iv) (M, g) is quaternionic-Kahler. This is implied by the following result: Let (M-2n, g) be a compact, locally irreducible Kahler manifold with nonnegative isotropic curvature. Then either M is biholomorphic to CPn or isometric to a compact Hermitian symmetric space. This answers a question of Micallef and Wang in the affirmative. The proof is based on the recent work of Brendle and Schoen on the Ricci flow.
Resumo:
We propose two algorithms for Q-learning that use the two-timescale stochastic approximation methodology. The first of these updates Q-values of all feasible state–action pairs at each instant while the second updates Q-values of states with actions chosen according to the ‘current’ randomized policy updates. A proof of convergence of the algorithms is shown. Finally, numerical experiments using the proposed algorithms on an application of routing in communication networks are presented on a few different settings.
Resumo:
Fractures and arthritic joint destruction are common in the hand. A reliable and stable fracture fixation can be achieved by metal implants, which however, become unnecessary or even harmful after consolidation. The silicone implant arthroplasty is the current method of choice for reconstruction of metacarpophalangeal joints in rheumatoid patients. However, the outcome tends to worsen with long-term follow-up and implant-related complications become frequent. To address these problems, bioabsorbable implants were designed for the hand area. Aims of the studies were: 1) to evaluate the biomechanical stabilities provided by self- reinforced (SR) bioabsorbable implants in a transverse and an oblique osteotomy of small tubular bones and to compare them with those provided by metal implants; 2) to evaluate the SR poly-L/DL-lactide 70/30 plate for osteosynthesis in a proof-of-principle type of experiment in three cases of hand injuries; and 3) to evaluate the poly-L/D-lactide (PLA) 96/4 joint scaffold, a composite joint implant with a supplementary intramedullary Polyactive® stem and Swanson silicone implant in an experimental small joint arthroplasty model. Methods used were: 1) 112 fresh frozen human cadaver and 160 pig metacarpal bones osteotomised transversally or obliquely, respectively, and tested ex vivo in three point bending and in torsion; 2) three patient cases of complex hand injuries; and 3) the fifth metacarpophalangeal joints reconstructed in 18 skeletally-mature minipigs and studied radiologically and histologically. The initial fixation stabilities provided by bioabsorbable implants in the tubular bones of the hand were comparable with currently-employed metal fixation techniques, and were sufficient for fracture stabilisation in three preliminary cases in the hand. However, in torsion the stabilities provided by bioabsorbable implants were lower than that provided by metal counterparts. The bioabsorbable plate enhanced the bending stability for the bioabsorbable fixation construct. PLA 96/4 joint scaffolds demonstrated good biocompatibility and enabled fibrous tissue in-growth in situ. After scaffold degradation, a functional, stable pseudarthrosis with dense fibrous connective tissue was formed. However, the supplementary Polyactive® stem caused a deleterious tissue reaction and therefore the stem can not be applied to the composite joint implant. The bioabsorbable implants have potential for use in clinical hand surgery, but have to await validation in clinical patient series and controlled trials.
Resumo:
We study quench dynamics and defect production in the Kitaev and the extended Kitaev models. For the Kitaev model in one dimension, we show that in the limit of slow quench rate, the defect density n∼1/√τ, where 1/τ is the quench rate. We also compute the defect correlation function by providing an exact calculation of all independent nonzero spin correlation functions of the model. In two dimensions, where the quench dynamics takes the system across a critical line, we elaborate on the results of earlier work [K. Sengupta, D. Sen, and S. Mondal, Phys. Rev. Lett. 100, 077204 (2008)] to discuss the unconventional scaling of the defect density with the quench rate. In this context, we outline a general proof that for a d-dimensional quantum model, where the quench takes the system through a d−m dimensional gapless (critical) surface characterized by correlation length exponent ν and dynamical critical exponent z, the defect density n∼1/τmν/(zν+1). We also discuss the variation of the shape and spatial extent of the defect correlation function with both the rate of quench and the model parameters and compute the entropy generated during such a quenching process. Finally, we study the defect scaling law, entropy generation and defect correlation function of the two-dimensional extended Kitaev model.
Resumo:
The Earth's ecosystems are protected from the dangerous part of the solar ultraviolet (UV) radiation by stratospheric ozone, which absorbs most of the harmful UV wavelengths. Severe depletion of stratospheric ozone has been observed in the Antarctic region, and to a lesser extent in the Arctic and midlatitudes. Concern about the effects of increasing UV radiation on human beings and the natural environment has led to ground based monitoring of UV radiation. In order to achieve high-quality UV time series for scientific analyses, proper quality control (QC) and quality assurance (QA) procedures have to be followed. In this work, practices of QC and QA are developed for Brewer spectroradiometers and NILU-UV multifilter radiometers, which measure in the Arctic and Antarctic regions, respectively. These practices are applicable to other UV instruments as well. The spectral features and the effect of different factors affecting UV radiation were studied for the spectral UV time series at Sodankylä. The QA of the Finnish Meteorological Institute's (FMI) two Brewer spectroradiometers included daily maintenance, laboratory characterizations, the calculation of long-term spectral responsivity, data processing and quality assessment. New methods for the cosine correction, the temperature correction and the calculation of long-term changes of spectral responsivity were developed. Reconstructed UV irradiances were used as a QA tool for spectroradiometer data. The actual cosine correction factor was found to vary between 1.08-1.12 and 1.08-1.13. The temperature characterization showed a linear temperature dependence between the instrument's internal temperature and the photon counts per cycle. Both Brewers have participated in international spectroradiometer comparisons and have shown good stability. The differences between the Brewers and the portable reference spectroradiometer QASUME have been within 5% during 2002-2010. The features of the spectral UV radiation time series at Sodankylä were analysed for the time period 1990-2001. No statistically significant long-term changes in UV irradiances were found, and the results were strongly dependent on the time period studied. Ozone was the dominant factor affecting UV radiation during the springtime, whereas clouds played a more important role during the summertime. During this work, the Antarctic NILU-UV multifilter radiometer network was established by the Instituto Nacional de Meteorogía (INM) as a joint Spanish-Argentinian-Finnish cooperation project. As part of this work, the QC/QA practices of the network were developed. They included training of the operators, daily maintenance, regular lamp tests and solar comparisons with the travelling reference instrument. Drifts of up to 35% in the sensitivity of the channels of the NILU-UV multifilter radiometers were found during the first four years of operation. This work emphasized the importance of proper QC/QA, including regular lamp tests, for the multifilter radiometers also. The effect of the drifts were corrected by a method scaling the site NILU-UV channels to those of the travelling reference NILU-UV. After correction, the mean ratios of erythemally-weighted UV dose rates measured during solar comparisons between the reference NILU-UV and the site NILU-UVs were 1.007±0.011 and 1.012±0.012 for Ushuaia and Marambio, respectively, when the solar zenith angle varied up to 80°. Solar comparisons between the NILU-UVs and spectroradiometers showed a ±5% difference near local noon time, which can be seen as proof of successful QC/QA procedures and transfer of irradiance scales. This work also showed that UV measurements made in the Arctic and Antarctic can be comparable with each other.
Resumo:
Via a computer search, Altshuler and Steinberg found that there are 1296+1 combinatorial 3-manifolds on nine vertices, of which only one is non-sphere. This exceptional 3-manifold View the MathML source triangulates the twisted S2-bundle over S1. It was first constructed by Walkup. In this paper, we present a computer-free proof of the uniqueness of this non-sphere combinatorial 3-manifold. As opposed to the computer-generated proof, ours does not require wading through all the 9-vertex 3-spheres. As a preliminary result, we also show that any 9-vertex combinatorial 3-manifold is equivalent by proper bistellar moves to a 9-vertex neighbourly 3-manifold.
Resumo:
Purpose: Mutations in IDH3B, an enzyme participating in the Krebs cycle, have recently been found to cause autosomal recessive retinitis pigmentosa (arRP). The MDH1 gene maps within the RP28 arRP linkage interval and encodes cytoplasmic malate dehydrogenase, an enzyme functionally related to IDH3B. As a proof of concept for candidate gene screening to be routinely performed by ultra high throughput sequencing (UHTs), we analyzed MDH1 in a patient from each of the two families described so far to show linkage between arRP and RP28. Methods: With genomic long-range PCR, we amplified all introns and exons of the MDH1 gene (23.4 kb). PCR products were then sequenced by short-read UHTs with no further processing. Computer-based mapping of the reads and mutation detection were performed by three independent software packages. Results: Despite the intrinsic complexity of human genome sequences, reads were easily mapped and analyzed, and all algorithms used provided the same results. The two patients were homozygous for all DNA variants identified in the region, which confirms previous linkage and homozygosity mapping results, but had different haplotypes, indicating genetic or allelic heterogeneity. None of the DNA changes detected could be associated with the disease. Conclusions: The MDH1 gene is not the cause of RP28-linked arRP. Our experimental strategy shows that long-range genomic PCR followed by UHTs provides an excellent system to perform a thorough screening of candidate genes for hereditary retinal degeneration.
Resumo:
In this brief, we present a new circuit technique to generate the sigmoid neuron activation function (NAF) and its derivative (DNAF). The circuit makes use of transistor asymmetry in cross-coupled differential pair to obtain the derivative. The asymmetry is introduced through external control signal, as and when required. This results in the efficient utilization of the hard-ware by realizing NAF and DNAF using the same building blocks. The operation of the circuit is presented in the subthreshold region for ultra low-power applications. The proposed circuit has been experimentally prototyped and characterized as a proof of concept on the 1.5-mum AMI technology.
Resumo:
A new performance metric, Peak-Error Ratio (PER) has been presented to benchmark the performance of a class of neuron circuits to realize neuron activation function (NAF) and its derivative (DNAF). Neuron circuits, biased in subthreshold region, based on the asymmetric cross-coupled differential pair configuration and conventional configuration of applying small external offset voltage at the input have been compared on the basis of PER. It is shown that the technique of using transistor asymmetry in a cross-coupled differential pair performs on-par with that of applying external offset voltage. The neuron circuits have been experimentally prototyped and characterized as a proof of concept on the 1.5 mu m AMI technology.
Resumo:
We develop extensions of the Simulated Annealing with Multiplicative Weights (SAMW) algorithm that proposed a method of solution of Finite-Horizon Markov Decision Processes (FH-MDPs). The extensions developed are in three directions: a) Use of the dynamic programming principle in the policy update step of SAMW b) A two-timescale actor-critic algorithm that uses simulated transitions alone, and c) Extending the algorithm to the infinite-horizon discounted-reward scenario. In particular, a) reduces the storage required from exponential to linear in the number of actions per stage-state pair. On the faster timescale, a 'critic' recursion performs policy evaluation while on the slower timescale an 'actor' recursion performs policy improvement using SAMW. We give a proof outlining convergence w.p. 1 and show experimental results on two settings: semiconductor fabrication and flow control in communication networks.
Resumo:
The Eastern Mafia Threat policy, crime phenomena, and cultural meanings An interdisciplinary research on the crime phenomena and the threat policy relating to the organized crime and the mafia of Russia and Estonia is based on 151 expert interviews, statistics, documents, research literature, and press material. The main part of the material consists of interviews of the Finnish, Estonian and Russian police authorities specialized in the problem of organized crime, and the reports on the crime situation drawn up in the Finnish diplomatic representations in Tallinn and St Petersburg. The interviews have been gathered in the years 1996-2001. The main theoretical tools of the research are constructivist research on social problems, and political psychology. Definitional processes of social problems and cultural semantic structures behind them are identified in the analysis and connected to the analysis of the crime cases. Both in the Anglo-American and Russian cultural frames there appears an inflated and exaggerated talk, according to which the mafia rules everything in Russia and is spreading everywhere. There is the traditional anti-Semitic paranoia in the core of this cultural symbiosis produced by Russian legal nihilism, the theory of totalitarianism of Sovietology, and the inertia of Russian anti-capitalism. To equate the Sicilian Mafia with Russia is an anachronism, since no empirical proof of systematic uncontrolled violence or absolute power vacuum in Russia can be found. In the Anglo-American policy of threat images, "the Russian mafia" was seen as a commodified conspiracy theory, which the police, the media, and the research took advantage of, blurring the line between fact and fiction. In Finland, the evolution of the policy of threat images proceeded in three phases: Initially, extensive rolling of refugees and criminals from Russia to Finland was emphasized in the beginning of the 1990's. In the second phase, the eastern mafia was said to infiltrate all over Finnish society and administration. Finland was, however, found immune to this kind of spreading. In the third phase, in the 21st century, the organized crime of Finland was said to be lead from abroad. In Finland, the policy of threat images was especially canalised to moral panics connected to "eastern prostitution". In Estonia, the policy of threat images emphasized the crime organized by the Russian authorities and politicians in order to weaken Estonia. In Russia, the policy of threat images emphasized the total criminalizing of society caused by criminal capitalism. In every country, the policy of threat images was affected by a so-called large-group identity, a term by Vamik Volkan, in which a so-called chosen trauma caused a political paranoia of an outer and inner danger. In Finland, procuring, car theft, and narcotics crimes were at their widest arranged by the Finnish often with the help of the Estonians. The Russians had no influence in the most serious violent crimes in Finland, although the number of assassinations were at least 5, 000 in Russia in the 1990's. In Russia, the assassinations were on one hand connected to marital problems, on the other hand to the pursuit of public attention and a hoped-for effect by the aid of the murder of an influential person. In the white-collar crime phenomena between Finland and Russia, the Finnish state and Finnish corporations gained remarkable benefit of the frauds aimed at the states of the Soviet Union and Russia in 1980's-21st century. The situation of Estonia was very difficult compared to that of Russia in the 1990's, which was manifested in the stagnation of the Estonian police and judicial authorities, the crimes of the police and the voluntary paramilitary organization, bomb explosions, the rebellion called "the jaeger crisis" in the voluntary paramilitary organization, and the "blood autumn" of Eastern Virumaa, in other words terror. The situation of Estonia had a powerful effect on the crime situation of Finland and on the security of the Finnish diplomats. In the continuum of the Finnish policy of threat images, Russia and the Russians were, however, presented as a source of a marked danger.
Resumo:
This thesis studies the nature and logic of collective doxastic attitudes, or what is referred to in ordinary language as "group beliefs". Beliefs and other intentional attitudes are attributed to groups and collections of people, and such attributions are used to explain and predict the actions of groups. The thesis develops an understanding of group beliefs as voluntarily adopted views or acceptances rather than as ordinary beliefs. Such an understanding can provide new answers to questions concerning collective knowledge and justification of group beliefs, and it allows developing modal logics with collective doxastic and epistemic notions. The thesis consists of six articles. The first three articles are philosophical studies concerned with the nature of group beliefs. The last three articles are logical studies that aim at developing proof-theoretical calculi for reasoning about collective doxastic attitudes.
Resumo:
The problem of admission control of packets in communication networks is studied in the continuous time queueing framework under different classes of service and delayed information feedback. We develop and use a variant of a simulation based two timescale simultaneous perturbation stochastic approximation (SPSA) algorithm for finding an optimal feedback policy within the class of threshold type policies. Even though SPSA has originally been designed for continuous parameter optimization, its variant for the discrete parameter case is seen to work well. We give a proof of the hypothesis needed to show convergence of the algorithm on our setting along with a sketch of the convergence analysis. Extensive numerical experiments with the algorithm are illustrated for different parameter specifications. In particular, we study the effect of feedback delays on the system performance.
Resumo:
A new performance metric, Peak-Error Ratio (PER) has been presented to benchmark the performance of a class of neuron circuits to realize neuron activation function (NAF) and its derivative (DNAF). Neuron circuits, biased in subthreshold region, based on the asymmetric cross-coupled differential pair configuration and conventional configuration of applying small external offset voltage at the input have been compared on the basis of PER. It is shown that the technique of using transistor asymmetry in a cross-coupled differential pair performs on-par with that of applying external offset voltage. The neuron circuits have been experimentally prototyped and characterized as a proof of concept on the 1.5 mu m AMI technology.