Results 81 to 90 of about 150,456 (276)

BACH, a Bayesian Optimization Protocol for Accurate Coarse‐Grained Parameterization of Organic Liquids

Advanced Functional Materials, EarlyView.
We present a fully automated Bayesian optimization (BO) protocol for the parameterization of nonbonded interactions in coarse‐grain CG force fields (BACH). Using experimental thermophysical data, we apply the protocol to a broad range of liquids, spanning linear, branched, and unsaturated hydrocarbons, esters, triglycerides, and water.
Janak Prabhu, Akhil Pratap Singh, Pablo Campomanes, Stefano Vanni   +3 more
wiley   +1 more source

Energy Distribution Optimization in Heterogeneous Networks with Min–Max and Local Constraints as Support of Ambient Intelligence

Sensors
In recent years, ambient intelligence (AmI) has gained significant attention from both academia and industry. AmI seeks to create environments that automatically adapt to individuals’ needs, improving comfort and efficiency.
Alessandro Aloisio, Domenico D. Bloisi, Marco Romano, Cosimo Vinci   +3 more
doaj   +1 more source

APPLICATION OF BIM IN THE CREATION OF PREFABRICATED STRUCTURES LOCAL PARAMETERIZED COMPONENT DATABASE

Architecture and Engineering, 2019
Introduction: As a research focus in the construction industry in recent years, prefabricated structures have advantages such as environmentally friendly and economical and so on, but it also increases the complexity of design and construction and the ...
Qinghan Bai, Sihua Deng, Chenguang Li, Ze Qie   +3 more
doaj   +1 more source

Closed Sets and Operators thereon: Representations, Computability and Complexity [PDF]

Logical Methods in Computer Science, 2018
The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce.
Carsten Rösnick-Neugebauer
doaj   +1 more source

Dual‐Programmable Architected Magnetic Soft Materials: Tuning Mechano–Electric Responses by Inverse Design

Advanced Functional Materials, EarlyView.
ABSTRACT Materials that can deform, sense, and autonomously generate power in response to wireless magnetic fields, through both magnetic‐actuated shape transformation and charge generation, are an emerging focus in advanced functional materials research.
Zhi Zhao, Xiaojia Shelly Zhang
wiley   +1 more source

Exploiting bounded signal flow for graph orientation based on cause-effect pairs

Algorithms for Molecular Biology, 2011
Background We consider the following problem: Given an undirected network and a set of sender-receiver pairs, direct all edges such that the maximum number of "signal flows" defined by the pairs can be routed respecting edge directions.
Niedermeier Rolf, Krüger Dominikus, Hüffner Falk, Dorn Britta, Uhlmann Johannes   +4 more
doaj   +1 more source

Parameterized Complexity and Kernel Bounds for Hard Planning Problems

, 2013
The propositional planning problem is a notoriously difficult computational problem. Downey et al. (1999) initiated the parameterized analysis of planning (with plan length as the parameter) and B\"ackstr\"om et al. (2012) picked up this line of research
Bäckström, Christer, Jonsson, Peter, Ordyniak, Sebastian, Szeider, Stefan   +3 more
core   +2 more sources

Computational Modeling Meets 3D Bioprinting: Emerging Synergies in Cardiovascular Disease Modeling

Advanced Healthcare Materials, EarlyView.
Emerging advances in three‐dimensional bioprinting and computational modeling are reshaping cardiovascular (CV) research by enabling more realistic, patient‐specific tissue platforms. This review surveys cutting‐edge approaches that merge biomimetic CV constructs with computational simulations to overcome the limitations of traditional models, improve ...
Tanmay Mukherjee, Mehdi Salar Amoli, Sarah Rezapourdamanab, Lama Rita El Shammas, Martin L. Tomov, Emilio A. Mendiola, Vahid Serpooshan, Reza Avazmohammadi   +7 more
wiley   +1 more source

Mapping Nanoscale Protein‐Corona Kinetics of DoE‐Optimized Perfluorocarbon Encapsulated‐PLGA Nanoparticles by In Situ, Time‐Resolved Synchrotron SAXS

Advanced Healthcare Materials, EarlyView.
A two‐phase workflow (OFAT screening followed by central composite design) maps how processing variables tune PFCE‐PLGA nanoparticle size, dispersity, surface charge, loading, and 19F‐MRI signal. In situ, time‐resolved synchrotron SAXS tracks albumin‐corona growth on intact dispersions and reveals PFCE‐dependent adsorption pathways.
Joice Maria Joseph, Maria Rosa Gigliobianco, Cristina Minnelli, Paolo Moretti, Francesco Spinozzi, Giovanna Mobbili, Sara Pistolesi, Cristina Casadidio, Gabriella Teti, Roberta Censi, Stefano Antonio Gattone, Piera Di Martino   +11 more
wiley   +1 more source

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems [PDF]

Logical Methods in Computer Science
We study the complexity of the model-checking problem for parameterized discrete-timed systems with arbitrarily many anonymous and identical processes, with and without a distinguished "controller", and communicating via synchronous rendezvous.
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger   +3 more
doaj   +1 more source