Works (3)
Updated: July 5th, 2023 15:17
2019 article
On the Lambek Calculus with an Exchange Modality
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 43–89.
TL;DR:
This work abstracts Benton's Linear/ non-Linear Logic by removing the existence of the exchange structural rule and introduces Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic.
(via Semantic Scholar)
open access via arxiv.org (publisher PDF)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Source: Web Of Science
Added: April 20, 2020
2018 article
Poster: Towards Greater Expressiveness, Flexibility, and Uniformity in Access Control
SACMAT'18: PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON ACCESS CONTROL MODELS & TECHNOLOGIES, pp. 217–219.
Contributors: n, R. Chirkova n, J. Doyle n & A. Rosenthal *
author keywords: Attribute-based access control; security; policy formalism; logical models
TL;DR:
This work proposes to recasting the high-level structure of ABAC models in a logical formalism that treats all actions uniformly and that keeps existing policy languages in place by interpreting their attributes in terms of the restructured model.
(via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 12, 2019
2016 conference paper
Toward entrepreneurial pedagogies: rethinking professional networking as knowledge making
2016 ieee international professional communication conference (ipcc).
TL;DR:
It is suggested that instructors and students should understand professional social networking as a multilayered practice of learning and sharing collective knowledge.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
8. Decent Work and Economic Growth
(OpenAlex)
Sources: NC State University Libraries, NC State University Libraries
Added: August 6, 2018