Automates translating natural language to Verilog for digital design.
problem Manual translation of natural language specifications to Verilog is time-consuming and error-prone.
method Fine-tuned GPT-2 to derive Verilog from English, using a dataset of design tasks.
result GPT-2 achieved 94.8% correct translation across simple and abstract design tasks.
Optimizes biomanufacturing processes with a new digital twin calibration method.
problem Lack of interpretability and sample efficiency in traditional DoE methods.
method Developed a computational approach to calibrate Bio-SoS digital twin model.
result Guides sample-efficient and interpretable DoEs by quantifying sub-model parameter estimation errors.
DIGIT is a low-cost tactile sensor for in-hand manipulation.
problem Difficulty in sensing contact forces limits robotic manipulation.
method DIGIT miniaturizes and improves a vision-based tactile sensor.
result DIGIT enables better control of interactions with the environment.
Paper reviews neuromorphic engineering features and compares analog vs digital systems.
problem Lack of consensus and unclear features in neuromorphic engineering.
method Review of recent work, comparison of machine learning accelerator chips.
result Analog processing and reduced bit precision architectures offer best efficiencies.
SFC aims to protect the Amazon with a digital currency and smart contracts.
problem Protecting the Amazon's ecosystem and ensuring resource credibility.
method Blockchain, digital contracts, smart contracts with oracles.
result Ensures credibility and security for financial resources invested in Amazon projects.
This paper explores IT governance for CBDC adoption in financial markets.
problem Adopting CBDC requires new IT governance models in financial markets.
method Systematic Literature Review (SLR) of 14 studies on IT resources and governance models.
result Many IT resources and preliminary IT designs for CBDC governance identified.
Study assesses impact of CBDC on financial stability in dual-currency economy.
problem Impact of CBDC on financial stability in dual-currency economy (Romania).
method Integrated analytical framework combining econometrics, machine learning, and behavioural modelling. CBDC adoption probabilities estimated using XGBoost and logistic regression models. Liquidity stress simulations and VAR, MSVAR, SVAR models capture macro-financial transmission.
result CBDC uptake would be moderate, primarily driven by digital readiness and trust in the central bank.
This study synthesizes stablecoin systems and develops a performance evaluation framework.
problem Fragmented academic research on stablecoins across economics, law, and computer science.
method Multi-method research design including literature synthesis, performance evaluation framework, and case study.
result Unified taxonomy and performance evaluation framework for stablecoin design.
IntraLayer connects digital finance platforms efficiently.
problem Inefficient interconnectivity in digital finance.
method Core infrastructure and adaptive fiscal policy.
result Optimised transactional efficiency for various agents.
A digital euro protocol offers complete privacy and offline transactions using Groth-Sahai proofs.
problem Fragile digital payment solutions with privacy and offline transaction issues.
method Design and implementation of a Central Bank Digital Currency (CBDC) using Groth-Sahai zero-knowledge proofs.
result Complete privacy and offline transaction capability with retroactive double-spending detection.
Pakistan examines digital mergers using traditional competition tools.
problem Regulating digital mergers in a developing country.
method Empirical comparative analysis of CCP's M&A decisions.
result CCP uses same decision factors for digital and traditional M&As.
Study evaluates digital transformation impact on financial performance using LLMs.
problem Measuring and understanding the impact of digital transformation on financial performance.
method Constructed DT indicators from company reports; analyzed effects of different digital technologies.
result Digital transformation improves financial performance, but varies by technology.
Digital transformation boosts corporate financial asset allocation, especially short-term.
problem Understanding how digital transformation affects corporate financial decisions.
method Fixed-effects models and staggered DID design using A-share listed companies data.
result Digital transformation significantly promotes corporate financial asset allocation, more pronounced in short-term.
Automated digital twin discovery from biological data improves drug discovery and personalized medicine.
problem Developing reliable digital twins from noisy, incomplete biological data.
method Symbolic and sparse regression, Bayesian frameworks, deep learning, and large language models.
result Sparse regression generally outperforms symbolic regression, especially with Bayesian frameworks.
Study develops a smart contract framework for efficient and fair resource allocation.
problem Lack of rigorous economic foundation in decentralized coordination and smart contract implementations.
method Mechanism design framework with provable convergence guarantees for decentralized price adjustment.
result Proves stability and robustness of the proposed mechanism under various perturbations.
Paper develops security model and pricing for stable digital currency in quantum blockchain network.
problem Securing and pricing stable digital currency in a quantum blockchain network.
method Developed a block-based quantum channel networking technology and a FinTech platform model with dynamic pricing.
result Established a generalized IoB security model using quantum channel networking and QKD.
Stablecoins promise to bridge fiat currencies with the world of cryptocurrencies. They provide a way for users to take advantage of the benefits of digital currencies, such as ability to transfer assets over the internet, provide assurance on minting schedules and scarcity, and enable new asset classes, while also part…
Orchestrating the Twin Transition in GBS: A Socio-Technical Framework
problem MNCs' need to harmonize digital efficiency with environmental stewardship
method Technology Roadmapping (TRM) with ICT-centric innovation ecosystem toolkit
result Central 'operational airlock' for GBS in harmonizing digital and environmental transformation
The Clock Drawing Test (CDT) is a rapid, inexpensive, and popular neuropsychological screening tool for cognitive conditions. The Digital Clock Drawing Test (dCDT) uses novel software to analyze data from a digitizing ballpoint pen that reports its position with considerable spatial and temporal precision, making possi…
Quantizers play a critical role in digital signal processing systems. Recent works have shown that the performance of quantization systems acquiring multiple analog signals using scalar analog-to-digital converters (ADCs) can be significantly improved by properly processing the analog signals prior to quantization. How…
Introduces MLM dataset for multitask learning across multiple languages and modalities.
problem Training and evaluating multitask systems on diverse data.
method Develops a new benchmark dataset with semantic data and modalities.
result Demonstrates challenges in generalizing on diverse data.
Digital money could reduce germ spread during coronavirus.
problem Spreading of germs via paper money during coronavirus.
method Policy recommendations for mobile wallets, digital currencies, and data protection.
result Adopting digital money can help reduce germ spread.
Paper presents a deep learning framework for faster, more accurate nuclear reactor power prediction.
problem Inaccurate and inefficient modeling of nuclear reactor transients.
method Hybrid digital twin-focused multi-stage deep learning framework using feed-forward neural networks.
result Achieved remarkable accuracy (96% classification, 2.3% MAPE) with noise-enhanced simulated data.
Study of digital topology concepts like hyperspaces and function graphs.
problem Adapting classical topology concepts to digital topology.
method Define digital hyperspaces and function graphs, study their properties.
result Some relationships and graphical properties of digital hyperspaces and function graphs.
Digital twins improve single-arm trials by providing robust treatment effect estimates.
problem Lack of control arms in single-arm trials limits their gold-standard evidence.
method Outcome-model-based synthetic controls using machine learning models trained on historical data.
result Digital twins offer more robust treatment effect estimates and principled corrections.
The paper highlights issues with fixed point claims in digital images.
problem Flaws in published assertions about fixed points in digital images.
method Continues a series of studies examining digital topology.
result Identifies and discusses problems with fixed point claims.
Find limiting sets for digital cones and suspensions.
problem Digital topology cone and suspension constructions.
method Identify (m, n)-limiting sets, especially (0, 0)-freezing sets.
result Discover (0, 0)-limiting sets for digital cones and suspensions.
In distributed optimization and machine learning, multiple nodes coordinate to solve large problems. To do this, the nodes need to compress important algorithm information to bits so that it can be communicated over a digital channel. The communication time of these algorithms follows a complex interplay between a) the…
Corrects incorrect assertions about fixed points in digital topology.
problem Incorrect or incorrectly proven assertions about fixed points in digital metric spaces.
method Analysis of existing assertions and proofs.
result Identifies and corrects errors in published assertions.
Study AFPP of unions of convex digital disks in 2D.
problem Conditions for AFPP of union of convex disks in digital plane.
method Use results from [6] to analyze AFPP.
result Conditions for AFPP of union of convex disks.
The paper addresses flaws in fixed point assertions for digital images.
problem Deficiencies in previously published works on fixed point assertions for digital images.
method Continues a series of studies to identify and rectify issues in fixed point assertions.
result Identifies and corrects flaws in fixed point assertions for digital images.
Study minimal freezing sets in convex digital disks.
problem Finding minimal freezing sets in convex digital disks.
method Showed how to find minimal freezing sets for convex disks in digital plane.
result Found minimal freezing sets for convex disks in digital plane.
Study on cold and freezing sets in digital images.
problem Properties of cold sets in digital images.
method Analysis of properties and relationships between cold and freezing sets.
result Examined relationships between cold and freezing sets.
Incorrect fixed point assertions in digital topology are discussed.
problem Incorrect or poorly stated fixed point assertions in digital topology.
method Discussion of problematic publications in digital metric spaces.
result Clarification of incorrect fixed point assertions.
In this paper, we show how to construct graph theoretical models of n-dimensional continuous objects and manifolds. These models retain topological properties of their continuous counterparts. An LCL collection of n-cells in Euclidean space is introduced and investigated. If an LCL collection of n-cells is a cover of a…
Incorrect fixed point assertions in digital topology are discussed.
problem Incorrect, incorrectly proven, or trivial fixed point assertions in digital topology.
method Continues earlier work on identifying and critiquing bad fixed point assertions.
result Clarifies the nature and extent of incorrect fixed point assertions in digital topology.
Digital trees have approximate fixed point property, and conditions for products are explored.
problem Conditions for the approximate fixed point property in digital tree products.
method Analyzes digital trees and their products, explores conditions for the AFPP.
result Conditions are found for the AFPP in digital tree products.
Study convexity and AFPP in digital images.
problem Relationship between convexity and AFPP in digital images.
method Examined in Z^2 digital images.
result Relationship between convexity and AFPP in digital images.
Study on AI-driven modeling for high burnup accident-tolerant fuels in SMRs.
problem Design and optimization of high burnup accident-tolerant fuels for SMRs.
method Artificial intelligence and multi-scale modeling (neutronics, thermal hydraulics, fuel performance).
result Demonstrated the effectiveness of AI in modeling and optimizing SMR fuels.
The paper highlights issues in fixed point claims in digital topology.
problem Flaws in published assertions about fixed points in digital metric spaces.
method Continues a series of studies examining these flaws.
result Identifies and discusses problems in fixed point claims.
Han discusses variants of digital covering maps and their equivalences.
problem Han's paper lacks thorough discussion on variants and their equivalences.
method Examined several variants of digital covering maps and compared their equivalences.
result Found several equivalences among the variants of digital covering maps.
This paper optimizes cybersecurity resource allocation in networks with heterogeneous attacker and defender valuations.
problem Optimizing cybersecurity resource allocation in networks with heterogeneous attacker and defender valuations.
method Combining strategic behavior of players with contagion dynamics, a method is extended to determine optimal resource allocation based on simple network metrics weighted by risk profiles.
result The asymmetry between attacker and defender valuations drives optimal attack and defense strategies, shaping system resilience.
Critiques incorrect fixed point assertions in digital topology.
problem Incorrect or incorrectly proven fixed point assertions in digital topology.
method Critical review of existing assertions.
result Identifies and critiques incorrect fixed point assertions.
Examines how irreducibility and rigidity affect digital images.
problem Understanding interactions between irreducibility and rigidity in digital images.
method Analyzes Cartesian products, wedges, and cold and freezing sets.
result Interactions between irreducibility and rigidity in digital images.
Matrix product states (MPS), a tensor network designed for one-dimensional quantum systems, has been recently proposed for generative modeling of natural data (such as images) in terms of `Born machine'. However, the exponential decay of correlation in MPS restricts its representation power heavily for modeling complex…
Study restrictions on digitally continuous functions and their effects.
problem Understanding effects of restrictions on digitally continuous functions.
method Analyzing digitally continuous functions and their modifications.
result Analogous result for topological spaces derived from digitally continuous functions.
Fixed point assertions in digital topology are often incorrect or poorly stated.
problem Fixed points in digital metric spaces
method Discussing publications with bad assertions
result Identifying and correcting errors in fixed point assertions
A new method streamlines digital payment programming using smart contracts.
problem High costs and security challenges in programming smart contracts for digital payments.
method Transforming digital currencies into token streams and using configurable templates to generate specialized smart contracts.
result Reduces payment programming costs and enhances security, self-enforcement, adaptability, and controllability.