Results 81 to 90 of about 211,276 (289)

Running symbolic execution forever

Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
When symbolic execution is used to analyse real-world applications, it often consumes all available memory in a relatively short amount of time, sometimes making it impossible to analyse an application for an extended period. In this paper, we present a technique that can record an ongoing symbolic execution analysis to disk and selectively restore ...
Busse, Frank, Nowack, Martin, Cadar, Cristian   +2 more
openaire   +2 more sources

Enhanced Human Antigen‐Specific B Cell Responses Using In Vitro 3D Tonsil Cultures Containing Stromal Cells

Advanced Healthcare Materials, EarlyView.
We developed a fully human 3D tonsil cell culture system incorporating supportive stromal cells that better sustains and activates immune cells than conventional methods. The model generates stronger, more targeted antibody responses to viral antigens and vaccines, providing a physiologically relevant and entirely human platform for studying immune ...
Maaike V. J. Braham, Marlon de Gast, Liubov Babii, Sabine Kruijer, Theo M. Bestebroer, Mathilde Richard, Mathieu Claireaux, S. Marieke van Ham, Jelle de Wit, Cécile A. C. M. van Els, Anja ten Brinke, Marit J. van Gils   +11 more
wiley   +1 more source

Photothermal‐Activated Antibacterial Amyloid‐Polyphenol‐Iron Hydrogels for Synergistic Wound Healing

Advanced Healthcare Materials, EarlyView.
We report a thermally triggered supramolecular hydrogel (LTFe) formed by Fe3+ and tannic acid on lysozyme amyloid fibrils. Fe3+ enables rapid gelation and photothermal transduction with an efficiency of 88.56%. The LTFe hydrogel exhibits excellent biocompatibility, potent antibacterial activity against E. coli and S.
Di Wu, Jiangtao Zhou, Yang Shen, Qiyao Sun, Tong Li, Xiaoyang Zou, Bin Liu, Hongshan Liang, Raffaele Mezzenga   +8 more
wiley   +1 more source

Program state optimal method based on variable symbolic relation analysis

Tongxin xuebao, 2018
Program analysis is the prime method to program property analysis,which is widely used in the domain of parameter dependent relation,path coverage and test case generation,and a lot of progress has been made.Current program analysis is based on the ...
Xi GUO, Pan WANG
doaj   +2 more sources

High Light Utilization and Color Rendering in Vacuum‐Deposited Semitransparent Perovskite Solar Cells

Advanced Materials, EarlyView.
In this work, low bandgap (≈1.55 eV) semitransparent perovskite solar cells (ST‐PSCs) having thin (thickness < ≈100 nm) perovskite layers and transparent conductive oxide‐based rear electrodes are fabricated using vacuum‐deposition methods. Two different ST‐PSCs demonstrated a high light utilization efficiency value of 4.2 (PCE: 9.26% and AVT: 45.3 ...
Abhyuday Paliwal, Manuel Romero, Lennart van den Hengel, Nathan Rodkey, Kassio P. S. Zanoni, Gabriel Lozano, Cristina Roldán‐Carmona, Michele Sessolo, Hernán Míguez, Henk J. Bolink   +9 more
wiley   +1 more source

FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution

, 2017
The USB protocol has become ubiquitous, supporting devices from high-powered computing devices to small embedded devices and control systems. USB's greatest feature, its openness and expandability, is also its weakness, and attacks such as BadUSB exploit
Butler, Kevin R. B., Fowze, Farhaan, Hernandez, Grant, Tian, Dave, Yavuz, Tuba   +4 more
core   +1 more source

n‐Type Polymer Radio Frequency Rectifiers Operating at 18.5 GHz

Advanced Materials, EarlyView.
Combining an n‐doped polymer semiconductor with wafer‐scale asymmetric planar electrodes featuring work function‐engineered contacts yields radio‐frequency diodes and rectifying circuits operating at up to 18.5 GHz. The devices combine scalable manufacturing with an operating frequency previously unattainable by large‐area organic electronics ...
Lazaros Panagiotidis, Filip Aniés, Yiyang Yu, Mohammed Ghadiyali, Hendrik Faber, Zhanibek Bizak, Youssef Kabri, Pavlos Tzourmpakis, Suman Mandal, Linqu Luo, Temur Maksudov, Mohamad Insan Nugraha, Harold F. Mazo‐Mantilla, Patrice Vanelle, Julie Broggi, Khaled N. Salama, Udo Schwingenschlögl, Martin Heeney, Atif Shamim, Thomas D. Anthopoulos   +19 more
wiley   +1 more source

Gold Nanorods in Cardiac Millitissues: Assessing Mechanical and Contractile Dynamics in a Living Engineering Myocardium Model

Advanced Materials Technologies, EarlyView.
This study presents a novel platform for assessing the active mechanical behavior of living cardiac microbundles through localized nanoindentation, integrated with temperature regulation and dual‐camera imaging systems. The developed system enables quantitative evaluation of dynamic micromechanics in engineered cardiac tissues in vitro, offering ...
Lihua Lou, Lia Paolino, Alberto Sesena Rubfiaro, Jin He, Arvind Agarwal   +4 more
wiley   +1 more source

ToyArchitecture: Unsupervised Learning of Interpretable Models of the World

, 2020
Research in Artificial Intelligence (AI) has focused mostly on two extremes: either on small improvements in narrow AI domains, or on universal theoretical frameworks which are usually uncomputable, incompatible with theories of biological intelligence ...
Andersson, Simon, Davidson, Joseph, Dluhoš, Petr, Feyereisl, Jan, Hlubuček, Petr, Hyben, Martin, Nikl, Matěj, Paška, Přemysl, Poliak, Martin, Rosa, Marek, Stránský, Martin, Vítků, Jaroslav, Šinkora, Jan   +12 more
core   +1 more source

Scalable Task Planning via Large Language Models and Structured World Representations

Advanced Robotics Research, EarlyView.
This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari, Zhaoting Li, Robert Babuška, Jens Kober, Cosimo Della Santina   +4 more
wiley   +1 more source