60 resultados para Dependent types
em Consorci de Serveis Universitaris de Catalunya (CSUC), Spain
Resumo:
This paper analyses the effect of unmet formal care needs on informal caregiving hours in Spain using the two wavesof the Informal Support Survey (1994, 2004). Testing for double sample selection from formal care receipt and theemergence of unmet needs provides evidence that the omission of either variable would causes underestimation of thenumber of informal caregiving hours. After controlling for these two factors the number of hours of care increaseswith both the degree of dependency and unmet needs. More importantly, in the presence of unmet needs, the numberof informal caregiving hours increases when some formal care is received. This result refutes the substitution modeland supports complementarity or task specificity between both types of care. For a given combination of formal careand unmet needs, informal caregiving hours increased between 1994 and 2004. Finally, in the model for 2004, theselection term associated with the unmet needs equation is larger than that of the formal care equation, suggestingthat using the number of formal care recipients as a quality indicator may be confounding, if we do not complete thisinformation with other quality indicators.
Resumo:
Extensive field and experimental evidence in a variety of environments show that behavior depends on a reference point. This paper provides an axiomatic characterization of this dependence. We proceed by imposing gradually more structure on both choice correspondences and preference relations, requiring increasingly higher levels of rationality, and freeing the decision-maker from certain types of inconsistencies. The appropriate degree of behavioral structure will depend on the phenomenon that is to be modeled. Lastly, we provide two applications of our work: one to model the status-quo bias, and another to model addictive behavior.
Resumo:
To determine the effect of aging on IFN-gamma-induced MHC class II antigen expression, we produced bone marrow¿derived macrophages in vitro. In these conditions, we analyzed the effect of aging on the genomic expression of macrophages without the influence of other cell types that may be affected by aging. Although macrophages from young and aged mice showed an identical degree of differentiation, after incubation with IFN-gamma, the expression at the cell surface of the IA complex and the levels of IAbeta protein and mRNA were lower in aged macrophages. Moreover, the transcription of the IAbeta gene was impaired in aged macrophages. The amount of transcription factors that bound to the W and X, but not to the Y, boxes of the IAbeta promoter gene was lower in aged macrophages. Similar levels of CIITA mRNA were found after IFN-gamma treatment of both young and aged macrophages. This shows that neither the initial cascade that starts after the interaction of IFN-gamma with the receptor nor the second signals involved in the expression of CIITA are impaired in aged macrophages. These data indicate that aging is associated with low levels of MHC class II gene induction by IFN-gamma because of impaired transcription.
Resumo:
To determine the effect of aging on IFN-gamma-induced MHC class II antigen expression, we produced bone marrow¿derived macrophages in vitro. In these conditions, we analyzed the effect of aging on the genomic expression of macrophages without the influence of other cell types that may be affected by aging. Although macrophages from young and aged mice showed an identical degree of differentiation, after incubation with IFN-gamma, the expression at the cell surface of the IA complex and the levels of IAbeta protein and mRNA were lower in aged macrophages. Moreover, the transcription of the IAbeta gene was impaired in aged macrophages. The amount of transcription factors that bound to the W and X, but not to the Y, boxes of the IAbeta promoter gene was lower in aged macrophages. Similar levels of CIITA mRNA were found after IFN-gamma treatment of both young and aged macrophages. This shows that neither the initial cascade that starts after the interaction of IFN-gamma with the receptor nor the second signals involved in the expression of CIITA are impaired in aged macrophages. These data indicate that aging is associated with low levels of MHC class II gene induction by IFN-gamma because of impaired transcription.
APP processing and b-amyloid deposition in sporadic Creutzfeldt-Jakob patients is dependent on Dab1.
Resumo:
Alzheimer"s disease and prion pathologies (e.g., Creutzfeldt-Jakob disease (CJD)) display profound neural lesions associated with aberrant protein processing and extracellular amyloid deposits. Dab1 has been implicated in the regulation of Amyloid Precursor Protein (APP), but a direct link between human prion diseases and Dab1/APP interactions has not been published. Here we examined this putative relationship in seventeen cases of sporadic CJD (sCJD) post mortem. Biochemical analyses of brain tissue revealed two groups, which also correlated with PrPsc types 1 and 2. One group, with PrPsc type 1 showed increased Dab1 phosphorylation, and lower CTF production with an absence of A deposition. The second sCJD group, which carried PrPsc type 2, showed lower levels of Dab1 phosphorylation and CTF production, and A deposition. Thus, the present observations suggest a correlation between Dab1-phosphorylation, A deposition and PrPsc type in sCJD.
Resumo:
We prove the non-emptiness of the core of an NTU game satisfying a condition of payoff-dependent balancedness, based on transfer rate mappings. We also define a new equilibrium condition on transfer rates and we prove the existence of core payoff vectors satisfying this condition. The additional requirement of transfer rate equilibrium refines the core concept and allows the selection of specific core payoff vectors. Lastly, the class of parametrized cooperative games is introduced. This new setting and its associated equilibrium-core solution extend the usual cooperative game framework and core solution to situations depending on an exogenous environment. A non-emptiness result for the equilibrium-core is also provided in the context of a parametrized cooperative game. Our proofs borrow mathematical tools and geometric constructions from general equilibrium theory with non convexities. Applications to extant results taken from game theory and economic theory are given.
Resumo:
We show that the classifying category C(T)of a dependent type theory T with axioms for identity types admits a nontrivial weak factorisation system. After characterising this weak factorisation system explicitly, we relate it to the homotopy theory of groupoids.
Resumo:
In automobile insurance, it is useful to achieve a priori ratemaking by resorting to gene- ralized linear models, and here the Poisson regression model constitutes the most widely accepted basis. However, insurance companies distinguish between claims with or without bodily injuries, or claims with full or partial liability of the insured driver. This paper exa- mines an a priori ratemaking procedure when including two di®erent types of claim. When assuming independence between claim types, the premium can be obtained by summing the premiums for each type of guarantee and is dependent on the rating factors chosen. If the independence assumption is relaxed, then it is unclear as to how the tari® system might be a®ected. In order to answer this question, bivariate Poisson regression models, suitable for paired count data exhibiting correlation, are introduced. It is shown that the usual independence assumption is unrealistic here. These models are applied to an automobile insurance claims database containing 80,994 contracts belonging to a Spanish insurance company. Finally, the consequences for pure and loaded premiums when the independence assumption is relaxed by using a bivariate Poisson regression model are analysed.
Resumo:
The work studies a general multiserver queue in which the service time of an arriving customer and the next interarrival period may depend on both the current waiting time and the server assigned to the arriving customer. Stability of the system is proved under general assumptions on the predetermined distributions describing the model. The proof exploits a combination of the Markov property of the workload process with a regenerative property of the process. The key idea leading to stability is a characterization of the limit behavior of the forward renewal process generated by regenerations. Extensions of the basic model are also studied.
Resumo:
In this paper we consider extensions of smooth transition autoregressive (STAR) models to situations where the threshold is a time-varying function of variables that affect the separation of regimes of the time series under consideration. Our specification is motivated by the observation that unusually high/low values for an economic variable may sometimes be best thought of in relative terms. State-dependent logistic STAR and contemporaneous-threshold STAR models are introduced and discussed. These models are also used to investigate the dynamics of U.S. short-term interest rates, where the threshold is allowed to be a function of past output growth and inflation.
Resumo:
The penetration of marbofloxacin into tonsils was assessed in fattening pigs. Two different dosages were used to treat the animals: 2 mg/kg b.w. every 24 hours during 3 days (P1 group) and 4 mg/kg b.w. every 48 hours two times (P2 group. A ratio between the mean tonsillar concentration of marbofloxacin for both doses 24 hours after the last administration (0.5 and 0.7 µgr/mL) and its MIC90 for APP (0.03 µgr/mL) was calculated. These Ratio values were 16.6 and 23.3 for P1 and P2 group.
Resumo:
The main result is a proof of the existence of a unique viscosity solution for Hamilton-Jacobi equation, where the hamiltonian is discontinuous with respect to variable, usually interpreted as the spatial one. Obtained generalized solution is continuous, but not necessarily differentiable.
Resumo:
In this paper the two main drawbacks of the heat balance integral methods are examined. Firstly we investigate the choice of approximating function. For a standard polynomial form it is shown that combining the Heat Balance and Refined Integral methods to determine the power of the highest order term will either lead to the same, or more often, greatly improved accuracy on standard methods. Secondly we examine thermal problems with a time-dependent boundary condition. In doing so we develop a logarithmic approximating function. This new function allows us to model moving peaks in the temperature profile, a feature that previous heat balance methods cannot capture. If the boundary temperature varies so that at some time t & 0 it equals the far-field temperature, then standard methods predict that the temperature is everywhere at this constant value. The new method predicts the correct behaviour. It is also shown that this function provides even more accurate results, when coupled with the new CIM, than the polynomial profile. Analysis primarily focuses on a specified constant boundary temperature and is then extended to constant flux, Newton cooling and time dependent boundary conditions.
Resumo:
Budget transparency has come to be considered a key aspect of governance. Over the past decade, donors have invested increasing resources in strengthening processes through which budget transparency in developing countries can be enhanced. According to the 2008 Open Budget Index (OBI) Report, however, aid dependency and budget transparency appear to be inversely correlated. This article looks at the role of donor agencies in promoting or preventing budget transparency in aid dependent countries. It analyzes data for a sample of 16 aid-dependent countries included in the OBI, to test some preliminary hypotheses and select six countries for which more detailed findings are then presented. All of these countries have implemented reforms aimed at enhancing budget transparency, with substantial donor support. These, however, often had only limited success, partly because they were not well adapted to the local context, and partly because donors put limited emphasis on improving public access to budget information. Donor efforts were also often offset by other characteristics of donor interventions, namely their fragmentation, lack of transparency, and limited use of program aid modalities such as budget support and pooled sector funding.
Resumo:
Emergent molecular measurement methods, such as DNA microarray, qRTPCR, andmany others, offer tremendous promise for the personalized treatment of cancer. Thesetechnologies measure the amount of specific proteins, RNA, DNA or other moleculartargets from tumor specimens with the goal of “fingerprinting” individual cancers. Tumorspecimens are heterogeneous; an individual specimen typically contains unknownamounts of multiple tissues types. Thus, the measured molecular concentrations resultfrom an unknown mixture of tissue types, and must be normalized to account for thecomposition of the mixture.For example, a breast tumor biopsy may contain normal, dysplastic and cancerousepithelial cells, as well as stromal components (fatty and connective tissue) and bloodand lymphatic vessels. Our diagnostic interest focuses solely on the dysplastic andcancerous epithelial cells. The remaining tissue components serve to “contaminate”the signal of interest. The proportion of each of the tissue components changes asa function of patient characteristics (e.g., age), and varies spatially across the tumorregion. Because each of the tissue components produces a different molecular signature,and the amount of each tissue type is specimen dependent, we must estimate the tissuecomposition of the specimen, and adjust the molecular signal for this composition.Using the idea of a chemical mass balance, we consider the total measured concentrationsto be a weighted sum of the individual tissue signatures, where weightsare determined by the relative amounts of the different tissue types. We develop acompositional source apportionment model to estimate the relative amounts of tissuecomponents in a tumor specimen. We then use these estimates to infer the tissuespecificconcentrations of key molecular targets for sub-typing individual tumors. Weanticipate these specific measurements will greatly improve our ability to discriminatebetween different classes of tumors, and allow more precise matching of each patient tothe appropriate treatment