973 resultados para Timed and Probabilistic Automata


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The European Court of Justice has held that as from 21 December 2012 insurers may no longer charge men and women differently on the basis of scientific evidence that is statistically linked to their sex, effectively prohibiting the use of sex as a factor in the calculation of premiums and benefits for the purposes of insurance and related financial services throughout the European Union. This ruling marks a sharp turn away from the traditional view that insurers should be allowed to apply just about any risk assessment criterion, so long as it is sustained by the findings of actuarial science. The naïveté behind the assumption that insurers’ recourse to statistical data and probabilistic analysis, given their scientific nature, would suffice to keep them out of harm’s way was exposed. In this article I look at the flaws of this assumption and question whether this judicial decision, whilst constituting a most welcome landmark in the pursuit of equality between men and women, has nonetheless gone too far by saying too little on the million dollar question of what separates admissible criteria of differentiation from inadmissible forms of discrimination.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Understanding the machinery of gene regulation to control gene expression has been one of the main focuses of bioinformaticians for years. We use a multi-objective genetic algorithm to evolve a specialized version of side effect machines for degenerate motif discovery. We compare some suggested objectives for the motifs they find, test different multi-objective scoring schemes and probabilistic models for the background sequence models and report our results on a synthetic dataset and some biological benchmarking suites. We conclude with a comparison of our algorithm with some widely used motif discovery algorithms in the literature and suggest future directions for research in this area.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Le problème de tarification qui nous intéresse ici consiste à maximiser le revenu généré par les usagers d'un réseau de transport. Pour se rendre à leurs destinations, les usagers font un choix de route et utilisent des arcs sur lesquels nous imposons des tarifs. Chaque route est caractérisée (aux yeux de l'usager) par sa "désutilité", une mesure de longueur généralisée tenant compte à la fois des tarifs et des autres coûts associés à son utilisation. Ce problème a surtout été abordé sous une modélisation déterministe de la demande selon laquelle seules des routes de désutilité minimale se voient attribuer une mesure positive de flot. Le modèle déterministe se prête bien à une résolution globale, mais pèche par manque de réalisme. Nous considérons ici une extension probabiliste de ce modèle, selon laquelle les usagers d'un réseau sont alloués aux routes d'après un modèle de choix discret logit. Bien que le problème de tarification qui en résulte est non linéaire et non convexe, il conserve néanmoins une forte composante combinatoire que nous exploitons à des fins algorithmiques. Notre contribution se répartit en trois articles. Dans le premier, nous abordons le problème d'un point de vue théorique pour le cas avec une paire origine-destination. Nous développons une analyse de premier ordre qui exploite les propriétés analytiques de l'affectation logit et démontrons la validité de règles de simplification de la topologie du réseau qui permettent de réduire la dimension du problème sans en modifier la solution. Nous établissons ensuite l'unimodalité du problème pour une vaste gamme de topologies et nous généralisons certains de nos résultats au problème de la tarification d'une ligne de produits. Dans le deuxième article, nous abordons le problème d'un point de vue numérique pour le cas avec plusieurs paires origine-destination. Nous développons des algorithmes qui exploitent l'information locale et la parenté des formulations probabilistes et déterministes. Un des résultats de notre analyse est l'obtention de bornes sur l'erreur commise par les modèles combinatoires dans l'approximation du revenu logit. Nos essais numériques montrent qu'une approximation combinatoire rudimentaire permet souvent d'identifier des solutions quasi-optimales. Dans le troisième article, nous considérons l'extension du problème à une demande hétérogène. L'affectation de la demande y est donnée par un modèle de choix discret logit mixte où la sensibilité au prix d'un usager est aléatoire. Sous cette modélisation, l'expression du revenu n'est pas analytique et ne peut être évaluée de façon exacte. Cependant, nous démontrons que l'utilisation d'approximations non linéaires et combinatoires permet d'identifier des solutions quasi-optimales. Finalement, nous en profitons pour illustrer la richesse du modèle, par le biais d'une interprétation économique, et examinons plus particulièrement la contribution au revenu des différents groupes d'usagers.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Research on the cortical sources of nociceptive laser-evoked brain potentials (LEPs) began almost two decades ago (Tarkka and Treede, 1993). Whereas there is a large consensus on the sources of the late part of the LEP waveform (N2 and P2 waves), the relative contribution of the primary somatosensory cortex (S1) to the early part of the LEP waveform (N1 wave) is still debated. To address this issue we recorded LEPs elicited by the stimulation of four limbs in a large population (n=35). Early LEP generators were estimated both at single-subject and group level, using three different approaches: distributed source analysis, dipolar source modeling, and probabilistic independent component analysis (ICA). We show that the scalp distribution of the earliest LEP response to hand stimulation was maximal over the central-parietal electrodes contralateral to the stimulated side, while that of the earliest LEP response to foot stimulation was maximal over the central-parietal midline electrodes. Crucially, all three approaches indicated hand and foot S1 areas as generators of the earliest LEP response. Altogether, these findings indicate that the earliest part of the scalp response elicited by a selective nociceptive stimulus is largely explained by activity in the contralateral S1, with negligible contribution from the secondary somatosensory cortex (S2).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Individual differences in cognitive style can be characterized along two dimensions: ‘systemizing’ (S, the drive to analyze or build ‘rule-based’ systems) and ‘empathizing’ (E, the drive to identify another's mental state and respond to this with an appropriate emotion). Discrepancies between these two dimensions in one direction (S > E) or the other (E > S) are associated with sex differences in cognition: on average more males show an S > E cognitive style, while on average more females show an E > S profile. The neurobiological basis of these different profiles remains unknown. Since individuals may be typical or atypical for their sex, it is important to move away from the study of sex differences and towards the study of differences in cognitive style. Using structural magnetic resonance imaging we examined how neuroanatomy varies as a function of the discrepancy between E and S in 88 adult males from the general population. Selecting just males allows us to study discrepant E-S profiles in a pure way, unconfounded by other factors related to sex and gender. An increasing S > E profile was associated with increased gray matter volume in cingulate and dorsal medial prefrontal areas which have been implicated in processes related to cognitive control, monitoring, error detection, and probabilistic inference. An increasing E > S profile was associated with larger hypothalamic and ventral basal ganglia regions which have been implicated in neuroendocrine control, motivation and reward. These results suggest an underlying neuroanatomical basis linked to the discrepancy between these two important dimensions of individual differences in cognitive style.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The translation of an ensemble of model runs into a probability distribution is a common task in model-based prediction. Common methods for such ensemble interpretations proceed as if verification and ensemble were draws from the same underlying distribution, an assumption not viable for most, if any, real world ensembles. An alternative is to consider an ensemble as merely a source of information rather than the possible scenarios of reality. This approach, which looks for maps between ensembles and probabilistic distributions, is investigated and extended. Common methods are revisited, and an improvement to standard kernel dressing, called ‘affine kernel dressing’ (AKD), is introduced. AKD assumes an affine mapping between ensemble and verification, typically not acting on individual ensemble members but on the entire ensemble as a whole, the parameters of this mapping are determined in parallel with the other dressing parameters, including a weight assigned to the unconditioned (climatological) distribution. These amendments to standard kernel dressing, albeit simple, can improve performance significantly and are shown to be appropriate for both overdispersive and underdispersive ensembles, unlike standard kernel dressing which exacerbates over dispersion. Studies are presented using operational numerical weather predictions for two locations and data from the Lorenz63 system, demonstrating both effectiveness given operational constraints and statistical significance given a large sample.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Optimal estimation (OE) and probabilistic cloud screening were developed to provide lake surface water temperature (LSWT) estimates from the series of (advanced) along-track scanning radiometers (ATSRs). Variations in physical properties such as elevation, salinity, and atmospheric conditions are accounted for through the forward modelling of observed radiances. Therefore, the OE retrieval scheme developed is generic (i.e., applicable to all lakes). LSWTs were obtained for 258 of Earth's largest lakes from ATSR-2 and AATSR imagery from 1995 to 2009. Comparison to in situ observations from several lakes yields satellite in situ differences of −0.2 ± 0.7 K for daytime and −0.1 ± 0.5 K for nighttime observations (mean ± standard deviation). This compares with −0.05 ± 0.8 K for daytime and −0.1 ± 0.9 K for nighttime observations for previous methods based on operational sea surface temperature algorithms. The new approach also increases coverage (reducing misclassification of clear sky as cloud) and exhibits greater consistency between retrievals using different channel–view combinations. Empirical orthogonal function (EOF) techniques were applied to the LSWT retrievals (which contain gaps due to cloud cover) to reconstruct spatially and temporally complete time series of LSWT. The new LSWT observations and the EOF-based reconstructions offer benefits to numerical weather prediction, lake model validation, and improve our knowledge of the climatology of lakes globally. Both observations and reconstructions are publically available from http://hdl.handle.net/10283/88.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Plant–Craig stochastic convection parameterization (version 2.0) is implemented in the Met Office Regional Ensemble Prediction System (MOGREPS-R) and is assessed in comparison with the standard convection scheme with a simple stochastic scheme only, from random parameter variation. A set of 34 ensemble forecasts, each with 24 members, is considered, over the month of July 2009. Deterministic and probabilistic measures of the precipitation forecasts are assessed. The Plant–Craig parameterization is found to improve probabilistic forecast measures, particularly the results for lower precipitation thresholds. The impact on deterministic forecasts at the grid scale is neutral, although the Plant–Craig scheme does deliver improvements when forecasts are made over larger areas. The improvements found are greater in conditions of relatively weak synoptic forcing, for which convective precipitation is likely to be less predictable.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND/PURPOSE: The effectiveness and costs of very early rehabilitation after stroke are unknown. This study assessed the cost effectiveness of very early mobilisation in addition to standard care (VEM) compared with standard care alone (SC). METHODS: Cost-effectiveness analysis alongside a phase II, multi-centre, randomised controlled trial (RCT) with blinded outcome assessments. Less than 24 h after stroke, patients were recruited from two stroke units and randomised to receive VEM or SC. The intervention continued until discharge or 14 days, whichever was sooner. The efficacy measure was a dichotomised modified Rankin Scale (mRS) at 3 months with mRS < or =2 representing good outcome. Costs were determined from medical records and patient interviews at 3, 6 and 12 months. National average (where available) or local costs were applied for the reference year 2004. Differences in mean total costs at 3 and 12 months were tested using t test assuming unequal variances. An incremental cost-effectiveness ratio was calculated and probabilistic uncertainty analysis was undertaken. RESULTS: The sample consisted of 38 VEM and 33 SC patients. A trend for good outcome with VEM compared to SC was found (adjusted OR 4.10, 95% CI 0.99-16.88, p = 0.051). Patients receiving VEM incurred significantly less costs at 3 months (AUD 13,559) compared with SC (AUD 21,860; p = 0.02). This difference in mean per patient total cost persisted at the 12-month assessment (VEM: AUD 17,564; SC: AUD 29,750; p = 0.03). VEM was found to be a 'dominant' (more effective, less cost) intervention when compared to SC at 3 months. CONCLUSION: These findings provide preliminary evidence that VEM is likely to be cost-effective. A large RCT is currently underway to confirm the cost effectiveness of VEM.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The purpose of this paper is to explore the integration of learning, continuous improvement theories and reflective evaluation for enhancing management education. Conceptual development is combined with the outcomes of a pilot focus group as an example of reflective evaluation. The Spiral of Learning concept is uniquely augmented through hermeneutics, action research and the Deming cycle. Four R’s are identified in the Spiral of Learning: Review, Revise, Reconstruct and Reveal. Recommendations for each of the 4 R’s are made to assist continuous improvement of management education. For instance, emerging suites of social software appropriately chosen, timed and applied can assist student learning. Direct human connection in some form is recommended for learners when information is delivered online. The concepts and resultant recommendations inform practice through prioritization of online applications and development of appropriate checks and balances by academics and administrators.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper analyzes the problem of learning the structure of a Bayes net (BN) in the theoretical framework of Gold’s learning paradigm. Bayes nets are one of the most prominent formalisms for knowledge representation and probabilistic and causal reasoning. We follow constraint-based approaches to learning Bayes net structure, where learning is based on observed conditional dependencies between variables of interest (e.g., “X is dependent on Y given any assignment to variable Z”). Applying learning criteria in this model leads to the following results. (1) The mind change complexity of identifying a Bayes net graph over variables V from dependency data is |V| 2 , the maximum number of edges. (2) There is a unique fastest mind-change optimal Bayes net learner; convergence speed is evaluated using Gold’s dominance notion of “uniformly faster convergence”. This learner conjectures a graph if it is the unique Bayes net pattern that satisfies the observed dependencies with a minimum number of edges, and outputs “no guess” otherwise. Therefore we are using standard learning criteria to define a natural and novel Bayes net learning algorithm. We investigate the complexity of computing the output of the fastest mind-change optimal learner, and show that this problem is NP-hard (assuming P = RP). To our knowledge this is the first NP-hardness result concerning the existence of a uniquely optimal Bayes net structure.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The increase of elderly population in the world and in Brazil has indicated the necessity of health systems capable to evaluate, to diagnose and to intervene in the conditions of health and disease of that segment. During that stage of human development, physical and cognitive changes happen and they are capable to influence the functional acting. It s important to distinguish the limit between the normal and the pathological. Besides the common changes during the aging, biological rhithmicity changes happen, as alterations in the cycle vigil-sleep that can influence in certain tasks performance. This study aimed to verify the influence of the age, of the sex and of the hour in a maze test performance. Eighty individuals were evaluated, 40 youths (20 men and 20 women) and 40 senior (20 men and 20 women). They were separated in 2 different groups that were tested at 9:00 o clock and at 15:00 o clock. Initially they were submitted to health evaluation, cognitive evaluation and of sleep quality and chronotype. They were instructed to accomplish the maze test whose time of execution was timed and registered. Significant differences were observed according to age for the masculine group between elderly in the morning and in the afternoon and in the feminine group between youth and elderly in the test accomplished in the morning and in the afternoon. Significant differences were not observed according to sex and hour of the day and also between attempts. In compare between the 30th and the31st, accomplished in a 15minutes of interval, significant difference was observed just for the elderly group in the morning and in the afternoon. We observed significant correlations in the maze test performance with the cronotype, with the age, with the education and with the cognitive acting. The maze test was capable to detect differences between age in the acting profile and in the evaluation of the information maintenance after 15 minutes, however it was not possible to verify difference between sex and hour of the day. Finally the correlations of the maze test with another varied may indicate your importance as coadjutant instrument in those functions evaluation

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Female broiler breeder productivity is based on the principles of thermal comfort that are directly related with the microclimate inside the housing. This research had the objective of monitoring the behavior of female broiler breeders, using the technology of radio-frequency, injectable transponders and readers in different existing microclimates inside a small scale distorted housing model. Eight birds with electronic identification were used. Three readers were used, in three different points inside the model: on the floor of the nest, in the passage besides the lateral wall and below the water facility. Dry bulb (DBT), wet bulb (WBT) and black globe (BGT) temperature were measured continuously. The results point out a distinct behavioral pattern of the birds regarding the environment exposition during the experiment. Three probabilistic models of behavior were developed from the recorded data: probabilistic model for the passage use: FP = 1.10 - 0.244 ln(DBT), probabilistic model for the water facility use: FB = 0.398 + 0.00866(DBT), and probabilistic model for the nest use: FN = 2.22 - 0.272 DBT + 0,011 DBT 2 - 0.000144 DBT 3.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A tecnologia DSL- Digital Subscriber Line permitem um acesso universal de banda larga, com redução de custo e tempo de implantação necessários, quando comparadas a outras redes de acesso. DSL pode ser considerada uma rede de banda larga de grande capilaridade, uma vez que utiliza uma combinação de infra-estrutura de telefonia existente e a tecnologia de transmissão. Não obstante, a rede DSL precisa ser amplamente compreendida, de maneira que suas principais vantagens não sejam suplantadas pela ineficiência geral do sistema. Esta tese apresenta uma abordagem baseada em estratégias que possibilitem o planejamento de redes de comunicação que a priori não foram implementadas para suportar fluxos Triple Play (pré-requisito obrigatório diante do perfil atual de usuários da Internet). Será mostrado que, a partir do uso de medidas reais e análises probabilísticas, é possível elaborar o planejamento de redes de comunicação, considerando os parâmetros físicos e lógicos, tais como: o caminho de transmissão, a influência do ruído na comunicação, os protocolos utilizados e tráfego de Triple Play (voz, vídeo e dados).