Results 11 to 20 of about 1,256 (79)

Non-polynomial Worst-Case Analysis of Recursive Programs

, 2017
We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs.
A Chakarov, A Podelski, A Schrijver, A Schrijver, AR Bradley, B Cook, B Cook, BS Gulavani, C Alias, C Urban, CS Lee, D Handelman, E Albert, E Albert, E Albert, J Farkas, J Hoffmann, J Hoffmann, J Hoffmann, J Hoffmann, K Chatterjee, L Shen, L Yang, M Brockschmidt, M Hofmann, M Hofmann, M Sinn, MA Colón, MA Colón, O Bournez, O Shkaravska, P Cousot, P Flajolet, R Alur, R Wilhelm, RG Bartle, RW Floyd, S Gulwani, S Jost, T Kuwahara, TH Cormen, W Chin, WH Hesselink   +42 more
core   +1 more source

Hybrid optimization technique for matrix chain multiplication using Strassen’s algorithm [version 1; peer review: 2 approved, 1 approved with reservations]

F1000Research
Background Matrix Chain Multiplication (MCM) is a fundamental problem in computational mathematics and computer science, often encountered in scientific computing, graphics, and machine learning.
Srinivasarao Thota, Rakshitha T, Thulasi Bikku   +2 more
doaj   +1 more source

Improving the numerical stability of fast matrix multiplication

, 2016
Fast algorithms for matrix multiplication, namely those that perform asymptotically fewer scalar operations than the classical algorithm, have been considered primarily of theoretical interest.
Ballard, Grey, Benson, Austin R., Druinsky, Alex, Lipshitz, Benjamin, Schwartz, Oded   +4 more
core   +1 more source

Faster all-pairs shortest paths via circuit complexity

, 2014
We present a new randomized method for computing the min-plus product (a.k.a., tropical product) of two $n \times n$ matrices, yielding a faster algorithm for solving the all-pairs shortest path problem (APSP) in dense $n$-node directed graphs with ...
Aho Alfred V., Ballard Grey, Bremner David, Kerr Leslie R.   +3 more
core   +1 more source

On Invertibility of Large Binary Matrices

Mathematics
Many data processing applications involve binary matrices for storing digital information. At present, there are limited results in the literature about algorithms for inverting large binary matrices.
Ibrahim Mammadov, Pavel Loskot, Thomas Honold   +2 more
doaj   +1 more source

Reliability of a wireless instrumented insole (WalkinSense system) for measuring spatiotemporal and kinematic gait variables

Journal of Experimental Orthopaedics, Volume 13, Issue 1, January 2026.
Abstract Purpose Reliable gait analysis is essential for clinical assessment and research. Wearable technologies such as the WalkinSense system (WSS), a wireless instrumented insole system equipped with an inertial measurement unit, enable the measurement of spatiotemporal and kinematic gait parameters in real‐world settings.
Melanie Eckelt, Jennifer Fayad, Anne Backes, Frederic Garcia, Bernd Grimm, Valeria Serchi, Tobias Meyer, Thomas Solignac, Caroline Mouton, Romain Seil, Laurent Malisoux   +10 more
wiley   +1 more source

Investigation of Energy and Power Characteristics of Various Matrix Multiplication Algorithms

Energies
This work studied the energy behavior of six matrix multiplication algorithms with various physical asset usage patterns. Two were variants of the straight inner product of rows and columns. The rest were variants of Strassen’s divide-and-conquer.
Salem Alsari, Muhammad Al-Hashimi
doaj   +1 more source

Four lectures on secant varieties

, 2013
This paper is based on the first author's lectures at the 2012 University of Regina Workshop "Connections Between Algebra and Geometry". Its aim is to provide an introduction to the theory of higher secant varieties and their applications.
A. Bernardi, A. Bernardi, A. Bernardi, A. Boralevi, A. Causa, A. Laface, A.J. Sommese, B. Sturmfels, C. Raicu, C.J. Hillar, D. Cartwright, D. Cartwright, D. Erman, D.J. Bates, D.Ž. Djoković, E. Allman, E. Allman, E. Arrondo, E. Ballico, E. Ballico, E. Ballico, E. Carlini, E. Carlini, E. Cattani, E. Postinghel, F. Enriques, F.S. Macaulay, G. Ballard, G. Boffi, G. Comas, G. Ni, G. Ottaviani, G. Ottaviani, H. Abo, H. Abo, H. Abo, H. Abo, H. Abo, H. Flenner, I.M. Gel’fand, I.M. Gel’fand, I.M. Gel’fand, J. Alexander, J. Alexander, J. Brachat, J. Buczyński, J. Chipalkatti, J. Sidman, J. Weyman, J.D. Hauenstein, J.M. Landsberg, J.M. Landsberg, J.M. Landsberg, J.M. Landsberg, J.M. Landsberg, J.M. Landsberg, J.M. Landsberg, J.M. Landsberg, K. Ranestad, L. Albera, L. Chiantini, L. Chiantini, L. Garcia, L. Lathauwer De, L. Lathauwer De, L. Lathauwer De, L. Lathauwer De, L. Lathauwer De, L. Oeding, L. Oeding, L. Oeding, L. Qi, M. Boij, M. Casanellas, M. Drton, M. Mella, M. Mella, M.A.A. Leeuwen van, M.C. Brambilla, M.C. Brambilla, M.V. Catalisano, M.V. Catalisano, M.V. Catalisano, M.V. Catalisano, M.V. Catalisano, P. Comon, P. Comon, P. Comon, P. Comon, P. Huggins, R. Fröberg, S. Abrescia, S. Friedland, S. Friedland, S. Friedland, S. Hu, T.G. Kolda, V. Silva de, V. Strassen, V.V. Williams, W. Buczyńska, È.B. Vinberg   +101 more
core   +1 more source

Caenogastropods and heterobranch gastropods from the Hettangian deposits of Luxembourg: palaeobiogeography and Early Jurassic faunal recovery in the western Tethys

Papers in Palaeontology, Volume 12, Issue 1, January/February 2026.
Abstract We describe the Hettangian Caenogastropoda and Heterobranchia of the Luxembourg Sandstone Formation, a wedge of clastic sediments deposited along the eastern margin of Paris Basin during the Early Jurassic. Five new genera and 11 new species are erected: Bourguetia bipartita sp. nov., Globularia delsatei sp. nov., Oonia feidtorum sp.
Stefano Monari, Roberto Gatto, Mara Valentini, Robert Weis   +3 more
wiley   +1 more source

Algebraic Methods in the Congested Clique

, 2015
In this work, we use algebraic methods for studying distance computation and subgraph detection tasks in the congested clique model. Specifically, we adapt parallel matrix multiplication implementations to the congested clique, obtaining an $O(n^{1-2 ...
Aho Alfred V., Björklund Andreas, Czumaj Artur, Furman M. E., Holzer Stephan, James, Nesetril Jaroslav, Tiskin Alexandre   +7 more
core   +1 more source