78 resultados para 280402 Mathematical Logic and Formal Languages
Resumo:
The intention of this review is to place crop albedo biogeoengineering in the wider picture of climate manipulation. Crop biogeoengineering is considered within the context of the long-term modification of the land surface for agriculture over several thousand years. Biogeoengineering is also critiqued in relation to other geoengineering schemes in terms of mitigation power and adherence to social principles for geoengineering. Although its impact is small and regional, crop biogeoengineering could be a useful and inexpensive component of an ensemble of geoengineering schemes to provide temperature mitigation. The method should not detrimentally affect food security and there may even be positive impacts on crop productivity, although more laboratory and field research is required in this area to understand the underlying mechanisms.
Resumo:
The catchment of the River Thames, the principal river system in southern England, provides the main water supply for London but is highly vulnerable to changes in climate, land use and population. The river is eutrophic with significant algal blooms with phosphorus assumed to be the primary chemical indicator of ecosystem health. In the Thames Basin, phosphorus is available from point sources such as wastewater treatment plants and from diffuse sources such as agriculture. In order to predict vulnerability to future change, the integrated catchments model for phosphorus (INCA-P) has been applied to the river basin and used to assess the cost-effectiveness of a range of mitigation and adaptation strategies. It is shown that scenarios of future climate and land-use change will exacerbate the water quality problems, but a range of mitigation measures can improve the situation. A cost-effectiveness study has been undertaken to compare the economic benefits of each mitigation measure and to assess the phosphorus reductions achieved. The most effective strategy is to reduce fertilizer use by 20% together with the treatment of effluent to a high standard. Such measures will reduce the instream phosphorus concentrations to close to the EU Water Framework Directive target for the Thames.
Resumo:
We study the approximation of harmonic functions by means of harmonic polynomials in two-dimensional, bounded, star-shaped domains. Assuming that the functions possess analytic extensions to a delta-neighbourhood of the domain, we prove exponential convergence of the approximation error with respect to the degree of the approximating harmonic polynomial. All the constants appearing in the bounds are explicit and depend only on the shape-regularity of the domain and on delta. We apply the obtained estimates to show exponential convergence with rate O(exp(−b square root N)), N being the number of degrees of freedom and b>0, of a hp-dGFEM discretisation of the Laplace equation based on piecewise harmonic polynomials. This result is an improvement over the classical rate O(exp(−b cubic root N )), and is due to the use of harmonic polynomial spaces, as opposed to complete polynomial spaces.
Resumo:
Using a combination of density functional theory calculations and statistical mechanics, we show that a wide range of intermediate compositions of ceria – zirconia solid solutions are thermodynamically metastable with respect to phase separation into Ce-rich and Zr-rich oxides. We estimate that the maximum equilibrium concentration of Zr in CeO2 at 1373 K is ~2%, and therefore equilibrated samples with higher Zr content are expected to exhibit heterogeneity at the atomic scale. We also demonstrate that in the vicinity of the (111) surface, cation redistribution at high temperatures will occur with significant Ce enrichment of the surface, which we attribute to the more covalent character of Zr-O bonds compared to Ce-O bonds. Although the kinetic barriers for cation diffusion normally prevent the decomposition/segregation of ceria-zirconia solid solutions in typical catalytic applications, the separation behaviour described here can be expected to occur in modern three-way catalytic converters, where very high temperatures are reached.
Resumo:
It is widely assumed that the British are poorer modern foreign language (MFL) learners than their fellow Europeans. Motivation has often been seen as the main cause of this perceived disparity in language learning success. However, there have also been suggestions that curricular and pedagogical factors may play a part. This article reports a research project investigating how German and English 14- to 16-year-old learners of French as a first foreign language compare to one another in their vocabulary knowledge and in the lexical diversity, accuracy and syntactic complexity of their writing. Students from comparable schools in Germany and England were set two writing tasks which were marked by three French native speakers using standardised criteria aligned to the Common European Framework of Reference (CEF). Receptive vocabulary size and lexical diversity were established by the X_lex test and a verb types measure respectively. Syntactic complexity and formal accuracy were respectively assessed using the mean length of T-units (MLTU) and words/error metrics. Students' and teachers' questionnaires and semi-structured interviews were used to provide information and participants' views on classroom practices, while typical textbooks and feedback samples were analysed to establish differences in materials-related input and feedback in the two countries. The German groups were found to be superior in vocabulary size, and in the accuracy, lexical diversity and overall quality – but not the syntactic complexity – of their writing. The differences in performance outcomes are analysed and discussed with regard to variables related to the educational contexts (e.g. curriculum design and methodology).
Resumo:
Over the last decade, due to the Gravity Recovery And Climate Experiment (GRACE) mission and, more recently, the Gravity and steady state Ocean Circulation Explorer (GOCE) mission, our ability to measure the ocean’s mean dynamic topography (MDT) from space has improved dramatically. Here we use GOCE to measure surface current speeds in the North Atlantic and compare our results with a range of independent estimates that use drifter data to improve small scales. We find that, with filtering, GOCE can recover 70% of the Gulf Steam strength relative to the best drifter-based estimates. In the subpolar gyre the boundary currents obtained from GOCE are close to the drifter-based estimates. Crucial to this result is careful filtering which is required to remove small-scale errors, or noise, in the computed surface. We show that our heuristic noise metric, used to determine the degree of filtering, compares well with the quadratic sum of mean sea surface and formal geoid errors obtained from the error variance–covariance matrix associated with the GOCE gravity model. At a resolution of 100 km the North Atlantic mean GOCE MDT error before filtering is 5 cm with almost all of this coming from the GOCE gravity model.
Resumo:
In recent decades, the Arctic has been warming and sea ice disappearing. By contrast, the Southern Ocean around Antarctica has been (mainly) cooling and sea-ice extent growing. We argue here that interhemispheric asymmetries in the mean ocean circulation, with sinking in the northern North Atlantic and upwelling around Antarctica, strongly influence the sea-surface temperature (SST) response to anthropogenic greenhouse gas (GHG) forcing, accelerating warming in the Arctic while delaying it in the Antarctic. Furthermore, while the amplitude of GHG forcing has been similar at the poles, significant ozone depletion only occurs over Antarctica. We suggest that the initial response of SST around Antarctica to ozone depletion is one of cooling and only later adds to the GHG-induced warming trend as upwelling of sub-surface warm water associated with stronger surface westerlies impacts surface properties. We organize our discussion around ‘climate response functions’ (CRFs), i.e. the response of the climate to ‘step’ changes in anthropogenic forcing in which GHG and/or ozone-hole forcing is abruptly turned on and the transient response of the climate revealed and studied. Convolutions of known or postulated GHG and ozone-hole forcing functions with their respective CRFs then yield the transient forced SST response (implied by linear response theory), providing a context for discussion of the differing warming/cooling trends in the Arctic and Antarctic. We speculate that the period through which we are now passing may be one in which the delayed warming of SST associated with GHG forcing around Antarctica is largely cancelled by the cooling effects associated with the ozone hole. By mid-century, however, ozone-hole effects may instead be adding to GHG warming around Antarctica but with diminished amplitude as the ozone hole heals. The Arctic, meanwhile, responding to GHG forcing but in a manner amplified by ocean heat transport, may continue to warm at an accelerating rate.
Resumo:
Simultaneous observations in the high-latitude ionosphere and in the near-Earth interplanetary medium have revealed the control exerted by the interplanetary magnetic field and the solar wind flow on field-perpendicular convection of plasma in both the ionosphere and the magnetosphere. Previous studies, using statistical surveys of data from both low-altitude polar-orbiting satellites and ground-based radars and magnetometers, have established that magnetic reconnection at the dayside magnetopause is the dominant driving mechanism for convection. More recently, ground-based data and global auroral images of higher temporal resolution have been obtained and used to study the response of the ionospheric flows to changes in the interplanetary medium. These observations show that ionospheric convection responds rapidly (within a few minutes) to both increases and decreases in the reconnection rate over a range of spatial scales, as well as revealing transient enhancements which are also thought to be related to magnetopause phenomena. Such results emphasize the potential of ground-based radars and other remote-sensing instruments for studies of the Earth's interaction with the interplanetary medium.
Eventive and stative passives and copula selection in Canadian and American heritage speaker Spanish
Resumo:
Spanish captures the difference between eventive and stative passives via an obligatory choice between two copula; verbal passives take the copula ser and adjectival passives take the copula estar. In this study, we compare and contrast US and Canadian heritage speakers of Spanish on their knowledge of this difference in relation to copula choice in Spanish. The backgrounds of the target groups differ significantly from each other in that only one of them, the Canadian group, has grown up in a societal multilingual environment. We discuss the results as being supportive of two non-mutually exclusive explanation factors: (a) French facilitates (bootstraps) the acquisition of eventive and stative passives and/or (b) the US/Canadian HS differences (e.g. status of bilingualism and the languages at stake) is a reflection of the uniqueness of the language contact situations and the effects this has on the input HSS receive.
Resumo:
In recent years, researchers have acknowledged that the study of third language acquisition cannot simply be viewed as an extension of the study of bilingualism, and the present volume’s authors agree that a point of departure that embraces the unique properties that differentiate L2 acquisition from L3/Ln acquisition is essential. From linguistic, sociological, psychological, educational and cognitive viewpoints, it has become increasingly apparent that the study of L3/Ln acquisition can provide new evidence to help resolve ongoing debates in these areas of study. This volume uniquely provides a wide-ranging overview of current trends in the study of adult additive multilingualism from formal, psycholinguistic and sociolinguistic perspectives, adding new insights into adult multilingual epistemology. This collection includes critical reviews of L3/Ln morphosyntax, phonology, and the lexicon, as well as individual studies with unique language pairings including Romance, Germanic, Slavic, and Asian languages.
Resumo:
This chapter examines the responses of English primary school teachers to Polish children arriving in the south of England since 2006. Schools in England have a changing pupil demographic which reflects changing patterns of trans-European migration since the accession of new member states to the EU in 2004 and 2007. There is evidence that this shift is one experienced not just in inner-city schools most commonly associated with minority ethnic populations, but in a wide range of schools in rural and smaller town settings in a number of counties across the country. In adjusting to new identities and new languages in their classrooms, teachers in areas not previously associated with national or ethnic differences are required to respond pedagogically and pastorally in new ways. Their beliefs are compared with the views of migration held by Polish teachers’ from one Polish town affected by migration. Interview data are analysed in order to explore differences in perception towards Polish migrant families and their children. Discussion centres on English teachers’ very positive responses to Polish children, and of how the teacher-friendly behaviour of Polish families may support the construction of stereotypes that are not necessarily a reflection of reality as experienced by the children.
Resumo:
We present a new set of subjective age-of-acquisition (AoA) ratings for 299 words (158 nouns, 141 verbs) in 25 languages from five language families (Afro-Asiatic: Semitic languages; Altaic: one Turkic language: Indo-European: Baltic, Celtic, Germanic, Hellenic, Slavic, and Romance languages; Niger-Congo: one Bantu language; Uralic: Finnic and Ugric languages). Adult native speakers reported the age at which they had learned each word. We present a comparison of the AoA ratings across all languages by contrasting them in pairs. This comparison shows a consistency in the orders of ratings across the 25 languages. The data were then analyzed (1) to ascertain how the demographic characteristics of the participants influenced AoA estimations and (2) to assess differences caused by the exact form of the target question (when did you learn vs. when do children learn this word); (3) to compare the ratings obtained in our study to those of previous studies; and (4) to assess the validity of our study by comparison with quasi-objective AoA norms derived from the MacArthur–Bates Communicative Development Inventories (MB-CDI). All 299 words were judged as being acquired early (mostly before the age of 6 years). AoA ratings were associated with the raters’ social or language status, but not with the raters’ age or education. Parents reported words as being learned earlier, and bilinguals reported learning them later. Estimations of the age at which children learn the words revealed significantly lower ratings of AoA. Finally, comparisons with previous AoA and MB-CDI norms support the validity of the present estimations. Our AoA ratings are available for research or other purposes.
Resumo:
We study the dynamical properties of certain shift spaces. To help study these properties we introduce two new classes of shifts, namely boundedly supermultiplicative (BSM) shifts and balanced shifts. It turns out that any almost specified shift is both BSM and balanced, and any balanced shift is BSM. However, as we will demonstrate, there are examples of shifts which are BSM but not balanced. We also study the measure theoretic properties of balanced shifts. We show that a shift space admits a Gibbs state if and only if it is balanced. Restricting ourselves to S-gap shifts, we relate certain dynamical properties of an S-gap shift to combinatorial properties from expansions in non-integer bases. This identification allows us to use the machinery from expansions in non-integer bases to give straightforward constructions of S -gap shifts with certain desirable properties. We show that for any q∈(0,1) there is an S-gap shift which has the specification property and entropy q . We also use this identification to address the question, for a given q∈(0,1), how many S-gap shifts exist with entropy q? For certain exceptional values of q there is a unique S-gap shift with this entropy.
Resumo:
Mathematical relationships between Scoring Parameters can be used in Economic Scoring Formulas (ESF) in tendering to distribute the score among bidders in the economic part of a proposal. Each contracting authority must set an ESF when publishing tender specifications and the strategy of each bidder will differ depending on the ESF selected and the weight of the overall proposal scoring. This paper introduces the various mathematical relationships and density distributions that describe and inter-relate not only the main Scoring Parameters but the main Forecasting Parameters in any capped tender (those whose price is upper-limited). Forecasting Parameters, as variables that can be known in advance before the deadline of a tender is reached, together with Scoring Parameters constitute the basis of a future Bid Tender Forecasting Model.
Resumo:
Iso-score curves graph (iSCG) and mathematical relationships between Scoring Parameters (SP) and Forecasting Parameters (FP) can be used in Economic Scoring Formulas (ESF) used in tendering to distribute the score among bidders in the economic part of a proposal. Each contracting authority must set an ESF when publishing tender specifications and the strategy of each bidder will differ depending on the ESF selected and the weight of the overall proposal scoring. The various mathematical relationships and density distributions that describe the main SPs and FPs, and the representation of tendering data by means of iSCGs, enable the generation of two new types of graphs that can be very useful for bidders who want to be more competitive: the scoring and position probability graphs.