ChemInform Abstract: FRAMEWORK ELECTRON COUNT IN METALLOHETEROBORANES. PLATINATHIADECABORANES

1978 ◽  
Vol 9 (1) ◽  
Author(s):  
D. A. THOMPSON ◽  
T. K. HILTY ◽  
R. W. RUDOLPH
Keyword(s):  
Abstract Framework

scholarly journals MAPPING AND ENHANCING DESIGN STUDIES WITH PSI META-THEORETIC DESIGN FRAMEWORK

2021 ◽  
Vol 1 ◽  
pp. 2007-2016
Author(s):  
Yoram Reich ◽  
Eswaran Subrahmanian
Keyword(s):  
Design Research ◽  
The Other ◽  
Design Studies ◽  
Abstraction Level ◽  
Follow Up Studies ◽  
The One ◽  
The Right ◽  
Abstract Framework ◽  
Tools And Methods

AbstractDesign research as a field has been studied from diverse perspectives starting from product inception to their disposal. The product of these studies includes knowledge, tools, methods, processes, frameworks, approaches, and theories. The contexts of these studies are innumerable. The unit of these studies varies from individuals to organizations, using a variety of theoretical tools and methods that have fragmented the field, making it difficult to understand the map of this corpus of knowledge across this diversity.In this paper, we propose a model-based approach that on the one hand, does not delve into the details of the design object itself, but on the other hand, unifies the description of design problem at another abstraction level. The use of this abstract framework allows for describing and comparing underlying models of published design studies using the same language to place them in the right context in which design takes place and to enable to inter-relate them, to understand the wholes and the parts of design studies.Patterns of successful studies could be generated and used by researchers to improve the design of new studies, understand the outcome of existing studies, and plan follow-up studies.

Acquiring the Skill of Identifying Fractions through the Virtual-Abstract Framework

2018 ◽  
Vol 31 (4) ◽  
pp. 435-452 ◽  
Author(s):  
Emily C. Bouck ◽  
Jiyoon Park ◽  
Courtney Maher ◽  
Kennedy Levy ◽  
Katie Cwiakala
Keyword(s):  
Abstract Framework

From theory to practice

2018 ◽  
Author(s):  
Emily Ying Yang Chan
Keyword(s):  
Risk Reduction ◽  
Disaster Preparedness ◽  
Disaster Risk Reduction ◽  
Field Experience ◽  
Disaster Risk ◽  
Project Planning ◽  
Programme Implementation ◽  
Actual Field ◽  
Development Goals ◽  
Abstract Framework

This chapter introduces some myths of health promotion, the project cycle of health and disaster preparedness education programmes, needs assessment, project planning, programme implementation and monitoring, programme evaluation, and notes for organizers and participants of health and disaster preparedness education programmes. Concrete examples will be provided to put the abstract framework into use. This chapter integrates the themes in previous chapters with relevant insights gained from actual field experience in Asia, focusing on programme implementation field experience and lessons learnt, as well as the practical challenges and problems encountered in the field in rural Asian settings. It will also discuss the field-policy nexus, that is, the fulfilment of policy ambitions in such international policy frameworks like the United Nations’ Sustainable Development Goals (SDGs), the Sendai Framework for Disaster Risk Reduction (2015–2030), and the Paris Agreement for Climate Change by rural field programmes in health, emergency, and disaster risk reduction.

scholarly journals An abstract framework for parabolic PDEs on evolving spaces

2015 ◽  
Vol 72 (1) ◽  
pp. 1-46 ◽  
Author(s):  
Amal Alphonse ◽  
Charles Elliott ◽  
Björn Stinner
Keyword(s):  
Parabolic Pdes ◽  
Abstract Framework

scholarly journals An Abstract Framework for Non-Cooperative Multi-Agent Planning

2019 ◽  
Vol 9 (23) ◽  
pp. 5180 ◽  
Author(s):  
Jaume Jordán ◽  
Javier Bajo ◽  
Vicent Botti ◽  
Vicente Julian
Keyword(s):  
Strategic Planning ◽  
Strategic Behavior ◽  
Planning Problem ◽  
Plan Execution ◽  
Complete Problem ◽  
Multi Agent ◽  
Exhaustive Study ◽  
Abstract Framework ◽  
Multi Agent Planning

In non-cooperative multi-agent planning environments, it is essential to have a system that enables the agents’ strategic behavior. It is also important to consider all planning phases, i.e., goal allocation, strategic planning, and plan execution, in order to solve a complete problem. Currently, we have no evidence of the existence of any framework that brings together all these phases for non-cooperative multi-agent planning environments. In this work, an exhaustive study is made to identify existing approaches for the different phases as well as frameworks and different applicable techniques in each phase. Thus, an abstract framework that covers all the necessary phases to solve these types of problems is proposed. In addition, we provide a concrete instantiation of the abstract framework using different techniques to promote all the advantages that the framework can offer. A case study is also carried out to show an illustrative example of how to solve a non-cooperative multi-agent planning problem with the presented framework. This work aims to establish a base on which to implement all the necessary phases using the appropriate technologies in each of them and to solve complex problems in different domains of application for non-cooperative multi-agent planning settings.

scholarly journals hp-FEM for the fractional heat equation

2020 ◽  
Author(s):  
Jens Markus Melenk ◽  
Alexander Rieder
Keyword(s):  
Finite Elements ◽  
Heat Equation ◽  
Exponential Convergence ◽  
Time Dependent ◽  
Nonlocal Operator ◽  
Time Stepping ◽  
Fractional Heat Equation ◽  
Time Dependent Problem ◽  
Hp Finite Elements ◽  
Abstract Framework

Abstract We consider a time-dependent problem generated by a nonlocal operator in space. Applying for the spatial discretization a scheme based on $hp$-finite elements and a Caffarelli–Silvestre extension we obtain a semidiscrete semigroup. The discretization in time is carried out by using $hp$-discontinuous Galerkin based time stepping. We prove exponential convergence for such a method in an abstract framework for the discretization in the spatial domain $\varOmega $.

scholarly journals Residual theory in λ-calculus: a formal development

1994 ◽  
Vol 4 (3) ◽  
pp. 371-394 ◽  
Author(s):  
Gérard Huet
Keyword(s):  
Normal Forms ◽  
Data Types ◽  
The Coq Proof Assistant ◽  
Coq Proof Assistant ◽  
Concrete Syntax ◽  
Calculus Of Inductive Constructions ◽  
Recursive Definitions ◽  
Abstract Framework ◽  
Order Predicate Calculus ◽  
Standard Library

AbstractWe present the complete development, in Gallina, of the residual theory of β-reduction in pure λ-calculus. The main result is the Prism Theorem, and its corollary Lévy's Cube Lemma, a strong form of the parallel-moves lemma, itself a key step towards the confluence theorem and its usual corollaries (Church-Rosser, uniqueness of normal forms). Gallina is the specification language of the Coq Proof Assistant (Dowek et al., 1991; Huet 1992b). It is a specific concrete syntax for its abstract framework, the Calculus of Inductive Constructions (Paulin-Mohring, 1993). It may be thought of as a smooth mixture of higher-order predicate calculus with recursive definitions, inductively defined data types and inductive predicate definitions reminiscent of logic programming. The development presented here was fully checked in the current distribution version Coq V5.8. We just state the lemmas in the order in which they are proved, omitting the proof justifications. The full transcript is available as a standard library in the distribution of Coq.

Sign in / Sign up

Export Citation Format

Share Document