Results 11 to 20 of about 436,506 (135)
Nanoscale programming of cellular and physiological phenotypes: inorganic meets organic programming
npj Systems Biology and Applications, 2021 The advent of protein design in recent years has brought us within reach of developing a “nanoscale programing language,” in which molecules serve as operands with their conformational states functioning as logic gates.
Nikolay V. Dokholyan
doaj +2 more sources
Journal of Medical Internet ResearchBackgroundOnline health information is widely available, but a substantial portion of it is inaccurate or misleading, including exaggerated, incomplete, or unverified claims.
Dongmei Tan +5 more
doaj +2 more sources
SystemsProgramming education has become increasingly vital within global K–12 curricula, and large language models (LLMs) offer promising solutions to systemic challenges such as limited teacher expertise and insufficient personalized support.
Bixia Tang +3 more
doaj +2 more sources
Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences, 2023 L.M. Oleshchenko
openaire +2 more sources
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
International Conference on Computer Safety, Reliability, and Security, 2017 SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilities and limitations of its latest version in the context of building a ...
A Burns, D Hoang, J Xiang, R Chapman
core +2 more sources
Multi-Programming-Language Commits in OSS: An Empirical Study on Apache Projects [PDF]
IEEE International Conference on Program Comprehension, 2021 Modern software systems, such as Spark, are usually written in multiple programming languages (PLs). Besides benefiting from code reuse, such systems can also take advantages of specific PLs to implement certain features, to meet various quality needs ...
Zengyang Li +5 more
semanticscholar +1 more source
VISAR: A Human-AI Argumentative Writing Assistant with Visual Programming and Rapid Draft Prototyping [PDF]
ACM Symposium on User Interface Software and Technology, 2023 In argumentative writing, writers must brainstorm hierarchical writing goals, ensure the persuasiveness of their arguments, and revise and organize their plans through drafting.
Zheng Zhang +3 more
semanticscholar +1 more source
LotusSQL: SQL Engine for High-Performance Big Data Systems
Big Data Mining and Analytics, 2021 In recent years, Apache Spark has become the de facto standard for big data processing. SparkSQL is a module offering support for relational analysis on Spark with Structured Query Language (SQL).
Xiaohan Li +4 more
doaj +1 more source
BIG DATA PROCESSING WITH APACHE SPARK
TRA VINH UNIVERSITY JOURNAL OF SCIENCE; ISSN: 2815-6072; E-ISSN: 2815-6099, 2023 With the exponential growth of information, it is no surprise that we are in a period of history as the Information Age. The rapid growth of data has presented challenges regarding storage and processing technology.
Quy Quang Tran +3 more
semanticscholar +1 more source
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
International Workshop on Formal Techniques for Safety-Critical Systems, 2023 Both Rust and SPARK are memory-safe programming languages and feature stronger safety guarantees than other popular programming languages for embedded software.
Aïssata Maiga +3 more
semanticscholar +1 more source