Results 71 to 80 of about 32,367 (309)
Higher-Order Termination: From Kruskal to Computability [PDF]
, 2006 Termination is a major question in both logic and computer science. In logic, termination is at the heart of proof theory where it is usually called strong normalization (of cut elimination). In computer science, termination has always been an important issue for showing programs correct.
Blanqui, Frédéric +2 more
openaire +3 more sources
Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis
FEBS Letters, EarlyView.Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee +7 more
wiley +1 more source
Programming the nova computer for dataway communication. [PDF]
, 1973 A general discussion of Dataway communication is presented followed by a description of the program sequences required to allow the NOVA computer to communicate with other computers on the Dataway.
Sanger, PL, Jones, CG, Ellis, PJ
core
On the Diffusion of Computer Terminals in an Established Engineering Environment [PDF]
The introduction of new technologies in existing administrative and technical organizations usually represents a significant investment in equipment and training. A prudent manager will attempt to acquire the equipment needed fast enough to encourage its
F. Randles
core +1 more source
Hybrid population-based incremental learning to assign terminals to concentrators [PDF]
, 2010 Conference name - International Conference on Evolutionary Computation, ICEC 2010; Conference date - 24 October 2010 - 26 October 2010; Conference code - 83493Fonte: https://www.scitepress.org/papers/2010/30763/30763.pdfIn the last decade, we have seen a
Bernardino, Eugénia Moreira +4 more
core +1 more source
Research on collaborative edge network service migration strategy based on crowd clustering
Scientific ReportsThe innovative application of Crowd Intelligent Devices (CIDS) in edge networks has garnered attention due to the rapid development of artificial intelligence and computer technology.
Junjie Cao, Zhiyong Yu, Bin Xue
doaj +1 more source
State‐space analysis based pole‐to‐ground line fault isolation strategy for LCC–HVDC systems
IET Generation, Transmission & Distribution, 2019 The common way to isolate the line fault in line‐commutated converter‐based high‐voltage direct current (LCC‐HVDC) transmission grids is regulating the trigger angle of converters on both terminals of the faulted line, which usually depends entirely on ...
Zhihui Dai +3 more
doaj +1 more source
FEBS Letters, EarlyView.Inositol pyrophosphates are energy‐rich signaling molecules that perform critical functions in cells. Three different families of phosphatases hydrolyze the β phosphate of the inositol pyrophosphate molecules: two have narrow specificities and one is promiscuous.
Ronda J. Rolfes
wiley +1 more source
Tongxin xuebao, 2023 Aiming at the problem that the resources of maritime mobile terminals were limited and the network traffic was imbalanced in the MMSN (maritime meteorological sensor network) environment, which made it difficult to detect network intrusion accurately, a ...
Xin SUN +3 more
doaj +2 more sources
FEBS Letters, EarlyView.CT10 regulator of kinase (CRK) and CRK‐Like (CRKL) are signaling adaptors driving cell adhesion, motility, differentiation, and proliferation. SH2‐domain containing (SH) proteins are enriched in YXXP motifs which when phosphorylated create preferred binding sites for CRK family SH2 domains.
Phoebe M. Cousens +8 more
wiley +1 more source