949 resultados para Proof.
Resumo:
Anselm of Canterbury (1033–1109) was a prolific letter writer. The modern edition of his letter collection comprises more than 600 folio-size pages in print and includes 472 letters, the vast majority of which were sent by him. Our knowledge of Anselm’s letters is derived from collections of his letters, for none of his correspondence survives in its original form of individual letters. There was no one canonical version of the collection, and the extant manuscripts generally differ substantially: the largest medieval manuscript witnesses include over 400 letters, while the smallest contain only a few. We know 38 manuscript witnesses, but no authorial manuscript survives. Certain references in Anselm’s letters reveal, however, that he collected his correspondence on at least two occasions while he was still abbot of Bec, and this study proposes that a third collection was possibly made under his supervision in Christ Church. The third collection also covered Anselm’s Canterbury period. Whether the third collection was authorial or posthumous is unclear. Certain contextual evidence and references in letters would suggest that the collection was authorial. If so, the collection was probably a register book, which was started in c. 1101 at the earliest. There is no positive proof that any of the three surviving minor collections may be authorial. Each of these collections was circulating at a very early stage, however, some probably in Anselm’s lifetime. Moreover, the minor collections seem to have been put together from smaller source units, which possibly originated at Bec. The contents of these units suggest very early and possibly authorial origins: the letters are mainly from Anselm’s years as prior of Bec. The critical edition by F. S. Schmitt represents the current phase in the textual tradition of Anselm’s letter collection. This study demonstrates that the value of the edition is weakened in particular by the way in which Schmitt selected manuscripts for collation, doubtless influenced by the fact that he had not established the structure of the tradition properly. Ultimately it is impossible to undertake systematic research on the letter collection on the basis of Schmitt’s edition.
Resumo:
Bestiality was in the 18th century a more difficult problem in terms of criminal policy in Sweden and Finland than in any other Christian country in any other period. In the legal history of deviant sexuality, the phenomenon was uniquely widespread by international comparison. The number of court cases per capita in Finland was even higher than in Sweden. The authorities classified bestiality among the most serious crimes and a deadly sin. The Court of Appeal in Turku opted for an independent line and was clearly more lenient than Swedish courts of justice. Death sentences on grounds of bestiality ended in the 1730s, decades earlier than in Sweden. The sources for the present dissertation include judgment books and Court of Appeal decisions in 253 cases, which show that the persecution of those engaging in bestial acts in 18th century Finland was not organised by the centralised power of Stockholm. There is little evidence of local campaigns that would have been led by authorities. The church in its orthodoxy was losing ground and the clergy governed their parishes with more pragmatism than the Old Testament sanctioned. When exposing bestiality, the legal system was compelled to rely on the initiative of the public. In cases of illicit intercourse or adultery the authorities were even more dependent on the activeness of the local community. Bestiality left no tangible evidence, illegitimate children, to betray the crime to the clergy or secular authorities. The moral views of the church and the local community were not on a collision course. It was a common view that bestiality was a heinous act. Yet nowhere near all crimes came to the authorities' knowledge. Because of the heavy burden of proof, the legal position of the informer was difficult. Passiveness in reporting the crime was partly because most Finns felt it was not their place to intervene in their neighbours' private lives, as long as that privacy posed no serious threat to the neighbourhood. Hidden crime was at least as common as crime more easily exposed and proven. A typical Finnish perpetrator of bestiality was a young unmarried man with no criminal background or mental illness. The suspects were not members of ethnic minorities or marginal social groups. In trials, farmhands were more likely to be sentenced than their masters, but a more salient common denominator than social and economical status was the suspects' young age. For most of the defendants bestiality was a deep-rooted habit, which had been adopted in early youth. This form of subculture spread among the youth, and the most susceptible to experiment with the act were shepherds. The difference between man and animal was not clear-cut or self-evident. The difficulty in drawing the line is evident both in legal sources and Finnish folklore. The law that required that the animal partners be slaughtered led to the killing of thousands of cows and mares, and thereby to substantial material losses to their owners. Regarding bestiality as a crime against property motivated people to report it. The belief that the act would produce human-animal mongrels or that it would poison the milk and the meat horrified the public more than the teachings of the church ever could. Among the most significant aspects in the problems regarding the animals is how profoundly different the worldview of 18th century people was from that of today.
Resumo:
This splitting techniques for MARKOV chains developed by NUMMELIN (1978a) and ATHREYA and NEY (1978b) are used to derive an imbedded renewal process in WOLD's point process with MARKOV-correlated intervals. This leads to a simple proof of renewal theorems for such processes. In particular, a key renewal theorem is proved, from which analogues to both BLACKWELL's and BREIMAN's forms of the renewal theorem can be deduced.
Resumo:
A novel technique was developed for the flocculation of marine microalgae commonly used in aquaculture. The process entailed an adjustment of pH of culture to between 10 and 10.6 using NaOH, followed by addition of a non-ionic polymer Magnafloc LT-25 to a final concentration of 0.5 mg L-1. The ensuing flocculate was harvested, and neutralised giving a final concentration factor of between 200- and 800-fold. This process was successfully applied to harvest cells of Chaetoceros calcitrans, C. muelleri, Thalassiosira pseudonana, Attheya septentrionalis, Nitzschia closterium, Skeletonema sp., Tetraselmis suecica and Rhodomonas salina, with efficiencies >=80%. The process was rapid, simple and inexpensive, and relatively cost neutral with increasing volume (cf. concentration by centrifugation). Harvested material was readily disaggregated to single cell suspensions by dilution in seawater and mild agitation. Microscopic examination of the cells showed them to be indistinguishable from corresponding non-flocculated cells. Chlorophyll analysis of concentrates prepared from cultures of Concentrates of T. pseudonana prepared using pH-induced flocculation gave better growth of juvenile Pacific oysters (Crassostrea gigas) than concentrates prepared by ferric flocculation, or centrifuged concentrates using a cream separator or laboratory centrifuge. In follow up experiments, concentrates prepared from 1000 L Chaetoceros muelleri cultures were effective as supplementary diets to improve the growth of juvenile C. gigas and the scallop Pecten fumatus reared under commercial conditions, though not as effective as the corresponding live algae. The experiments demonstrated a proof-of-concept for a commercial application of concentrates prepared by flocculation, especially for use at a remote nursery without on-site mass-algal culture facilities.
Resumo:
- Background One of the three objectives of the WHO Global Disability Action Plan 2014–2021 is removal of barriers and improved access to health services and programmes. Access to transport contributes to positive health outcomes; however, people with disabilities leaving their dwellings are confronted with barriers to their mobility. Mobility restrictions, sensory or other disabilities increase their vulnerability as road users, exposing them to higher risks of injury. PHSW and CARRS-Q have been collaborating with Handicap International Cambodia (HIC) on a Journey Access Tool (JAT). - Aims Use of the JAT is to (1) Identify transport and journey safety and barriers for people with disability and (2) Evaluation and modification of the tool after trailing to for use by NGOs and government agencies in prioritising actions around barriers. - Methodology The tool has undergone initial proof-of-concept testing in India and Viet Nam, and was trialled in Cambodia in February and May, 2015. Five teams were formed comprising a person with disability (physical, sensory or intellectual), researchers from QUT, staff from HIC, and local university students. The JAT was completed by each team and then discussed and evaluated. Two further Cambodian trials are scheduled for 2015. - Results The JAT is responsive to rural and urban contexts, and has utility for people with different disabilities. Two tools have been developed: a short version for people with a disability to complete independently, or with assistance; and a version for NGOs, DPOs and government. The tool has efficacy for advocacy. - Conclusion The JAT has potential to assist the Mekong region with: (1) evaluating access for people with disability and other vulnerable members of the community including older people; (2) developing plans for changes to the routes in consultation with local authorities; (3) evaluating the effectiveness of implemented changes in terms of access and health; (4) inputting into policy; (5) The tool can be used for advocacy for change.
Resumo:
Erosion resistance of pressed soil blocks used for wall construction is discussed. The spray erosion test using a standardized shower spray is discussed. Spray erosion behaviour of pressed soil blocks made out of five different soils is presented. Results of laboratory and field tests are compared. Effect of clay content of the soil and density of the pressed soil block on erosion are discussed. Also the effect of water-proof coatings on erosion of soil blocks is presented. Erosion resistance of soil blocks stabilized with organic (jaggery syrup and starch) or inorganic binders is also discussed.
Resumo:
1. Mammalian predators are controlled by poison baiting in many parts of the world, often to alleviate their impacts on agriculture or the environment. Although predator control can have substantial benefits, the poisons used may also be potentially harmful to other wildlife. 2. Impacts on non-target species must be minimized, but can be difficult to predict or quantify. Species and individuals vary in their sensitivity to toxins and their propensity to consume poison baits, while populations vary in their resilience. Wildlife populations can accrue benefits from predator control, which outweigh the occasional deaths of non-target animals. We review recent advances in Australia, providing a framework for assessing non-target effects of poisoning operations and for developing techniques to minimize such effects. We also emphasize that weak or circumstantial evidence of non-target effects can be misleading. 3. Weak evidence that poison baiting presents a potential risk to non-target species comes from measuring the sensitivity of species to the toxin in the laboratory. More convincing evidence may be obtained by quantifying susceptibility in the field. This requires detailed information on the propensity of animals to locate and consume poison baits, as well as the likelihood of mortality if baits are consumed. Still stronger evidence may be obtained if predator baiting causes non-target mortality in the field (with toxin detected by post-mortem examination). Conclusive proof of a negative impact on populations of non-target species can be obtained only if any observed non-target mortality is followed by sustained reductions in population density. 4. Such proof is difficult to obtain and the possibility of a population-level impact cannot be reliably confirmed or dismissed without rigorous trials. In the absence of conclusive evidence, wildlife managers should adopt a precautionary approach which seeks to minimize potential risk to non-target individuals, while clarifying population-level effects through continued research.
Resumo:
We consider the problem of estimating the optimal parameter trajectory over a finite time interval in a parameterized stochastic differential equation (SDE), and propose a simulation-based algorithm for this purpose. Towards this end, we consider a discretization of the SDE over finite time instants and reformulate the problem as one of finding an optimal parameter at each of these instants. A stochastic approximation algorithm based on the smoothed functional technique is adapted to this setting for finding the optimal parameter trajectory. A proof of convergence of the algorithm is presented and results of numerical experiments over two different settings are shown. The algorithm is seen to exhibit good performance. We also present extensions of our framework to the case of finding optimal parameterized feedback policies for controlled SDE and present numerical results in this scenario as well.
Resumo:
The vision sense of standalone robots is limited by line of sight and onboard camera capabilities, but processing video from remote cameras puts a high computational burden on robots. This paper describes the Distributed Robotic Vision Service, DRVS, which implements an on-demand distributed visual object detection service. Robots specify visual information requirements in terms of regions of interest and object detection algorithms. DRVS dynamically distributes the object detection computation to remote vision systems with processing capabilities, and the robots receive high-level object detection information. DRVS relieves robots of managing sensor discovery and reduces data transmission compared to image sharing models of distributed vision. Navigating a sensorless robot from remote vision systems is demonstrated in simulation as a proof of concept.
Resumo:
ADHD (attention deficit hyperactivity disorder) is developmental neurobiological disability. In adults, the prevalence of ADHD has been estimated to be about 4 %. In addition to the difficulties of attention, the problems in executive functioning are typical. The psychiatric comorbidities are common. The most extensively studied treatments are pharmacological. There is also evidence about the usefulness of the cognitive-behavioural therapy (CBT) in the treatment of adults with ADHD. There are some preliminary results about the effectiveness of cognitive training and hypnosis in children, but there is no scientific proof in adults. This dissertation is based on two intervention studies. In the first study, the usefulness of the new group CBT (n = 29) and the maintenance of the symptom reduction in the follow-up of six months were studied. In the second study, the usefulness of short hypnotherapy (n = 9), short individual CBT (n = 10) and computerized cognitive training (n = 9) were examined by comparing groups with each other and to the control group (n = 10). The participation in the group CBT and the participants' satisfaction were good. There were no changes in self-reports during waiting period of three months. After the rehabilitation, the symptoms decreased. Participants having symptom reduction during rehabilitation maintained their benefit through 6-month follow-up period. In a combined ADHD symptom score based on self-reports, seven participants in the hypnotherapy, six in the CBT, two in the cognitive training and two controls improved. Using independent evaluations, improvement was found in six of the hypnotherapy, seven of the CBT, two of the cognitive training and three of the control participants. There was no treatment-related improvement in cognitive performance. Thus, in the hypnotherapy and CBT groups, some encouraging improvement was seen. In the cognitive training group, there was improvement in the trained tasks but no generalization of the improvement. The results support the earlier results from the usefulness of CBT in the treatment of adults with ADHD. Also the hypnotherapy seems a useful rehabilitation. More research is needed to evaluate the usefulness of cognitive training. These promising results warrant further studies with more participants and with longer treatment duration. Also different measures of cognitive functioning and quality of life are needed. It is important in addition to the medication to arrange psychosocial interventions for the ADHD adults.
Resumo:
Rabbits released in Australia in 1859 spread to most areas of suitable habitat by 1910 causing great damage to the environment and primary industries. Measurement of damage is essential to justify spending money and utilising resources to remove rabbits. Damage to pasture and biodiversity may be irreversible and therefore difficult to measure without comparison with an area that has never suffered such damage. A rabbit proof fence completed in 1906 protected a large part of south east Queensland from rabbits. The Darling Downs Moreton Rabbit Board (DDMRB) continues to maintain the fence and keep the area relatively free of rabbits. This area is unique because it is highly suitable for rabbits and yet it has never ‘experienced’ the damage caused by plagues of uncontrolled rabbits. A study site was established where the DDMRB fence separates an area heavily used by rabbits (‘dirty side’) from an area that has never been infested by rabbits (‘clean side’). The number and location of all rabbit warrens and log piles were recorded. The absence of warrens from the ‘clean side’ shows clearly that the rabbit proof fence has prevented rabbits from establishing warren systems. The ‘dirty side’ is characterised by a high number of warrens, a high density of rabbits, fewer pasture species and low macropod activity. Future work will determine whether the rabbit populations are viable in the absence of rabbit warrens. We plan to radio collar rabbits on both sides of the fence to measure their survival rate. In selected warrens and log piles of varying degrees of complexity and size, rabbits will be trapped and information on reproduction and age structure will be collected. This will allow better targeting of the source of rabbits during control operations. Once the initial comparative analysis of the site has been completed, all rabbit warrens will be destroyed on the dirty side of the fence. After rabbits are removed from this area, monitoring will continue to determine if pasture and biodiversity on opposite sides of the fence begin to mirror each other.
Resumo:
To strive to improve the rehabilitation program of individuals with transfemoral amputation fitted with bone-anchored prosthesis based on data from direct measurements of the load applied on the residuum we first of all need to understand the load applied on the fixation. Therefore the load applied on the residuum was first directly measured during standardized activities of daily living such as straight line level walking, ascending and descending stairs and a ramp and walking around a circle. From measuring the load in standardized activities of daily living the load was also measured during different phases of the rehabilitation program such as during walking with walking aids and during load bearing exercises.[1-15] The rehabilitation program for individuals with a transfemoral amputation fitted with an OPRA implant relies on a combination of dynamic and static load bearing exercises.[16-20] This presentation will focus on the study of a set of experimental static load bearing exercises. [1] A group of eleven individuals with unilateral transfemoral amputation fitted with an OPRA implant participated in this study. The load on the implant during the static load bearing exercises was measured using a portable system including a commercial transducer embedded in a short pylon, a laptop and a customized software package. This apparatus was previously shown effective in a proof-of-concept study published by Prof. Frossard. [1-9] The analysis of the static load bearing exercises included an analysis of the reliability as well as the loading compliance. The analysis of the loading reliability showed a high reliability between the loading sessions indicating a correct repetition of the LBE by the participants. [1, 5] The analysis of the loading compliance showed a significant lack of axial compliance leading to a systematic underloading of the long axis of the implant during the proposed experimental static LBE.
Resumo:
It is well known that the notions of normal forms and acyclicity capture many practical desirable properties for database schemes. The basic schema design problem is to develop design methodologies that strive toward these ideals. The usual approach is to first normalize the database scheme as far as possible. If the resulting scheme is cyclic, then one tries to transform it into an acyclic scheme. In this paper, we argue in favor of carrying out these two phases of design concurrently. In order to do this efficiently, we need to be able to incrementally analyze the acyclicity status of a database scheme as it is being designed. To this end, we propose the formalism of "binary decompositions". Using this, we characterize design sequences that exactly generate theta-acyclic schemes, for theta = agr,beta. We then show how our results can be put to use in database design. Finally, we also show that our formalism above can be effectively used as a proof tool in dependency theory. We demonstrate its power by showing that it leads to a significant simplification of the proofs of some previous results connecting sets of multivalued dependencies and acyclic join dependencies.
Resumo:
With the rapid development of various technologies and applications in smart grid implementation, demand response has attracted growing research interests because of its potentials in enhancing power grid reliability with reduced system operation costs. This paper presents a new demand response model with elastic economic dispatch in a locational marginal pricing market. It models system economic dispatch as a feedback control process, and introduces a flexible and adjustable load cost as a controlled signal to adjust demand response. Compared with the conventional “one time use” static load dispatch model, this dynamic feedback demand response model may adjust the load to a desired level in a finite number of time steps and a proof of convergence is provided. In addition, Monte Carlo simulation and boundary calculation using interval mathematics are applied for describing uncertainty of end-user's response to an independent system operator's expected dispatch. A numerical analysis based on the modified Pennsylvania-Jersey-Maryland power pool five-bus system is introduced for simulation and the results verify the effectiveness of the proposed model. System operators may use the proposed model to obtain insights in demand response processes for their decision-making regarding system load levels and operation conditions.
Resumo:
Signed lower left by photographer