Results 31 to 40 of about 6,146 (173)

Differentially Testing Soundness and Precision of Program Analyzers

, 2018
In the last decades, numerous program analyzers have been developed both by academia and industry. Despite their abundance however, there is currently no systematic way of comparing the effectiveness of different analyzers on arbitrary code.
Amato Gianluca, Besson Frédéric, Beyer Dirk, Blazy Sandrine, Bradley Aaron R., Clarke Edmund M., Cousot Patrick, de Moura Leonardo, Dolan-Gavitt Brendan, Donaldson Alastair F., Dubois Catherine, Gange Graeme, Graf Susanne, Gurfinkel Arie, Heizmann Matthias, Komuravelli Anvesh, Midtgaard Jan   +16 more
core   +1 more source

An Experimental High‐Throughput Approach for the Screening of Hard Magnet Materials

Advanced Engineering Materials, EarlyView.
An entire workflow for the high‐throughput characterization and analysis of compositionally graded magnetic films is presented. Characterization protocols, data management tools and data analysis approaches are illustrated with test case Sm(Fe, V)12 based films.
William Rigaut, Pierre Le Berre, Hamdi Jaballah, Lukas Fink, Victor Poline, Richard Haettel, Stéphane Grenier, Gilbert Chahine, Ewen Bellec, Guillaume Buatier, Wilfried Hortschitz, Santa Pile, Thomas Schrefl, Nils Blanc, Yuan Hong, Thibaut Devillers, Nora M. Dempsey   +16 more
wiley   +1 more source

Unleashing the Power of Machine Learning in Nanomedicine Formulation Development

Advanced Functional Materials, EarlyView.
A random forest machine learning model is able to make predictions on nanoparticle attributes of different nanomedicines (i.e. lipid nanoparticles, liposomes, or PLGA nanoparticles) based on microfluidic formulation parameters. Machine learning models are based on a database of nanoparticle formulations, and models are able to generate unique solutions
Thomas L. Moore, Cristiano Pesce, Antonietta Greco, Claudia Pisante, Greta Avancini, Valentina Di Francesco, Yosi Shamay, Paolo Decuzzi   +7 more
wiley   +1 more source

The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs [PDF]

The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of ...
Helder Coelho, Jaime Sim�o Sichman, Nuno David   +2 more
core  

Zwitterionic Self‐Assembled Monolayer for Simultaneous Noise Suppression and Hole Extraction in High‐Performance Near‐Infrared Organic Photodetectors

Advanced Functional Materials, EarlyView.
This study presents a new hole transporting material (HTM) mechanism for self‐assembled monolayers in near‐infrared organic photodetectors. The formation of zwitterions induces a strong electric field that significantly increases the work function of HTM‐coated indium tin oxide substrates. The devices exhibit low dark current and noise, along with high
Jiyoung Shin, Gyeong Min Lee, Juyeon Shin, Jaewoong Kim, Tae Hyuk Kim, Do Yeon Kim, Myeong In Kim, Kyeounghak Kim, Jae Won Shim, In Hwan Jung   +9 more
wiley   +1 more source

An overview of very high level software design methods [PDF]

Very High Level design methods emphasize automatic transfer of requirements to formal design specifications, and/or may concentrate on automatic transformation of formal design specifications that include some semantic information of the system into ...
Asdjodi, Maryam, Hooper, James W.
core   +1 more source

Amalia -- A Unified Platform for Parsing and Generation [PDF]

, 1997
Contemporary linguistic theories (in particular, HPSG) are declarative in nature: they specify constraints on permissible structures, not how such structures are to be computed.
Francez, Nissim, Gabrilovich, Evgeniy, Wintner, Shuly   +2 more
core   +3 more sources

Bio‐Inspired Molecular Events in Poly(Ionic Liquids)

Advanced Functional Materials, EarlyView.
Originating from dipolar and polar inter‐ and intra‐chain interactions of the building blocks, the topologies and morphologies of poly(ionic liquids) (PIL) govern their nano‐ and micro‐processibility. Modulating the interactions of cation‐anion pairs with aliphatic dipolar components enables the tunability of properties, facilitated by “bottom‐up ...
Jiahui Liu, Marek W. Urban
wiley   +1 more source

From Clinic to Computation: Multiscale Bioengineering Strategies for Durable Biological Aortic Valve Replacements

Advanced Functional Materials, EarlyView.
Bioprosthetic aortic valves have revolutionized the treatment of aortic stenosis, but their durability is limited by structural valve deterioration (SVD). This review focuses on the pericardial tissue at the heart of these valves, examining how its mechanical properties and calcification drive fatigue and failure.
Gabriele Greco, Pierfrancesco Gaziano, Serena Anglese, Simone Morganti, Carlo de Vincentiis, Ferdinando Auricchio, Michele Marino, Michele Conti   +7 more
wiley   +1 more source

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source