Results 121 to 130 of about 20,367 (260)
Automated Methods of Finding Bugs in Compilers
, 2008 This thesis discusses an application of the fuzz testing method for testing compilers and interpreters. In the first part, it deals with compilers, optimizations, and bugs typical for an optimizing compiler.
Müller, Petr
core
Synthesis of Ti2B2Clx MBenes in Molten Salts From Theoretical and Experimental Perspectives
Advanced Materials, EarlyView.By integrating a theoretical framework with experiments, Ti2InB2 was selectively etched with ZnCl2 to produce a multilayer (ml) Ti2B2Clx MBene. The In atoms are completely removed, with simultaneous incorporation of chlorine surface terminations. in situ x‐ray diffraction indicates a direct biphasic transformation from Ti2InB2 to ml‐MBene, with no ...
Rodrigo M. Ronchi +15 more
wiley +1 more source
Advanced Materials, EarlyView.Ultralow iridium loading in hollandite MnO2 nanowires delivers an order of magnitude higher Ir mass activity than commercial IrOx for acidic water oxidation. Across pH and potential, Ir stays framework‐associated while Mn reconstructs, yet the most restructured catalyst is not the most dissolved, indicating that dissolution alone is an incomplete ...
Ruihan Li +6 more
wiley +1 more source
High performance Boson sampling simulation via data-flow engines
New Journal of PhysicsBoson sampling (BS) is viewed to be an accessible quantum computing paradigm to demonstrate computational advantage compared to classical computers. In this context, the evolution of permanent calculation algorithms attracts a significant attention as ...
Gregory Morse +9 more
doaj +1 more source
Bilayered PEDOT:PSS–Collagen Scaffolds as Functional Architectures for Tissue Engineering
Advanced Materials Interfaces, EarlyView.A bilayered scaffold integrates collagen and PEDOT:PSS as distinct yet interconnected 3D matrices, preserving their fibrillar and conductive characteristics. Spatial compartmentalization enables independent tailoring of each domain while maintaining mechanical stability and compatibility with electrochemical monitoring, providing a multifunctional ...
Rasha Nasser +6 more
wiley +1 more source
Advanced Materials Interfaces, EarlyView.This review outlines critical engineering design rules for building artificial protective coatings on next‐generation lithium metal and silicon battery anodes. It highlights how balancing structural flexibility with strict electronic and ionic transport limits prevents early battery failure.
Surin Gupte, Vilas G. Pol
wiley +1 more source
Random testing of open source C compilers
, 2015 Compilers are indispensable tools to developers. We expect them to be correct. However, compiler correctness is very hard to be reasoned about. This can be partly explained by the daunting complexity of compilers. In this dissertation, I will explain how
Yang, Xuejun
core
Laser‐Induced Local De‐Doping in Organic Semiconductors
Advanced Materials Technologies, EarlyView.The polymer PBTTT‐C14 doped with the small molecule acceptor F4TCNQ is considered as a benchmark material system. Mask‐free, microscale patterning of the doping level via laser‐induced heating and sublimation of dopant molecules is shown. Controlling laser irradiance and swath spacing allows dopant level control with laser‐limited resolution, opening ...
Christian Rainer +5 more
wiley +1 more source
, 1995 Compilers for higher-order programming languages like Scheme, ML, and Lisp can be broadly characterized as either "direct compilers" or "continuation-passing style (CPS) compilers", depending on their main intermediate representation.
Sabry, Amr Afaf
core
Advanced Materials Technologies, EarlyView.Dense tactile streams from across the humanoid body converge on collide in a central wiring and data bottleneck. By relocating computation closer to and then into the skin itself, near‐ and in‐sensor architectures, together with neuromorphic computing, chart a path toward perception‐native electronic skin, in which the conversion of stimulus into ...
Mijin Kim +6 more
wiley +1 more source