6 resultados para structuring

em University of Queensland eSpace - Australia


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cooperative, small-group learning is widely recognised as a pedagogical practice that promotes learning and socialisation across a range of curriculum areas from primary school through to high school and college. When children work cooperatively together, they learn to give and receive help, share their ideas and listen to other students’ perspectives, seek new ways of clarifying differences, resolving problems, and constructing new understandings and knowledge. The result is that students attain higher academic outcomes and are more motivated to achieve than they would be if they worked alone. This paper provides an overview of five different studies that the author has conducted that demonstrate clearly the importance of explicitly structuring cooperative small-group work in classrooms if children are to derive the benefits widely attributed to this pedagogical practice.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Analysis of gene flow and migration of Helicoverpa armigera (Hubner) in a major cropping region of Australia identified substantial genetic structuring, migration events, and significant population genotype changes over the 38-mo sample period from November 1999 to January 2003. Five highly variable microsatellite markers were used to analyze 916 individuals from 77 collections across 10 localities in the Darling Downs. The molecular data indicate that in some years (e.g., April 2002-March 2003), low levels of H. armigera migration and high differentiation between populations occurred, whereas in other years (e.g., April 2001-March 2002), there were higher levels of adult moth movement resulting in little local structuring of populations. Analysis of populations in other Australian cropping regions provided insight into the quantity and direction of immigration of H. armigera adults into the Darling Downs growing region of Australia. These data provide evidence adult moth movement differs from season to season, highlighting the importance of studies in groups such as the Lepidoptera extending over consecutive years, because short-term sampling may be misleading when population dynamics and migration change so significantly. This research demonstrates the importance of maintaining a coordinated insecticide resistance management strategy, because in some years H. armigera populations may be independent within a region and thus significantly influenced by local management practices; however, periods with high migration will occur and resistance may rapidly spread.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An inherent incomputability in the specification of a functional language extension that combines assertions with dynamic type checking is isolated in an explicit derivation from mathematical specifications. The combination of types and assertions (into "dynamic assertion-types" - DATs) is a significant issue since, because the two are congruent means for program correctness, benefit arises from their better integration in contrast to the harm resulting from their unnecessary separation. However, projecting the "set membership" view of assertion-checking into dynamic types results in some incomputable combinations. Refinement of the specification of DAT checking into an implementation by rigorous application of mathematical identities becomes feasible through the addition of a "best-approximate" pseudo-equality that isolates the incomputable component of the specification. This formal treatment leads to an improved, more maintainable outcome with further development potential.