Results 111 to 120 of about 2,051,541 (361)

High‐Resolution Characterization of Protein‐Conjugated, mRNA‐Loaded Lipid Nanoparticles by Analytical Ultracentrifugation

Advanced Functional Materials, EarlyView.
Lipid nanoparticles containing messenger RNA are characterized by sedimentation velocity analytical ultracentrifugation using UltraScan's new Custom Grid algorithm to provide multi‐dimensional distributions for partial specific volume (particle density), molar mass, sedimentation, diffusion, and hydrodynamic radius.
Sophia Bird, Connor Smith, Nahal Habibi, Samantha Rivera, Saeed Mortezazadeh, Reece Martin, Benjamin M. Geilich, Gilles Besin, Borries Demeler   +8 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

Micro and Nanostructural Diversity of Lizard Osteoderm Capping Tissue in Relation to Mechanical Performance

Advanced Functional Materials, EarlyView.
This study shows that lizard osteoderm capping tissue is a hyper‐mineralized hydroxyapatite layer consistently covering the superficial osteoderm surface in those species studied here, yet it varies greatly in morphology, nanostructure, and mechanical performance across species.
Adrian Rodriguez‐Palomo, Marius Didziokas, Malene Siri Berg Jacobsen, Thorbjørn Erik Køppen Christensen, Innokenty Kantor, Mads Ry Vogel Jørgensen, Klaus Pagh Almtoft, Jesper Skovhus Thomsen, Anthony Herrel, Catherine J.A. Williams, Henrik Birkedal   +10 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

Synchronizing words and monoid factorization, yielding a new parameterized complexity class? [PDF]

, 2022
Henning Fernau, Jens Bruchertseifer
openalex   +1 more source

The Cuttlebone Blueprint for Multifunctional Metamaterials: Design Taxonomy, Functional Decoupling, and Future Horizons

Advanced Functional Materials, EarlyView.
Cuttlebone‐inspired metamaterials exploit a septum‐wall architecture to achieve excellent mechanical and functional properties. This review classifies existing designs into direct biomimetic, honeycomb‐type, and strut‐type architectures, summarizes governing design principles, and presents a decoupled design framework for interpreting multiphysical ...
Xinwei Li, Zhendong Li
wiley   +1 more source

Randomized Parameterized Algorithms for the Kidney Exchange Problem

Algorithms, 2019
In order to increase the potential kidney transplants between patients and their incompatible donors, kidney exchange programs have been created in many countries.
Mugang Lin, Jianxin Wang, Qilong Feng, Bin Fu   +3 more
doaj   +1 more source

Giga‐Voxel Multiscale Composite Architecture Mirrored Through a Data‐to‐Model Closed‐Loop Digital Twin

Advanced Materials, EarlyView.
Herein, a systematic digital twin workflow tailored for generating high‐fidelity virtual representations of anisotropic composite microstructures and giga‐voxel meso‐structural models is presented, leveraging a harmonious integration of top–down image‐based modeling and bottom–up data‐driven voxel generation.
Siwon Yu, Seungsoo Jang, Young Seok Cho, Seunggyu Park, Jun Yeon Hwang, Soon Hyung Hong, Thomas James Marrow, Kang Taek Lee   +7 more
wiley   +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

Self‐Cooling Molecular Spin Qudits

Advanced Materials, EarlyView.
A material made of [GdEr] molecular dimers can encode a qudit and perform as a magnetic refrigerant. Microwave resonant pulses coherently manipulate its 16 spin states, while direct demagnetization measurements cool the material and a device down to temperatures below 1 K.
Elías Palacios, David Aguilà, David Gracia, Diamatoula Maniaki, Leoní A. Barrios, Alessandro Chiesa, Jesús I. Martínez, Valentin Novikov, Olivier Roubeau, Stefano Carretta, Marco Evangelisti, Guillem Aromí, Fernando Luis   +12 more
wiley   +1 more source