yusuke1997/dblp-id-title huggingface dataset:
A design methodology for verified web-service mediators
Reliable Updated Residuals in Hybrid Bi-CG Methods
Higher-order finite element modeling and optimization of actuator with non-linear materials
Hashing lazy numbers
Flows in convergent channel: comparison of numerical results of different mathematical models
Cluster-based vulnerability assessment of operating systems and web browsers
Hansjörg Wacker (1939-1991)
Abbruch beim Intervall-Gauß-Algorithmus
Loop invariants in floating point algorithms
Dew computing-assisted cognitive Intelligence-inspired smart environment for diarrhea prediction
Asynchronous algorithms for poisson's equation with nonlinear boundary conditions
Parallel implementation of bisection for the calculation of eigenvalues of tridiagonal symmetric matrices
Scheduling a Single Server in a Two-machine Flow Shop
Zur Lösung des Kontaktproblems elastischer Körper mit ausgedehnter Kontaktfläche durch quadratische Programmierung
ClusterSwarm: cluster-specific feature selection using binary particle swarm optimisation
Quasilineare Automaten
Efficient iterative algorithms for bounding the inverse of a matrix
Scalable and automatic virtual machines placement based on behavioral similarities
Model-based evaluation of the power versus performance of network routing algorithms
Real-time uniprocessor scheduling with fewer preemptions
Report on test matrices for generalized inverses
Die Approximation der Lösungen gemischter Randwertprobleme quasilinearer elliptischer Differentialgleichungen
Optimizing the confidence bound of count-min sketches to estimate the streaming big data query results more precisely
Community detection of weighted complex networks via transitive closure
Detecting and locating a singular point in the numerical solution of IVPs for ODEs
A remark on Frank matrices
Modified HSS iteration methods for a class of complex symmetric linear systems
Der Nachweis der Existenz verallgemeinerter Lösungen quasilinearer Anfangswertaufgaben mittels Differenzenverfahren
Modifications of some first kind integral equations with logarithmic kernel to improve numerical conditioning
A Monte-Carlo approach for 0-1 programming problems
CovaDel: a blockchain-enabled secure and QoS-aware drone delivery framework for COVID-like pandemics
Implementation and comparison of binary thinning algorithms on GPU
Computation of Self-similar Solution Profiles for the Nonlinear Schrödinger Equation
Blockchain-based secure and verifiable storage scheme for IPFS-assisted IoT with homomorphic encryption
Systolic algorithms for computational geometry problems - A survey
Bounds for nonpreemptive scheduling of jobs with similar processing times on multiprocessor systems using the LPT-Algorithm
Schwarz Iterations for the Efficient Solution of Screen Problems with Boundary Elements
A fast algorithm for the maximum weight clique problem
Some remarks on a paper of G. Feichtinger
Priority-based DAG task offloading and secondary resource allocation in IoT edge computing environments
Using MCRDR based Agile approach for expert system development
A systematic literature review of machine learning-based resource allocation techniques in cloud computing
A novel semi fragile watermarking technique for tamper detection and recovery using IWT and DCT
Order, stepsize and stiffness switching
vmBBProfiler: a black-box profiling approach to quantify sensitivity of virtual machines to shared cloud resources
Order barriers for the B-convergence of ROW methods
Accelerating procedures for methods of conjugate directions
AI-enabled remote monitoring of vital signs for COVID-19: methods, prospects and challenges
A simple reliable solver for all the roots of a nonlinear function in a given domain
A generalisation of the interval Newton single-step method for nonlinear systems of equations
Short Communication/Kureze Mitteilung. How many Minimal Upper Bounds of Minimal Upper Bounds
An Algorithm for Parametric Quadric Patch Construction
XBridge-Mobile: efficient XML keyword search on mobile web data
Identification of best social media influencers using ICIRS model
Is Node.js a viable option for building modern web applications? A performance evaluation study
Direkte Verfahren zur Berechnung der Nullstellen von Polynomen
A symbiosis between population based incremental learning and LP-relaxation based parallel genetic algorithm for solving integer linear programming models
An adaptive multi-grid algorithm for the numerical solution of quasilinear potential equations
Energy-efficient modeling in WSN-assisted IoT based on software defined network
Eine Randbedingung für kubische Splinefunktionen
Über Verfahren zur zweiseitigen Approximation inverser Elemente
LINKORD: link ordering-based data gathering protocol for wireless sensor networks
Explicit, optimal stability functionals and their application to cyclic discretization methods
On the generation of random numbers with at choice distribution
On the reference mapping for quadrilateral and hexahedral finite elements on multilevel adaptive grids
Multi-objective cuckoo optimizer for task scheduling to balance workload in cloud computing
A novel ECC-based provably secure and privacy-preserving multi-factor authentication protocol for cloud computing
Ein Abbrechkriterium für einen numerischen Algorithmus
Fehlererfassung bei Eigenwertproblemen von Matrizen
Computing fourier integrals by means of near-optimal quadrature rules of the Lagrangian type
Über die Stabilität und Konvergenz numerischer Algorithmen
Correction to: Inverse formulas of parameterized orthogonal wavelets
On preconditioned iterative methods for solving (A-λB)x=0
Sampling from the Generalized Logarithmic Series Distribution
AI enabled: a novel IoT-based fake currency detection using millimeter wave (mmWave) sensor
Scalable Byzantine fault-tolerant state-machine replication on heterogeneous servers
Ein vereinfachtes Newtonsches Verfahren für Differentialgleichungen
Vergröberung von Intervallpolynomen
Editorial for the special issue on big time series data
Parallel Solvers for Linear and Nonlinear Exterior Magnetic Field Problems Based upon Coupled FE/BE Formulations
Computation of nodes and weights of extended Gaussian rules
On the R-order of coupled sequences III
Sufficient Conditions for Uniform Convergence on Layer-Adapted Grids
Solution of linear equations in remote sensing and picture reconstruction
Solving dimension reduction problems for classification using Promoted Crow Search Algorithm (PCSA)
Time-slot assignment for TDMA-systems
Über die Verteilung der Binärziffern einer gemessenen Größe
Data-driven exploratory models of an electric distribution network for fault prediction and diagnosis
FedBPM:A decentralized federated meta-method for heterogeneous and complex image classification via multi-scale feature fusion
Die numerische Lösung linearer Differentialgleichungen zweiter Ordnung mit konstanten Koeffizienten
Time and activity sequence prediction of business process instances
Variable Schrittweitensteuerungen für die Homotopiemethode bei adäquaten nichtlinearen Ausgleichsproblemen
Determination of minimum sets of the set of zeros of a function
A hierarchical abnormal human activity recognition system based on R-transform and kernel discriminant analysis for elderly health care
Algorithmus 11. Dienstplanerstellung
Liveness in broadcast networks
Enhanced hybrid multi-objective workflow scheduling approach based artificial bee colony in cloud computing
On the global and superlinear convergence of a discretized version of Wilson's method
Pricing cloud IaaS services based on a hedonic price index
Integer merging on EREW PRAM
Ein Iterationsverfahren zur Lösung spezieller nichtlinearer Randwertprobleme
Halley-Like Method with Corrections for the Inclusion of Polynomial Zeros
Set-valued collectively compact operators and applications to set-valued differential equations
Circulant Block-Factorization Preconditioning of Anisotropic Elliptic Problems
Intelligence-driven mobile networks for smart cities
Bounds and domains of existence for hyperbolic initial value problems
Pseudo-recursive procedures
Swarm optimization algorithms applied to multi-resource fair allocation in heterogeneous cloud computing systems
Bringing SQL databases to key-based NoSQL databases: a canonical approach
A O(|V|*|E|) algorithm for maximum matching of graphs
Comments on some B-spline algorithms
Rapid trajectory planning under multiple constraints in unknown environments
MAC approaches to communication efficiency and reliability under dynamic network traffic in wireless body area networks: a review
Best case lower bounds for Heapsort
On computing the range of a rational function of n variables over a bounded region
Mehrschrittverfahren zur numerischen Integration von Differentialgleichungssystemen mit stark verschiedenen Zeitkonstanten
An efficient proactive VM consolidation technique with improved LSTM network in a cloud environment
Complex Gauss-Kronrod integration rules for certain Cauchy principal value integrals
A FE/BE coupling for the 3D time-dependent eddy current problem. Part II: a posteriori error estimates and adaptive computations
A review of CUDA optimization techniques and tools for structured grid computing
Gleichheit von Produkt und Formalprodukt bei Intervallpolynomen
Monte-Carlo-Methoden zur numerischen Quadratur auf Gruppen
Numerical simulation of fluid-structure interaction of compressible flow and elastic structure
An intelligent healthcare system for predicting and preventing dengue virus infection
An Algebraic Multigrid Method for Higher-order Finite Element Discretizations
Towards high-availability cyber-physical systems using a microservice architecture
A deterministic particle-method solving the linearized Boltzmann equation
Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics
Least significant bit evaluation of arithmetic expressions in single-precision
An Explicit Formula for the L 2 -Discrepancy of ( n alpha )-Sequences
Domains of uncertainty for perturbed operator equations
Untersuchungen zur qualitativen Behandlung von linearen Differentialgleichungssystemen mit unstetiger rechter Seite mit Hilfe der Theorie der Distributionen
PACKTER: implementation of internet traffic visualizer and extension for network forensics
Daas composition: enhancing UAV delivery services via LSTM-based resource prediction and flight patterns mining
Stable Evaluation of Jacobian Matrices on Highly Refined Finite Element Meshes
Identifying and analysis the core structure of the internet
Error-bounds for zeroes of polynomials using complex circular arithmetic
Monotone Einschließung durch Verfahren vom Regula-falsi-Typ unter Verwendung eines verallgemeinerten Steigungsbegriffes
Sparse Grids, Adaptivity, and Symmetry
Verbesserung von Schranken für Eigenwerte und Eigenvektoren von Matrizen
Einige Ausnahmen zur Rosserschen Regel in der Theorie der Riemannschen Zetafunktion
Solution of the matrix equation AX-XB=C
An algorithm for Gray codes
An efficient and revocable storage CP-ABE scheme in the cloud computing
Über das Transportproblem mit beliebigen zusätzlichen linearen Nebenbedingungen
A finite difference method for analyzing the compression of poro-viscoelastic media
A taxonomy of cross-language linking mechanisms in open source frameworks
Running Error Analysis of Evaluation Algorithms for Bivariate Polynomials in Barycentric Bernstein Form
Solution Methods and Computational Investigations for the Linear Bottleneck Assignment Problem
Software specification using graph grammars
Numerical aspects of the generalized CG-method applied to least squares problems
On the solution of the polynomial systems arising in the discretization of certain ODEs
Competitive clustering of stochastic communication patterns on a ring
On real factorizations of symmetric circulant sparse matrices
A contribution to the numerical approximation of minimal surfaces
A Comparison of Probabilistic, Possibilistic and Evidence Theoretic Fusion Schemes for Active Object Recognition
On state-space energy based generalization of Brayton-Moser topological approach to electrical network decomposition
Conjugate gradient methods for the Rayleigh quotient minimization of generalized eigenvalue problems
Extending software architecture views with an energy consumption perspective - A case study on resource consumption of enterprise software
Adaptive vertical federated learning via feature map transferring in mobile edge computing
A Note on Reusken's Lemma
Clustering by differencing potential of data field
Adaptive Geometrically Balanced Clustering of H-Matrices
PSO-based feature extraction of unknown protocol data frame
HHSE: heterogeneous graph neural network via higher-order semantic enhancement
An accurate and flexible technique for camera calibration
On Simplifying Assumptions of Runge-Kutta Methods for Index 2 Differential Algebraic Problems
Mapping and just-in-time traffic congestion mitigation for emergency vehicles in smart cities
A(α)-stable cyclic composite multistep methods of order 5
Optimale Approximation mit Nebenbedingungen an lineare Funktionale auf H 2 (E rho ) und L 2 (E rho )
Combined oversampling and undersampling method based on slow-start algorithm for imbalanced network traffic
An efficient branch and bound algorithm to solve the quadratic integer programming problem
Ein Verfahren zur Einschließung der Lösung des Anfangswertproblems
Additive Weights under the Balanced Probability Model
Energy load forecasting: one-step ahead hybrid model utilizing ensembling
Lokale Fehlerschätzung mittels modifizierter Richardson-Extrapolation in linear impliziten Einschrittverfahren
Hinode: implementing a vertex-centric modelling approach to maintaining historical graph data
Algorithmus 26 An algorithm for finding the transitive closure of a digraph
Zur Konvergenz der Ableitungen von Interpolationspolynomen
A Higher-Order Scheme for Quasilinear Boundary Value Problems with Two Small Parameters
Planar Development of Free-Form Surfaces: Quality Evaluation and Visual Inspection
Bounds for the solution of hyperbolic problems
Smart COVID-shield: an IoT driven reliable and automated prototype model for COVID-19 symptoms tracking
Algebraic Multigrid Based on Computational Molecules, 1: Scalar Elliptic Problems
A self-learning bee colony and genetic algorithm hybrid for cloud manufacturing services
Exploring and optimizing partitioning of large designs for multi-FPGA based prototyping platforms
Comparison of Multilevel Methods for Kronecker-based Markovian Representations
On the approximate computation of certain strongly singular integrals
st-Ordering the vertices of biconnected graphs
Finite iterative algorithms for the generalized Sylvester-conjugate matrix equation AX + BY = EX̅F + S
Generation of parallel synchronization-free tiled code
Über Dämpfung bei Minimalisierungsverfahren
Bemerkungen zu einem Satz von G. Freud über Quadraturkonvergenz
A note on the ε-algorithm
On the computation of the generalized inverse by classical minimization
An iterative algorithm for spline interpolation
An appraisal of the performance of the MMSC subgraph generation algorithm on a Cyber System 170/720
Reliable Approximation of Weight Factors Entering Residual-based Error Bounds for FE-discretisations
On the unambiguity of n-tuple languages
Accurate Solution of a System of Coupled Singularly Perturbed Reaction-diffusion Equations
Notions of architecture in fog computing
Hierarchical Quadrature for Singular Integrals
Numerical solution for the Cauchy problem in nonlinear 1-D-thermoelasticity
Improved optimal foraging algorithm for global optimization
Performance of CPU/GPU compiler directives on ISO/TTI kernels
Variable order composite quadrature of singular and nearly singular integrals
The impact of copycat attack on RPL based 6LoWPAN networks in Internet of Things
A computer-oriented representation of matrices
Positive Interpolationsquadraturen mit teilweise vorgeschriebenen Stützstellen
On a generalisation of the root iterations for polynomial complex zeros in circular interval arithmetic
BEM solution of MHD flow in a pipe coupled with magnetic induction of exterior region
The Tau Method as an Analytic Tool in the Discussion of Equivalence Results Across Numerical Methods
EPiC: efficient privacy-preserving counting for MapReduce
Über eine Fixpunkteigenschaft der metrischen Projektion
Internet visualization
Hermite interpolation: The barycentric approach
Introduction to special issue on high performance computing
Computational aspects of the expected differential probability of 4-round AES and AES-like ciphers
On the inf-sup Condition for the P mod 3 / P disc 2 Element
A stable explicit difference approximation of the one-dimensional diffusion equation
Feature reduction of unbalanced data classification based on density clustering
An interdisciplinary approach on efficient virtual microgrid to virtual microgrid energy balancing incorporating data preprocessing techniques
Spine Based Shape Parameterisation for PDE Surfaces
A heuristic approach to algorithms intended for the solution of the timetable-problem
Multigrid for Discrete Differential Forms on Sparse Grids
On the solvability of ordinary differential equations with only partially continuous right-hand-side by difference methods
On the numerical solution of double-periodic elliptic eigenvalue problems
Waiting time in a preemptive resume system with compound-poisson input
Reducing the degree of an interval polynomial
Verbesserte Einzelschrittverfahren
Fast method to compute the scalar product of gradient and given vector
On the monotonicity of higher-order interval iterations for bounding the inverse matrix
Reconstructing the training data set based on reducing boundary complexity
Netzwerk-Veränderungen und Korrektur kürzester Weglängen von einer Wurzelmenge zu allen anderen Knoten
An algorithm for hierarchical reduction and decomposition of a directed graph
Airtime ping-pong effect characterization in IEEE 802.11s wireless mesh networks
A Self-Stabilizing Algorithm for Strong Fairness
An algorithm for enumerating all vertices of a convex polyhedron
A novel and efficient salp swarm algorithm for large-scale QoS-aware service composition selection
On the number of automorphisms of non-cyclic automata
A multi-objective load balancing algorithm for virtual machine placement in cloud data centers based on machine learning
A low level component model easing performance portability of HPC applications
An interval version of Shubert's iterative method for the localization of the global maximum
A note on Moore's interval test for zeros of nonlinear systems
Anregungen aus dem Schnittebenenverfahren für die Lösung des allgemeinen Transportproblems
Interpolants for Runge-Kutta-Nyström methods
Über stabile Eigenwerte und die Konvergenz des Weinstein-Aronszajn-Bazley-Fox-Verfahrens bei nicht notwendig rein diskretem Spektrum
Towards interval techniques for model validation
Accelerating Krawczyk-like interval algorithms for the solution of nonlinear systems of equations by using second derivatives
Recoverable mutual exclusion with abortability
Game-theoretic methods for edge/fog/cloud computation offloading: a systematic review
Emulating representative software vulnerabilities using field data
Heterogeneous self-tracked health and fitness data integration and sharing according to a linked open data approach
Die Frequenzkennlinien - Eine Einführung in die Grundlagen des Frequenzkennlinienverfahrens und dessen Anwendungen in der Regelungstechnik. VonK. H. Fasol . Mit 188 Abb., 4 Ausschlagtafeln, VIII, 264 S. Wien-New York: Springer-Verlag. 1968. Gln. S 580, -, DM 92, -, US $ 23.00
Solution of Large Scale Algebraic Matrix Riccati Equations by Use of Hierarchical Matrices
On the approximation of capillary surfaces in a gravitational field
Computing Interval Enclosures for Definite Integrals by Application of Triple Adaptive Strategies
A Hermitian Box-scheme for One-dimensional Elliptic Equations - Application to Problems with High Contrasts in the Ellipticity
A Black-Box Iterative Solver Based on a Two-Level Schwarz Method
Limit Behavior of Attainable Sets of Linear Systems
A cross-layer learning automata based gateway selection method in multi-radio multi-channel wireless mesh networks
Special issue on web information systems and technologies
Rosenbrock methods for Stiff ODEs: A comparison of Richardson extrapolation and embedding technique
Eingrenzung von Lösungen nichtlinearer Gleichungen durch Verfahren mit höherer Konvergenzgeschwindigkeit
Some remarks on the discrete maximum-principle for finite elements of higher order
Decomposition of group flows in regular matroids
Calculation of Minkowski-reduced lattice bases
Special Issue on NETYS'2016
Complexity Results for Single-Machine Problems with Positive Finish-Start Time-Lags
Computation of Singular Integral Operators in Wavelet Coordinates
Finite volume methods with local refinement for convection-diffusion problems
Load adaptive dynamic scheduling of tasks with hard deadlines useful for industrial applications
Transfer function modelling in software reliability
Inverse Eigenvalue Problems for Complex Matrices
Deep neural network learning for power limited heterogeneous system with workload classification
Characterization of Chebyshev approximation by weak Markoff systems
SeaDoc: a self-adaptive document link provision system for framework extension tasks
Intelligent predictive maintenance: multivariate ML model optimization in an Edge-Fog-Cloud environment
A Dual Framework for Lower Bounds of the Quadratic Assignment Problem Based on Linearization
On adaptive sampling
An algorithm for generating all maximal independent subsets of posets
Interval Taylor forms
Local and superlinear convergence of a class of variable metric methods
Local projection stabilisation on S-type meshes for convection-diffusion problems with characteristic layers
Complex sector arithmetic
Minimax solution of n+1 inconsistent linear equations in n unknowns
On the maximal order in PC-codes
Optimization of kernel learning algorithm based on parallel architecture
An algorithm for Brownian zeroes
Coarsening of Boundary-element Spaces
Zwei lineare untere Schranken für die Komplexität Boolescher Funktionen
A method for dependability evaluation of software architectures
Blockchain-based public ecosystem for auditing security of software applications
An Algorithm for Adaptive Mesh Refinement in n Dimensions
An adaptive online reinforcement learning approach for optimizing computation offloading in connected vehicle networks
Ein Beitrag zu Existenzkriterien in der Optimierungstheorie
Zur iterativen Einschließung von positiven Inversen
Einschließungssätze für periodische Lösungen der Liénardschen Differentialgleichung
Energy-aware mobile edge device deployment in health data detection scenario: a DQN optimized firefly algorithm
A parallel preconditioned conjugate gradient method using domain decomposition and inexact solvers on each subdomain
Approximation mit Exponentialsummen
Finite difference methods for the numerical differentiation of non-exact data
Image Registration by a Regularized Gradient Flow. A Streaming Implementation in DX9 Graphics Hardware
Architecture-based resilience evaluation for self-adaptive systems
A Note on Transformed Density Rejection
Factorized Solution of Lyapunov Equations Based on Hierarchical Matrix Arithmetic
A Numerical Study of the Xu Polynomial Interpolation Formula in Two Variables
On the gaussian elimination method for inverting sparse matrices
Global Convergence of a Class of Collinear Scaling Algorithms with Inexact Line Searches on Convex Functions
On the direct solution of Dirichlet's problem in two dimensions
Advances in mobile web information systems
A new matrix approach to real FFTs and convolutions of length 2 k
Utilising semantic technologies for intelligent indexing and retrieval of digital images
Software-driven big data analytics
Yet another application of a binomial recurrence order statistics
Towards emotion-sensitive learning cognitive state analysis of big data in education: deep learning-based facial expression analysis using ordinal information
A Remarkable Example of Catastrophic Cancellation Unraveled
A scheme for the implementation of implicit Runge-Kutta methods
Matrix inequalities and the additive inverse eigenvalue problem