title: State of the art on formal methods for interactive systems

authors: Oliveira, Raquel

subjects: Computer science

abstract: This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not self-contained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide a historical perspective of the main contributions in the area of formal methods in the field of human–computer interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.

text: State of the art on formal methods for interactive systems This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not self-contained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide a historical perspective of the main contributions in the area of formal methods in the field of human–computer interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.

year: 2017

title: The impacts of international migration on remaining household members: omnibus results from a migration lottery program

authors: Gibson, John

subjects: international migration

abstract: One of the operating decisions involved in the scheduling of flexible manufacturing systems (FMS) is that of loading the FMS. Given a pool of jobs, which can be processed on alternate machines and alternate tools, the scheduler has to decide on the allocation of tools and machines to the different jobs. Various versions of this problem have appeared in the literature. We consider the version where jobs are selected for processing in a FMS in a planning horizon, operations for these jobs are assigned to machines, and corresponding tools are allocated to the slots in the machines. The objective is to minimise system unbalance. A hybrid genetic algorithm is presented that addresses this problem. Computational comparison between the genetic algorithm and previous algorithms is presented.

text: The impacts of international migration on remaining household members: omnibus results from a migration lottery program One of the operating decisions involved in the scheduling of flexible manufacturing systems (FMS) is that of loading the FMS. Given a pool of jobs, which can be processed on alternate machines and alternate tools, the scheduler has to decide on the allocation of tools and machines to the different jobs. Various versions of this problem have appeared in the literature. We consider the version where jobs are selected for processing in a FMS in a planning horizon, operations for these jobs are assigned to machines, and corresponding tools are allocated to the slots in the machines. The objective is to minimise system unbalance. A hybrid genetic algorithm is presented that addresses this problem. Computational comparison between the genetic algorithm and previous algorithms is presented.

year: 2011

title: Iwi, institutes, societies & community led initiatives

authors: Whaanga, Hēmi

abstract: With the rapid evolution, innovation and incredible growth of ICT, the avenues to exchange, access, manage, create, disseminate, display and research Indigenous data and Mātauranga Māori have increased at astounding rates. This generation, often referred to as ‘digital natives', ‘homo zappiëns’, ‘Net generation’, ‘millennials’, ‘i-generation’ (see, for example Akçayır, Dündar, & Akçayır, 2016; Kirschner & De Bruyckere, 2017; Prensky, 2001; Yong & Gates, 2014), have been raised, immersed and exposed to a myriad of digital technologies, video games, computers, digital music players and cellular phones during their brief lifetimes. Technologies have dramatically transformed how each generation access, communicate, share knowledge, distribute and view information. Social networks like Facebook, YouTube, Instagram, Twitter, Reddit, Pinterest, Tumblr and social networking apps such as Messenger, WhatsApp, WeChat, QQ Chat, QZone, Viber, LINE, and Snapchat, with billons of active users per month, are as familiar to this generation as was the radio, television and landline telephones to the Baby Boomers who grew up with pre-cellphone mobile technology.

text: Iwi, institutes, societies & community led initiatives With the rapid evolution, innovation and incredible growth of ICT, the avenues to exchange, access, manage, create, disseminate, display and research Indigenous data and Mātauranga Māori have increased at astounding rates. This generation, often referred to as ‘digital natives', ‘homo zappiëns’, ‘Net generation’, ‘millennials’, ‘i-generation’ (see, for example Akçayır, Dündar, & Akçayır, 2016; Kirschner & De Bruyckere, 2017; Prensky, 2001; Yong & Gates, 2014), have been raised, immersed and exposed to a myriad of digital technologies, video games, computers, digital music players and cellular phones during their brief lifetimes. Technologies have dramatically transformed how each generation access, communicate, share knowledge, distribute and view information. Social networks like Facebook, YouTube, Instagram, Twitter, Reddit, Pinterest, Tumblr and social networking apps such as Messenger, WhatsApp, WeChat, QQ Chat, QZone, Viber, LINE, and Snapchat, with billons of active users per month, are as familiar to this generation as was the radio, television and landline telephones to the Baby Boomers who grew up with pre-cellphone mobile technology.

year: 2017