Works Published in 2020
Displaying works 81 - 85 of 85 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2020 journal article
Computational Governance and Violable Contracts for Blockchain Applications
Computer, 53(1), 53–62.
TL;DR:
The architecture incorporates the notion of a declarative, violable contract and enables flexible governance based on formal organizational structures, correctness verification without obstructing autonomy, and a basis for trust.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
Sources: ORCID, Web Of Science, NC State University Libraries
Added: January 16, 2020
2020 journal article
An alternative efficient representation for the project portfolio selection problem
European Journal of Operational Research, 281(1), 100–113.
author keywords: Project portfolio selection problem; Mixed integer polynomial program; Linearization technique; Alternative solution
TL;DR:
This study proposes an alternative efficient representation for PPSP using fewer continuous variables than the current methods to achieve global optimum and is integrated with a general binary cut scheme for identifying all alternative solutions for decision makers to consider better options.
(via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries, Crossref
Added: November 25, 2019
2020 journal article
How to obtain an accurate gradient for interface problems?
Journal of Computational Physics, 405, 109070.
author keywords: Accuracy of derivatives; Elliptic interface problems; Discontinuous coefficient; Discrete Green functions; IIM
TL;DR:
New strategies based on IIM are proposed for elliptic interface problems to compute the gradient at grid points both regular and irregular, and at the interface from each side of the interface, to validate the numerical methods and analysis.
(via Semantic Scholar)
Source: ORCID
Added: November 1, 2019
2020 journal article
Iterative combinatorial auctions for managing product transitions in semiconductor manufacturing
IISE TRANSACTIONS, 52(4), 413–431.
author keywords: Product transitions; Lagrangian relaxation; column generation; iterative combinatorial auctions; semiconductor manufacturing
TL;DR:
Computational results show that the ICA that uses column generation to update prices outperforms that using subgradient search, obtaining near-optimal corporate profit in low CPU times.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
12. Responsible Consumption and Production
(Web of Science)
Source: Web Of Science
Added: October 7, 2019
2020 chapter
A simple Hybrid Event-B model of an active control system for earthquake protection
In A. Adamatzky & V. Kendon (Eds.), From Astrophysics to Unconventional Computation (Vol. 35, pp. 157–194).
Ed(s): A. Adamatzky & V. Kendon
Event: at Cham
TL;DR:
A simple model of an active damage prevention system, founded on earlier work, is investigated from a model based formal development perspective, using Hybrid Event-B and stands up well when compared via simulation with a standard approach.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science; OpenAlex)
Source: ORCID
Added: May 9, 2019
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
