Results 121 to 130 of about 876,365 (298)
In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device
In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang +19 more
wiley +1 more source
ALPES: an advanced logic programming environment
This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional ...
Cristina Ruggieri
doaj
Glossary of Software Engineering Laboratory terms [PDF]
A glossary of terms used in the Software Engineering Laboratory (SEL) is given. The terms are defined within the context of the software development environment for flight dynamics at the Goddard Space Flight Center.
core +1 more source
The Synonym management process in SAREL [PDF]
The specification phase is one of the most important and least supported parts of the software development process. The SAREL system has been conceived as a knowledge-based tool to improve the specification phase.
Castell Ariño, Núria +1 more
core +1 more source
Synthetic Nanobiology Actuated Lipometabolic Cell Factory for Autologous Tumor Immunotherapy
FA plays a crucial role in the interaction between tumor cells and the tumor microenvironment, especially for the immune response. A biocatalytic immunoenhancement strategy is developed to boost antitumor immunity by FA metabolic orientation to ceramide. Through the design of this delicate catalytic immunoenhancement strategy, the synthetic nanobiology
Shoujie Zhao +8 more
wiley +1 more source
Object oriented development of engineering software using CLIPS [PDF]
Engineering applications involve numeric complexity and manipulations of a large amount of data. Traditionally, numeric computation has been the concern in developing an engineering software.
Yoon, C. John
core +1 more source
Software Language Engineering by Intentional Rewriting
We describe a disciplined process of engineering a software language. This is done by systematic reuse of semantic components of another existing language. The constructs of the reference language are analysed and classified by their intent, each category of constructs is then subjected to rewriting.
openaire +2 more sources
A vertically stacked, DEA‐driven photonic array inspired by cephalopod skin, featuring highly crystalline colloidal crystal gels with vivid color, low FWHM and scalability is presented. The multilayer design removes lateral pixel interference, achieving near‐100% fill factor with fully independent RGB actuation.
Maga Kim +11 more
wiley +1 more source
Formal specification languages in knowledge and software engineering
AbstractDuring the last few years, a number of formal specification languages for knowledge-based systems (KBS) have been developed. Characteristics of such systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Languages for KBS have to cover both these aspects.
openaire +4 more sources
SI‐bioATRP in Mesoporous Silica for Size‐Exclusion Driven Local Polymer Placement
An enzyme‐catalyzed surface‐initiated atom transfer radical polymerization (SI‐bioATRP) of an anionic monomer within mesoporous silica particles, using hemoglobin as a catalyst, allows for controlling the location of the formed polymer via size‐exclusion effects between the nanopores and the biomacromolecules, thereby opening routes to functional ...
Oleksandr Wondra +8 more
wiley +1 more source

