882 resultados para Differential calculus in Banach spaces
Resumo:
Background Environmental factors can influence obesity by epigenetic mechanisms. Adipose tissue plays a key role in obesity-related metabolic dysfunction, and gastric bypass provides a model to investigate obesity and weight loss in humans. Results Here, we investigate DNA methylation in adipose tissue from obese women before and after gastric bypass and significant weight loss. In total, 485,577 CpG sites were profiled in matched, before and after weight loss, subcutaneous and omental adipose tissue. A paired analysis revealed significant differential methylation in omental and subcutaneous adipose tissue. A greater proportion of CpGs are hypermethylated before weight loss and increased methylation is observed in the 3′ untranslated region and gene bodies relative to promoter regions. Differential methylation is found within genes associated with obesity, epigenetic regulation and development, such as CETP, FOXP2, HDAC4, DNMT3B, KCNQ1 and HOX clusters. We identify robust correlations between changes in methylation and clinical trait, including associations between fasting glucose and HDAC4, SLC37A3 and DENND1C in subcutaneous adipose. Genes investigated with differential promoter methylation all show significantly different levels of mRNA before and after gastric bypass. Conclusions This is the first study reporting global DNA methylation profiling of adipose tissue before and after gastric bypass and associated weight loss. It provides a strong basis for future work and offers additional evidence for the role of DNA methylation of adipose tissue in obesity.
Resumo:
Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.
Resumo:
A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.
Resumo:
This article investigates the convergence properties of iterative processes involving sequences of self-mappings of metric or Banach spaces. Such sequences are built from a set of primary self-mappings which are either expansive or non-expansive self-mappings and some of the non-expansive ones can be contractive including the case of strict contractions. The sequences are built subject to switching laws which select each active self-mapping on a certain activation interval in such a way that essential properties of boundedness and convergence of distances and iterated sequences are guaranteed. Applications to the important problem of stability of dynamic switched systems are also given.
Resumo:
Negative differential resistance ( NDR) and multilevel memory effects were obtained in organic devices consisting of an anthracene derivative, 9,10-bis-{ 9,9-di-[ 4-(phenyl-p-tolyl-amino)-phenyl]-9H-fluoren-2-yl}-anthracene ( DAFA), sandwiched between Ag and ITO electrodes. The application of a negative bias voltage leads to negative differential resistance in current-voltage characteristics and different negative voltages produce different conductance currents, resulting in the multilevel memory capability of the devices. The NDR property has been attributed to charge trapping at the DAFA/Ag interface. This opens up a wide range of application possibilities of such organic-based NDR devices in memory and logic circuits.
Resumo:
Wydział Matematyki i Informatyki
Resumo:
The study of real hypersurfaces in pseudo-Riemannian complex space forms and para-complex space forms, which are the pseudo-Riemannian generalizations of the complex space forms, is addressed. It is proved that there are no umbilic hypersurfaces, nor real hypersurfaces with parallel shape operator in such spaces. Denoting by J be the complex or para-complex structure of a pseudo-complex or para-complex space form respectively, a non-degenerate hypersurface of such space with unit normal vector field N is said to be Hopf if the tangent vector field JN is a principal direction. It is proved that if a hypersurface is Hopf, then the corresponding principal curvature (the Hopf curvature) is constant. It is also observed that in some cases a Hopf hypersurface must be, locally, a tube over a complex (or para-complex) submanifold, thus generalizing previous results of Cecil, Ryan and Montiel.
Resumo:
This paper presents an ultrafast wideband low-loss single-pole double-throw (SPDT) differential switch in 0.35 µ m SiGe bipolar technology. The proposed topology adopting current-steering technique results in a total measured switching time of 75 ps , which suggests a maximum switching rate of 13 Gb/s, the fastest ever reported at V-band. In addition, the switch exhibits an insertion loss lower than 1.25 dB and an isolation higher than 18 dB from 42 GHz to 70 GHz. © 2006 IEEE.
Resumo:
We restate the notion of orthogonal calculus in terms of model categories. This provides a cleaner set of results and makes the role of O(n)-equivariance clearer. Thus we develop model structures for the category of n-polynomial and n-homogeneous functors, along with Quillen pairs relating them. We then classify n-homogeneous functors, via a zig-zag of Quillen equivalences, in terms of spectra with an O(n)-action. This improves upon the classification theorem of Weiss. As an application, we develop a variant of orthogonal calculus by replacing topological spaces with orthogonal spectra.
Resumo:
Situation calculus has been applied widely in arti?cial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents’ beliefs, how to manage
these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy sensing, which often presents in real-world applications, is not considered. As a
consequence, noisy sensing actions in this framework will lead to an agent facing inconsistent situation and subsequently the agent cannot proceed further. In this paper, we investigate how noisy sensing actions can be handled in iterated
belief change within the situation calculus formalism. We extend the framework proposed in [22] with the capability of managing noisy sensings. We demonstrate that an agent can still detect the actual situation when the ratio of noisy sensing actions vs. accurate sensing actions is limited. We prove that our framework subsumes the iterated belief change strategy in [22] when all sensing actions are accurate. Furthermore, we prove that our framework can adequately handle belief introspection, mistaken beliefs, belief revision and belief update even with noisy sensing, as done in [22] with accurate sensing actions only.
Resumo:
The introduction outlines the notion of urban space and crisis in Europe while taking into account the more recent protests and riots in different cities, in and beyond Europe. It is argued that the phenomen of protest is happening alongside the economic crisis underscoring an alternative political public civic spirit expressing to a certain degree the renaissance and timely making of, what might be called in the digital age, #œuvre. Its forces and emotional properties capture a political realm that unfolds as a globalized urban transnational public space, still progressing. Further, it introduces the collection of papers for the special themed feature. Five papers look at affective practices through a Continental European lens, which places the meaning of race, migration and intersecting identity angles at the centre of debates of individual encounters in public spaces. The final and sixth paper, written by Brenda Yeoh, looks through a Singapore/East Asia lens, and comments on the common European threats as well as on the historical specificity and implications of distinctive geo-political spaces for affective practices.
Resumo:
Depletion of highly abundant proteins is an approved step in blood plasma analysis by mass spectrometry (MS). In this study, we explored a precipitation and differential protein solubility approach as a fractionation strategy for abundant protein removal from plasma. Total proteins from plasma were precipitated with 90% saturated ammonium sulfate, followed by differential solubilization in 55% and 35% saturated ammonium sulfate solutions. Using a four hour liquid chromatography (LC) gradient and an LTQ-Orbitrap XL mass spectrometer, a total of 167 and 224 proteins were identified from the 55% and 35% ammonium sulfate fractions, whereas 235 proteins were found in the remaining protein fractions with at least two unique peptides. SDS-PAGE and exclusive total spectrum counts from LC-MS/MS analyses clearly showed that majority of the abundant plasma proteins were solubilized in 55% and 35% ammonium sulfate solutions, indicating that the remaining protein fraction is of potential interest for identification of less abundant plasma proteins. Serum albumin, serotransferrin, alpha-1-antitrypsin and transthyretin were the abundant proteins that were highly enriched in 55% ammonium sulfate fractions. Immunoglobulins, complement system proteins, and apolipoproteins were among other abundant plasma proteins that were enriched in 35% ammonium sulfate fractions. In the remaining protein fractions a total of 40 unique proteins were identified of which, 32 proteins were identified with at least 10 exclusive spectrum counts. According to PeptideAtlas, 9 of these 32 proteins were estimated to be present at low μg ml(-1) (0.12-1.9 μg ml(-1)) concentrations in the plasma, and 17 at low ng ml(-1) (0.1-55 ng ml(-1)) range.
Resumo:
Intimate Ecologies considers the practice of exhibition-making over the past decade in formal museum and gallery spaces and its relationship to creating a concept of craft in contemporary Britain. Different forms of expression found in traditions of still life painting, film and moving image, poetic text and performance are examined to highlight the complex layers of language at play in exhibitions and within a concept of craft. The thesis presents arguments for understanding the value of embodied material knowledge to aesthetic experience in exhibitions, across a spectrum of human expression. These are supported by reference to exhibition case studies, critical and theoretical works from fields including social anthropology, architecture, art and design history and literary criticism and a range of individual, original works of art. Intimate Ecologies concludes that the museum exhibition, as a creative medium for understanding objects, becomes enriched by close study of material practice, and embodied knowledge that draws on a concept of craft. In turn a concept of craft is refreshed by the makers’ participation in shifting patterns of exhibition-making in cultural spaces that allow the layers of language embedded in complex objects to be experienced from different perspectives. Both art-making and the experience of objects are intimate, and infinitely varied: a vibrant ecology of exhibition-making gives space to this diversity.
Resumo:
The theory of fractional calculus goes back to the beginning of the theory of differential calculus, but its application received attention only recently. In the area of automatic control some work was developed, but the proposed algorithms are still in a research stage. This paper discusses a novel method, with two degrees of freedom, for the design of fractional discrete-time derivatives. The performance of several approximations of fractional derivatives is investigated in the perspective of nonlinear system control.