yusuke1997/dblp-id-title huggingface dataset:
A Non-Overlapping Domain Decomposition Method for the Advection-Diffusion Problem
A general definition of stochastic automata
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
Ein algorithmisches Planaritätskriterium
New Results on Verified Global Optimization
Equivalence and convergence of direct and indirect methods for the numerical solution of singular integral equations
Shock waves of a continuous model of traffic flow
Zur Mehrdeutigkeit bei der Approximation in der L p -Norm mit Hilfe rationaler Funktionen
New probabilistic models for managing user's locations in PCS networks
A framework based on multiple reliability criteria and Markov chain for optimal selection of cloud services
On affine (non)equivalence of Boolean functions
Random number generation system improving simulations of stochastic models of neural cells
Über eine Transformation von gleichverteilten Folgen II
On some applications of circular complex functions
Charakterisierung des quasilinearen Raumes I(R) und Klassifizierung der quasilinearen Räume der Dimension 1 und 2
Analysis of high structural class coupling in object-oriented software systems
An algorithm for solving multi-point boundary value problems
Grid methods in simulation and random variate generation
Checking causal consistency of distributed databases
A dynamic trust based clustering method for secure data gathering in Internet of Things
Editorial, special issue of NETYS 2015
A search routine for a Sperner simplex
Representation of interval operations by coordinates
Generalized block triangular preconditioner for symmetric saddle point problems
Parallel Finding All Initial Palindromes and Periods of a String on Reconfigurable Meshes
Pattern-driven green adaptation of process-based applications and their runtime infrastructure
Clustering of one-dimensional ordered data
A distributed task orchestration scheme in collaborative vehicular cloud edge networks
Area coverage of heterogeneous wireless sensor networks in support of Internet of Things demands
Cloud data processing using granular based weighted concept lattice and Hamming distance
Improving edge application provisioning with adaptive container image management
Optimizing performance of parallel computing platforms for large-scale genome data analysis
Adaptive machine learning algorithm for human target detection in IoT environment
A quasi-Newton method with sparse triple factorization for unconstrained minimization
An exploratory study of rethinking user experience in the internet of things
Graph isomorphism: A heuristic edge-partitioning-oriented algorithm
On optimal node and polynomial degree distribution in one-dimensional $$hp$$ -FEM
Interval forms of Newtons method
On periodic M-Splines
A risk-sensitive and semantic-aware task execution framework for mobility-coupled vehicular networks with CVaR and DRL
Ein Verfahren zur Lösung gewisser nichtlinearer Kontrollprobleme
On the determination of the interval hull of linear interval equations
Very fast and exact accumulation of products
Semantically realizing discovery and composition for RESTful web services
Parallel regressions for variable selection using GPU
Blending Set and Interval Arithmetic for Maximal Reliability
Feature selection and evaluation for software usability model using modified moth-flame optimization
On the convergence of the discrete ART algorithm for the reconstruction of digital pictures from their projections
An algorithm for computing generalized Euler's transformations of series
A new efficient algorithm for polynomial interpolation
Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation
gat2vec: representation learning for attributed graphs
Linear difference equations and generalized continued fractions
Local minimizer of a nonconvex quadratic programming problem
FORTRAN-SC a study of a FORTRAN extension for engineering/scientific computation with access to ACRITH
Comparing high performance techniques for the automatic generation of efficient solvers of cardiac cell models
A note on a globalization of Wilson-type optimization methods
Robust Spherical Parameterization of Triangular Meshes
Special issue on "artificial intelligence in cloud computing"
Fundamental Systems of Numerical Schemes for Linear Convection-Diffusion Equations and their Relationship to Accuracy
Springer computing special issue: adaptation in service-oriented and Cloud Computing
The asymptotic behaviour of a distributive sorting method
Reconstructing pictures from projections: On the convergence of the ART algorithm with relaxation
Computing Interpolation Weights in AMG Based on Multilevel Schur Complements
Energy efficient smart-relay-based cooperative MAC for wireless networks
A method of chained recommendation for charging piles in internet of vehicles
Convergence of quadratures for Cauchy principal value integrals
Privacy-preserving distributed collaborative filtering
On the convergence of an iterative method for bounding the inverses of an interval matrix
On the generative power of sequential and parallel programmed graph grammars
An Alternative Algorithm for a Sliding Window ULV Decomposition
An adaptable distributed trust management framework for large-scale secure service-based systems
Adaptive Weber-face for robust illumination face recognition
Mathematical and statistical details on the simulation of MARKOFF-Type stochastic processes on an electronic computer
A data augmentation approach based on various GAN models to address class imbalance in fine-grained multimodal fake news datasets
Rounding error analysis of interpolation procedures
An improved firefly algorithm based on personalized step strategy
Efficient service discovery in mobile social networks for smart cities
Lens-shaped surfaces and C 2 subdivision
A general mesh independence principle for Newton's method applied to second order boundary value problems
Discovering workflow nets using integer linear programming
A survey on elasticity management in PaaS systems
Extreme distributed systems: from large scale to complexity
Discrete invariant imbedding applied to free boundary problems
Two algorithms for the construction of product formulas
A theorem for locating eigenvalues
Eigenvalue Relations and Conditions of Matrices Arising in Linear Programming
Über die Approximation asymptotischer Entwicklungen I
Stochastic behaviour of a stand-by redundant complex system with imperfect switching over devices
Comparing redundancy models for high availability middleware
On a Special Class of Nonlinear Fredholm Integral Equations of the First Kind
Algorithm 36 SNIFF: Efficient self-tuning algorithm for numerical integration
High-performance microservice differentiated domain communication technology
Error bounds for complementarity problems with tridiagonal nonlinear functions
Using negotiable features for prescription problems
An integrated fine-grain runtime system for MPI
Allgemeine interpolierende Splines vom Grade 3
Berechnungen in partiellen Algebren endlichen Typs
Ein Templescher Satz für nichtlineare Eigenwertaufgaben
Using constraint programming for the design of network-on-chip architectures
GoSCAN: Decentralized scalable data clustering
Dynamic attention guider network
Generalized Ant Colony Optimizer: swarm-based meta-heuristic algorithm for cloud services execution
Self-healing trans-cloud applications
On the numerical stability of algorithmic differentiation
A Wavelet Galerkin Method for the Stokes Equations
Fast fingerprints construction via GPR of high spatial-temporal resolution with sparse RSS sampling in indoor localization
Power aware container placement in cloud computing with affinity and cubic power model
An energy-efficient multi-stage alternating optimization scheme for UAV-mounted mobile edge computing networks
The Fourier Finite-element Approximation of the Lamé Equations in Axisymmetric Domains with Edges
Calculus for interval functions of a real variable
Evolutions of Polygons in the Study of Subdivision Surfaces
Energy efficient UAV enabled harvesting with beamforming for clustered SDWSN
On quasi-steady axisymmetric flows of Bingham type with stress-induced degradation
Stability of solutions of delay functional integro-differential equations and their discretizations
Decision tree construction on GPU: ubiquitous parallel computing approach
On componentwise error estimates for inverse matrices
Padésche Näherungsbrüche und Iterationsverfahren höherer Ordnung
A predictive bottom-up parser
On the convergence of multistep methods for the Cauchy problem for ordinary differential equations
Implementation of defect correction methods for stiff differential equations
Verallgemeinerte Wurzelortskurven Automatische digitale Berechnung und Aufzeichnung
Approximation of 1/|| x - y || by Exponentials for Wavelet Applications (Short Communication)
Mobile web information systems (MobiWIS 2013) - Best papers special issue editorial
Courier information recognition based on an improved YOLOv8 visual servoing system
Iterationsalgorithmen für gewöhnliche Differentialgleichungen und ihre Eignung zur Parallelarbeit mittels Symbolmanipulation
An economical method for random number generation and a normal generator
Credible execution of bounded-time parallel systems with delayed diagnosis
Calculation of complex fourier coefficients using natural splines
Deep reinforcement learning based QoE-aware actor-learner architectures for video streaming in IoT environments
Proactive VMs replication for high availability in OpenNebula cloud environments
Some basic results on M-matrices in connection with the Accelerated Overrelaxation (AOR) method
Über ein Iterationsverfahren zur Einschließung der inversen Matrix
Quality-of-service based multipath routing for the internet of things
Complex system point-wise availability with priority repair
Towards improving context-aware applications using link quality induction and self-calibrated ultra-wide band localization systems
Generating Blending Surfaces with a Pseudo-Lévy Series Solution to Fourth Order Partial Differential Equations
A remark concerning Mei Zhen's paper on singular nonlinear equations
On the choice of an appropriate imbedding algorithm for the solution of unstable linear boundary value problems
E-D2HCP: enhanced distributed dynamic host configuration protocol
Jointly Optimizing Offloading Decision and Bandwidth Allocation with Energy Constraint in Mobile Edge Computing Environment
Bi-objective decision support system for task-scheduling based on genetic algorithm in cloud computing
New quadratic solid-shell elements and their evaluation on linear benchmark problems
Fast algorithms for the conjugate periodic function
Denoising with Higher Order Derivatives of Bounded Variation and an Application to Parameter Estimation
Cubic B-spline curves and surfaces in computer aided geometric design
On the calculation of the exact number of zeroes of a set of equations
On the cost of evaluating polynomials and their derivatives
Probabilistic error analysis of gaussian elimination in floating point and logarithmic arithmetic
C 1 NURBS representations of G 1 composite rational Bézier curves
High Precision Solutions of Two Fourth Order Eigenvalue Problems
On the convergence of some quadrature rules for Cauchy principal-value and finite-part integrals
Error control for $$hp$$ -adaptive approximations of semi-definite eigenvalue problems
Improved approaches for density-based outlier detection in wireless sensor networks
Sensitivity-centered preventive maintenance strategies for enhanced urban surveillance: a stochastic petri net analysis
An energy efficient periodic data gathering and charging schedule using MVs in wireless rechargeable sensor networks
Das modifizierte Ergänzungsverfahren zur Invertierung von Matrizen
Error Analysis of an Algorithm for Equality-Constrained Quadratic Programming Problems
Ein Pseudo-Gradientenverfahren zur Lösung des diskreten linearen Tschebyscheff-Problems
GPU cluster dynamics: insights from Alibaba's 2023 trace release
Future directions for chatbot research: an interdisciplinary research agenda
Iterative algorithms for Gram-Schmidt orthogonalization
Adaptive-parameter memetic algorithm for privacy-preserving trajectory data publishing: A multi-objective optimization approach
Preemptive and Non-preemptive On-line Algorithms for Scheduling with Rejection on Two Uniform Machines
Heuristics for laying out information graphs
Generating beta variates via patchwork rejection
Solving N+m nonlinear equations with only m nonlinear variables
Low-rank Kronecker-product Approximation to Multi-dimensional Nonlocal Operators. Part II. HKT Representation of Certain Operators
Fiducial intervals for the waiting time in batch and time-sharing systems
A comparison of point and ball iterations in the contractive mapping case
Fast-MICDTN: a new decentralized control mechanism for content-centric disruption tolerant networks
Self-stabilizing c-wave algorithms for arbitrary networks
Community anomaly detection in attribute networks based on refining context
1D-grid generation by monotone iteration discretization
Algorithmus 31 Ein Algorithmus zur Bestimmung von Weganzahlen in Netzen
Uniform Pointwise Convergence of Finite Difference Schemes Using Grid Equidistribution
Spatial-feature data cube for spatiotemporal remote sensing data processing and analysis
A Dynamic Method for Weighted Linear Least Squares Problems
A new dynamic probabilistic broadcast in IPv6-based low-power and lossy networks for the internet of things
Fast multi-scale detection of overlapping communities using local criteria
Energy-efficient migration and consolidation algorithm of virtual machines in data centers for cloud computing
Explizite Runge-Kutta-Verfahren für partielle hyperbolische Differentialgleichungen
Logs and enterprise networks for overcoming obstacles in business processes
Game theoretic approach for bandwidth sharing in future generation networks
Remarks on Newton type multivariate interpolation for subsets of grids
Scheduling real time tasks in an energy-efficient way using VMs with discrete compute capacities
Solution of nonlinear systems of equations by an optimal projection method
μXL: explainable lead generation with microservices and hypothetical answers
DAIP: a delay-efficient and availability-aware IoT application placement in fog environments
Next-generation penetration testing: a cross-domain review of challenges, trends, and taxonomy for urban digital ecosystems
A fast interative method for solving regularized parameter identification problems in elliptic boundary value problems
Disjoint multipath closeness centrality
Local error estimation by doubling
Parameter-uniform hybrid numerical scheme for time-dependent convection-dominated initial-boundary-value problems
Numerical integration in the irregular region
CEEO: an innovative Coulomb-enhanced Equilibrium Optimizer for task scheduling of cloud services in IoT environments
Some algorithms for the solution of a class of nonlinear algebraic equations
Über einen Ordnungsbegriff bei Einbettungsalgorithmen zur Lösung nichtlinearer Gleichungen
A Sparse H-Matrix Arithmetic. Part II: Application to Multi-Dimensional Problems
Achieving starvation-freedom in multi-version transactional memory systems
Interpolation of multivariable functions with respect to random points
Solving the SAT problem with the string multiset rewriting calculus
Constrained smoothing of histograms by quadratic splines
Approximation der erweiterten Intervallarithmetik durch die einfache Maschinenintervallarithmetik
An energy-aware clustering and two-level routing method in wireless sensor networks
Fully peer-to-peer virtual environments with 3D Voronoi diagrams
Fuzzy intelligence based V2V routing protocol in Internet of Vehicles: a cross-layer approach
On 3-stage geometric explicit Runge-Kutta method for singular autonomous initial value problems in ordinary differential equations
Effiziente Schrittweitenfunktionen bei unrestringierten Optimierungsaufgaben
Trust on wheels: Towards secure and resource efficient IoV networks
Conservative difference schemes for diffusion problems with boundary and interface conditions
Numerical Recovery of Conductivity at the Boundary from the Localized Dirichlet to Neumann Map
H 1 -interpolation on quadrilateral and hexahedral meshes with hanging nodes
Efficient algorithms for the inclusion of the inverse matrix using error-bounds for hyperpower methods
Correction to: Parallel and distributed Processing: advances on architectures and applications of parallel systems
Using meta-heuristics and machine learning for software optimization of parallel computing systems: a systematic literature review
Numerical Integration of the Radon Transform on Classes in Multiple (Finite) Dimensions
A heuristic partitioning algorithm for a packaging problem
A multiscale approach to network event identification using geolocated twitter data
Web article quality ranking based on web community knowledge
Theory and performance of a subroutine for solving Volterra Integral Equations
Fog intelligence for energy efficient management in smart street lamps
Predicting number of threads using balanced datasets for openMP regions
A hierarchical approach for availability and performance analysis of private cloud storage services
Fehlerabschätzung für ein Runge-Kutta-Verfahren mit mehrfachen Knoten
Berechnung der OC- und ASN-Funktionen geschlossener Sequentialtests bei Binomialverteilung
On 3rd Order Ordinary Differential Equations with Maximal Symmetry Group
Differenzenschemata monotoner Art für schwach gekoppelte Systeme parabolischer Differentialgleichungen mit gemischten Randbedingungen
Runge Kutta processes with multiple nodes
The embedded feature selection method using ANT colony optimization with structured sparsity norms
The range of values of a complex polynomial over a complex interval
Parallel algorithms for the single source shortest path problem
Adaptive network-based fuzzy inference model on CPS for large scale intelligent and cooperative surveillance
WITS: an IoT-endowed computational framework for activity recognition in personalized smart homes
INTEGER analysis of two-dimensional polygonal objects
Service-oriented and cloud computing
An algorithm for finding a minimal equivalent graph of a strongly connected digraph
A hybrid teaching-learning-based optimization algorithm for QoS-aware manufacturing cloud service composition
Bounded action machines II: The basic structure of Tapeless computers
Iterated defect correction for differential equations part I: theoretical results
A distributed power sharing framework among households in microgrids: a repeated game approach
A note on collocation methods for Volterra integral equations of the first kind
Fundamentals of SIGLA, an interval computing system over the completed set of intervals
Second-order explicit characteristic difference schemes for quasilinear hyperbolic systems
Scalable management of storage for massive quality-adjustable sensor data
Das Stabilitätsproblem bei der numerischen Behandlung von Differentialgleichungen
A study of the performance of novel storage-centric repairable codes
On the numerical solution of some algebraic integral equations
Convergence of method of lines approximations to partial differential equations
A desirable form for sparse matrices when computing their inverse in factored forms
On roundoff error distributions in floating point and logarithmic arithmetic
Isomorphism of Chordal (6, 3) Graphs
Varying relaxation parameters in nonlinear successive overrelaxation
Computing the external geodesic diameter of a simple polygon
The dune-subgrid module and some applications
On the numerical evaluation of derivatives of Cauchy principal value integrals
Special issue on cyber physical systems - Preface
On semi-convergence of Hermitian and skew-Hermitian splitting methods for singular linear systems
Zur Abschätzung des Restgliedes in der asymptotischen Entwicklung des Exponentialintegrals
A comparative performance evaluation of 27 nonlinear programming codes
Computing Partial Expectations from Tables
Adaptive quasi-interpolating quartic splines
An architectural approach to the analysis, verification and validation of software intensive embedded systems
Decidability in Analysis
Parallel algorithms for solving linear systems with sparse triangular matrices
An orthogonal systolic array for the algebraic path problem
A novel recommendation system based on semantics and context awareness
Exponential spline interpolation
Energy balanced data gathering approaches in wireless sensor networks using mixed-hop communication
An energy-adaptive clustering method based on Taguchi-based-GWO optimizer for wireless sensor networks with a mobile sink
Model and data engineering for advanced data-intensive systems and applications
DIMA: machine learning based dynamic infrastructure management for containerized applications
Nanoinformatics: developing new computing applications for nanomedicine
α-Vertex separator is NP-hard even for 3-regular graphs
Über ein Problem von L. Collatz
Zur Konvergenz des Iterationsverfahrens bei linearen Gleichungssystemen
Ein schneller Algorithmus zur Lösung des Riemann-Problems
An efficient task offloading and auto-scaling approach for IoT applications in edge computing environment
A computational study of redundancy in randomly generated polytopes
Finding large k-clubs in undirected graphs
Gauss-Newton Multilevel Methods for Least-Squares Finite Element Computations of Variably Saturated Subsurface Flow
Detection of data anomalies at the edge of pervasive IoT systems
Indoor energy-saving strategy optimization based on deep reinforcement learning and DDPG algorithm
Nature inspired meta heuristic algorithms for optimization problems
On computing absolutely irreducible components of algebraic varieties with parameters
An iterative method for solving partitioned linear equations
A Posteriori Estimates for a Non-Overlapping Domain Decomposition Method
Construction of the convex hull for special sets
Zur numerischen Behandlung gestörter Verzweigungsprobleme bei gewöhnlichen Differentialgleichungen
Computational complexity of one-step methods for a scalar autonomous differential equation
A computerized matchmaker that is capable of learning
A robust tracking system for COVID-19 like pandemic using advanced hybrid technologies
On the Existence and Convergence of the Solution of PML Equations
Business process discovery as a service with event log privacy and access control over discovered models
Some concepts for languages more powerful than context-free
Avoiding Slave Points in an Adaptive Refinement Procedure for Convection-Diffusion Problems in 2D
Zur Konvergenz des Verfahrens der Tangierenden Hyperbeln und des Tschebyscheff-Verfahrens bei konvexen Abbildungen
A second order monotone upwind scheme
Scalable overload prediction in cloud computing using a hybrid queuing-theoretic and machine learning framework
Software assurance practices for mobile applications - A survey of the state of the art
Reproducibility of scientific workflows execution using cloud-aware provenance (ReCAP)
The calculation of guaranteed bounds for eigenvalues using complementary variational principles
A compact variable metric algorithm for nonlinear minimax approximation
NUTS scheduling approach for cloud data centers to optimize energy consumption
A comparison of methods for determining turning points of nonlinear equations
Mehrdimensionale Zuordnungsprobleme und Netzwerkflüsse mit vorgegebenen Wertemengen
Iterative Stokes Solvers in the Harmonic Velte Subspace
An approach to dynamically assigning cloud resource considering user demand and benefit of cloud platform
Optimale Lösung von Intervallgleichungssystemen
An overview of the commercial cloud monitoring tools: research dimensions, design issues, and state-of-the-art
A model-based approach for planning blockchain service provisioning
Improved publicly verifiable group sum evaluation over outsourced data streams in IoT setting
Über die Konvergenz von Shooting-Verfahren
Nitsche Type Mortaring for Singularly Perturbed Reaction-diffusion Problems
Towards multi-stakeholder value/quality conflict detection, measurement and resolution in composite services
Coverage rate calculation in wireless sensor networks