Defect Formation, T-Atom Substitution and Adsorption of Guest Molecules in MSE-Type Zeolite Framework—DFT Modeling by Petko St. Petkov, Kristina Simeonova, Iskra Z. Koleva, Hristiyan A. Aleksandrov, Yoshihiro Kubota, Satoshi Inagaki, Valentin Valtchev, Georgi N. Vayssilov

“…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

A two-phase fluid model for epidemic flow by Ziqiang Cheng, Jin Wang

“…We propose a new mathematical and computational modeling framework that incorporates fluid dynamics to study the spatial spread of infectious diseases. …”
Get full text

The Overlooked Don't-Care Notion in Algorithmic Problem Solving by David GINAT

“…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

A Methodology for Assessing Intrasegmental Kinematics of the Whole Human Spine during Impacts by Lessley David, Shaw Greg, Ash Joseph, Crandall Jeff

“…Evaluating the biofidelity of spinal response in ATDs and computational models requires additional benchmarking data. …”
Get full text

Local Bayesian Dirichlet mixing of imperfect models by Vojtech Kejzlar, Léo Neufcourt, Witold Nazarewicz

“…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

Report on laboratory tests of sandstone and porphyry for rock fracture analysis by Jakub Gontarz, Jacek Szulej

“…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

An Access Control Model for Preventing Virtual Machine Hopping Attack by Ying Dong, Zhou Lei

“…As a new type of service computing model, cloud computing provides various services through the Internet. …”
Get full text

Unidirectional rotation of micromotors on water powered by pH-controlled disassembly of chiral molecular crystals by Itai Carmeli, Celine M. Bounioux, Philip Mickel, Mark B. Richardson, Yael Templeman, Joel M. P. Scofield, Greg G. Qiao, Brian Ashley Rosen, Yelena Yusupov, Louisa Meshi, Nicolas H. Voelcker, Oswaldo Diéguez, Touvia Miloh, Petr Král, Hagai Cohen, Shachar E. Richter

“…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

SBMLPkgSpec: a LaTeX style file for SBML package specification documents by Michael Hucka

“…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

Strength Analysis of a Freight Bogie Frame under the Defined Load Cases by Jan Dizo, Miroslav Blatnicky, Jozef Harusinec, Alfred Pavlik, Lukas Smetanka

“…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

A Study of Magnetic Properties in a 2D Ferromagnetic Nanolattice through Computer Simulation by Sergey V. Belim, Igor V. Bychkov

“…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

MAPPING OF LAND RESOURCES USING GIS IN UZBEKISTAN by T. Qoraboeva

“…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

Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic by Iris van de Pol, Iris van Rooij, Jakub Szymanik

“…Our approach is aimed at formalizing current intractability claims in the cognitive science literature regarding computational models of ToM.…”
Get full text

Membrane Clustering of Coronavirus Variants Using Document Similarity by Péter Lehotay-Kéry, Attila Kiss

“…P systems or membrane systems are computation models inspired by the flow of information in the membrane cells. …”
Get full text

Impact of increased renewables on natural gas markets in eastern United States by Nandakumar, Neha, Annaswamy, Anuradha M

“…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

Developmental and computational perspectives on infant social cognition by Hamlin, Kiley, Wynn, Karen, Bloom, Paul, Lucas, Chris G., Griffiths, Thomas L., Xu, Fei, Fawcett, Christine, Tamar, Kushnir, Wellman, Henry, Gelman, Susan, Goodman, Noah Daniel, Baker, Christopher Lawrence, Ullman, Tomer David, Tenenbaum, Joshua B

“…Keywords: Social cognition; Cognitive Development; Computational Modeling; Theory of Mind…”
Get full text
Get full text
Get full text
Get full text

The logic of universalization guides moral judgment by Levine, Sydney, Kleiman-Weiner, Max, Schulz, Laura E, Tenenbaum, Joshua B, Cushman, Fiery

“…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

Steam-oriented Computation in Recursive Data Flow Schemas by Weng, Kung-Song

“…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

Are Wait-free Algorithms Fast? by Attiya, Hagit, Lynch, Nancy A., Shavit, Nir

“…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

22.00J / 1.021J / 3.021J / 10.333J / 18.361J / 2.030J / HST.558 Introduction to Modeling and Simulation, Spring 2002 by Yip, Sidney, Powell, Adam C., Bazant, Martin Z., Carter, W. Craig, Marzari, Nicola, Rosales, Rodolfo, White, Jacob K., Cao, Jianshu, Hadjiconstantinou, Nicolas G (Nicholas George), Mirny, Leonid A., Trout, Bernhardt L., Ulm, F.-J. (Franz-Josef)

“…Basic concepts of computer modeling in science and engineering using discrete particle systems and continuum fields. …”
Get full text