Suchergebnisse - "Mathematics of computing Probability and statistics"

Making Fair ML Software using Trustworthy Explanation von Chakraborty, Joymallya, Peng, Kewen, Menzies, Tim

“… Machine learning software is being used in many applications (finance, hiring, admissions, criminal justice) having huge social impact. But sometimes the …”
Volltext

Curvilinear Optical Proximity Correction via Cardinal Spline von Zheng, Su, Liang, Xiaoxiao, Yu, Ziyang, Ma, Yuzhe, Yu, Bei, Wong, Martin

“… This paper presents a novel curvilinear optical proximity correction (OPC) framework. The proposed approach involves representing mask patterns with control …”
Volltext

Stochastic Processes with Expected Stopping Time von Chatterjee, Krishnendu, Doyen, Laurent

“… Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating …”
Volltext

Causality-Aided Trade-Off Analysis for Machine Learning Fairness von Ji, Zhenlan, Ma, Pingchuan, Wang, Shuai, Li, Yanhui

“… There has been an increasing interest in enhancing the fairness of machine learning (ML). Despite the growing number of fairness-improving methods, we lack a …”
Volltext

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems von She, Yining, Biswas, Sumon, Kastner, Christian, Kang, Eunsuk

“… Algorithmic fairness of machine learning (ML) models has raised significant concern in the recent years. Many testing, verification, and bias mitigation …”
Volltext

An FPGA-Compatible TRNG with Ultra-High Throughput and Energy Efficiency von Lu, Zhaojun, Qidiao, Houjia, Chen, Qidong, Liu, Zhenglin, Zhang, Jiliang

“… In this paper, we design an energy-efficient true random number generator with ultra-high throughput for FPGA. Only four ring oscillators constructed using …”
Volltext

PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning von Brauckmann, Alexander, Goens, Andres, Castrillon, Jeronimo

“… The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding …”
Volltext

Software traceability with topic modeling von Asuncion, Hazeline U., Asuncion, Arthur U., Taylor, Richard N.

“… Software traceability is a fundamentally important task in software engineering. The need for automated traceability increases as projects become more complex …”
Volltext

FeKAN: Efficient Kolmogorov-Arnold Networks Accelerator Using FeFET-based CAM and LUT von Yu, Xuliang, Qian, Yu, Yin, Xunzhao, Zhuo, Cheng, Zhao, Liang

“… Kolmogorov-Arnold networks (KANs) have emerged as a promising alternative to MLP due to their adaptive learning capabilities for complex dependencies through …”
Volltext

TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference von Wang, Chong, Zhang, Jian, Lou, Yiling, Liu, Mingwei, Sun, Weisong, Liu, Yang, Peng, Xin

“… Python's dynamic typing system offers flexibility and expressiveness but can lead to type-related errors, prompting the need for automated type inference to …”
Volltext

Uncertainty-Aware Energy Management for Wearable IoT Devices with Conformal Prediction von Hussein, Dina, Ugwu, Chibuike E., Bhat, Ganapati, Doppa, Janardhan Rao

“… Wearable internet of things (IoT) are transforming diverse healthcare applications including rehabilitation, vital symptom monitoring, and activity …”
Volltext

Extracting Databases from Dark Data with DeepDive von Zhang, Ce, Shin, Jaeho, Ré, Christopher, Cafarella, Michael, Niu, Feng

“… DeepDive is a system for extracting relational databases from : the mass of text, tables, and images that are widely collected and stored but which cannot be …”
Weitere Angaben

The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language Models von Zhout, Xin, Kim, Kisub, Xu, Bowen, Liu, Jiakun, Han, DongGyun, Lo, David

“… Learning-based techniques, especially advanced Large Language Models (LLMs) for code, have gained considerable popularity in various software engineering (SE) …”
Volltext

Towards Globally Optimal Crowdsourcing Quality Management: The Uniform Worker Setting von Das Sarma, Akash, Parameswaran, Aditya, Widom, Jennifer

“… We study , that is, given worker responses to a set of tasks, our goal is to jointly estimate the true answers for the tasks, as well as the quality of the …”
Weitere Angaben

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata von Bojanczyk, Mikolaj, Klin, Bartek, Moerman, Joshua

“… We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register …”
Volltext

Probabilistic Marching Cubes von Pöthkow, Kai, Weber, Britta, Hege, Hans-Christian

“… In this paper we revisit the computation and visualization of equivalents to isocontours in uncertain scalar fields. We model uncertainty by discrete random …”
Volltext

Generalized Score Functions for Causal Discovery von Huang, Biwei, Zhang, Kun, Lin, Yizhu, Schölkopf, Bernhard, Glymour, Clark

“… Discovery of causal relationships from observational data is a fundamental problem. Roughly speaking, there are two types of methods for causal discovery, …”
Weitere Angaben

Exploiting Uniform Spatial Distribution to Design Efficient Random Number Source for Stochastic Computing von Zhong, Kuncai, Li, Zexi, Jin, Haoran, Qian, Weikang

“… Stochastic computing (SC) generally suffers from long latency. One solution is to apply proper random number sources (RNSs). Nevertheless, current RNS designs …”
Volltext

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods von Bacci, Giorgio, Bacci, Giovanni, Larsen, Kim G., Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

“… We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can …”
Volltext

From Multisets over Distributions to Distributions over Multisets von Jacobs, Bart

“… A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability. At a technical level, the problem arises …”
Volltext