Results 91 to 100 of about 5,099,872 (239)

Facilitating modular property-preserving extensions of programming languages [PDF]

, 1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in
Claus Pahl, Pahl, Claus
core   +2 more sources

Synchronization Abstraction in the BETA Programming Language

, 2008
: This paper argues that synchronization of processes need not be part of the core of a programming language, but that they can just as well be built from existing abstractions- provided these are sufficiently flexible and general.

core  

Artificial Intelligence in Systemic Sclerosis: Clinical Applications, Challenges, and Future Directions

Arthritis Care &Research, EarlyView.
Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos, José Miguel Sequí‐Sabater, Diego Benavent   +2 more
wiley   +1 more source

Emerging Post‐CMOS Hardware Neurons for Brain‐Inspired Computing: Devices, Circuits, and System Integration

Advanced Functional Materials, EarlyView.
The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan, Hocheon Yoo, Benoît H. Lessard, Ioannis Kymissis, Chang‐Hyun Kim   +4 more
wiley   +1 more source

Natalizumab and Tyruko (natalizumab biosimilar) for treating highly active relapsing-remitting multiple sclerosis after at least one disease-modifying therapy: a systematic review and economic model

Health Technology Assessment
Background Multiple sclerosis is an immune-mediated inflammatory disease, causing long-term disability in young adults. Most cases begin as relapsing–remitting multiple sclerosis. Some people have a form of relapsing–remitting multiple sclerosis known as
Catalina Lopez Manzano, Ayman Sadek, Chris Cooper, Eve Tomlinson, Hanyu Wang, Claire Rice, Emma Tallantyre, Ananya Rao-Middleton, Penny Whiting, Howard Thom   +9 more
doaj   +1 more source

Deciphering the Photopolymerization‐Induced Nanostructures and Interface Formation for Submicrometer Additive Manufacturing

Advanced Functional Materials, EarlyView.
This work reveals the UV‐curing‐induced monomer‐rich domain, oligomer‐rich domain, and entangled oligomer domain. The cured submicron films in stressed state induce interlayer nano‐wrinkle structures during the deposition of the second layer. Stress‐free cured films in relaxed state form non‐diffusive, diffusive and semi‐diffusive interlayer ...
Shouzheng Chen, Yufeng Zhai, Jungui Zhou, Lixing Li, Simon Schraad, Guangjiu Pan, Xuehe Jiang, Sarathlal Koyiloth Vayalil, Rolf A. T. M. van Benthem, Julien R. G. Navarro, Johan F. G. A. Jansen, Mats K. G. Johansson, Peter Müller‐Buschbaum, Stephan V. Roth   +13 more
wiley   +1 more source

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  

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

Genetically Programmed Shape‐Morphing of Engineered Living Materials

Advanced Functional Materials, EarlyView.
Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker, Yuchen Liu, Miguel Baños, Rosanne Schmachtenberg, Mahmudul Hasan, Claudia Fink‐Straube, Luai R. Khoury, Wilfried Weber   +7 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