6 resultados para crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs

em Digital Commons at Florida International University


Relevância:

100.00% 100.00%

Publicador:

Resumo:

America’s deficiency in mathematics can be benefitted by an emphasis in mathematics from an early age. An effective math curriculum for preschool should consist of the most important aspects of early childhood mathematics, including number writing and identification, one-to-one correspondence, cardinality, number comparison, ordinality, number sequence, and number bonds.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Despite lake sensitivity to climate change, few Florida paleolimnological studies have focused on changes in hydrology. Evidence from Florida vegetation histories raise questions about long-term hydrologic history of Florida lakes, and a 25-year limnological dataset revealed recent climate-driven effects on Lake Annie. The objectives of this research are (1) to use modern diatom assemblages to develop methods for reconstruction of climatic and anthropogenic change (2) to reconstruct both long-term and recent histories of Lake Annie using diatom microfossils. Paleoenvironmental reconstruction models were developed from diatom assemblages of various habitat types from modern lakes. Plankton and sediment assemblages were similar, but epiphytes were distinct, suggesting differences in sediment delivery from different parts of the lakes. Relationships between a variety of physical and chemical data and the diatoms from each habitat type were explored. Total phosphorus (TP), pH, and color were found to be the most relevant variables for reconstruction, with sediment and epiphyte assemblages having the strongest relationships to those variables, six calibration models were constructed from the combination of these habitat types and environmental variables. Reconstructions utilizing the weighted averaging models in this study may be used to directly reveal TP, color, and pH changes from a sediment record, which might be suggestive of hydrologic change as well. These variables were reconstructed from the diatom record from both a long-term (11,000 year) and short-term (100 year) record and showed an interaction between climate-driven and local land-use impacts on Lake Annie. The long-term record begins with Lake Annie as a wetland, then the lake filled to a high stand around 4000 years ago. A period of relative stability after that point was interrupted near the turn of the last century by subtle changes in diatom communities that indicate acidification. Abrupt changes in the diatom communities around 1970 AD suggest recovery from acidification, but concurrent hydrologic change intensified anthropogenic effects on the lake. Diatom evidence for alkalization and phosphorus loading correspond to changes seen in the limnological record.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Despite their sensitivity to climate variability, few of the abundant sinkhole lakes of Florida have been the subject of paleolimnological studies to discern patterns of change in aquatic communities and link them to climate drivers. However, deep sinkhole lakes can contain highly resolved paleolimnological records that can be used to track long-term climate variability and its interaction with effects of land-use change. In order to understand how limnological changes were regulated by regional climate variability and further modified by local land-use change in south Florida, we explored diatom assemblage variability over centennial and semi-decadal time scales in an ~11,000-yr and a ~150-yr sediment core extracted from a 21-m deep sinkhole lake, Lake Annie, on the protected property of Archbold Biological Station. We linked variance in diatom assemblage structure to changes in water total phosphorus, color, and pH using diatom-based transfer functions. Reconstructions suggest the sinkhole depression contained a small, acidic, oligotrophic pond ~11000–7000 cal yr BP that gradually deepened to form a humic lake by ~4000 cal yr BP, coinciding with the onset of modern precipitation regimes and the stabilization of sea-level indicated by corresponding palynological records. The lake then contained stable, acidophilous planktonic and benthic algal communities for several thousand years. In the early AD 1900s, that community shifted to one diagnostic of an even lower pH (~5.6), likely resulting from acid precipitation. Further transitions over the past 25 yr reflect recovery from acidification and intensified sensitivity to climate variability caused by enhanced watershed runoff from small drainage ditches dug during the mid-twentieth Century on the surrounding property.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The purpose of this hermeneutic phenomenological study was to explore students’ experiences with the power of their instructors in a higher education classroom. This study provides a deeper understanding of instructor power from student perspectives to inform teaching practices in the higher education classroom.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Computer Game Playing has been an active area of research since Samuel’s first Checkers player (Samuel 1959). Recently interest beyond the classic games of Chess and Checkers has led to competitions such as the General Game Playing competition, in which players have no beforehand knowledge of the games they are to play, and the Computer Poker Competition which force players to reason about imperfect information under conditions of uncertainty. The purpose of this dissertation is to explore the area of General Game Playing both specifically and generally. On the specific side, we describe the design and implementation of our General Game Playing system OGRE. This system includes an innovative method for feature extraction that helped it to achieve second and fourth place in two international General Game Playing competitions. On the more general side, we also introduce the Regular Game Language, which goes beyond current works to provide support for both stochastic and imperfect information games as well as the more traditional games.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Computer Game Playing has been an active area of research since Samuel’s first Checkers player (Samuel 1959). Recently interest beyond the classic games of Chess and Checkers has led to competitions such as the General Game Playing competition, in which players have no beforehand knowledge of the games they are to play, and the Computer Poker Competition which force players to reason about imperfect information under conditions of uncertainty. The purpose of this dissertation is to explore the area of General Game Playing both specifically and generally. On the specific side, we describe the design and implementation of our General Game Playing system OGRE. This system includes an innovative method for feature extraction that helped it to achieve second and fourth place in two international General Game Playing competitions. On the more general side, we also introduce the Regular Game Language, which goes beyond current works to provide support for both stochastic and imperfect information games as well as the more traditional games.