Search Results - (mathematik OR mathematical) software—algorithm design and analysis general terms algorithms~

Object-Oriented Techniques for Sparse Matrix Computations in Fortran 2003

Authors: FILIPPONE, SALVATORE BUTTARI, ALFREDO Università degli Studi di Roma Tor Vergata Roma, Italia = University of Rome Tor Vergata Rome, Italy = Université de Rome Tor Vergata Rome, Italie et al.

Contributors: FILIPPONE, SALVATORE BUTTARI, ALFREDO Università degli Studi di Roma Tor Vergata Roma, Italia = University of Rome Tor Vergata Rome, Italy = Université de Rome Tor Vergata Rome, Italie et al.

Source: ACM Transactions on Mathematical Software. 38:1-20

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-DC]Computer Science [cs]/Distributed, Design Additional Key Words and Phrases: Sparse Matrices, sparse matrices, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, G4 [Mathematical Software]: Algorithm design and analysis General Terms: Mathematics of computing, 02 engineering and technology, and very large systems (direct and iterative methods), information hiding, Mathematics of computing, Parallel, 01 natural sciences, and Cluster Computing [cs.DC], G13 [Numerical Analysis]: Numerical Linear Algebra-Sparse, 0202 electrical engineering, electronic engineering, information engineering, Object-Oriented Design, 0101 mathematics, D211 [Software Engineering]: Software Architectures-Data abstrac- tion, structured, Algorithms, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

Access URL: https://hal.archives-ouvertes.fr/hal-02419121/file/psblas3.pdf
https://dl.acm.org/doi/10.1145/2331130.2331131
https://art.torvergata.it/handle/2108/109227
https://doi.org/10.1145/2331130.2331131
https://core.ac.uk/display/53862956
https://hal.archives-ouvertes.fr/hal-02419121/document
https://dblp.uni-trier.de/db/journals/toms/toms38.html#FilipponeB12

The Complexity of Quantifier Elimination and Cylindrical Algebraic Decomposition

Authors: Christopher W. Brown The Pennsylvania State University CiteSeerX Archives

Contributors: Christopher W. Brown The Pennsylvania State University CiteSeerX Archives

Source: http://staff.bath.ac.uk/masjhd/ISSACs/ISSAC07-final.pdf.

Subject Terms: G.4 [Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms Algorithms, Theory Keywords cylindrical algebraic decomposition, quantifier elimination

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.1844

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.1844
http://staff.bath.ac.uk/masjhd/ISSACs/ISSAC07-final.pdf

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Authors: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Subjects: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Computing Cylindrical Algebraic Decomposition via Triangular Decomposition

Authors: Changbo Chen Bican Xia The Pennsylvania State University CiteSeerX Archives

Contributors: Changbo Chen Bican Xia The Pennsylvania State University CiteSeerX Archives

Source: http://www.csd.uwo.ca/~moreno//Publications/Chen.Moreno-Maza.Xia.Yang-ISSAC-2009.pdf.

Subject Terms: G.4 [Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms Algorithms, Theory Keywords CAD

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5971

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5971
http://www.csd.uwo.ca/~moreno//Publications/Chen.Moreno-Maza.Xia.Yang-ISSAC-2009.pdf

Using Partition Information Entropy to Computationally Rank Order Critical Subreactions in a Petri Net Model of a Biochemical Signaling Network.

Authors: Jones-Oliveira, Janet B. Oliveira, Hans-Joseph B. Oliveira, Joseph S. et al.

Source: Journal of Computational Biology; Nov2025, Vol. 32 Issue 11, p1003-1040, 38p

Influence of Horizontal Intraoral Scan Bodies on the Trueness of Digital Impressions for Complete‐Arch Prostheses on Four Implants: An In Vitro Evaluation.

Authors: Laureti, Andrea Marques, Tiago Pitta, João et al.

Source: Clinical Oral Implants Research (John Wiley & Sons, Inc.); Oct2025, Vol. 36 Issue 10, p1287-1295, 9p

UWB indoor positioning optimization algorithm based on genetic annealing and clustering analysis.

Authors: Hua Guo Mengqi Li Xuejing Zhang et al.

Source: Frontiers in Neurorobotics; 7/26/2022, Vol. 16, p1-19, 19p

Subject Terms: MATHEMATICAL optimization, CLUSTER analysis (Statistics), GENETIC algorithms, SIMULATED annealing, INDUSTRIAL robots, WAREHOUSE management

Systemic Approach in the Study of the Current State of Knowledge in the Field of University Management.

Authors: MAJCHRZAK, JOANNA

Source: Annales Universitatis Mariae Curie-Sklodowska, Sectio H: Oeconomia; 2024, Vol. 58 Issue 4, p149-169, 21p

Subject Terms: BIBLIOMETRICS, UNIVERSITY & college administration, SUSTAINABLE development, COLLEGE environment, PERSONNEL management, ASSESSMENT of education, HIGHER education, MANAGEMENT education, PROBLEM solving

Machine learning & deep learning tools in pharmaceutical sciences: A comprehensive review.

Authors: Javid, Saleem Rahmanulla, Abdul Ahmed, Mohammed Gulzar et al.

Source: Intelligent Pharmacy; Jun2025, Vol. 3 Issue 3, p167-180, 14p

Transcriptional Factors Related to Cellular Kinetics, Apoptosis, and Tumorigenicity in Equine Adipose-Derived Mesenchymal Stem Cells (ASCs) Are Influenced by the Age of the Donors.

Authors: Vachkova, Ekaterina Arnhold, Stefan Petrova, Valeria et al.

Source: Animals (2076-2615); Jul2025, Vol. 15 Issue 13, p1910, 19p

Subject Terms: APOPTOSIS, OLD age, STEM cell treatment, CELL cycle regulation, NEOPLASTIC cell transformation, TRANSCRIPTION factors, REGENERATIVE medicine

Product Fit and Sizing : Sustainable Product Evaluation, Engineering, and Design

Authors: Kathleen M. Robinette Daisy Veitch Sandra Alemany et al.

Resource Type: eBook.

Subjects: New products, Product design

Categories: MATHEMATICS / Mathematical Analysis, DESIGN / Product, TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Industrial Design / Product, TECHNOLOGY & ENGINEERING / Manufacturing

Improving Urban Stormwater Management Using the Hydrological Model of Water Infiltration by Rain Gardens Considering the Water Column.

Authors: Kravchenko, Maryna Wrzesiński, Grzegorz Pawluk, Katarzyna et al.

Source: Water (20734441); Aug2024, Vol. 16 Issue 16, p2339, 27p

Subject Terms: URBAN runoff management, STORMWATER infiltration, URBAN runoff, RAIN gardens, DARCY'S law

Machine learning identifies clusters of the normal adolescent spine based on sagittal balance.

Authors: Birhiray, Dion G. Chilukuri, Srikhar V. Witsken, Caleb C. et al.

Source: Spine Deformity; Jan2025, Vol. 13 Issue 1, p89-99, 11p

Analysis of Single Image Super-Resolution Techniques: An Evolutionary Study.

Authors: Deepak, A. V. S. Ghanekhar, Umesh

Source: International Journal of Image & Graphics; Jan2024, Vol. 24 Issue 1, p1-22, 22p

Optimal delivery of sponsored search advertisements subject to budget constraints

Authors: Zo-e Abrams Ofer Mendelevitch John A. Tomlin et al.

Contributors: Zo-e Abrams Ofer Mendelevitch John A. Tomlin et al.

Source: http://www-2.cs.cmu.edu/%7Esandholm/cs15-892F11/OptimalDeliveryEC07.pdf.

Subject Terms: design and analysis General Terms Algorithms, Performance Keywords column generation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.7859

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.7859
http://www-2.cs.cmu.edu/%7Esandholm/cs15-892F11/OptimalDeliveryEC07.pdf

Categories and Subject Descriptors G.4 [Mathematical Software]: Algorithm Design and Analysis General Terms Algorithm

Authors: Aiyou Chen Li Li Jin Cao et al.

Contributors: Aiyou Chen Li Li Jin Cao et al.

Source: http://www.bell-labs.com/user/erranlli/publications/cardSIGM08.pdf.

Subject Terms: streaming algorithm

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.6766

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.6766
http://www.bell-labs.com/user/erranlli/publications/cardSIGM08.pdf

UAV Mission Computer Operation Mode Optimization Focusing on Computational Energy Efficiency and System Responsiveness.

Authors: Liubimov, Oleksandr Turkin, Ihor Cheranovskiy, Valeriy et al.

Source: Computation; Dec2024, Vol. 12 Issue 12, p235, 27p

Subject Terms: REAL-time computing, DRONE aircraft, SCHEDULING software, COMPUTING platforms, SOFTWARE frameworks, MICROCONTROLLERS

Motivation for using data-driven algorithms in research: A review of machine learning solutions for image analysis of micrographs in neuroscience.

Authors: Thiele, Frederic Windebank, Anthony J Siddiqui, Ahad M

Source: Journal of Neuropathology & Experimental Neurology; Jul2023, Vol. 82 Issue 7, p595-610, 16p

Swimtrans Net: a multimodal robotic system for swimming action recognition driven via Swin-Transformer.

Authors: He Chen Xiaoyu Yue

Source: Frontiers in Neurorobotics; 2024, p1-16, 16p

Subject Terms: SWIMMING techniques, MOTION analysis, FEATURE extraction, MACHINE learning, DATA extraction

Approximating Corridors and Tours via Restriction and Relaxation Techniques

Authors: Arturo Gonzalez-gutierrez Teofilo F. Gonzalez The Pennsylvania State University CiteSeerX Archives

Contributors: Arturo Gonzalez-gutierrez Teofilo F. Gonzalez The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.ucsb.edu/~teo/papers/CorrApp.pdf.

Subject Terms: Categories and Subject Descriptors, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Gometric problems and computations, G.4[Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms, Algorithms, Design, Theory Additional Key Words and Phrases, Corridors, approximation algorithms, restriction and relaxation techniques, complexity, computational geometry ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.9728; http://www.cs.ucsb.edu/~teo/papers/CorrApp.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.9728
http://www.cs.ucsb.edu/~teo/papers/CorrApp.pdf