相关论文: Report on workshop A1: Exact solutions and their i…

I present a general overview of the results discussed during the Cracow 1997 workshop on ``Relativistic Jets in AGNs.'' My emphasis will be on showing the significant progress made in several areas over the last few years, pointing out what…

This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both…

This volume contains the proceedings of the Tenth International Workshop on Fixed Points in Computer Science (FICS 2015) which took place on September 11th and 12th, 2015 in Berlin, Germany, as a satellite event of the conference Computer…

Exact solutions are derived for an n-dimensional radial wave equation with a general power nonlinearity. The method, which is applicable more generally to other nonlinear PDEs, involves an ansatz technique to solve a first-order PDE system…

Program synthesis is an active research field in academia, national labs, and industry. Yet, work directly applicable to scientific computing, while having some impressive successes, has been limited. This report reviews the relevant areas…

The paper study the discrete sets of translations of the Gaussian function that span the spaces L1(R) and L2(R).

The $17^\text{th}$ edition of the international workshop on top quark physics featured a diverse set of outstanding results. This note is an attempt to summarize the workshop from the experimental perspective and suggest ways forward for…

This is a report on the NSF Future Directions Workshop on Automatic Evaluation of Dialog. The workshop explored the current state of the art along with its limitations and suggested promising directions for future work in this important and…

Counterfactual explanations have been widely studied in explainability, with a range of application dependent methods prominent in fairness, recourse and model understanding. The major shortcoming associated with these methods, however, is…

This comment is devoted to the paper "Exact solutions of nonlinear diffusion-convection-reaction equation: A Lie symmetry approach" (CNSNS, vol. 67 (2019), 253-263) in which several results are not new because were derived much earlier.…

In this paper a review is given of a class of sub-models of both approaches, characterized by the fact that they can be solved exactly, highlighting in the process a number of generic results related to both the nature of pair-correlated…

This is a report of the concluding talk presented at the International Symposium on QCD Corrections and New Physics which was held during October 27-29, 1997 at Mielparque Hiroshima, Hiroshima, Japan. The report will be published in the…

This volume contains the proceedings of MARS 2024, the sixth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2024, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…

In this note, we give the possible revised version of the unique solvability conditions for the two incorrect results that appeared in the published paper by Wu et al. (Appl Math Lett 76:195-200, 2018).

This volume contains the formal proceedings of the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), held on 8th of Juli 2018 in Oxford, United Kingdom, and affiliated with FLoC 2018…

This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2023), a two-day workshop held at the University of Texas at Austin and online, on November 13-14. These…

This paper is an extended version of four lectures at PIMS in Vancouver given June 27 - 30, 2016. The primary goal of these lectures was to publicize the author's recent efforts to extend to representations of linear algebraic groups the…

Presentation for a talk "Two betting strategies that predict all compressible sequences" given at Seventh International Conference on Computability, Complexity and Randomness (CCR 2012)…

Explicit expressions, for efficient application in engineering practice, are derived for generalized displacements and stresses in simply supported multi-layered wide plates and beams subjected to steady-state thermal and mechanical…

Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that…