Results 81 to 90 of about 149,306 (281)

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

Parameterized Complexity of Asynchronous Border Minimization

, 2015
Microarrays are research tools used in gene discovery as well as disease and cancer diagnostics. Two prominent but challenging problems related to microarrays are the Border Minimization Problem (BMP) and the Border Minimization Problem with given ...
A Frank, A Popa, AE Feldmann, C Melle, CY Li, D Gerhold, H Lenstra, J Flum, J Flum, JB Welsh, K Andreev, M Chatterjee, M Cretich, MR Fellows, R Kannan, RG Downey, S Fodor   +16 more
core   +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

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 Results for Plan Reuse

, 2013
Planning is a notoriously difficult computational problem of high worst-case complexity. Researchers have been investing significant efforts to develop heuristics or restrictions to make planning practically feasible.
de Haan, Ronald, Roubíčková, Anna, Szeider, Stefan   +2 more
core   +1 more source

In Situ Amidation‐Derived Interfacial Modulation for Homogeneous Ultra‐High Nanoparticle Loading Toward Robust and Flexible Piezoelectric Composites

Advanced Functional Materials, EarlyView.
Synergistic interfacial strategy between inorganic ceramic fillers and polymer chains effectively inhibit particle aggregation and interfacial incompatibility. complex covalent and non‐covalent interfacial interactions promote superior uniformity, ultra‐high ceramic filler loading, and strong grain‐to‐grain connectivity, thereby enabling the ...
HakSu Jang, In Beom Heo, Changyeon Baek, Dong Won Jeon, Donghun Lee, Nagamalleswara Rao Alluri, Hyejeong Choi, HyoMin Jeon, SungHoon Kim, Hyunseung Kim, Jihun Choi, Hyun‐Soo Chang, Chang Kyu Jeong, Min‐Ku Lee, Jun Mo Koo, Tiandong Zhang, Geon‐Tae Hwang, Sung Beom Cho, Gyoung‐Ja Lee, Hyeong Min Jin, Kwi‐Il Park   +20 more
wiley   +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

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

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