An official website of the United States government
The promises of smart cities continue to overwhelm many people eager to live in them. Simultaneously, many people are still concerned about the increasing privacy risks associated with the core of the promises. The core of smart cities’ promises lies in generating and using data to enable urban technologies that provide, to some degree, value-added services and opportunities for both cities and their citizens. The promises of smart cities highlight three interdependent dimensions, namely the information type, purpose, and value that provide the basis of studying and addressing privacy concerns to enable successful smart cities. This paper presents a 3D privacy framework based on three interdependent dimensions that build on existing citizens’ privacy models [1] and framework [2] to hypothesize when citizens are likely to accept smart city technologies with privacy concerns, when citizens are more likely to accept trading their privacy for the provided valued services under defined regulations, and when citizens are likely to protest and disregard smart cities technologies altogether. The 3D privacy framework highlights new ways of evaluating how technologies impact citizens’ privacy and encourages adopting new ways to lessen citizens’ privacy concerns by implementing technology-specific agile regulation based on the metrics of security. Some specific examples of smart city technologies are discussed to illustrate the practicality and usefulness of the proposed 3D privacy framework in the smart cities’ space.
more »
« less
Framework mobility in the metal–organic framework crystal IRMOF-3: Evidence for aromatic ring and amine rotation
- Award ID(s):
- 0956006
- PAR ID:
- 10012658
- Date Published:
- Journal Name:
- Journal of Molecular Structure
- Volume:
- 1004
- Issue:
- 1-3
- ISSN:
- 0022-2860
- Page Range / eLocation ID:
- 94 to 101
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Garbage collectors provide memory safety, an important step toward program correctness. However, correctness of the collector itself can be challenging to establish, given both the style in which such systems are written and the weakly-ordered memory accesses of modern hardware. One way to maximize benefits is to use a framework in which effort can be focused on the correctness of small, modular critical components from which various collectors may be composed. Full proof of correctness is likely impractical, so we propose to gain a degree of confidence in collector correctness by applying model checking to critical kernels within a garbage collection framework. We further envisage a model framework, paralleling the framework nature of the collector, in hope that it will be easy to create new models for new collectors. We describe here a prototype model structure, and present results of model checking both stop-the-world and snapshot-at-the-beginning concurrent marking. We found useful regularities of model structure, and that models could be checked within possible time and space budgets on capable servers. This suggests that collectors built in a modular style might be model checked, and further that it may be worthwhile to develop a model checking framework with a domain-specific language from which to generate those models.more » « less
-
The paper introduces the notion of an epistemic argumentation framework (EAF) as a means to integrate the beliefs of a reasoner with argumentation. Intuitively, an EAF encodes the beliefs of an agent who reasons about arguments. Formally, an EAF is a pair of an argumentation framework and an epistemic constraint. The semantics of the EAF is defined by the notion of an -epistemic labelling set, where is complete, stable, grounded, or preferred, which is a set of -labellings that collectively satisfies the epistemic constraint of the EAF. The paper shows how EAF can represent different views of reasoners on the same argumentation framework. It also includes representing preferences in EAF and multi-agent argumentation. Finally, the paper discusses the complexity of the problem of determining whether or not an -epistemic labelling set exists.more » « less
-
Learning composable policies for environments with complex rules and tasks is a challenging problem. We introduce a hierarchical reinforcement learning framework called the Logical Options Framework (LOF) that learns policies that are satisfying, optimal, and composable. LOF efficiently learns policies that satisfy tasks by representing the task as an automaton and integrating it into learning and planning. We provide and prove conditions under which LOF will learn satisfying, optimal policies. And lastly, we show how LOF’s learned policies can be composed to satisfy unseen tasks with only 10-50 retraining steps on our benchmarks. We evaluate LOF on four tasks in discrete and continuous domains, including a 3D pick-and-place environment.more » « less
-
Abstract Due to their well‐defined 3D architectures, permanent porosity, and diverse chemical functionalities, metal–organic framework nanoparticles (MOF NPs) are an emerging class of modular nanomaterials. Herein, recent developments in the synthesis and postsynthetic surface functionalization of MOF NPs that strengthen the fundamental understanding of how such structures form and grow are highlighted; the internal structure and external surface properties of these novel nanomaterials are highlighted as well. These fundamental advances have resulted in MOF NPs being used as components in chemical sensors, biological probes, and membrane separation materials, as well as building blocks for colloidal crystal engineering.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1016/j.molstruc.2011.07.037
