806 resultados para Homomorphic e-Auction, Bid Validity Check, Batch Verification, Oblivious Transfer


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Suspension and expulsion are utilized frequently and disproportionality in schools in the United States. Many schools utilize Positive Behavioral Interventions and Supports (PBIS), a tiered framework to prevent problem behavior and reduce the use of discipline practices (Sugai et al., 2000). Check-In, Check-Out (CICO) is a targeted group behavioral intervention that is utilized within this framework in schools to prevent severe problem behavior in students that are beginning to exhibit externalizing and/or internalizing behavioral needs; thus, preventing the use of exclusionary discipline practices (Crone et al., 2010; Hawken & Horner, 2003). As the use of CICO in schools continues to grow, so too does the need for an instrument measuring its fidelity of implementation. The purpose of this study was to investigate the reliability and validity of the Check-In, Check-Out Fidelity of Implementation Measure (Crone et al., 2010), an instrument created to measure the fidelity of implementation of CICO intervention. This study assessed the psychometric properties of the instrument utilizing an archival data set collected by the statewide PBIS initiative in a western state in the U.S. The results demonstrated promising content validity, construct validity, internal consistency, and interrater reliability. A unidimensional structure was determined to be the best structure for the instrument based on parsimony and the strong results obtained from the item loadings, internal consistency, and interrater reliability. Implications for use and future research are discussed.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Thesis (Ph.D.)--University of Washington, 2016-06

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Thesis (Ph.D.)--University of Washington, 2016-06

Relevância:

30.00% 30.00%

Publicador:

Resumo:

OBJECTIVE - To assess the concurrent validity of fasting indexes of insulin sensitivity and secretion in - obese prepubertal (Tanner stage 1) children and pubertal (Tanner stages 2-5) glucose tolerance test (FSIVGTT) as a criterion measure. RESEARCH DESIGN AND METHODS - Eighteen obese children and adolescents (11 girls and 7 boys, mean age 12.2 +/- 2.4 years, mean BMI 35.4 +/- 6.2 kg/m(2), mean BMI-SDS 3.5 +/- 0.5, 7 prepubertal and I I pubertal) participated in the study. All participants underwent an insulin-modified FSIVGTT on two occasions, and 15 repeated this test a third time (mean 12.9 and 12.0 weeks apart). S-i measured by the FSIVGTT was compared with homeostasis model assessment (HOMA) of insulin resistance (HOMA-IR), quantitative insulin-sensitivity check index (QUICKI), fasting glucose-to-insulin ratio (FGIR), and fasting insulin (estimates of insulin sensitivity derived from fasting samples). The acute insulin response (AIR) measured by the FSIVGTT was compared with HOMA of percent beta-cell function (HOMA-beta%), FGIR, and fasting insulin (estimates of insulin secretion derived from fasting samples). RESULTS - There was a significant negative correlation between HOMA-IR and S-i (r = -0.89, r = -0.90, and r = -0.81, P < 0.01) and a significant positive correlation between QUICKI and S-i (r = 0.89, r = 0.90, and r = 0.81, P < 0.01) at each time point. There was a significant positive correlation between FGIR and S-i (r = 0.91, r = 0.91, and r = 0.82, P < 0.01) and a significant negative correlation between fasting insulin and S-i (r = -90, r = -0.90, and r = -0.88, P < 0.01). HOMA-beta% was not as strongly correlated with AIR (r = 0.60, r = 0.54, and r = 0.61, P < 0.05). CONCLUSIONS - HOMA-IR, QUICKI, FGIR, and fasting insulin correlate strongly with S-i assessed by the FSIVGTT in obese children and adolescents. Correlations between HOMA-β% FGIR and fasting insulin, and AIR were not as strong. Indexes derived from fasting samples are a valid tool for assessing insulin sensitivity in prepubertal and pubertal obese children.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The existence of undesirable electricity price spikes in a competitive electricity market requires an efficient auction mechanism. However, many of the existing auction mechanism have difficulties in suppressing such unreasonable price spikes effectively. A new auction mechanism is proposed to suppress effectively unreasonable price spikes in a competitive electricity market. It optimally combines system marginal price auction and pay as bid auction mechanisms. A threshold value is determined to activate the switching between the marginal price auction and the proposed composite auction. Basically when the system marginal price is higher than the threshold value, the composite auction for high price electricity market is activated. The winning electricity sellers will sell their electricity at the system marginal price or their own bid prices, depending on their rights of being paid at the system marginal price and their offers' impact on suppressing undesirable price spikes. Such economic stimuli discourage sellers from practising economic and physical withholdings. Multiple price caps are proposed to regulate strong market power. We also compare other auction mechanisms to highlight the characteristics of the proposed one. Numerical simulation using the proposed auction mechanism is given to illustrate the procedure of this new auction mechanism.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Automatic signature verification is a well-established and an active area of research with numerous applications such as bank check verification, ATM access, etc. This paper proposes a novel approach to the problem of automatic off-line signature verification and forgery detection. The proposed approach is based on fuzzy modeling that employs the Takagi-Sugeno (TS) model. Signature verification and forgery detection are carried out using angle features extracted from box approach. Each feature corresponds to a fuzzy set. The features are fuzzified by an exponential membership function involved in the TS model, which is modified to include structural parameters. The structural parameters are devised to take account of possible variations due to handwriting styles and to reflect moods. The membership functions constitute weights in the TS model. The optimization of the output of the TS model with respect to the structural parameters yields the solution for the parameters. We have also derived two TS models by considering a rule for each input feature in the first formulation (Multiple rules) and by considering a single rule for all input features in the second formulation. In this work, we have found that TS model with multiple rules is better than TS model with single rule for detecting three types of forgeries; random, skilled and unskilled from a large database of sample signatures in addition to verifying genuine signatures. We have also devised three approaches, viz., an innovative approach and two intuitive approaches using the TS model with multiple rules for improved performance. (C) 2004 Pattern Recognition Society. Published by Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Agent-based technology is playing an increasingly important role in today’s economy. Usually a multi-agent system is needed to model an economic system such as a market system, in which heterogeneous trading agents interact with each other autonomously. Two questions often need to be answered regarding such systems: 1) How to design an interacting mechanism that facilitates efficient resource allocation among usually self-interested trading agents? 2) How to design an effective strategy in some specific market mechanisms for an agent to maximise its economic returns? For automated market systems, auction is the most popular mechanism to solve resource allocation problems among their participants. However, auction comes in hundreds of different formats, in which some are better than others in terms of not only the allocative efficiency but also other properties e.g., whether it generates high revenue for the auctioneer, whether it induces stable behaviour of the bidders. In addition, different strategies result in very different performance under the same auction rules. With this background, we are inevitably intrigued to investigate auction mechanism and strategy designs for agent-based economics. The international Trading Agent Competition (TAC) Ad Auction (AA) competition provides a very useful platform to develop and test agent strategies in Generalised Second Price auction (GSP). AstonTAC, the runner-up of TAC AA 2009, is a successful advertiser agent designed for GSP-based keyword auction. In particular, AstonTAC generates adaptive bid prices according to the Market-based Value Per Click and selects a set of keyword queries with highest expected profit to bid on to maximise its expected profit under the limit of conversion capacity. Through evaluation experiments, we show that AstonTAC performs well and stably not only in the competition but also across a broad range of environments. The TAC CAT tournament provides an environment for investigating the optimal design of mechanisms for double auction markets. AstonCAT-Plus is the post-tournament version of the specialist developed for CAT 2010. In our experiments, AstonCAT-Plus not only outperforms most specialist agents designed by other institutions but also achieves high allocative efficiencies, transaction success rates and average trader profits. Moreover, we reveal some insights of the CAT: 1) successful markets should maintain a stable and high market share of intra-marginal traders; 2) a specialist’s performance is dependent on the distribution of trading strategies. However, typical double auction models assume trading agents have a fixed trading direction of either buy or sell. With this limitation they cannot directly reflect the fact that traders in financial markets (the most popular application of double auction) decide their trading directions dynamically. To address this issue, we introduce the Bi-directional Double Auction (BDA) market which is populated by two-way traders. Experiments are conducted under both dynamic and static settings of the continuous BDA market. We find that the allocative efficiency of a continuous BDA market mainly comes from rational selection of trading directions. Furthermore, we introduce a high-performance Kernel trading strategy in the BDA market which uses kernel probability density estimator built on historical transaction data to decide optimal order prices. Kernel trading strategy outperforms some popular intelligent double auction trading strategies including ZIP, GD and RE in the continuous BDA market by making the highest profit in static games and obtaining the best wealth in dynamic games.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper describes the design and evaluation of Aston-TAC, the runner-up in the Ad Auction Game of 2009 International Trading Agent Competition. In particular, we focus on how Aston-TAC generates adaptive bid prices according to the Market-based Value Per Click and how it selects a set of keyword queries to bid on to maximise the expected profit under limited conversion capacity. Through evaluation experiments, we show that AstonTAC performs well and stably not only in the competition but also across a broad range of environments. © 2010 The authors and IOS Press. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Parking is often underpriced and expanding its capacity is expensive; universities need a better way of reducing congestion outside of building costly parking garages. Demand based pricing mechanisms, such as auctions, offer a possible solution to the problem by promising to reduce parking at peak times. However, faculty, students, and staff at universities have systematically different parking needs, leading to different parking valuations. In this study, I determine the impact university affiliation has on predicting bid values cast in three Dutch Auctions of on-campus parking permits sold at Chapman University in Fall 2010. Using clustering techniques crosschecked with university demographic information to detect affiliation groups, I ran a log-linear regression, finding that university affiliation had a larger effect on bid amount than on lot location and fraction of auction duration. Generally, faculty were predicted to have higher bids whereas students were predicted to have lower bids.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Auctions have become popular as means of allocating emissions permits in the emissions trading schemes developed around the world. Mostly, only a subset of the regulated polluters participate in these auctions along with speculators, creating a market with relatively few participants and, thus, incentive for strategic bidding. I characterize the bidding behavior of the polluters and the speculators, examining the effect of the latter on the profits of the former and on the auction outcome. It turns out that in addition to bidding for compliance, polluters also bid for speculation in the aftermarket. While the presence of the speculators forces the polluters to bid closer to their true valuations, it also creates a trade-off between increasing the revenue accrued to the regulator and reducing the profits of the auction-participating polluters. Nevertheless, the profits of the latter increase in the speculators' risk aversion.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Purpose. Anastomotic strictures occur in 3-30% of colorectal anastomosis and one of the main causes may be a reaction to the presence of the metal staples used for suturing. The aim of this study was to evaluate the efficacy of a compression anastomosis ring using the memoryshaped device in initial, i.e. nickel-titanium alloy (NiTi) for the prevention of colorectal anastomotic strictures. Patients and methods. A compression anastomosis ring device (NiTi CAR 27™) was used to perform compression anastomosis in 20 patients underwent left hemicolectomy and anterior resection of the rectum for carcinoma. An endoscopic check of the anastomosis was carried out at one month and at six months after surgery. Results. In 2 patients (10%) a dehiscence of the anastomosis occurred on the fifth and the eighth postoperative day. No anastomotic strictures were observed in any of the other 18 patients at six months follow-up after surgery. Conclusion. Our preliminary results suggest that the use of a compression anastomosis ring might well be a valid method of preventing anastomotic strictures in colorectal surgery. Further studies involving a larger number of patients are needed in order to confirm these preliminary results.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The primary goal of this thesis is to verify the rupture disc sizing of the acrylic reactor. Primarily the test to check the sizing was divided into several stages. It went on to examine ideas to explain the concern and ethical ways, as well as remedies and suggestions to solve the issues and difficulties that were discovered. This thesis will highlight the gathering and arranging of reaction data (recipe composition, enthalpies, reaction temperature, and catalyst feeding times) of the products to be chosen, in accordance with pre-established criteria. To collaborate with the research and development team in the lab to carry out calorimetric testing for the important recipes that have been identified. The verification of the currently installed Rupture Discs in the plant based on the calorimetric test findings is the final stage. This thesis used two separate calorimetry techniques: Phi-TEC II adiabatic calorimetry and differential scanning calorimetry (DSC). The target of the experiment is to check and confirm the correct size of the reactor rupture disc. Arkema (Boretto/Coatex) plant (Emilia romagna) provided a recipe and a scenario following multiple meetings and discussions. The purpose of this technical paper is to describe the outcomes of adiabatic calorimetry performed at the lab scale so that the computation of the vents for a particular recipe and scenario can be verified.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

to assess the construct validity and reliability of the Pediatric Patient Classification Instrument. correlation study developed at a teaching hospital. The classification involved 227 patients, using the pediatric patient classification instrument. The construct validity was assessed through the factor analysis approach and reliability through internal consistency. the Exploratory Factor Analysis identified three constructs with 67.5% of variance explanation and, in the reliability assessment, the following Cronbach's alpha coefficients were found: 0.92 for the instrument as a whole; 0.88 for the Patient domain; 0.81 for the Family domain; 0.44 for the Therapeutic procedures domain. the instrument evidenced its construct validity and reliability, and these analyses indicate the feasibility of the instrument. The validation of the Pediatric Patient Classification Instrument still represents a challenge, due to its relevance for a closer look at pediatric nursing care and management. Further research should be considered to explore its dimensionality and content validity.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introductions: In the care of hypertension, it is important that health professionals possess available tools that allow evaluating the impairment of the health-related quality of life, according to the severity of hypertension and the risk for cardiovascular events. Among the instruments developed for the assessment of health-related quality of life, there is the Mini-Cuestionario of Calidad de Vida en la Hipertensión Arterial (MINICHAL) recently adapted to the Brazilian culture. Objective: To estimate the validity of known groups of the Brazilian version of the MINICHAL regarding the classification of risk for cardiovascular events, symptoms, severity of dyspnea and target-organ damage. Methods: Data of 200 hypertensive outpatients concerning sociodemographic and clinical information and health-related quality of life were gathered by consulting the medical charts and the application of the Brazilian version of MINICHAL. The Mann-Whitney test was used to compare health-related quality of life in relation to symptoms and target-organ damage. The Kruskal-Wallis test and ANOVA with ranks transformation were used to compare health-related quality of life in relation to the classification of risk for cardiovascular events and intensity of dyspnea, respectively. Results: The MINICHAL was able to discriminate health-related quality of life in relation to symptoms and kidney damage, but did not discriminate health-related quality of life in relation to the classification of risk for cardiovascular events. Conclusion: The Brazilian version of the MINICHAL is a questionnaire capable of discriminating differences on the health‑related quality of life regarding dyspnea, chest pain, palpitation, lipothymy, cephalea and renal damage.Fundamento: No cuidado ao hipertenso, é importante que o profissional de saúde disponha de ferramentas que possibilitem avaliar o comprometimento da qualidade de vida relacionada à saúde, de acordo com a gravidade da hipertensão e o risco para eventos cardiovasculares. Dentre os instrumentos criados para avaliação da qualidade de vida relacionada à saúde, destaca-se o Mini-Cuestionario de Calidad de Vida en la Hipertensión Arterial (MINICHAL), recentemente adaptado para a cultura brasileira. Objetivo: Estimar a validade de grupos conhecidos da versão brasileira do MINICHAL em relação à classificação de risco para eventos cardiovasculares, sintomas, intensidade da dispneia e lesões de órgãos-alvo. Métodos: Foram investigados 200 hipertensos em seguimento ambulatorial, cujos dados sociodemográficos, clínicos e de qualidade de vida relacionada à saúde foram obtidos por meio de consulta ao prontuário e da aplicação da versão brasileira do MINICHAL. O teste de Mann-Whitney foi utilizado para comparar qualidade de vida relacionada à saúde em relação aos sintomas e às lesões de órgãos-alvo. Teste de Kruskal-Wallis e ANOVA com transformação nos ranks foram empregados para comparar qualidade de vida relacionada à saúde em relação à classificação de risco para eventos cardiovasculares e intensidade da dispneia, respectivamente. Resultados: O MINICHAL discriminou qualidade de vida relacionada à saúde em relação aos sintomas e dano renal (lesões de órgãos-alvo), porém não discriminou qualidade de vida relacionada à saúde em relação à classificação de risco para eventos cardiovasculares. Conclusão: A versão brasileira do MINICHAL é um instrumento capaz de discriminar diferenças na qualidade de vida relacionada à saúde em relação aos sintomas de dispneia, precordialgia, palpitação, lipotímia, cefaleia e presença de dano renal.