English
Related papers

Related papers: Report from the Open Problems Session at OPSFA13

200 papers

This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a satellite event of the European Joint Conferences on Theory…

Programming Languages · Computer Science 2014-06-09 Paul Levy , Neel Krishnaswami

Outlook talk presented at the 10th International Symposium on Cosmology and Particle Astrophysics (CosPA2013)

High Energy Physics - Phenomenology · Physics 2014-03-03 Francis Halzen

A collection of the accepted Findings papers that were presented at the 3rd Machine Learning for Health symposium (ML4H 2023), which was held on December 10, 2023, in New Orleans, Louisiana, USA. ML4H 2023 invited high-quality submissions…

In this paper, p-dispersion problems are studied to select $p\geqslant 2$ representative points from a large 2D Pareto Front (PF), solution of bi-objective optimization. Four standard p-dispersion variants are considered. A novel variant,…

Data Structures and Algorithms · Computer Science 2023-07-04 Nicolas Dupin

The Second International Workshop on Trends in Functional Programming in Education, TFPIE 2013, was held on May 13, 2013 at Brigham Young University in Provo, Utah, USA. The goal of TFPIE is to gather researchers, professors, teachers, and…

Computers and Society · Computer Science 2013-12-10 Philip K. F. Hölzenspies

This is an update on, and expansion of, our paper Open problems on $\beta\omega$ in the book Open Problems in Topology.

General Topology · Mathematics 2024-10-23 Klaas Pieter Hart , Jan van Mill

We present an implementation of the method of orthogonal polynomials which is particularly suitable to study the partition functions of Penner random matrix models, to obtain their explicit forms in the exactly solvable cases, and to…

Mathematical Physics · Physics 2014-07-24 Gabriel Álvarez , Luis Martínez Alonso , Elena Medina

Invited talk presented at the Workshop on Physics at Current Accelerators and the Supercollider, Argonne, Illinois, and at the 17th Johns Hopkins Workshop on Current Problems in Particle Theory, Budapest, Hungary.

High Energy Physics - Phenomenology · Physics 2007-05-23 Jonathan A. Bagger

This report (written in French) is devoted to studying special functions the most used in physics. Special functions are a very broad branch of mathematics, theoretical physics, and mathematical physics. They appeared in the nineteenth…

History and Overview · Mathematics 2021-03-08 Benaoumeur Bakhti

This volume contains the papers presented at the sixth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013) held on August 25th, 2013 in Istanbul, co-located with the 29th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-12-31 Michael Fink , Yuliya Lierler

This volume contains the papers accepted at the Second International Workshop on FPGAs for Software Programmers (FSP 2015), held in London, United Kingdom, September 1st, 2015. FSP 2015 was co-located with the International Conference on…

Hardware Architecture · Computer Science 2015-08-27 Frank Hannig , Dirk Koch , Daniel Ziener

This is a list of problems that were collected from participants at the Comparative Prime Number Theory Symposium held at UBC from June 17 to June 21, 2024. Its goal is to stimulate research and future collaborations in this growing field.…

Number Theory · Mathematics 2024-07-08 Alia Hamieh , Habiba Kadiri , Greg Martin , Nathan Ng

We construct bivariate orthogonal polynomials (OPs) on algebraic curves of the form $y^m = \phi(x)$ in $\mathbb{R}^2$ where $m = 1, 2$ and $\phi$ is a polynomial of arbitrary degree $d$, in terms of univariate semiclassical OPs. We compute…

Numerical Analysis · Mathematics 2022-11-15 Marco Fasondini , Sheehan Olver , Yuan Xu

Orthogonal polynomials with respect to a weight function defined on a wedge in the plane are studied. A basis of orthogonal polynomials is explicitly constructed for two large class of weight functions and the convergence of Fourier…

Classical Analysis and ODEs · Mathematics 2018-07-06 Sheehan Olver , Yuan Xu

This work looks at the theory of octonionic slice regular functions through the lens of differential topology. It proves a full-fledged version of the Open Mapping Theorem for octonionic slice regular functions. Moreover, it opens the path…

Complex Variables · Mathematics 2022-10-13 Riccardo Ghiloni , Alessandro Perotti , Caterina Stoppato

This volume contains the proceedings of the Fourth and Fifth International Workshops on Trends in Functional Programming in Education, TFPIE 2015 and TFPIE 2016, which were held on June 2, 2015 in Sophia-Antipolis, France, and on June 7,…

Programming Languages · Computer Science 2016-11-29 Johan Jeuring , Jay McCarthy

This volume contains the proceedings of the Combined 25th International Workshop on Expressiveness in Concurrency and the 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018), which was held on September 3, 2018, in Beijing,…

Logic in Computer Science · Computer Science 2018-08-27 Jorge A. Pérez , Simone Tini

This document presents a series of open questions arising in matrix computations, i.e., the numerical solution of linear algebra problems. It is a result of working groups at the workshop Linear Systems and Eigenvalue Problems, which was…

This volume collects the extended versions of selected papers originally presented at the two ACM SIGPLAN workshops: ML Family Workshop 2014 and OCaml 2014. Both were affiliated with ICFP 2014 and took place on two consecutive days, on…

Programming Languages · Computer Science 2015-12-07 Oleg Kiselyov , Jacques Garrigue

This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Federated Logic Conference (FLoC) 2018. Its focus is…

Programming Languages · Computer Science 2020-08-19 David S. Warren , Yanhong A. Liu
‹ Prev 1 4 5 6 7 8 10 Next ›