Results 61 to 70 of about 100,345 (312)

Deobfuscating JavaScript Code Using Character-Based Tokenization

open access: yesStudia Universitatis Babes-Bolyai: Series Informatica, 2023
The JavaScript code deployed goes through the process of minification, in which variables are renamed using single-character names and spaces are removed in order for the files to have a smaller size, thus loading faster.
Alexandru-Gabriel SÎRBU
doaj   +1 more source

Abstract Syntax Trees for SMILES

open access: yes, 2020
SMILES is the de facto standard for information exchange in cheminformatics. But despite this language’s prominent role, low-level tools and documentation remain sparse and incomplete. Recent articles here have highlighted the development of a SMILES grammar and a parser implementation in Rust.
openaire   +1 more source

On the Prospects for African Philosophy in Australia

open access: yesAustralian Journal of Social Issues, EarlyView.
ABSTRACT This paper grapples with the situation of people of African descent in Australia by working through the constitution of the body of academic philosophy in the country. It contends with the parochialism of the Australian philosophical community and the prospects for the cultivation of greater pluralism. Taking African philosophy as one possible
Bryan Mukandi
wiley   +1 more source

An Approach of Conformance Verification between Design Models and Code Based on Abstract Syntax Tree

open access: yesMATEC Web of Conferences, 2016
Design models and code are products of different stages in the software development process. The conformance of design models and code plays an important role in software development process, also is a key principle to improve the maintainability of the ...
Liu Zhao, Tian Yang, Yan Haihua
doaj   +1 more source

Source Code Verification for Embedded Systems using Prolog [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2017
System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST).
Frank Flederer   +3 more
doaj   +1 more source

Syntax and Semantics of Abstract Binding Trees

open access: yes, 2016
The contribution of this paper is the development of the syntax and semantics of multi-sorted nominal abstract binding trees (abts), an extension of second order universal algebra to support symbol-indexed families of operators. Nominal abts are essential for correctly treating the syntax of languages with generative phenomena, including exceptions and
Sterling, Jonathan, Morrison, Darin
openaire   +2 more sources

The As and Bs of titi monkey linguistics: why emotional communication is not the enemy

open access: yesBiological Reviews, EarlyView.
ABSTRACT The alarm call sequences of titi monkeys (genera Plecturocebus, Callicebus and Cheracebus) have sparked important debates over whether they exhibit parallels with human language. Some researchers consider these sequences to involve both semantics and syntax, while others argue that the sequences convey semantic information without syntax.
Mélissa Berthet   +2 more
wiley   +1 more source

The difficult discussion on the deactivation of implantable cardioverter devices at the end of life: a systematic review

open access: yesESC Heart Failure, Volume 12, Issue 2, Page 733-760, April 2025.
Abstract Implantable cardioverter defibrillators (ICDs) reliably prevent death due to life‐threatening arrhythmias; this may become less relevant in people with more severe heart failure who are reaching the end of life (EOL). This review aimed to explore the ICD deactivation process and identify ethical issues, especially around the initiation of ...
Siobhan C. Murray   +2 more
wiley   +1 more source

Static Detection Method for Dockerfile Temporary Files Based on Rule Validation [PDF]

open access: yesJisuanji gongcheng
The temporary file issue in the Dockerfile causes the Docker image to pack unnecessary file resources beyond its functional requirements, resulting in an increase in image size and affecting the efficiency of image transmission and deployment.
SU Hui, ZHANG Jianhui, ZENG Junjie, CHU Xiaoxi
doaj   +1 more source

The Impact of Artificial Intelligence on Energy Conservation and Emission Reduction: Evidence From China's Listed Firms

open access: yesInternational Studies of Economics, EarlyView.
ABSTRACT Artificial intelligence (AI) plays an increasingly pivotal role in advancing sustainable economic development. While existing literature predominantly examines the environmental impact of AI technologies from national or sectoral perspectives, this study provides a micro‐level analysis of its effects on energy conservation and emission ...
Qiannan Zhu, Zhengyu Zhang
wiley   +1 more source

Home - About - Disclaimer - Privacy