English
Related papers

Related papers: A Brief Introduction to Redis

200 papers

Estimating mutual information (MI) is a fundamental yet challenging task in data science and machine learning. This work proposes a new estimator for mutual information. Our main discovery is that a preliminary estimate of the data…

Machine Learning · Computer Science 2024-08-20 Yanzhi Chen , Zijing Ou , Adrian Weller , Yingzhen Li

Writing a scientific article is a challenging task as it is a highly codified genre. Good writing skills are essential to properly convey ideas and results of research work. Since the majority of scientific articles are currently written in…

Computation and Language · Computer Science 2025-01-10 Léane Jourdan , Florian Boudin , Richard Dufour , Nicolas Hernandez

In this work, in order to achieve higher spectrum efficiency, we propose a reconfigurable intelligent surface (RIS)-assisted multi-user communication uplink system. Different from previous work in which the RIS only optimizes the phase of…

Information Theory · Computer Science 2020-11-19 Liang Yang , Fanxu Meng , Mazen O. Hasna , Ertugrul Basar

A statistical classification algorithm and its application to language identification from noisy input are described. The main innovation is to compute confidence limits on the classification, so that the algorithm terminates when enough…

Computation and Language · Computer Science 2007-05-23 David Elworthy

This article highlights some of the basic concepts of bioinformatics and data mining. The major research areas of bioinformatics are highlighted. The application of data mining in the domain of bioinformatics is explained. It also…

Computational Engineering, Finance, and Science · Computer Science 2012-05-08 Khalid Raza

A Compact Introduction to Fractional Calculus is presented including basic definitions, fractional differential equations and special functions.

History and Overview · Mathematics 2023-01-03 Alexander I. Zhmakin

This paper presents exploration of speech enable operating systems, software, and applications. It begins with a description of how such systems work, and the level of accuracy that can be expected. It explains the applications of speech…

Human-Computer Interaction · Computer Science 2013-05-01 Kamlesh Sharma , T. Suryakanthi , T. V. Prasad

This article presents a novel visualization approach for dynamic graphs, the versinus method, specially useful for real world networks exhibiting free-scale properties. With a simple and fixed layout, and a small set of visual markups, the…

Social and Information Networks · Computer Science 2014-12-30 Renato Fabbri

With the rise of the gig economy, online language tutoring platforms are becoming increasingly popular. These platforms provide temporary and flexible jobs for native speakers as tutors and allow language learners to have one-on-one…

Human-Computer Interaction · Computer Science 2022-04-19 Meng Xia , Yankun Zhao , Jihyeong Hong , Mehmet Hamza Erol , Taewook Kim , Juho Kim

Digital humanities are rooted in text analysis. However, most visualization paradigms use only categoric, ordered or quantitative data. Literal text must be considered a base data type to encode into visualizations. Literal text offers…

Human-Computer Interaction · Computer Science 2020-09-08 Richard Brath

The sharing and citation of research data is becoming increasingly recognized as an essential building block in scientific research across various fields and disciplines. Sharing research data allows other researchers to reproduce results,…

Digital Libraries · Computer Science 2023-09-22 Tim Conrad , Eloi Ferrer , Daniel Mietchen , Larissa Pusch , Johannes Stegmuller , Moritz Schubotz

Automatic differentiation plays a prominent role in scientific computing and in modern machine learning, often in the context of powerful programming systems. The relation of the various embodiments of automatic differentiation to the…

Programming Languages · Computer Science 2020-02-04 Martin Abadi , Gordon D. Plotkin

In this article, we describe the Registry of Scientometric Data Sources (RSDS) and several scientometric data sources recorded in this open registry that could be of interest for scientometricians, institutional researchers, librarians,…

Digital Libraries · Computer Science 2023-11-13 Grischa Fraumann , Svantje Lilienthal , Christian Hauschke

We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in…

Numerical Analysis · Mathematics 2021-07-28 Tomasz Kapela , Marian Mrozek , Daniel Wilczak , Piotr Zgliczyński

In this short note we briefly review some recent mathematical results relevant to the classical Regge Calculus evolution problem.

General Relativity and Quantum Cosmology · Physics 2007-05-23 E. Fabri , R. Giannitrapani

Large language models (LLMs) have enhanced our ability to rapidly analyze and classify unstructured natural language data. However, concerns regarding cost, network limitations, and security constraints have posed challenges for their…

Machine Learning · Computer Science 2024-11-05 David Farr , Nico Manzonelli , Iain Cruickshank , Jevin West

Witnessing subsystems for probabilistic reachability thresholds in discrete Markovian models are an important concept both as diagnostic information on why a property holds, and as input to refinement algorithms. We present SWITSS, a tool…

Logic in Computer Science · Computer Science 2020-08-11 Simon Jantsch , Hans Harder , Florian Funke , Christel Baier

Deep learning models deployed on edge devices frequently encounter resource variability, which arises from fluctuating energy levels, timing constraints, or prioritization of other critical tasks within the system. State-of-the-art machine…

Machine Learning · Computer Science 2025-07-29 Francesco Corti , Balz Maag , Joachim Schauer , Ulrich Pferschy , Olga Saukh

The aim of this paper is to present some computer aspects regarding the implementation and the employing of a dashboard in relation to the production activity. The paper begins with the theoretical presentation of the managerial perspective…

Other Computer Science · Computer Science 2009-06-01 Alin Isac , Claudia Isac

We provide the syntax and semantics of the LISA (for "Litmus Instruction Set Architecture") language. The parallel assembly language LISA is implemented in the herd7 tool (http://virginia.cs.ucl.ac.uk/herd/) for simulating weak consistency…

Programming Languages · Computer Science 2016-08-24 Jade ALglave , Patrick Cousot
‹ Prev 1 4 5 6 7 8 10 Next ›