Well-structured transition systems (WSTSs) are a general class of infinite-state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved definitions allow many examples of classical systems to be seen as instances of WSTSs.
UW-Madison is part of a team of campuses receiving nearly $10 million from the National Science Foundation to further develop cloud infrastructure and enable high-level research by scientists around the country.
GARDNER PRODUCTS IS A LEADING MANUFACTURER OF INSECT LIGHT TRAPS WHICH ARE USED IN COMMERCIAL INDUSTRIES SUCH AS FOOD MANUFACTURING TO HELP WITH PEST CONTROL. WE ARE LOOKING TO COLLABORATE WITH A CONTRACT EMPLOYEE IN THE DEVELOPMENT OF A NEW PRODUCT THAT CAN PHOTOGRAPH OUR GLUETRAPS, TRANSMIT THE PICTURE AND TRANSMIT DATA, REGARDING THE LIGHT TRAPS PERFORMANCE, TO OUR CUSTOMERS. THE CONTRACT EMPLOYEE WILL COLLABORATE WITH US IN THE DEVELOPMENT OF THE HARDWARE AND SOFTWARE TO PERFORM THE SPECIFIED OPERATIONS AS LISTED.
Programming languages research often generates useful techniques in functional programming languages such as OCaml or Haskell, but it can also take advantage of such techniques. In this talk, I will cover several ways to write better functional code using 1) generalized algebraic data types, which allow us to refine the return type of type constructors, and 2) Gerard Huet's zippers, which enable efficient local changes to tree-like data structures.
Abstract — Traditionally, mothers held the role of primary caretaker at home while fathers were expected to be the primary providers for the family. Social and economic changes in the US over the past four decades have seen more mothers enter the labor market. While mothers are still doing more domestic work, fathers are catching up. However, fathers face a lag in parenting norms as they are still considered primary breadwinners.