Two Cardozo Alumni Appointed to Appellate Division of Supreme Court of the State of N.Y.

Justices Tanya R. Kennedy ’92 and Martin Shulman ’81 were named to the Appellate Division of the Supreme Court of the State of N.Y. this week.https://larc.cardozo.yu.edu/cardozo-news-2020/1064/thumbnail.jp

On (non-)exponential decay in generalized thermoelasticity with two temperatures

Konstanzer Schriften in Mathematik ; 355We study solutions for the one-dimensional problem of the Green-Lindsay and the Lord-Shulman theories with two temperatures. First, existence and uniqueness of weakly regular solutions are obtained. Second, we prove the exponential stability in the Green-Lindsay model, but the nonexponential stability for the Lord-Shulman modelPreprin

New Project Knowledge Management: Lessons Learned from temporary structures of Public Sector R&D Organisations

R&D Organisations are key players in the knowledge economy and make major contributions to Australia’s efforts to achieve and maintain competitive advantage. The explicit purpose of R&D organisations is to develop new knowledge and apply existing knowledge in new ways. Much of the R&D is carried out in temporary structures or project teams. Drawing upon theory and grounded in case based evidence, this paper explores how new forms of project management affect knowledge generating and application processes in R&D organisations. It appears that much of the knowledge generation and application occurs through taking advantage of almost naturally occurring oscillations between open and closed system practices over the course of projects. Theoretical and practical lessons and implications for further research are advanced

Two-Level Type Theory and Applications

We define and develop two-level type theory (2LTT), a version of Martin-L\"of type theory which combines two different type theories. We refer to them as the inner and the outer type theory. In our case of interest, the inner theory is homotopy type theory (HoTT) which may include univalent universes and higher inductive types. The outer theory is a traditional form of type theory validating uniqueness of identity proofs (UIP). One point of view on it is as internalised meta-theory of the inner type theory. There are two motivations for 2LTT. Firstly, there are certain results about HoTT which are of meta-theoretic nature, such as the statement that semisimplicial types up to level $n$ can be constructed in HoTT for any externally fixed natural number $n$. Such results cannot be expressed in HoTT itself, but they can be formalised and proved in 2LTT, where $n$ will be a variable in the outer theory. This point of view is inspired by observations about conservativity of presheaf models. Secondly, 2LTT is a framework which is suitable for formulating additional axioms that one might want to add to HoTT. This idea is heavily inspired by Voevodsky's Homotopy Type System (HTS), which constitutes one specific instance of a 2LTT. HTS has an axiom ensuring that the type of natural numbers behaves like the external natural numbers, which allows the construction of a universe of semisimplicial types. In 2LTT, this axiom can be stated simply be asking the inner and outer natural numbers to be isomorphic. After defining 2LTT, we set up a collection of tools with the goal of making 2LTT a convenient language for future developments. As a first such application, we develop the theory of Reedy fibrant diagrams in the style of Shulman. Continuing this line of thought, we suggest a definition of (infinity,1)-category and give some examples.Comment: 53 page

Questioning Knowledge Transfer And Learning Processes Across R&D Project Teams

This paper addresses popular notions of the generation and sharing of knowledge in organisations commonly described as knowledge transfer. We question the appropriateness of the notion of transfer of knowledge for increasing our understanding of knowledge creation and learning processes in R&D organisations. We suggest that this notion of "transfer", limits our understanding of the important interactive processes used to generate knowledge and to enhance the spread of knowledge. Findings from interviews with senior research scientists challenge the notion of knowledge transfer and instead provide support for the notion of knowledge as constructed meaning in an arena with multiple players and social interactions