While many vulnerabilities are often related to computing and network systems, there has been a growing number of vulnerabilities and attacks in software systems. They are generally caused by careless software design and implementations, and not putting sufficient effort into eliminating defects and flaws in the software itself. When it comes to building reliable and secure software, it is critical that security must be considered throughout the software development process. This paper presents a series of modules that are designed to introduce security concepts in beginners programming courses. The modules have been developed to teach the fundamental concepts of defensive programming from the freshman year, to ensure that the programming concepts are taught to beginning programmers from a security perspective. These modules are intended to build a strong cybersecurity foundation, which will then be enhanced further in the advanced courses, such as Secure Applications Programming and Secure Software Engineering courses. Both instructors and students can practice defensive programming with these modules in their classroom. The study plans to evaluate the teaching effectiveness of the modules associated with the Model-Eliciting Activity (MEA), an evidence-based teaching and learning methodology.
more »
« less
The Cultural Origins of Symbolic Number
It is popular in psychology to hypothesize that representations of exact number are innately determined—in particular, that biology has endowed humans with a system for manipulating quantities which forms the primary representational substrate for our numerical and mathematical concepts. While this perspective has been important for advancing empirical work in animal and child cognition, here we examine six natural predictions of strong numerical nativism from a multidisciplinary perspective, and find each to be at odds with evidence from anthropology and developmental science. In particular, the history of number reveals characteristics that are inconsistent with biological determinism of numerical concepts, including a lack of number systems across some human groups and remarkable variability in the form of numerical systems that do emerge. Instead, this literature highlights the importance of economic and social factors in constructing fundamentally new cognitive systems to achieve culturally specific goals.
more »
« less
- Award ID(s):
- 1901262
- PAR ID:
- 10324877
- Date Published:
- Journal Name:
- Psychological review
- ISSN:
- 0033-295X
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
The abilities to form and abstract concepts is key to human intelligence, but such abilities remain lacking in state-of-the-art AI systems. There has been substantial research on conceptual abstraction in AI, particularly using idealized domains such as Raven's Progressive Matrices and Bongard problems, but even when AI systems succeed on such problems, the systems are rarely evaluated in depth to see if they have actually grasped the concepts they are meant to capture. In this paper we describe an in-depth evaluation benchmark for the Abstraction and Reasoning Corpus (ARC), a collection of few-shot abstraction and analogy problems developed by Chollet [2019]. In particular, we describe ConceptARC, a new, publicly available benchmark in the ARC domain that systematically assesses abstraction and generalization abilities on a number of basic spatial and semantic concepts. ConceptARC differs from the original ARC dataset in that it is specifically organized around "concept groups" -- sets of problems that focus on specific concepts and that are vary in complexity and level of abstraction. We report results on testing humans on this benchmark as well as three machine solvers: the top two programs from a 2021 ARC competition and OpenAI's GPT-4. Our results show that humans substantially outperform the machine solvers on this benchmark, showing abilities to abstract and generalize concepts that are not yet captured by AI systems. We believe that this benchmark will spur improvements in the development of AI systems for conceptual abstraction and in the effective evaluation of such systems.more » « less
-
Abstract This article is a historical perspective on how the study of the neuromechanics of insects and other arthropods has inspired the construction, and especially the control, of hexapod robots. Many hexapod robots’ control systems share common features, including: 1. Direction of motor output of each joint (i.e. to flex or extend) in the leg is gated by an oscillatory or bistable gating mechanism; 2. The relative phasing between each joint is influenced by proprioceptive feedback from the periphery (e.g. joint angles, leg load) or central connections between joint controllers; and 3. Behavior can be directed (e.g. transition from walking along a straight path to walking along a curve) via low-dimensional, broadly-acting descending inputs to the network. These distributed control schemes are inspired by, and in some robots, closely mimic the organization of the nervous systems of insects, the natural hexapods, as well as crustaceans. Nearly a century of research has revealed organizational principles such as central pattern generators, the role of proprioceptive feedback in control, and command neurons. These concepts have inspired the control systems of hexapod robots in the past, in which these structures were applied to robot controllers with neuromorphic (i.e. distributed) organization, but not neuromorphic computational units (i.e. neurons) or computational hardware (i.e. hardware-accelerated neurons). Presently, several hexapod robots are controlled with neuromorphic computational units with or without neuromorphic organization, almost always without neuromorphic hardware. In the near future, we expect to see hexapod robots whose controllers include neuromorphic organization, computational units, and hardware. Such robots may exhibit the full mobility of their insect counterparts thanks to a ‘biology-first’ approach to controller design. This perspective article is not a comprehensive review of the neuroscientific literature but is meant to give those with engineering backgrounds a gentle introduction into the neuroscientific principles that underlie models and inspire neuromorphic robot controllers. A historical summary of hexapod robots whose control systems and behaviors use neuromorphic elements is provided. Robots whose controllers closely model animals and may be used to generate concrete hypotheses for future animal experiments are of particular interest to the authors. The authors hope that by highlighting the decades of experimental research that has led to today’s accepted organization principles of arthropod nervous systems, engineers may better understand these systems and more fully apply biological details in their robots. To assist the interested reader, deeper reviews of particular topics from biology are suggested throughout.more » « less
-
Metals, semiconductors, metamaterials, and various two-dimensional materials with plasmonic dispersion exhibit numerous exotic physical effects in the presence of an external bias, for example an external static magnetic field or electric current. These physical phenomena range from Faraday rotation of light propagating in the bulk to strong confinement and directionality of guided modes on the surface and are a consequence of the breaking of Lorentz reciprocity in these systems. The recent introduction of relevant concepts of topological physics, translated from condensed-matter systems to photonics, has not only given a new perspective on some of these topics by relating certain bulk properties of plasmonic media to the surface phenomena, but has also led to the discovery of new regimes of truly unidirectional, backscattering-immune, surface-wave propagation. In this article, we briefly review the concepts of nonreciprocity and topology and describe their manifestation in plasmonic materials. Furthermore, we use these concepts to classify and discuss the different classes of guided surface modes existing on the interfaces of various plasmonic systems.more » « less
-
While a standard calculus course may include some neatly-packaged applications of rate of change or Riemann sums to problems of kinematics, majors from biology and medicine are in urgent need of mathematics taught from a modeling perspective. Yet, the art of modeling is scarce in tertiary mathematics classrooms in part because, much like in schools, many mathematicians may lack (a) the relevant real-world concepts (beyond simple physics and engineering) (b) knowledge of the mathematics from a modeling perspective or (c) confidence to change their classroom practices. To remedy this, we trialed a professional development workshop for faculty to learn to mathematically model biological contexts with dynamical systems. The workshop enacted the field’s recommendations for professional development with teachers. We observed gains in faculty’s self-reported comfort with mathematics and biology concepts and teaching mathematics with a modeling perspective.more » « less