yusuke1997/dblp-id-title huggingface dataset:
Generic matrix multiplication and memory management in linBox
Bounds for Orders of Derivatives in Differential Elimination Algorithms
Fast Polynomial Factorization Over High Algebraic Extensions of Finite Fields
Factorization of linear differential operators in exponential extensions
Symbolic Computation of the Index of Quasilinear Differential-Algebraic Equations
Fast computation of Smith forms of sparse matrices over local rings
Code generation for hybrid mixed mode formulation in finite element analysis
Comparison of Various Multivariate Resultant Formulations
On determining the order of a group
Fast Fourier Orthogonalization
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990
Exponential Space Computation of Gröbner Bases
Programs for Applying Symmetries
Some remarks on parallel exponentiation (extended abstract)
Elimination theory for differential difference polynomials
Primality Testing Revisited
Algorithms for Finding the Structure of Solutions of a System of Linear Partial Differential Equations
On the complexity of solving a bivariate polynomial system
Implicitization of Hypersurfaces and Curves by the Primbasissatz and Basis Conversion
Hybrid Symbolic-Numeric and Numerically-Assisted Symbolic Integration
Edusym - educational symbolic manipulator on a microcomputer
Multithreaded parallel implementation of arithmetic operations modulo a triangular set
Quantum fourier transform over symmetric groups
Fast Parallel Computation of the Smith Normal Form of Polynomial Matrices
Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs
Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions
Differentially Homogeneous Differential Polynomials
Construction of nilpotent Lie algebras over arbitrary fields
Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication
A Fast Algorithm for Computing the Truncated Resultant
A new incremental algorithm for computing Groebner bases
Supersparse black box rational function interpolation
FOXBOX: A System for Manipulating Symbolic Objects in Black Box Representation
Fast multipoint evaluation and interpolation of polynomials in the LCH-basis over F P r
Existence Problem of Telescopers: Beyond the Bivariate Case
Coset Enumeration Strategies
Minimal Completely Factorable Annihilators
Computing specified generators of structured matrix inverses
Abstract matrices in symbolic computation
Positive Existential Definability with Unit, Addition and Coprimeness
Integer Smith form via the valence: experience with large sparse matrices from homology
GENTRAN 90: A REDUCE Package for the Generation of Fortran 90 Code
A Fast Algorithm for Computing the P-curvature
Fast algorithms for l -adic towers over finite fields
Dataflow for Logic Program as Substitution Manipulator
Solving Permutation Problems Using Rewriting Systems
DSC: A System for Distributed Symbolic Computation
Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets
Massively Parallel Symbolic Computation
The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm
Real Root Finding for Equivariant Semi-algebraic Systems
Computational D-module theory with singular, comparison with other systems and two new algorithms
From a Noncomputability Result to new interesting Definitions and Computability Results
Structured matrix methods for polynomial root-finding
The Explicit Computation of Integration Algorithms and First Integrals for Ordinary Differential Equations with Polynomial Coefficients Using Trees
Fast Recognition of the Nilpotency of Permutation Groups
International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012
Reduction with Respect to the Effective Order and a New Type of Dimension Polynomials of Difference Modules
Inversion of parameterized hypersurfaces by means of subresultants
A Tangent-Secant Method for Polynomial Complex Root Calculation
Computation of the Similarity Class of the p-Curvature
Symbolic-Numeric Factorization of Differential Operators
"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm
The termination of the F5 algorithm revisited
Irreducible trinomials over finite fields
Complexity of Computing Semi-Algebraic Descriptions of the Connected Components of a Semi-Algebraic Set
Complexity Analysis of Root Clustering for a Complex Polynomial
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991
A New Type of Canonical Gröbner Bases in Polynomial Rings over Von Neumann Regular Rings
MapleTensor: Progress Report on a New System for Performing Indicial and Component Tensor Calculations Using Symbolic Computation
Solving schubert problems with Littlewood-Richardson homotopies
Factorization of Polynomials over Z/(p n )
Rational univariate representations of bivariate systems and applications
Solving Systems of Nonlinear Polynomial Equations Faster
Geometric applications of the Bezout matrix in the Lagrange basis
Computing column bases of polynomial matrices
Solving the Constant Quantum Yang-Baxter Equation in 2 Dimensions with Massive Use of Factorizing Gröbner Basis Computations
Memory Tracing of Algebraic Calculations
The nearest polynomial of lower degree
An Algorithm For Spliting Polynomial Systems Based On F4
Frobenius Additive Fast Fourier Transform
Average Complexity of Matrix Reduction for Clique Filtrations
Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finite Fields
Experimental Comparison of Algorithms for Sylow Subgroups
Certification of Minimal Approximant Bases
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents
Computer Generation of Normalizing Transformation for Systems of Nonlinear ODE
New Bounds on Quotient Polynomials with Applications to Exact Division and Divisibility Testing of Sparse Polynomials
Algorithmic differentiation in Axiom
A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D
Gröbner bases with respect to several term orderings and multivariate dimension polynomials
Error-Correcting Sparse Interpolation in the Chebyshev Basis
Tracing occurrences of patterns in symbolic computations
On Computing Determinants of Matrices without Divisions
Fast Algorithms for Rational Forms of Integer Matrices
Constructing Faithful Matrix Representations of Lie Algebras
Computing with Subgroups of Automorphism Groups of Finite Groups
Blind image deconvolution via fast approximate GCD
Computation of canonical forms for ternary cubics
Vector rational number reconstruction
An additive decomposition in logarithmic towers and beyond
Proper parametrization of surfaces with a rational pencil
A Constructive Approach to Arithmetics in Ore Localizations
Automatic Code Generation for Non-Funtional Aspects in the CORBA-LC Component Model
JPEG2000 Images Protection Sent to Mobile Devices
A DHCP-based IP Address Autoconfiguration for MANETs
Secure Printing of Confidential Documents for Nomadic Users
A Self-Healing Mechanism for State Machine Based Components
Ontologies in Ubiquitous Computing
A Review of Ubiquitous Applications and Technologies Oriented Towards Disabled and Senior People
Ubiquitous Applications Comparative: Applications Executed in Server vs. Applications in Client
Implicit Plasticity Framework: a Client-Side Generic Framework for Context-Awareness
A Transport and Application-layer Approach to Seamless Service Continuity across Heterogeneous Wireless Networks
Problems Security Solution by Data Transmision in Ubicuos Systems Based in Rijndael´s Algorithm to Wifi Routers
A Proposal for a Hardware Architecture for Ubiquitous Computing in Smart Home Environments
Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices
A Design Model Applied to Development of AmI Systems
Towards a Communication Agnostic Middleware for Ambient Intelligence
A Hierarchical, Agent-based Approach to Security in Smart Offices
A Ubiquitous and Adaptable Services Delivery Platform for any kind of Residential Environment
An Example of Application in Mobile Learning Technologies
A Proposal of Payment System for Public Transport based on Ubiquitous Paradigm
Implementing Learning Objects Repositories for Mobile Devices
SHOPS: Towards a Secure System for Identity Management and Payments in the New Electrical Market
A Proposal for System Architecture to Integrate Scarce-resources Wireless Sensor Networks into Ubiquitous Environments
A Multi-Channeled Learning Materials Indexing & Enquiry System
Ubiquitous and Biometric Applications on Distance Education. An Alternative to the Traditional Examination
New Standards on Mobile Communications
Extended Sensations on Interactive Telecommunication
Smart Technologies and Privacy: Running a close race?
SOA-based Generic Architecture for CSCW Systems
Proceedings of the I. International Conference on Ubiquitous Computing: Applications, Technology and Social Issues, Alcalá de Henares, Madrid, Spain, June 7-9, 2006
On the Performance of XHTML Encoding and Compression
Automated Purchase Negotiations in a Dynac Electronic Marketplace
On the Role of Mobile Scaffolding in Learning
Mobile Access to Patient Clinical Records and Related Medical Documentation
Trace Learning Path by Mobile Technologies as an Instructional Tool Using GPS and GIS in Students' Field Trip to Zoo
Integration of Ubiquitous Computing Technologies: a Practical Case
DoNet
¿Where Do We go? OnTheWay: A Prediction System for Spatial Locations
Transmitting Video Images in XML Web Service
Access Policy Based Key Management in Multi-level Multi-distributor DRM Architecture
"Rank Correction": A New Side-Channel Approach for Secret Key Recovery
Identity Based Online/Offline Encryption and Signcryption Schemes Revisited
A Cache Trace Attack on CAMELLIA
On Applications of Singular Matrices over Finite Fields in Cryptography
Embedded Software Security through Key-Based Control Flow Obfuscation
Distributed Signcryption Schemes with Formal Proof of Security
Security of Prime Field Pairing Cryptoprocessor against Differential Power Attack
Security Aspects in Information Technology - First International Conference, InfoSecHiComNet 2011, Haldia, India, October 19-22, 2011. Proceedings
Generalized Avalanche Test for Stream Cipher Analysis
An ID-Based Proxy Multi Signature Scheme without Bilinear Pairings
Reversible Watermarking Using Priority Embedding through Repeated Application of Integer Wavelet Transform
Access Polynomial Based Self-healing Key Distribution with Improved Security and Performance
Secure Implementations for the Internet of Things
Model Based Hybrid Approach to Prevent SQL Injection Attacks in PHP
An Improvement of Linearization-Based Algebraic Attacks
Engineering Trustworthy Systems
Die Entwicklung des Virtual Reality Toolkit ViSTA
SimWeld - 10 Jahre Schweißprozesssimulation am ISF
Das HTR Code Package (HCP)
OpenFlipper - An Open Source Geometry Processing and Rendering Framework
MeDIC - Eine Infrastruktur zum Verwalten, Dokumentieren und Visualisieren von Metriken
AProVE - Automated Program VerificationEnvironment
Entwicklung und Evolution von Forschungssoftware: Tagungsband des Workshops, Rolduc, November 2011
Ablauf des Workshop
Einleitung und Vorwort
Development of libALF
Der Energie Navigator
Entwicklung für das Softwarewerkzeug »NCProfiler«
Ergebnisse der Arbeitsgruppen und Ausblick
Typed Structured Documents for Information Retrieval
Transformation of Documents and Schemas by Patterns and Contextual Conditions
Toward and Operational Theory of Media
Grammar-Compatible Stylesheets
A Logic Based Formalism for Temporal Constraints in Multimedia Documents
SGML and Exceptions
Principles of Document Processing, Third International Workshop, PODP'96, Palo Alto, California, USA, September 23, 1996, Proceedings
Disambiguation of SGML Content Models
Using Background Contextual Knowledge for Document Representation
Towards Automatic Hypertextual Representation of Linear Texts
Tabular Formatting Problems
Visual Definition of Virtual Documents for the World-Wide Web
First Steps to Cross Media Publishing and Multimodal Documents
Object Awareness in Multimedia Documents
The Accademia de lo Studio de l'Architettura - A Database Project
Virtual Reconstruction as a Scientific Tool
Virtual Experiences Using Digital Technologies for South Tyrol Heritage Education
Accessing and Using Digital Libraries in Art History
Linked Cultural Events: Digitizing Past Events and Implications for Analyzing the 'Creative City'
Cataloguing Monuments - Some Changes in the Documentary Work of Art Historians in Silesia over the Past 150 Years
Semi-automatic Generation of Historical Urban 3D Models at a Larger Scale Using Structure-from-Motion, Neural Rendering and Historical Maps
Metadata for 3D Digital Heritage Models. In the Search of a Common Ground
Visual Representations in Digital 3D Modeling/Simulation for Architectural Heritage
Research and Education in Urban History in the Age of Digital Libraries - Third International Workshop, UHDL 2023, Munich, Germany, March 27-28, 2023, Revised Selected Papers
Reviving the Sounds of Sacral Environments: Personalized Real-Time Auralization and Visualization of Location-Based Virtual Acoustic Objects on Mobile Devices
Semantic Deep Mapping in the Amsterdam Time Machine: Viewing Late 19th- and Early 20th-Century Theatre and Cinema Culture Through the Lens of Language Use and Socio-Economic Status
CIPA's Perspectives on Cultural Heritage
Comparing Methods to Visualize Orientation of Photographs: A User Study
The Nuremberg Stations of the Cross. Enriching On-Site Experiences of a Historical Pathway by the "FAU GeoExplorer" App
A Tentative Map of Influences Between Urban Centres of Genre Painting in the Dutch Golden Age - An Exercise in "Slow" Digital Art History
Digital Urban History Lab - Serious 3D in Research, Education and Popularization of Cultural Heritage
3D Reconstruction of Urban History Based on Old Maps
Toward an Automated Pipeline for a Browser-Based, City-Scale Mobile 4D VR Application Based on Historical Images
Research and Education in Urban History in the Age of Digital Libraries - Second International Workshop, UHDL 2019, Dresden, Germany, October 10-11, 2019, Revised Selected Papers
Time and Space in the History of Cities
Potentials for Research in Urban History-Online Research Tool 4D Community Browser
Historical Construction Research Based Upon 3D Digital Documentation of the Baroque Palais im Grossen Garten in Dresden
Practice - Research Challenges - Standards! A Reflection of Digital 3D Reconstructed Models for Urban Structures
An Experimental Methodology for the 3D Virtual Reconstruction of Never Built or Lost Architecture
The Critical Digital Model for the Study of Unbuilt Architecture
Grenzgang
A Framework to Support Digital Humanities and Cultural Heritage Studies Research
From Archival Sources to a 3D-Visualization of Baroque Urban Topography: Vienna, Neuer Markt, C. 1760
Towards Querying Multimodal Annotations Using Graphs
Creating Suitable Tools for Art and Architectural Research with Historic Media Repositories
4D Augmented City Models, Photogrammetric Creation and Dissemination
Digital Research and Education in Architectural Heritage, 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers
Digital Reconstruction of the New Synagogue in Breslau: New Approaches to Object-Oriented Research
Deep Learning from History - Unlocking Historical Visual Sources Through Artificial Intelligence
Public Health, Artisanal Activities, Daily Life in Medieval Bologna: Digital Projects as Teaching Tools for Urban History
Colouring Cities: A Citizen Science Platform for Knowledge Production on the Building Stock - Potentials for Urban and Architectural History
User Involvement for Application Development: Methods, Opportunities and Experiences from Three Different Academic Projects
In Which Images Does This Corner Appears? A Novel Approach for Three-Dimensional Query of Historical Photographs Collections in Urban Heritage Research
Designing Learning Tasks and Scenarios on Digital History for a Research Lab for Pupils - Trends, First Implications and Perspectives
The Production of 3D Digital Archives and the Methodologies for Digitally Supporting Research in Architectural and Urban Cultural Heritage
Visualizing Venice to Visualizing Cities - Advanced Technologies for Historical Cities Visualization
ECHO Asset on Governance and Management Consulting for Collaborative Network Organizations
Assessing Ukrainian Territory Suitability for Solar Power Station Placement Using Satellite Data on Climate and Topography
IoT-complex for Monitoring and Analysis of Motor Highway Condition Using Artificial Neural Networks
Discrete Atomic Compression with Different Structures of Discrete Atomic Transform: Efficiency Comparison and Perspectives of Application to Digital Images Privacy Protection
Increasing the cryptographic strength of CETencryption by ensuring the transformation quality of the information block
Road Accident Prevention System
Availability Model of Two-Zone Physical Security System considering Cyber Attacks and Software Update
The Development of Educational Application with Virtual Reality Placing Objects System Using Snap Zone Technology
Data Model and Methods for Ensuring the Reliability and Relevance of Data for the CubeSat Projects
Adaptive Pseudo-Random Sequence Generation for Spread Spectrum Image Steganography
Software Fault Insertion Testing for SIL Certification of Safety PLC-Based System
Social Engineering Attacks Detection Approach
The model of the regional environmental monitoring system organization
A System for Indoor Air Quality Analysis
Assurance levels for decision making in autonomous intelligent systems and their safety
Embedding the Digital Watermarks into FPGA-Projects Containing the Adaptive Logic Modules
OCRE project: consortium, main goals, approaches and opportunities
Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle
Air Traffic Service Route Network Analysis to Support Local Traffic
Advanced Performance-Based Fast ReRouting Model with Path Protection
Comparativistics for Big Safety: Hegel's Dialectic-based Methodology and Critical Applications Experience
Optimization of Ethanol Production Using State-Space Modeling and Optimal Control Technology
Transfer Function Coefficients Influence on the Processing Path Bandpass Frequency-Dependent Components' Amplitude-Frequency Characteristics Properties at the NPP TP ACS
Technologies of Embedded Systems Prototyping using Reconfigurable Nodes: Technical Solutions
Application of Industry 4.0 Technologies to Expand the Functionality of Water Bodies Interactive Maps
A regression-based machine learning approach for the prediction of lung function decline
An approach for automatic self-recovery for a Node.js microservice
Technological Stack for Implementation of AI as a Service based on Hardware Accelerators
Application of artificial intelligence technology in the process of individualized training of air traffic controllers
Research Aspects for Secure Communication in the Industrial Internet of Things
Secure and Encrypted Communication System on Mobile Devices
12th International Conference on Dependable Systems, Services and Technologies, DESSERT 2022, Athens, Greece, December 9-11, 2022
Machine Learning-Based Failure Rate Identification for Predictive Maintenance in Industry 4.0
The MFS for Electromagnetic Scattering in a Chiral Environment by an Imperfect Conductor
State-based Sandbox Tool for Distributed Malware Detection with Avoid Techniques
Combining IMECA analysis and penetration testing to assess the cybersecurity of industrial robotic systems
Protocol and Logical Models for Robustness and Survivability in Autonomous UAV Systems
Assumption Modes and Effect Analysis of XMECA: Expert based safety assessment
A Structurally Variable Electric Power System Resistant to Terrorist and Military Threats
Improving the Accuracy of Air Navigation Systems for Unmanned Aerial Vehicles
New 2D FIR direct-form minimal circuit and state-space filter structures
Catastrophe as an Anti-System: Prevention of the Flight Emergency Development
Techniques for Raising the Remainder to a Power in the System of Residual Classes
Universal Meta-Definition of Intelligence
Latency Reduction in Real-time GPS tracking in Android and the Web-based GPS Monitoring System
Combined Lossless/Lossy Compression of Three-channel Images
Variable selection in modelling with supersaturated designs: A comparative study
Edge-based Sensors Network for Critical Object Monitoring: Reliability Models Considering the Location of Failed Sensors
Data Mining of Ambulatory Blood Pressure Monitoring
IoT Cyberattack Detection Approach Based on Energy Consumption Analysis
Synthesis of Structure for Testable Control System
Using Formal Methods to Guide the Development of an Asthma Management System
Establishing Goals in the Creation of Cyber-Resilient Systems per NIST
Methods of Service Life Determining for Aviation Radio Equipment
Regression Analysis in Machine Learning using conditioned Latin Hypercube Sampling
Obstacle Avoidance Algorithm for Small Autonomous Mobile Robot Equipped with Ultrasonic Sensors
Concept of Intelligent Agent for Verification of Considering the Subject Area Information
Method of protecting data processed by the discrete Fourier transform in remote computer systems
Structured Argumentation for Assurance Case of Monitoring System based on UAVs
Set-Valued Markov Chain Dependability Model with Uncertain Data
Regularization Method for the Clarke's Generalized Jacobian to Ensure the Formation of Nonsingular Systems for Inexact Newton Methods
Business Models of Collaborative Networked Organisations: Implications for Cybersecurity Collaboration
Development of a web system for recognizing the images taken by UAV
System for Monitoring Computer User Fatigue
Optimal measurement matrix design for sparse image reconstruction via mutual coherence
A Two Step Chaos-Based 3D Model Encryption
Application of Business Analysis Techniques for Safety-Critical and Security-Critical Requirements Engineering
The Minimizating of Hardware for Implementation of Pseudo LRU Algorithm for Cache Memory
Development of the Flexible Traffic Control System Using the LabView and ThingSpeak
Synthesis of The Theory of Motion of Solid Bodies Filled With Bulk Substances For Fault-Tolerant Identification of Their Parameters
Fault-Tolerance of Self-Timed Circuits
Domain Specific Modelling and Language for Safety-Critical and Security-Critical Requirements Engineering
The Method of Searching for Differential Trails of ARX-based Block Cipher Cypress
Databases for Digital Infrastructure of Small Modular Reactors Considering Dynamic Subject Area
Improvement of the Quasi Delay-Insensitive Pipeline Noise Immunity
Extended IMECA Technique for Assessing Risks of Successful Cyberattacks
Reliability Assessment of Heterogeneous Drone Fleet With Sliding Redundancy
Pivot Patterns of Hadamard Matrices of Order 20
Increasing Reliability of Programming Interfaces Based on Fuzz Testing
Measurement and Optimization Methods of Energy Consumption for Microcontroller Systems Within IoT
Robotic Drone-Based System for Collecting and Analyzing of Meteorological Data
Characteristics and Method of Forming the User Information Portrait
Application of Unsupervised Learning in Weight-Loss Categorisation for Weight Management Programs
A Video Processing Based Eye Gaze Recognition Algorithm for Wheelchair Control
Autonomous Quadrotor Flight Stabilisation Based on a Complementary Filter and a PID Controller
Verification of FPGA control systems by analyzing the correctness of state diagrams
Generative Adversarial Network Style Transfer for Sustainable Urban Restoration Planning in Ukraine
Monitoring of Fires Caused by War in Ukraine Based on Satellite Data
The MFS for Electromagnetic Scattering by a Layered Chiral Object
Paradigm Changes that Strengthen the Financial Security of the State through FINTECH Development
Preliminary fault tree analysis of UAS flight failure under weather hazards