Výsledky vyhledávání - programming languages and programming theory: 421*

Research on network programming language and policy conflicts for SDN Autor He, Bohan, Dong, Ligang, Xu, Tijie, Fei, Shuocheng, Zhang, Huafei, Wang, Weiming

“…‐level programming language to simplify programming. First, this paper improves the NetCore programming language to generate NetCore…”
Získat plný text

Pysteps: an open-source Python library for probabilistic precipitation nowcasting (v1.0) Autor Pulkkinen, Seppo, Nerini, Daniele, Pérez Hortal, Andrés A., Velasco-Forero, Carlos, Seed, Alan, Germann, Urs, Foresti, Loris

“…Pysteps is an open-source and community-driven Python library for probabilistic precipitation nowcasting, that is, very-short-range forecasting (0–6 h). The…”
Získat plný text

Challenges of software verification: the past, the present, the future Autor Ferrara, Pietro, Arceri, Vincenzo, Cortesi, Agostino

“…Software verification aims to prove that a program satisfies some given properties for all its possible executions. Software evolved incredibly fast during the…”
Získat plný text

Current challenges in automatic software repair Autor Le Goues, Claire, Forrest, Stephanie, Weimer, Westley

“… synthesis with respect to a specification. This article serves three purposes. First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug…”
Získat plný text

Thermodynamic and economic evaluation of a novel configuration for sustainable production of power and freshwater based on biomass gasification Autor Rahimi, M. J., Hamedi, M. H., Amidpour, M.

“… For this purpose, a realistic simulation program is developed (in C# programming language) to predict the composition of synthesis gas produced in the gasifier…”
Získat plný text

Advancing code completion through rotary position embedding Autor Yin, Yiming, Liu, Jianxun, Liu, Yi, Deng, Jia

“…With the rapid development of IT technology, the software information industry is growing rapidly in the world. As a core function and basic component of an…”
Získat plný text

Effective computations of the Atiyah-Bott formula Autor Muratore, Giosuè, Schneider, Csaba

“…We present an implementation of the Atiyah-Bott residue formula for M‾0,m(Pn,d). We use this implementation to compute a large number of Gromov-Witten…”
Získat plný text

Diazonium-Derived Aryl Films on Gold Nanoparticles: Evidence for a Carbon–Gold Covalent Bond Autor Laurentius, Lars, Stoyanov, Stanislav R, Gusarov, Sergey, Kovalenko, Andriy, Du, Rongbing, Lopinski, Gregory P, McDermott, Mark T

“… Comparison of the SERS spectrum with spectra computed from density functional theory models reveals a band characteristic of a Au–C stretch…”
Získat plný text

An efficient heterogeneous parallel password recovery system on MT-3000 Autor Luo, Yongtao, Liu, Jie, Gong, Chunye, Li, Tun

“…Password-based recovery is a widely used method for regaining access to applications or services when passwords are lost or forgotten. It is commonly used in…”
Získat plný text

Architecting threat hunting system based on the DODAF framework Autor Aghamohammadpour, Ali, Mahdipour, Ebrahim, Attarzadeh, Iman

“…The importance of large data analytic systems for cyber security is expanding. Thus, collecting systematically, thoroughly assessing, and synthesizing the…”
Získat plný text

A relation enhanced model for temporal knowledge graph alignment Autor Wang, Zhaojun, You, Xindong, Lv, Xueqiang

“…Entity alignment (EA) aims to find entities that point to the same object in multiple knowledge graphs (KGs), i.e., finding equivalent entity pairs. In recent…”
Získat plný text

YOLO-ARGhost: a lightweight face mask detection model Autor Xu, Ruihang, Wang, Peisen, Li, Xuanjing, Nie, Ruifeng

“…Industrial development can bring huge economic benefits to the country and society. However, it has also caused serious environmental pollution, leading to…”
Získat plný text

Visualisation with treemaps and sunbursts in many-objective optimisation Autor Walker, David J.

“…Visualisation is an important aspect of evolutionary computation, enabling practitioners to explore the operation of their algorithms in an intuitive way and…”
Získat plný text

Scene optimization of GPU-based back-projection algorithm Autor Gong, Hao, Liu, Ying, Chen, Xiaoying, Wang, Cheng

“…The back-projection algorithm can adapt to synthetic aperture radar imaging in any mode because of its time-domain imaging characteristics, so it has received…”
Získat plný text

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs Autor CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“… The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of the type hierarchy…”
Získat plný text

Multimodal Recipe Recommendation System Using Deep Learning and Rule-Based Approach Autor Khilji, Abdullah Faiz Ur Rahman, Sinha, Utkarsh, Singh, Pintu, Ali, Adnan, Dadure, Pankaj, Manna, Riyanka, Pakray, Partha

“…In today’s age of the internet, there is tremendous growth in information. Moreover, this information can be easily accessed through different combinations of…”
Získat plný text

Implementation and optimization of ChaCha20 stream cipher on sunway taihuLight supercomputer Autor Cai, Weilin, Chen, Heng, Wang, Ziheng, Zhang, Xingjun

“…Data have always been the most valuable asset of enterprises and research institutions, and their confidentiality, especially the input and output data related…”
Získat plný text

3D grid clustering scheme for wireless sensor networks Autor Naveen, J., Alphonse, P. J. A., Chinnasamy, Sivaraj

“…Advances in wireless sensor networks (WSNs) technology have made a remarkable impact in the society. Since WSNs solely depend on the battery power of the tiny…”
Získat plný text

Automated NMR relaxation dispersion data analysis using NESSY Autor Bieri, Michael, Gooley, Paul R

“…Background Proteins are dynamic molecules with motions ranging from picoseconds to longer than seconds. Many protein functions, however, appear to occur on the…”
Získat plný text

MPI-dot2dot: A parallel tool to find DNA tandem repeats on multicore clusters Autor González-Domínguez, Jorge, Martín-Martínez, José M., Expósito, Roberto R.

“…Tandem Repeats (TRs) are segments that occur several times in a DNA sequence, and each copy is adjacent to other. In the last few years, TRs have gained…”
Získat plný text