City smartness - tool or aim? A possibility

This document present the discussions held in the framework of the interdisciplinary panel 7; titled city smartness - tool or aim?, developed in the context of the thematic axe 4: virtual cities, theory and technology of the 11th International Conference on Virtual cities and territories, 11 CTV,Postprint (published version

INVOLVEMENT OF AGRICULTURAL ECONOMICS IN GRADUATE AGRIBUSINESS PROGRAMS: AN UNCOMFORTABLE LINKAGE

Departments of agricultural economics face a changing environment. Some argue for the adoption of the Master of Agribusiness degree. I argue that agribusiness in not well differentiated from agricultural economics and that the forte of agricultural economics departments is teaching applied economics, not teaching management. Furthermore, in today's dynamic, open economy, a good understanding of economics is more valuable than ever before. Rather than leave our area of strength, we should look to improve our current degree programs given today's business needs.Agribusiness, Teaching/Communication/Extension/Profession,

A Metric Encoding for Bounded Model Checking (extended version)

In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique which is particularly optimized for managing quantitative future and past metric temporal operators, typically found in properties of hard real time systems. The encoding is simple and intuitive in principle, but it is made more complex by the presence, typical of the Bounded Model Checking technique, of backward and forward loops used to represent an ultimately periodic infinite domain by a finite structure. We report and comment on the new encoding technique and on an extensive set of experiments carried out to assess its feasibility and effectiveness

A MANAGEMENT INFORMATION SYSTEM FOR LOCAL GOVERNMENTS

Research and Development/Tech Change/Emerging Technologies,

CAPACITY OF LOCAL GOVERNMENT TO PROVIDE SERVICES

Public Economics,

Branding on a Budget: Marketing in the Nonprofit Sector

“Branding on a Budget: Marketing in the Nonprofit Sector” This service learning project combines academic research with experiential service learning. The purpose of this project was to create a strong brand for BeInstrumental, a nonprofit music education organization from Toledo, Ohio through the creation of a graphic branding plan. Principles of visual communication technology, graphic design, marketing strategies, branding, and graphic design are all implemented in this project