Results 121 to 130 of about 24,130 (303)

Kaleidoscope: A Constraint Imperative Programming Language

, 1993
The Constraint Imperative Programming (CIP) family of languages integrates constraints and imperative, object-oriented programming. In addition to combining the useful features of both paradigms, there are synergistic effects of this integration, such as
Alan Borning, Gus Lopez, Bjorn Freeman-benson   +2 more
core  

Multi‐Omics Profiling Reveals Immunomodulatory and Pro‐Regenerative Effects of a Graphene Oxide–Collagen Scaffold in Massive Rotator Cuff Tears

Advanced Science, EarlyView.
A graphene oxide/collagen scaffold is developed for chronic massive rotator cuff tear repair. The scaffold improves compressive stability, supports reparative mesenchymal differentiation, and modulates the immune microenvironment. In chronic MRCT models, it reduces muscle degeneration, enhances tendon–bone regeneration, and improves functional recovery,
Renwen Wan, Yechuan Deng, Zixin Hu, Yanwei He, Xinting Feng, Jun Ma, Yisheng Chen, Zhijie Zhao, Jie Mei, Zhiheng Lin, Wei Luo, Zhengyuan Fang, Zhufeng Hu, Kunlun Feng, Xinrong Li, Dan Wu, Bowen Han, James Hoi po Hui, Xuanyong Liu, Chen Chen, Gang Chen, Shiyi Chen, Nirong Bao, Jiajun Qiu, Zhiwen Luo   +24 more
wiley   +1 more source

Action-Based Imperative Programming with YAGI

, 2012
Many tasks for autonomous agents or robots are best de- scribed by a specification of the environment and a specification of the available actions the agent or robot can perform.
VASSOS, STAVROS, Alexander Ferrein, Gerald Steinbauer   +2 more
core  

Alma-0: An imperative language that supports declarative programming [PDF]

, 1997
We describe here an implemented small programming language, called Alma, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm.
Partington, V., Apt, Krzysztof, Partinton, V., Brunekreef, J.J., Apt, K.R., Schaerf, A., Apt, K.R. (Krzysztof), Brunekreef, J.   +7 more
core  

A Triple‐Nanoparticle System for Controlled Graphene Nanosheet Stacking: Enabling K/Na‐Ion Battery Anodes with Ultra‐Fast Charging Exceeding Petroleum Vehicle Refueling

Advanced Science, EarlyView.
ABSTRACT Large‐ion (K, Na) battery systems mitigate uneven global lithium distribution, while their ability to attain recharge time shorter than refueling would remove the final barrier for secondary batteries to replace petroleum vehicles. However, their large‐ion chemistry makes ultra‐fast charging an even significant challenge.
Shukai Ding, Le Zhang, Hang Li, Yang Zhang, Guoquan Suo, Bin Han, Dongfeng Sun, Wenqi Zhao, Gaohui Du, Qingmei Su, Bingshe Xu, Zhen Xu, Wei Wang   +12 more
wiley   +1 more source

Programming Languages

, 2004
CSC 434. Programming Languages (3) Prerequisites: CSC 332 and CSC 360. Comparative study of programming languages from both theoretical and applied viewpoints.
Berman, David
core   +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

Multifunctional Eutectic Mixtures Enable Integrated Recovery of U, Pu, and Sr From Nuclear Waste

Advanced Science, EarlyView.
A novel class of multifunctional eutectic mixtures, crafted from crown ether and organophosphorus molecules, achieves highly efficient, simultaneous recovery of uranium, plutonium, and strontium from nuclear waste. The material operates via a dual “coordination‐encapsulation” mechanism within self‐assembled reverse‐micelle structures, offering a ...
Yifan Wang, Yanjun Lv, Qilong Tang, Huaixin Hao, Jianfeng Jia, Gang Ye, Jing Chen, Chao Xu, Zhipeng Wang   +8 more
wiley   +1 more source

ANXA2‐mediated Phagocytosis Generates AR+ Macrophages to Confer Enzalutamide Resistance in Prostate Cancer

Advanced Science, EarlyView.
A novel resistance mechanism is mediated through phagocytosis of cancer cells by AR+ TAMs. This process, dependent on ANXA2, enables macrophages to acquire AR protein from engulfed tumor cells. The internalized AR translocates into the macrophage nucleus, where it binds directly to the IL‐6 promoter, augmenting IL‐6 transcription and secretion ...
Yong Luo, Tianlong Luo, Lingfeng Li, Qi Sun, Dongquan Li, Shanhe Huang, Zonglin Li, Weilong Lin, Yuan Ou, Tao Du, Shengmeng Peng, Kewei Xu, Bisheng Cheng, Hai Huang   +13 more
wiley   +1 more source

Programming in Alma-0, or Imperative and Declarative Programming Reconciled

, 1998
In [ Apt et al., 1998 ] we introduced the imperative programming language Alma-0 that supports declarative programming. In this paper we illustrate the hybrid programming style of Alma-0 by means of various examples that complement those presented in ...
Krzysztof R. Apt, Andrea Schaerf
core