10 resultados para gap, minproblem, algoritmi, esatti, lower, bound, posta

em BORIS: Bern Open Repository and Information System - Berna - Suiça


Relevância:

100.00% 100.00%

Publicador:

Resumo:

We explore the macroeconomic effects of a compression in the long-term bond yield spread within the context of the Great Recession of 2007–09 via a time-varying parameter structural VAR model. We identify a “pure” spread shock defined as a shock that leaves the policy rate unchanged, which allows us to characterize the macroeconomic consequences of a decline in the yield spread induced by central banks’ asset purchases within an environment in which the policy rate is constrained by the effective zero lower bound. Two key findings stand out. First, compressions in the long-term yield spread exert a powerful effect on both output growth and inflation. Second, conditional on available estimates of the impact of the Federal Reserve’s and the Bank of England’s asset purchase programs on long-term yield spreads, our counterfactual simulations suggest that U.S. and U.K. unconventional monetary policy actions have averted significant risks both of deflation and of output collapses comparable to those that took place during the Great Depression.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Since 2000, a surprisingly high number of macroscopical gonad alterations has been reported in whitefish (Coregonus spp.) from Lake Thun, Switzerland. This unique phenomenon is still unexplained and has received much public attention. As one possible trigger for these effects, the presence of persistent, bioaccumulative and toxic compounds acting as endocrine disruptors in the lake has been discussed. In this study, concentrations of selected persistent organic pollutants were examined in two morphs of whitefish from Lake Thun and their link to the observed abnormalities was investigated. Analyzed compound classes included polychlorinated biphenyls, polychlorinated dibenzo-p-dioxins and dibenzofurans, polychlorinated naphthalenes, polybrominated diphenyl ethers and hexabromocyclododecanes. The target substances were identified in all samples and concentrations of the analyzed compounds were highly correlated among each other. These correlations show that the analyzed substances have the same distribution pattern throughout the lake and that uptake, accumulation and elimination processes are similar. Significant differences in contaminant levels within the samples existed between the two analyzed morphs of whitefish, most likely due to different age, food patterns and growth rate. No difference in contaminant levels was observed between fish with abnormal gonads and fish with normal gonads, suggesting no causal link between the investigated lipophilic organohalogen compounds present in fish and the observed gonad abnormalities in whitefish from Lake Thun. A comparison to existing data shows that concentrations in Lake Thun whitefish are at the lower bound of contaminant levels in whitefish from Swiss lakes or from European waters.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The objects of study in this thesis are knots. More precisely, positive braid knots, which include algebraic knots and torus knots. In the first part of this thesis, we compare two classical knot invariants - the genus g and the signature σ - for positive braid knots. Our main result on positive braid knots establishes a linear lower bound for the signature in terms of the genus. In the second part of the thesis, a positive braid approach is applied to the study of the local behavior of polynomial functions from the complex affine plane to the complex numbers. After endowing polynomial function germs with a suitable topology, the adjacency problem arises: for a fixed germ f, what classes of germs g can be found arbitrarily close to f? We introduce two purely topological notions of adjacency for knots and discuss connections to algebraic notions of adjacency and the adjacency problem.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Clock synchronization in the order of nanoseconds is one of the critical factors for time-based localization. Currently used time synchronization methods are developed for the more relaxed needs of network operation. Their usability for positioning should be carefully evaluated. In this paper, we are particularly interested in GPS-based time synchronization. To judge its usability for localization we need a method that can evaluate the achieved time synchronization with nanosecond accuracy. Our method to evaluate the synchronization accuracy is inspired by signal processing algorithms and relies on fine grain time information. The method is able to calculate the clock offset and skew between devices with nanosecond accuracy in real time. It was implemented using software defined radio technology. We demonstrate that GPS-based synchronization suffers from remaining clock offset in the range of a few hundred of nanoseconds but the clock skew is negligible. Finally, we determine a corresponding lower bound on the expected positioning error.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

INTRODUCTION: Autogenous bone is the most successful bone-grafting material; however, multiple disadvantages continue to drive developments of improved methods for bone regeneration. AIM: The aim of the present study was to test the hypothesis that an arginine-glycine-aspartic acid (RGD) modified polyethylene glycol-based matrix (PEG) containing covalently bound peptides of the parathyroid hormone (PTH(1-34)) enhances bone regeneration to a degree similar to autogenous bone. MATERIAL AND METHODS: Six American foxhounds received a total of 48 cylindrical titanium implants placed in the mandible between the first premolar and the second molar. Five, respectively, 7 months following tooth extraction, implants were placed into the center of surgically created defects. This resulted in a circumferential bone defect simulating an alveolar defect with a circular gap of 1.5 mm. Four treatment modalities were randomly allocated to the four defects per side: (1) PEG-matrix containing 20 microg/ml of PTH(1-34), and 350 microg/ml cys-RGD peptide, (2) PEG alone, (3) autogenous bone and (4) empty defects. Histomorphometric analysis was performed 4 and 12 weeks after implantation. The area fraction of newly formed bone was determined within the former defect and the degree of bone-to-implant contact (BIC) was evaluated both in the defect region and in the apical region of the implant. For statistical analysis ANOVA and subsequent pairwise Student's t-test were applied. RESULTS: Healing was uneventful and all implants were histologically integrated. Histomorphometric analysis after 4 weeks showed an average area fraction of newly formed bone of 41.7+/-1.8% for matrix-PTH, 26.6+/-4.1% for PEG alone, 43.9+/-4.5% for autogenous bone, and 28.9+/-1.5% for empty defects. After 12 weeks, the respective values were 49.4+/-7.0% for matrix-PTH, 39.3+/-5.7% for PEG alone, 50.5+/-3.4% for autogenous bone and 38.7+/-1.9% for empty defects. Statistical analysis after 4 and 12 weeks revealed significantly more newly formed bone in the PTH(1-34) group compared with PEG alone or empty defects, whereas no difference could be detected against autogenous bone. Regarding BIC no significant difference was observed between the four treatment groups neither at 4 nor at 12 weeks. CONCLUSION: It is concluded that an RGD-modified PEG hydrogel containing PTH(1-34) is an effective matrix system to obtain bone regeneration.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Petrography, geochemical whole-rock composition, and chemical analyses of tourmaline were performed in order to determine the source areas of Lower Cretaceous Mora, El Castellar, and uppermost Camarillas Formation sandstones from the Iberian Chain, Spain. Sandstones were deposited in intraplate subbasins, which are bound by plutonic and volcanic rocks of Permian, Triassic, and Jurassic age, Paleozoic metamorphic rocks, and Triassic sedimentary rocks. Modal analyses together with petrographic and cathodoluminescence observations allowed us to define three quartz-feldspathic petrofacies and recognize diagenetic processes that modified the original framework composition. Results from average restored petrofacies are: Mora petrofacies = P/F >1 and Q(r)70 F(r)22 R(r)9; El Castellar petrofacies = P/F >1 and Q(r)57 F(r)25 R(r)18; and Camarillas petrofacies = P/F ∼ zero and Q(r)64 F(r)28 R(r)7 (P—plagioclase; F—feldspar; Q—quartz; R—rock fragments; r—restored composition). Trace-element and rare earth element abundances of whole-rock analyses discriminate well between the three petrofacies based on: (1) the Rb concentration, which is indicative of the K content and reflects the amount of K-feldspar modal abundance, and (2) the relative modal abundance of heavy minerals (tourmaline, zircon, titanite, and apatite), which is reproduced by the elements hosted in the observed heavy mineral assemblage (i.e., B and Li for tourmaline; Zr, Hf, and Ta for zircon; Ti, Ta, Nb, and their rare earth elements for titanite; and P, Y, and their rare earth elements for apatite). Tourmaline chemical composition for the three petrofacies ranges from Fe-tourmaline of granitic to Mg-tourmaline of metamorphic origin. The three defined petrofacies suggest a mixed provenance from plutonic and metamorphic source rocks. However, a progressively major influence of granitic source rocks was detected from the lowermost Mora petrofacies toward the uppermost Camarillas petrofacies. This provenance trend is consistent with the uplift and erosion of the Iberian Massif, which coincided with the development of the latest Berriasian synrift regional unconformity and affected all of the Iberian intraplate basins. The uplifting stage of Iberian Massif pluton caused a significant dilution of Paleozoic metamorphic source areas, which were dominant during the sedimentation of the lowermost Mora and El Castellar petrofacies. The association of petrographic data with whole-rock geochemical compositions and tourmaline chemical analysis has proved to be useful for determining source area characteristics, their predominance, and the evolution of source rock types during the deposition of quartz-feldspathic sandstones in intraplate basins. This approach ensures that provenance interpretation is consistent with the geological context.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Detection of antibodies against Bovine viral diarrhea virus (BVDV) in serum and milk by enzyme-linked immunosorbent assay (ELISA) is a crucial part of all ongoing national schemes to eradicate this important cattle pathogen. Serum and milk are regarded as equally suited for antibody measurement. However, when retesting a seropositive cow 1 day after calving, the serum was negative in 6 out of 9 different ELISAs. To further investigate this diagnostic gap around parturition, pre- and postcalving serum and milk samples of 5 cows were analyzed by BVDV antibody ELISA and serum neutralization test (SNT). By ELISA, 3 out of the 5 animals showed a diagnostic gap in the serum for up to 12 days around calving but all animals remained positive in SNT. In milk, the ELISA was strongly positive after birth but antibody levels decreased considerably within the next few days. Because of the immunoglobulin G (IgG)1-specific transport of serum antibodies into the mammary gland for colostrum production, the IgG subclass specificity of the total and the BVDV-specific antibodies were determined. Although all 5 animals showed a clear decrease in the total and BVDV-specific IgG1 antibody levels at parturition, the precalving IgG1-to-IgG2 ratios of the BVDV-specific antibodies were considerably lower in animals that showed the diagnostic gap. Results showed that BVDV seropositive cows may become "false" negative in several ELISAs in the periparturient period and suggest that the occurrence of this diagnostic gap is influenced by the BVDV-specific IgG subclass response of the individual animal.