Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools

2021 ◽  
Author(s):  
Martin Gogolla ◽  
Robert Clariso ◽  
Bran Selic ◽  
Jordi Cabot
Keyword(s):  
Formal Modeling ◽  
Modeling Tools

Modeling Maritime Dynamics

Roman Seas ◽  
2020 ◽  
pp. 69-109
Author(s):  
Justin Leidwanger
Keyword(s):  
Theoretical Background ◽  
Formal Modeling ◽  
Modeling Tools ◽  
Landscape Studies ◽  
Material Record

This chapter outlines the theoretical background and methodology adopted to construct an archaeological model of maritime interaction. After problematizing concepts of regionalism, the discussion draws on maritime landscape studies to embrace the diverse geographies and temporalities of different seaborne mobilities that integrated communities around maritime space. To organize this material record of diverse seafaring practices, the analysis turns to conceptual approaches and formal modeling tools of networks. These provide the framework for a multiscalar model of maritime interaction that unfolds over the next chapters.

Low-Carbon Russia: Prospects after the Crisis

2009 ◽  
pp. 107-120 ◽  
Author(s):  
I. Bashmakov
Keyword(s):  
Economic Growth ◽  
Potential Energy ◽  
Greenhouse Gas Emissions ◽  
Greenhouse Gas ◽  
Low Carbon ◽  
Modeling Tools ◽  
Gas Emissions ◽  
Scenario Approach

On the eve of the worldwide negotiations of a new climate agreement in December 2009 in Copenhagen it is important to clearly understand what Russia can do to mitigate energy-related greenhouse gas emissions in the medium (until 2020) and in the long term (until 2050). The paper investigates this issue using modeling tools and scenario approach. It concludes that transition to the "Low-Carbon Russia" scenarios must be accomplished in 2020—2030 or sooner, not only to mitigate emissions, but to block potential energy shortages and its costliness which can hinder economic growth.

Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition

2011 ◽  
Vol 22 (11) ◽  
pp. 2698-2715 ◽  
Author(s):  
Fang-Xiong XIAO ◽  
Zhi-Qiu HUANG ◽  
Zi-Ning CAO ◽  
Li-Zhong TU ◽  
Yi ZHU
Keyword(s):  
Web Services ◽  
Formal Modeling ◽  
Web Services Composition ◽  
Services Composition

Sarasota Bay: Protection of a Natural Resource

1993 ◽  
Vol 28 (3-5) ◽  
pp. 91-99
Author(s):  
R. A. Wagner ◽  
M. G. Heyl
Keyword(s):  
Wastewater Treatment ◽  
Best Management Practices ◽  
Management Practices ◽  
Treatment Plan ◽  
Management Strategies ◽  
Treatment Plant ◽  
Modeling Tools ◽  
Best Management ◽  
Sarasota Bay ◽  
Potential Benefits

As part of the Sarasota Bay National Estuary Program (NEP) evaluation of environmental problems, modeling tools were used to estimate pollution loadings from diverse sources, including surface runoff, baseflow, wastewater treatment plant discbarges, septic tanks, and direct deposition of rainfall on the bay surface. After assessing the relative impacts of the pollution sources, alternative management strategies were identified and analyzed. These strategies focused primarily on future development, and included structural and nonstructural best management practices (BMPs), as well as a regional wastewater treatment plan. Loading reductions, along with planning-level cost data and estimates of feasibility and other potential benefits, were used to identify the most promising alternatives.

Structure Guided Molecular Docking Assisted Alignment Dependent 3DQSAR Study on Steroidal Aromatase Inhibitors (SAIs) as Anti-breast Cancer Agents

2019 ◽  
Vol 16 (7) ◽  
pp. 808-817 ◽  
Author(s):  
Laxmi Banjare ◽  
Sant Kumar Verma ◽  
Akhlesh Kumar Jain ◽  
Suresh Thareja
Keyword(s):  
Breast Cancer ◽  
Molecular Docking ◽  
Aromatase Inhibitors ◽  
Direct Synthesis ◽  
3D Qsar ◽  
Chemotherapeutic Agents ◽  
Modeling Tools ◽  
Data Set ◽  
Wide Range ◽  
Steroidal Aromatase Inhibitors

Background: In spite of the availability of various treatment approaches including surgery, radiotherapy, and hormonal therapy, the steroidal aromatase inhibitors (SAIs) play a significant role as chemotherapeutic agents for the treatment of estrogen-dependent breast cancer with the benefit of reduced risk of recurrence. However, due to greater toxicity and side effects associated with currently available anti-breast cancer agents, there is emergent requirement to develop target-specific AIs with safer anti-breast cancer profile. Methods: It is challenging task to design target-specific and less toxic SAIs, though the molecular modeling tools viz. molecular docking simulations and QSAR have been continuing for more than two decades for the fast and efficient designing of novel, selective, potent and safe molecules against various biological targets to fight the number of dreaded diseases/disorders. In order to design novel and selective SAIs, structure guided molecular docking assisted alignment dependent 3D-QSAR studies was performed on a data set comprises of 22 molecules bearing steroidal scaffold with wide range of aromatase inhibitory activity. Results: 3D-QSAR model developed using molecular weighted (MW) extent alignment approach showed good statistical quality and predictive ability when compared to model developed using moments of inertia (MI) alignment approach. Conclusion: The explored binding interactions and generated pharmacophoric features (steric and electrostatic) of steroidal molecules could be exploited for further design, direct synthesis and development of new potential safer SAIs, that can be effective to reduce the mortality and morbidity associated with breast cancer.

АЛГОРИТМ РАСЧЕТА ОКОН ПРОЦЕССА ФОТОЛИТОГРАФИИ НА ОСНОВЕ МОДЕЛИ РЕЗИСТА С ПОСТОЯННЫМ ПОРОГОМ

2020 ◽  
Vol 96 (3s) ◽  
pp. 756-757
Author(s):  
Е.С. Шамин ◽  
Е.Л. Харченко
Keyword(s):  
Process Window ◽  
Model Generation ◽  
Modeling Tools ◽  
Photolithography Process

Данная работа посвящена описанию возможного алгоритма создания моделей резиста с постоянным порогом и расчета окон процесса на их основе. Приведенные изыскания реализованы в виде программного средства, использующего средства моделирования фотолитографии Mentor Graphics Calibre. This work is dedicated to the description of one of possible algorithms of constant threshold resist model generation used for photolithography process window calculation. This algorithm has been realized in the form of a program using Mentor Graphics Calibre modeling tools.

scholarly journals Biogeochemical Controls on the Redox Evolution of Earth’s Oceans and Atmosphere

Elements ◽  
2020 ◽  
Vol 16 (3) ◽  
pp. 191-196 ◽  
Author(s):  
Christopher T. Reinhard ◽  
Noah J. Planavsky
Keyword(s):  
Redox State ◽  
Modeling Tools ◽  
Evolutionary Trajectory ◽  
Geochemical Tracers ◽  
Atmosphere System ◽  
Ocean Atmosphere ◽  
Dramatic Shift ◽  
Redox Evolution

The redox state of Earth’s atmosphere has undergone a dramatic shift over geologic time from reducing to strongly oxidizing, and this shift has been coupled with changes in ocean redox structure and the size and activity of Earth’s biosphere. Delineating this evolutionary trajectory remains a major problem in Earth system science. Significant insights have emerged through the application of redox-sensitive geochemical systems. Existing and emerging biogeochemical modeling tools are pushing the limits of the quantitative constraints on ocean–atmosphere redox that can be extracted from geochemical tracers. This work is honing our understanding of the central role of Earth’s biosphere in shaping the long-term redox evolution of the ocean–atmosphere system.

Sign in / Sign up

Export Citation Format

Share Document