-
4241
Defect Formation, T-Atom Substitution and Adsorption of Guest Molecules in MSE-Type Zeolite Framework—DFT Modeling
Published 2021-12-01“…We used computational modeling, based on Density Functional Theory, to help understand the preference for the formation of silanol nests and the substitution of Si by Ti or Al in different crystallographic positions of the MSE-type framework. …”
Get full text
Article -
4242
A two-phase fluid model for epidemic flow
Published 2023-09-01“…We propose a new mathematical and computational modeling framework that incorporates fluid dynamics to study the spatial spread of infectious diseases. …”
Get full text
Article -
4243
The Overlooked Don't-Care Notion in Algorithmic Problem Solving
Published 2009-10-01“…It is the core of non-determinism; it is essential in various computational models; it is central in distributed and concurrent algorithms; and it also is relevant in sequential, deterministic algorithms. …”
Get full text
Article -
4244
A Methodology for Assessing Intrasegmental Kinematics of the Whole Human Spine during Impacts
Published 2014-01-01“…Evaluating the biofidelity of spinal response in ATDs and computational models requires additional benchmarking data. …”
Get full text
Article -
4245
Local Bayesian Dirichlet mixing of imperfect models
Published 2023-11-01“…Abstract To improve the predictability of complex computational models in the experimentally-unknown domains, we propose a Bayesian statistical machine learning framework utilizing the Dirichlet distribution that combines results of several imperfect models. …”
Get full text
Article -
4246
Report on laboratory tests of sandstone and porphyry for rock fracture analysis
Published 2020-08-01“…The determined values were used as parameters of computer models which are used to verify the authors’ method of predicting the crack propagation in the Abaqus FEA system.…”
Get full text
Article -
4247
An Access Control Model for Preventing Virtual Machine Hopping Attack
Published 2019-03-01“…As a new type of service computing model, cloud computing provides various services through the Internet. …”
Get full text
Article -
4248
Unidirectional rotation of micromotors on water powered by pH-controlled disassembly of chiral molecular crystals
Published 2023-05-01“…Here, we describe silver-organic micro-complexes of random shapes that exhibit macroscopic unidirectional rotation on water surface through the asymmetric release of cinchonine or cinchonidine chiral molecules from their crystallites asymmetrically adsorbed on the complex surfaces. Computational modeling indicates that the motor rotation is driven by a pH-controlled asymmetric jet-like Coulombic ejection of chiral molecules upon their protonation in water. …”
Get full text
Article -
4249
SBMLPkgSpec: a LaTeX style file for SBML package specification documents
Published 2017-09-01“…Abstract Objective The Systems Biology Markup Language (SBML) is a popular open format for storing and exchanging computational models in biology. The definition of SBML is captured in formal specification documents. …”
Get full text
Article -
4250
Strength Analysis of a Freight Bogie Frame under the Defined Load Cases
Published 2018-12-01“…The next part deals with computer modelling and analyses of this bogie frame. Strength analyses were performed using the FE method and they were focused on the assessment of stresses in the frame structure. …”
Get full text
Article -
4251
A Study of Magnetic Properties in a 2D Ferromagnetic Nanolattice through Computer Simulation
Published 2022-10-01“…This article investigated the magnetic properties of a 2D nanolattice through computer modeling. A square antidote nanolattice in thin films was considered. …”
Get full text
Article -
4252
MAPPING OF LAND RESOURCES USING GIS IN UZBEKISTAN
Published 2015-01-01“…It comprises many compound processes, in particular, gathering, the analysis, storage, distribution and computer modeling of the information on land resources, and drawing up of digital maps. …”
Get full text
Article -
4253
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
Published 2016-06-01“…Our approach is aimed at formalizing current intractability claims in the cognitive science literature regarding computational models of ToM.…”
Get full text
Article -
4254
Membrane Clustering of Coronavirus Variants Using Document Similarity
Published 2022-10-01“…P systems or membrane systems are computation models inspired by the flow of information in the membrane cells. …”
Get full text
Article -
4255
Impact of increased renewables on natural gas markets in eastern United States
Published 2017“…In order to answer these questions, computational models are derived using forecasting and regression analysis tools and an auction model.…”
Get full text
Get full text
Get full text
Article -
4256
Developmental and computational perspectives on infant social cognition
Published 2017“…Keywords: Social cognition; Cognitive Development; Computational Modeling; Theory of Mind…”
Get full text
Get full text
Get full text
Get full text
Article -
4257
The logic of universalization guides moral judgment
Published 2021“…In other words, even if a single person's behavior is harmless, that behavior may be wrong if it would be harmful once universalized.We formalize the process of universalization in a computational model, test its quantitative predictions in studies of human moral judgment, and distinguish it from alternative models. …”
Get full text
Article -
4258
Steam-oriented Computation in Recursive Data Flow Schemas
Published 2023“…In this thesis we present a parallel programming language based on a parallel computation model known as data flow schemas. Syntactically, the language resembles programming languages such as Algol 60, but does not have GOTO's, WHILE-loops, and non-local variables. …”
Get full text
-
4259
Are Wait-free Algorithms Fast?
Published 2023“…This implies an Ω(log n) time separation between the wait-free and non-wait-free computation models. On the positive side, we present an O(log n) time wait-free approximate agreement algorithm; the complexity of this algorithm is within a small constant of the lower bound.…”
Get full text
-
4260
22.00J / 1.021J / 3.021J / 10.333J / 18.361J / 2.030J / HST.558 Introduction to Modeling and Simulation, Spring 2002
Published 2002“…Basic concepts of computer modeling in science and engineering using discrete particle systems and continuum fields. …”
Get full text