Light Touch Density and Filtering Down: City of Seattle Case Study

Key takeaways:In the City of Seattle, about 12 times as much land is zoned for Single Family (SF) than for Low-Rise Multifamily (LRM).In the mid-1990s, the creation of the LRM zone allowed property owners to use their land more efficiently. As a consequence, many single-family detached homes have been converted to mostly townhomes. This is light-touch density at its best.Since 2000, 18,000 new townhomes units have been built in the LRM zone. As a result, its housing stock increased by about 75% – or about 3% per year. The supply addition in the SF zone from new single-family homes is minimal.The new townhomes are generally starter homes, which has enabled homeownership for lower-income, younger, and more diverse households.Home values in the LRM zone have appreciated at the same rate as home values in the SF zone.Unfortunately, this success is now being derailed by Seattle's Mandatory Housing Affordability (MFA) program.This program will produce a small amount of heavily-subsidized "housing Ferraris" that will be sold to low-income households and destroy the progress LRM zoning has made in expanding  broad-based housing affordability

Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System

We apply a compositional formal modeling and verification method to an autonomous aircraft taxi system. We provide insights into the modeling approach and we identify several research areas where further development is needed. Specifically, we identify the following needs: (1) semantics of composition of viewpoints expressed in different specification languages, and tools to reason about heterogeneous declarative models; (2) libraries of formal models for autonomous systems to speed up modeling and enable efficient reasoning; (3) methods to lift verification results generated by automated reasoning tools to the specification level; (4) probabilistic contract frameworks to reason about imperfect implementations; (5) standard high-level functional architectures for autonomous systems; and (6) a theory of higher-order contracts. We believe that addressing these research needs, among others, could improve the adoption of formal methods in the design of autonomous systems including learning-enabled systems, and increase confidence in their safe operations.Comment: 2023 International Conference on Assured Autonomy (ICAA

Identidad cultural de los actores sociales de la Huaca Paraíso, distrito de San Martín de Porres, 2021

La investigación presente titulada Identidad Cultural de los actores sociales de la Huaca El Paraíso, distrito de San Martín de Porres, 2021. presenta como objetivo analizar la identidad cultural de los actores sociales en el entorno del sitio arqueológico y su importancia en la conservación del patrimonio arqueológico la metodología empleada fue de enfoque cualitativo aplicada descriptiva y de un diseño fenomenológico la muestra estuvo conformado por los actores sociales los cuales son sujetos que tienen relación con el elemento estudiado la muestra fue el número de siete personas las cuales estuvo integrado por profesionales dedicados a la conservación del sitio arqueológico y la población cercana se empleó un muestreo no probabilístico y subjetivo el instrumento a usar fue de entrevista semi estructurada análisis documental y fotografías obteniendo diversas respuestas estas se analizaron y dio como resultado una Identidad cultural ambigua porque resulto dos opiniones diferenciadas definidos por dos tipos diferenciados de actores sociales finalmente se concluye que la presencia de gestion cultural es directamente favorable para cultivar y de desarrollar la Identidad cultural en el entorno de la Huaca El Paraíso