Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

Vending Machines avanzate basate su principi di Physical Web e Internet of Things

La costante evoluzione tecnologica sta portando alla luce nuove possibilità, che un tempo non erano nemmeno immaginabili. Uno dei settori che si è rivoluzionato maggiormente negli ultimi anni è quello delle telecomunicazioni e questo ha portato sia a una riduzione dei costi per le connessioni a Internet, sia ad un aumento delle loro capacità e prestazioni; di conseguenza queste connessioni sono diventate più accessibili e affidabili permettendo alle persone e alle cose di accedere a Internet quasi ininterrottamente. Questo sviluppo sta portando innumerevoli benefici, ma come ciascuna innovazione tecnologica, tuttavia, i benefici si accompagnano a nuove sfide. In questo elaborato viene dapprima analizzato lo stato dell’arte, i benefici, le problematiche e gli attuali interessi da parte di alcuni dei maggiori player verso l’Internet of Things. Vengono poi prese in considerazione due problematiche: l'individuazione e l'interazione con gli oggetti connessi a Internet, portando come esempio l'utilizzo e la ricerca di una vending machine, un distributore automatico. Proponendo una soluzione, in primo luogo è stato effettuato lo sviluppo di un ecosistema che sfrutta le potenzialità del Physical Web, implementando ad hoc ogni componente, dall'emissione del beacon Eddystone-URL alla visualizzazione della pagina ad esso associata. In secondo luogo questa è stata creata un'applicazione Android che sfrutta l'altro tipo di frame offerto dalla piattaforma beacon di Google, l'Eddystone-UID. Queste due applicazioni vengono quindi analizzate e messe a confronto, per individuare i punti forti e le mancanze delle rispettive piattaforme.

Point-of-sale machines in school cafeterias and parental influence on child food choices

The prevalence of obesity has reached epidemic proportions in the United States. Twenty-five percent of school aged students are overweight. Schools have the opportunity to help slow this epidemic. School cafeterias in the United States feed millions of students every day through the National School Lunch Program.^ Point-of-sale machines are used in most school cafeterias to help streamline the process of purchasing school lunches. The point-of-sale software allows school personnel to place special notes on student's accounts to provide alerts about parental requests. This study investigated what the alerts are used for, who uses the alerts, and if there are any patterns by demographic characteristics. ^ Counts and percentages were used to determine what the alerts were used for and who used them. This study found that students who were white non-Hispanic, paid status, or in elementary school were most likely to have alerts placed on their accounts. Also, the majority of point-of-sale alerts were used as allowances (i.e., allowed to purchase snacks from the balance on the school lunch account), rather than restrictions (i.e., restricted from purchasing high calorie foods or specific food items). Using chi-square analysis, a total of 688 alerts were analyzed. There were significant differences in alert frequencies for intent category by grade level (p=0.000), snack access (p=0.000), and gender (p=0.002). Therefore, the results are significant, and one can conclude there is a significant relationship between gender, grade level, and snack access, and the presence of an alert on the school lunch account.^ Also, school administrators may want to take into consideration possible changes to their program, such as requiring more time to run the software. The results of this study can assist school administrators to better understand that a point-of-sale alert program may help their school lunch programs run more efficiently, while also providing parental influence on students’ food choices at the point-of-sale.^ School food service authorities should consider implementing a structured point-of-sale alert policy to encourage parental input on their children's food choices. When implementing the point-of-sale policy, schools should publicize this policy online, through school lunch menus, and parent communications increase participation throughout the school district.^

Method of threshing grain

This invention relates generally to grain threshing apparatus and in particular to an improved method of an apparatus for threshing grain wherein an impeller is rotatable within a concave or tubular screen. An object of this invention is to provide an improved method and apparatus for threshing grain.

Apparatus for threshing grain

This invention relates generally to grain threshing apparatus and in particular to an apparatus for threshing grain wherein an impeller is rotatable within a concave or tubular screen. This application is a division of application Serial No. 560,552, now Patent No. 2,906,270. An object of this invention is to provide an improved apparatus for threshing grain.