Results 61 to 70 of about 5,223,875 (168)

Practical implementation of a dependently typed functional programming language [PDF]

, 2005
Types express a program's meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types are predicated on values, leading to the possibility of expressing invariants of a program's ...
Brady, Edwin С., Brady, Edwin ?
core  

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

PROSET — A Language for Prototyping with Sets [PDF]

, 1992
We discuss the prototyping language PROSET(Prototyping with Sets) as a language for experimental and evolutionary prototyping, focusing its attention on algorithm design.
U. Gutenbeil, C. Pahl, Franke, Wolfgang, Wilhelm Hasselbring, Pahl, Claus, Emst-erich Doberkat, W. Hasselbring, U. Lammers, Lammers, Ulrich, Gutenbeil, Ulrich, Claus Pahl, E.-E. Doberkat, W. Franke, Doberkat, Ernst-Erich, Ulrich Lammers, Hasselbring, Wilhelm, Wolfgang Franke, Ulrich Gutenbeil   +17 more
core   +2 more sources

In Situ Genetic Engineering Facilitates MMP‐9‐Responsive TIMP1 Release Through Proteolytic Cleavage to Boost Diabetic Wound Healing

Advanced Science, EarlyView.
This study develops an MMP‐9‐responsive protein release system that transforms resident cells into drug depots through in situ genetic engineering. Anchored to the membrane, the therapeutic protein TIMP1 is selectively released upon MMP‐9 cleavage.
Yuan Zhang, Jiani Deng, Man Yee Cheung, Tingting Fu, Xufeng Qi, Dongqing Cai, Jianmin Sun, Gang Lu, Peng Shi, Wai‐Yee Chan, Xu Li, Hui Zhao   +11 more
wiley   +1 more source

Ferroelectric Devices for In‐Memory and In‐Sensor Computing

Advanced Science, EarlyView.
Inspired by biological systems, in‐memory and in‐sensor computing overcome von Neumann bottlenecks. Ferroelectric devices can mimic synaptic functions and sense stimuli like light or force, therefore are ideal for these paradigms. This review introduces the ferroelectric devices applied for in‐memory and in‐sensor computing, covering their structures ...
Hong Fang, Ronghuan Xie, Qiang Cao, Shishen Yan, Xiaolin Wang, Limei Zheng   +5 more
wiley   +1 more source

Hyper-programming in Java [PDF]

, 2011
Hyper-programming is a technology only available in persistent systems since hyper-program source contains both text and links to persistent objects. A hyper-programming system has already been prototyped in the persistent programming language Napier88 ...
Zirintsis, E, Dunstan, VS, Morrison, Ronald, Kirby, Graham Njal Cameron   +3 more
core   +2 more sources

Programming Language Semantics using Miranda [PDF]

, 1995
This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages.
Simon Thompson, Thompson, Simon
core  

Understanding and Designing Phase Change Materials: Insights From Atom Probe Tomography

Advanced Science, EarlyView.
Atom probe tomography can distinguish metallic, covalent, and metavalent bonds based upon their bond rupture; in particular, the probability to form more than one ion (PME) in laser‐assisted field evaporation. These findings open new avenues in understanding and designing phase change materials (PCMs) since they allow quantification of bonds in solids ...
Jan Köttgen, Nils von den Driesch, Alexander Pawlis, Matthias Wuttig   +3 more
wiley   +1 more source

Multidimensional and Multifunctional Laser‐Induced Graphene (LIG) for Point‐of‐Care and Wearable Biosensing, Theranostics, and Bioactive Interfaces Toward Personalized Healthcare and Regenerative Medicine

Advanced Science, EarlyView.
Multidimensional laser‐induced graphene (LIG) spanning from 0D to 3D architectures is comprehensively reviewed for multifunctional biomedical platforms, including biosensing, theranostics, and bioactive interface applications, which highlights its potentials for point‐of‐care diagnostics, wearable health monitoring, smart drug delivery, and tissue ...
Li Zhang, Yurou Yuan, Xiaohong Ding, Wing Cheung Mak   +3 more
wiley   +1 more source

The Intellectual Training Environment for Prolog Programming Language [PDF]

In this work is described a new complex training system, named SPprolog, intended for training and self-training in logic programming language - Prolog.
Serghei PELIN
core