Fearless Friday: Ashley Fernandez

This week, SURGE is delighted to honor Ashley Fernandez ’16 for Fearless Friday! Ashley is a senior at Gettysburg and is majoring in Political Science and Public Policy. When asked where she’s from, Ashley usually responds “Manhattan.” When most people think of Manhattan, they think of Times Square or the Empire State Building. Ashley, however, clarifies she’s from an area of Manhattan called Washington Heights, or “Little Dominican Republic,” which is named as such for it’s large Latino community. A Latina herself, Ashley definitely felt the change between Little DR and Gettysburg College. At predominantly white college like Gettysburg, she knew she wanted to form connections with students of color, but also did not hesitate to form connections with students from all over campus. Anyone that has the pleasure of interacting with Ashley immediately feels comfortable, happy, and listened-to. [excerpt

A New State Record for \u3ci\u3eOlixon Banksii\u3c/i\u3e (Hymenoptera: Rhopalosomatidae) in Missouri.

(excerpt) The cosmopolitan family Rhopalosmatidae is comprised of four genera and 37 species (Townes 1977, Goulet and Huber 1993, Fernandez and Sarmiento-M 2002, Lohrmann and Ohl 2007)

Implementation of a Hybrid Teaching Environment for a Traffic Engineering Course

Students learn in different styles. They learn via hearing and visualizing. They can also reflect and act upon what is presented to them. Afterwards, they start to reason in a logical and intuitive ways as well as memorizing and visualizing, and eventually building mathematical models. Teaching approaches also differ from one course to another and from one instructor to another. Some instructors tend to lecture, others demonstrate or discus while some focus on principles and applications. The quality of student learning process is controlled by the student’s own ability and previous preparation but it also depends on the affinity of the student’s learning style and the instructor’s teaching delivery style. This case study illustrates the transition of a four-thousand level traffic engineering course from a pure face-to-face to a hybrid environment. The implemented hybrid teaching style included one face-to-face weekly lecture besides another lecture being posted online as a YouTube video. Analytical comparisons were conducted between two offerings of the course: before and after the hybrid teaching style Implementation. Based on the presented results, including improved overall grades, student enrollment increase, and positive evaluation feedback, it can be concluded that the implementation process was successful.Cockrell School of Engineerin

A SpiNNaker Application: Design, Implementation and Validation of SCPGs

In this paper, we present the numerical results of the implementation of a Spiking Central Pattern Generator (SCPG) on a SpiNNaker board. The SCPG is a network of current-based leaky integrateand- fire (LIF) neurons, which generates periodic spike trains that correspond to different locomotion gaits (i.e. walk, trot, run). To generate such patterns, the SCPG has been configured with different topologies, and its parameters have been experimentally estimated. To validate our designs, we have implemented them on the SpiNNaker board using PyNN and we have embedded it on a hexapod robot. The system includes a Dynamic Vision Sensor system able to command a pattern to the robot depending on the frequency of the events fired. The more activity the DVS produces, the faster that the pattern that is commanded will be.Ministerio de Economía y Competitividad TEC2016-77785-

Testing times: on model-driven test generation for non-deterministic real-time systems

Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour

JOURNAL ARTICLE OF THE YEAR FOR 1992

Short and long-run demand and substitution of agricultural inputs, by Jorge Fernandez-Cornejo.Teaching/Communication/Extension/Profession,