Results 161 to 170 of about 3,818 (217)

Engineered Nanotopography to Modulate Growth and Signaling of Neuronal Networks

Advanced Functional Materials, EarlyView.
This study examines the interaction between neurons and nanoscale topographies on engineered substrates. Neurons cultured on nanowires, nanopillars and nanoneedles exhibit enhanced neurite outgrowth, form more organized neuronal circuits, and display improved synaptic connectivity, compared to flat substrates.
Hao Nguyen Tran, Kalyan Shobhana, Zlatan Trifunovic, Dan Smith, Michael Stuiber, Chennupati Jagadish, Mirella Dottori, Andrea J. O'Connor, Vini Gautam   +8 more
wiley   +1 more source

Load Distributing Metamaterials Via Discrete Optimization

Advanced Functional Materials, EarlyView.
Mechanical metamaterials are computationally optimized to homogenize transmitted forces by minimizing the spread of reaction forces. The resulting architectures transform localized loading into broader, more uniform force distributions and experimentally demonstrate robust load spreading under quasi‐static and impact loading.
Andrea Detry, Hannes Holey, Raja Zulkarnain, Roberto Guerra, Ilaria Papa, Michael Zaiser, Stefano Zapperi   +6 more
wiley   +1 more source

Exchange‐Coupled Two‐Dimensional MOFs

Advanced Functional Materials, EarlyView.
Graphene mediates ferromagnetic coupling between two‐dimensional metal‐organic frameworks and cobalt. Fe‐tetracyanobenzene develops a remanent magnetic response whose orientation follows the cobalt magnetization direction and persists up to room temperature, whereas Ni‐TCNB remains only field‐polarized.
Iulia Cojocariu, Pierluigi Gargiani, Manuel Valvidares, Frederik Schirdewahn, Matthias Muntwiler, Matteo Jugovac   +5 more
wiley   +1 more source

Melanin's Role in Balancing Mechanical Strength and Reproductive Output in Environmentally Stressed Fungal Spores

Advanced Functional Materials, EarlyView.
Melanin content directly controls fungal spore mechanical properties, with pigmented spores achieving rupture forces two orders of magnitude higher than hyaline spores. Environmental stress drives this quantity‐quality tradeoff; stressed species invest energy in melanin‐reinforced, mechanically superior thick‐walled, super‐hydrophobic spores, while ...
Atul Agrawal, Steven E. Naleway
wiley   +1 more source

Some of the next articles are maybe not open access.

Related searches:

To model check or not to model check

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273), 2002
In the past, hardware design validation has relied primarily on simulation. New techniques such as model checking have been introduced but no objective study investigating the advantages such techniques provide over simulation has been made. Simulation is model checking over a trace elicited by executing a test vector; model checking can be viewed as ...
Nina Saxena, Jason Baumgartner, Avijit Saha, Jacob A. Abraham   +3 more
openaire   +2 more sources

Model checking for survivability!

Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005
Business and social life have become increasingly dependent on large-scale communication and information systems. A partial or complete breakdown as a consequence of natural disasters or purposeful attacks might have severe impacts. Survivability refers to the ability of a system to recover from such disaster circumstances.
Lucia Cloth, Boudewijn R. Haverkort
openaire   +1 more source

Model Checking

1996
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.
Edmund M. Clarke, Orna Grumberg, David E. Long   +2 more
openaire   +2 more sources

Model Checking at IBM

Formal Methods in System Design, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal   +3 more
openaire   +3 more sources

Model Checking

2014
This chapter gives an overview of model checking, focusing on the verification of concurrent, distributed software systems by means of the SP I N model checker. After discussing S P I N’s input languages, more details are given on the verification flow and on how to improve the verification performance.
Tingting Hu, Ivan Cibrario Bertolotti
openaire   +4 more sources

Checking security properties by model checking

Software Testing, Verification and Reliability, 2003
AbstractA method is proposed for checking security properties in programs written in high‐level languages. The method is based on the model checking technique. The SMV tool is used. The representation of the program is a Kripke structure modelling the control flow graph enriched with security information.
DE FRANCESCO, NICOLETTA, LETTIERI, GIUSEPPE   +1 more
openaire   +1 more source