940 resultados para Formal Verification
Resumo:
This study was conducted to assess if fingerprint specialists could be influenced by extraneous contextual information during a verification process. Participants were separated into three groups: a control group (no contextual information was given), a low bias group (minimal contextual information was given in the form of a report prompting conclusions), and a high bias group (an internationally recognized fingerprint expert provided conclusions and case information to deceive this group into believing that it was his case and conclusions). A similar experiment was later conducted with laypersons. The results showed that fingerprint experts were influenced by contextual information during fingerprint comparisons, but not towards making errors. Instead, fingerprint experts under the biasing conditions provided significantly fewer definitive and erroneous conclusions than the control group. In contrast, the novice participants were more influenced by the bias conditions and did tend to make incorrect judgments, especially when prompted towards an incorrect response by the bias prompt.
Resumo:
Several superstructure design methodologies have been developed for low volume road bridges by the Iowa State University Bridge Engineering Center. However, to date no standard abutment designs have been developed. Thus, there was a need to establish an easy to use design methodology in addition to generating generic abutment standards and other design aids for the more common substructure systems used in Iowa. The final report for this project consists of three volumes. The first volume summarizes the research completed in this project. A survey of the Iowa County Engineers was conducted from which it was determined that while most counties use similar types of abutments, only 17 percent use some type of standard abutment designs or plans. A literature review revealed several possible alternative abutment systems for future use on low volume road bridges in addition to two separate substructure lateral load analysis methods. These consisted of a linear and a non-linear method. The linear analysis method was used for this project due to its relative simplicity and the relative accuracy of the maximum pile moment when compared to values obtained from the more complex non-linear analysis method. The resulting design methodology was developed for single span stub abutments supported on steel or timber piles with a bridge span length ranging from 20 to 90 ft and roadway widths of 24 and 30 ft. However, other roadway widths can be designed using the foundation design template provided. The backwall height is limited to a range of 6 to 12 ft, and the soil type is classified as cohesive or cohesionless. The design methodology was developed using the guidelines specified by the American Association of State Highway Transportation Officials Standard Specifications, the Iowa Department of Transportation Bridge Design Manual, and the National Design Specifications for Wood Construction. The second volume introduces and outlines the use of the various design aids developed for this project. Charts for determining dead and live gravity loads based on the roadway width, span length, and superstructure type are provided. A foundation design template was developed in which the engineer can check a substructure design by inputting basic bridge site information. Tables published by the Iowa Department of Transportation that provide values for estimating pile friction and end bearing for different combinations of soils and pile types are also included. Generic standard abutment plans were developed for which the engineer can provide necessary bridge site information in the spaces provided. These tools enable engineers to design and detail county bridge substructures more efficiently. The third volume (this volume) provides two sets of calculations that demonstrate the application of the substructure design methodology developed in this project. These calculations also verify the accuracy of the foundation design template. The printouts from the foundation design template are provided at the end of each example. Also several tables provide various foundation details for a pre-cast double tee superstructure with different combinations of soil type, backwall height, and pile type.
Resumo:
This study investigates the development of fluency in 30 advanced L2 learners of English over a period of 15 months. In order to measure fluency, several temporal variables and hesitation phenomena are analyzed and compared. Oral competence is assessed by means of an oral interview carried out by the learners. Data collection takes place at three different times: before (T1) and after (T2) a six-month period of FI (80 hours) in the home university, and after a three-month SA term (T3). The data is analyzed quantitatively. Developmental gains in fluency are measured for the whole period, adopting a view of complementarity between the two learning contexts. From these results, a group of high fluency speakers is identified. Correlations between fluency gains and individual and contextual variables are executed and a more qualitative analysis is performed for high fluency speakers' performance and behavior. Results show an overall development of students' oral fluency during a period of 15 months favored by the combination of a period of FI at home followed by a 3-months SA.
Resumo:
As motivações que levaram à realização deste intitulado Da Cidade da Ribeira Grande à Cidade Velha em Cabo Verde Análise Histórico-Formal do Espaço Urbano (Sec. XV - Sec. XVIII), está relacionado com algumas características específicas do núcleo em causa. O próprio título do trabalho revela, de certo modo, a transformação sofrida pelos espaços da antiguidade da Ribeira Grande em Cabo Verde, que depois de ter sido a capital do arquipélago foi abandonada e passou a designar-se “Cidade Velha”. Apesar disso, a Ribeira Grande é uma cidade referenciada no universo urbanístico português, embora a dimensão do seu significado supere a própria dimensão física do núcleo. Foi a primeira cidade a ser construída pelos portugueses nos trópicos, ou talvez a única da época se, por conveniência nossa, não incluirmos no nosso conceito as praças fortificadas do norte de África ou a “cidade fortificação” de S. Jorge da Mina. É importante também pelas características específicas da sua localização e do seu espaço urbano. Ao contrário das suas congéneres no continente africano, foi uma cidade aberta, fundada com intuito de fixação e colonização do território. Com efeito, talvez tenha sido uma comunidade efémera. Mas, no seu curto espaço de vida, soube representar o papel que lhe coube.
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:
The remarkable growth of older population has moved long term care to the front ranks of the social policy agenda. Understanding the factors that determine the type and amount of formal care is important for predicting use in the future and developing long-term policy. In this context we jointly analyze the choice of care (formal, informal, both together or none) as well as the number of hours of care received. Given that the number of hours of care is not independent of the type of care received, we estimate, for the first time in this area of research, a sample selection model with the particularity that the first step is a multinomial logit model. With regard to the debate about complementarity or substitutability between formal and informal care, our results indicate that formal care acts as a reinforcement of the family care in certain cases: for very old care receivers, in those cases in which the individual has multiple disabilities, when many care hours are provided, and in case of mental illness and/or dementia. There exist substantial differences in long term care addressed to younger and older dependent people and dependent women are in risk of becoming more vulnerable to the shortage of informal caregivers in the future. Finally, we have documented that there are great disparities in the availability of public social care across regions.
Resumo:
This paper describes a bibliographic analysis of the vision of Marshal McLuhan and the vision adopted by diverse current authors regarding the use of new interactive learning technologies. The paper also analyzes the transformation that will have to take place in the formal surroundings of education in order to improve their social function. The main points of view and contributions made by diverse authors are discussed. It is important that all actors involved in the educational process take in consideration these contributions in order to be ready for future changes.
Resumo:
The aim of this study is to determine the profile of dependent elderly people users of the home care services (SAD) of the regional council in Osona (Consell Comarcal d´Osona) , and the characteristics of formal and informal types of support they use. Methodology. An observational study of a transversal format has been carried out, with retrospective and descriptive purposes. The target population is 63 people (26 men and 37 women) included in the program of the regional SAD They have a recognized dependence grade approved by the law 39 /2006, December 14th , promoting the individual autonomy and care of elderly people in a dependent situation. The data were collected by social workers of basic social services, first with a home visit and followed by handed out questionnaires, specifically designed for this study, in order to obtain information on socio-demographic characteristics, and the type of support formal and informal. The obtained results on the SAD users are women in a 58.7% and a 41.3 % are men. The 84% of the total sampling are 80 years old and more, being the average age of 85.2 years old. 45% of them are married, 41% are widows and widowers and 14% are single. 54% are rated with severe dependence (grade II), 42.8% with high dependence (grade III). 86% live accompanied. 100% have an informal caregiver and a 95% of the times, the caregiver is a relative who in 73% of the cases the dedication time is permanent. The coverage of the SAD has an average of 4.27 hours per week and per user. The formal services most used are the technical (62%), also the assessment of an occupational therapist at home (57%) and the telecare service in a (56%). Conclusions. The SAD is used primarily for women in an advanced age and severe dependence. The informal assistance structures have an informal caregiver, being a member of the family mostly, living with the dependent, and mainly in a permanent dedication basis. The SAD has a varied intensity in each case. The formal support services complementary to the SAD, are largely used in all cases.
Resumo:
Report on a review of selected general and application controls over the Iowa Department of Human Services’ Issuance Verification System for the period March 19, 2009 through April 17, 2009
Resumo:
Plant circadian clock controls a wide variety of physiological and developmental events, which include the short-days (SDs)-specific promotion of the elongation of hypocotyls during de-etiolation and also the elongation of petioles during vegetative growth. In A. thaliana, the PIF4 gene encoding a phytochrome-interacting basic helix-loop-helix (bHLH) transcription factor plays crucial roles in this photoperiodic control of plant growth. According to the proposed external coincidence model, the PIF4 gene is transcribed precociously at the end of night specifically in SDs, under which conditions the protein product is stably accumulated, while PIF4 is expressed exclusively during the daytime in long days (LDs), under which conditions the protein product is degraded by the light-activated phyB and also the residual proteins are inactivated by the DELLA family of proteins. A number of previous reports provided solid evidence to support this coincidence model mainly at the transcriptional level of the PIF 4 and PIF4-traget genes. Nevertheless, the diurnal oscillation profiles of PIF4 proteins, which were postulated to be dependent on photoperiod and ambient temperature, have not yet been demonstrated. Here we present such crucial evidence on PIF4 protein level to further support the external coincidence model underlying the temperature-adaptive photoperiodic control of plant growth in A. thaliana.
Resumo:
El conocimiento del lenguaje de interrogación es una herramienta imprescindible para la recuperación de información. En este artículo se ofrece una gramática formal (sintaxis y semántica) para ese tipo de lenguaje. Esta gramática nos permite, por un lado, conocer el lenguaje de interrogación desde un plano sistemático y conceptual y, por otro lado, nos permite obtener ciertos beneficios prácticos de tipo sintáctico y de tipo semántico relacionados con los procesos de recuperación de información.