yusuke1997/dblp-id-title huggingface dataset:
An Interval Algorithm for Bounding the Ranges of Real-Valued Functions of One Real Variable
Tolerable Solution Set for Interval Linear Systems with Constraints on Coefficients
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation
Interval Integration
Synchronous and Asynchronous Interval Newton-Schwarz Methods for a Class of Large Systems of Nonlinear Equations
Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty
Accelerated Enclosure Methods for Ordinary Free Boundary Problems
Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems
Interval Methods for Sinusoidal Parameter Estimation: A Comparative Analysis
Alberth, O.: Precise Numerical Methods Using C++
The Hull of Preconditioned Interval Linear Equations
Reminiscences "Back in the Good Old Days..."
Computation of Potential and Attraction Force of an Ellipsoid
Outer Approximation of Attractors Using an Interval Quantization
A New Strategy for Selecting Subdivision Point in the Bernstein Approach to Polynomial Optimization
Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic
Finding the Smallest Eigenvalue by Properties of Semidefinite Matrices
Set Computation for Nonlinear Control
A New Method for Global Solution of Systems of Non-Linear Equations
An Application of Interval Methods to Stock Market Forecasting
Bounding Perturbations in Zeros of Nonlinear Systems
Tree-Based Credal Networks for Classification
Grand Challenges and Scientific Standards in Interval Analysis
Estimating Uncertainties for Geophysical Tomography
Interval Arithmetic on Multimedia Architectures
A Special Session on Granular Computing and Interval Computations at the 19th International Conference of the North American Fuzzy Information Processing Society (NAFIPS) Atlanta, Georgia, July 13-15, 2000
The Extrapolated Taylor Model
Solving and Certifying the Solution of a Linear System
Dependable Handling of Uncertainty
Effective Computation of Rational Approximants and Interpolants
Geometric Constructions with Discretized Random Variables
Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations
Sparse Systems in Fixed Point Form
Guaranteed Parameter Set Estimation for Monotone Dynamical Systems Using Hybrid Automata
Hyper-Spectral Satellite Images: Interval Methods May Be Helpful
Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver
Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations
Solving Overdetermined Systems of Interval Linear Equations
A Note on a Verified Automatic Integration Algorithm
H[infin]-Control Using Polynomial Matrices and Interval Arithmetic
On the Algebraic Properties of Intervals and Some Applications
A New Application of Local Minima of Interval Functions: Interval-Valued Fuzzy Control
Mechanising the theory of intervals using OBJ3
Verification of Invertibility of Complicated Functions over Large Domains
On Kernel Inclusions
From Interval Arithmetic to Interval Constraints
Spigot Algorithm and Root Computing
A New Uncertainty-Bearing Floating-Point Arithmetic
Ostrowski-Like Method for the Inclusion of a Single Complex Polynomial Zero
On Unbounded Tolerable Solution Sets
Verification methods for inclusion disks
Quantified Set Inversion Algorithm with Applications to Control
A New Robust Algorithm to Trace Curves
Interval Estimates for Signal Processing: Special Purpose Hardware
Computing Exact Bounds on Elements of an Inverse Interval Matrix is NP-Hard
A software interface and hardware design for variable-precision interval arithmetic
On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems
Computation and Application of Taylor Polynomials with Interval Remainder Bounds
Robust Plotting of Polar Algebraic Curves, Space Algebraic Curves, and Offsets of Planar Algebraic Curves
SCAN-98: an IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
Exact Minkowski Products of N Complex Disks
An Efficient Implementation of the SIVIA Algorithm in a High-Level Numerical Programming Language
Model Intervals
Interval and Twin Arithmetics
Interval-Related Talks at the Annual Conference of the North American Fuzzy Information Processing Society NAFIPS'02
Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension
Parallel Implementation of Interval Matrix Multiplication
A Note on a Uniqueness Theorem for the Second-Derivative Test of Qi
An Auto-Validating, Trans-Dimensional, Universal Rejection Sampler for Locally Lipschitz Arithmetical Expressions
Intervals of Inverse M-Matrices
Bounding the Results of Arithmetic Operations on Random Variables of Unknown Dependency Using Intervals
A bright side of NP-hardness of interval computations: interval heuristics applied to NP-problems
Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories
Reliable Minimax Parameter Estimation
Eliminating Duplicates under Interval and Fuzzy Uncertainty: An Asymptotically Optimal Algorithm and Its Geospatial Applications
Inner estimation of the united solution set of interval linear algebraic system
Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm
Maximum entropy and interval computations - (September notes on summer impressions)
The Set of Hausdorff Continuous Functions - The Largest Linear Space of Interval Functions
Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations
Reliable Computing: Special Issue on the Linkages between Interval Mathematics and Fuzzy Set Theory
Interval Methods and Their Applications: Invited Sessions at the World Automation Congress (WAC'2000) Maui, Hawaii, June 10-16, 2000
Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic)
Application of Bernstein Expansion to the Solution of Control Problems
Componentwise Error Estimates for Solutions Obtained by Stationary Iterative Methods
Nonconvex Polygon Interval Arithmetic as a Tool for the Analysis and Design of Robust Control Systems
Use of Interval Slopes for the Irrational Part of Factorable Functions
Parameter Reconstruction for Biochemical Networks Using Interval Analysis
Karl L. E. Nickel (1924 - 2009)
Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method
filib++ , Expression Templates and the Coming Interval Standard
Hilbert Problems (Almost) 100 Years Later (From the Viewpoint of Interval Computations)
Early Automatic Differentiation: The Ch'in-Horner Algorithm
On an Expression for the Midpoint and the Radius of the Product of Two Intervals
Introduction to the Special Issue: What Can One Learn from Box-Plane Intersections?
New slope methods for sharper interval functions and a note on Fischer's acceleration method
Interval-Related Talks at the 2003 IEEE International Conference on Fuzzy Systems - St. Louis, Missouri, May 25-28, 2003
Statool: A Tool for Distribution Envelope Determination (DEnv), an Interval-Based Algorithm for Arithmetic on Random Variables
General Inner Approximation of Vector-valued Functions
Solving Overdetermined Systems in lp Quasi-Norms
On a Second Derivative Test due to Qi
A quadratic-time algorithm for smoothing interval functions
Fast Evaluation of Partial Derivatives and Interval Slopes
A new characterization of the set of all intervals, based on the necessity to check consistency easily
Convergence under Subdivision and Complexity of Polynomial Minimization in the Simplicial Bernstein Basis
Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents
Уеамаемъіе коллеіи!
Computation of Bounds on Population Parameters When the Data Are Incomplete
Sparse Matrices and Vectors in C-XSC
International Conference Interval'98
Dynamics with a Range of Choice
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving
The Preliminary Enclosing of the ODE Solutions on the Base of the Cauchy-Duhamel Identity
Gregory G. Menshikov has turned 70
Fast Verified Solutions of Sparse Linear Systems with H-matrices
Continuity Notions for Multi-Valued Mappings with Possibly Disconnected Images
Inner Approximation of the Range of Vector-Valued Functions
A Relation Between Morphological and Interval Operations
A Note on Epsilon-Inflation
Interval operations involving NaNs
Formulas for the width of interval products
Interval Monte Carlo as an Alternative to Second-Order Sampling for Estimating Ecological Risk
Automatic Forward Error Analysis for Floating Point Algorithms
A reliable linear algebra library for transputer networks
Global Optimization with Higher Order Inclusion Function Forms Part 1: A Combined Taylor-Bernstein Form
Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion
NP-Hard Classes of Linear Algebraic Systems with Uncertainties
An Improved Method for Global Solution of Non-Linear Systems
If we measure a number, we get an interval. What if we measure a function or an operator?
Using Preference Constraints to Solve Multi-Criteria Decision Making Problems
Finding All Solutions of Nonlinear Equations Using Linear Combinations of Functions
Block Floating Point Interval ALU for Digital Signal Processing
Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models
Optimal Finite Characterization of Linear Problems with Inexact Data
Solving Interval Constraints by Linearization in Computer-Aided Design
New Formulae for Multiplication of Intervals
Unimodality, Independence Lead to NP-Hardness of Interval Probability Problems
A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients
An Application of Fuzzy Mathematical Morphology to Interval-Valued Knowledge Representation: A Remark
A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions
Spigot Algorithm and Reliable Computation of Natural Logarithm
Worst-Case Simulation of Discrete Linear Time-Invariant Interval Dynamic Systems
Why intervals? A simple limit theorem that is similar to limit theorems from statistics
SONIC'95: Student mini-symposium on interval computations
Efficient Interval Linear Equality Solving in Constraint Logic Programming
In Case of Interval (or More General) Uncertainty, No Algorithm Can Choose the Simplest Representative
SCAN 2008 Guest editors preface
Determining the Positive Definiteness Margin of Interval Matrices
Interval Talks at the International Conference on Intelligent Technologies InTech'2000 Bangkok, Thailand, December 12-14, 2000
Handling Uncertainty in the Development and Design of Chemical Processes
A New Subdivision Strategy for Range Computations
Robust Autonomous Robot Localization Using Interval Analysis
Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations
Enclosing Solutions of Singular Interval Systems Iteratively
Linear Interval Equations: Midpoint Preconditioning May Produce a 100% Overestimation for Arbitrarily Narrow Data Even in Case n = 4
Newton's constant of gravitation and verified numerical quadrature
Optimality of Bernstein Representations for Computational Purposes
Kernel-Splitting Technique for Enclosing the Solution of Fredholm Equations of the First Kind
Enclosing solutions of overdetermined systems of linear interval equations
A Method for Outer Interval Solution of Linear Parametric Systems
An Approach to Overcome Division by Zero in the Interval Gauss Algorithm
Interval Methods in Non-Destructive Testing of Material Structures
Boundary Realizations Method for Interval Linear Dynamic Systems
Approximate Quantified Constraint Solving by Cylindrical Box Decomposition
Application of Modal Intervals to the Generation of Error-Bounded Envelopes
Dear Colleagues
Interval-Related Talks at the Second International Conference on Fuzzy Sets and Soft Computing in Economics and Finance
An Interval Newton Method Based on the Bernstein Form for Bounding the Zeros of Polynomial Systems
Interval Methods for Accelerated Global Search in the Microsoft Excel Solver
10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2002
Controlling the Wrapping Effect in the Solution of ODEs for Asteroids
Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness
Efficient Task Scheduling in the Parallel Result-Verifying Solution of Nonlinear Systems
SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization
Interval talks at the first el paso shell oil symposium
Convex Imprecise Previsions
Enclosing Solutions of Linear Complementarity Problems for H-Matrices
Some examples using the interval data type in the relational database model
Interval sessions at NAFIPS/IFIS/NASA'94
Archetypal Analysis of Interval Data
Application of Order-Preserving Functions to the Modeling of Computational Mechanics Problems with Uncertainty
Symbolic Preconditioning with Taylor Models: Some Examples
Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals
When Is the Product of Intervals Also an Interval?
Analysis and Design of Robust Controllers Using the Interval Diophantine Equation
Optimal Bicentered Form
A Search Algorithm for Calculating Validated Reliability Bounds
On the Theory of Error Control Based on Moduli with Common Factors
Interval Approach to Identification of Catalytic Process Parameters
Global Optimization and Singular Nonlinear Programs: New Techniques
Asymptotic Stability of Interval Time-Delay Systems
Interval Mathematical Library Based on Chebyshev and Taylor Series Expansion
A Success-Guided Selection of Expanded Systems for Result-Verifying Nonlinear Solvers
1998 SIAM Annual Meeting: Interval Highlights - Toronto, July 13-17, 1998
Formulation for Reliable Analysis of Structural Frames
An Interval Global Optimization Algorithm Combining Symbolic Rewriting and Componentwise Newton Method Applied to Control a Class of Queueing Systems
Towards the future of interval computations - Editors' Introduction to the student issue
A Constructive Criticism of the C/C++ Proposal for Complex Arithmetic
An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE
Уважаемые коллеги
Estimating and Validating the Cumulative Distribution of a Function of Random Variables: Toward the Development of Distribution Arithmetic
Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
A Surprising Approach in Interval Global Optimization; Dedicated to Prof. Dr. Gregory G. Menshikov on the occasion of his 70th anniversary
Computing Enclosures of Overdetermined Interval Linear Systems
Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems
Bounding the Range of a Rational Function over a box
A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space
Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties
Interval-Related Talks at the North American Fuzzy Information Processing Society Annual Conference NAFIPS'06
On the speed of convergence of the total step iterative method for a class of interval linear algebraic systems
Guest editors preface
Optimal Multiplication of G-intervals
Intersplines: A New Approach to Globally Optimal Multivariate Splines Using Interval Analysis
Expression Templates for Dot Product Expressions
On the Significance of Digits in Interval Notation
Sharpness in Interval Computations
Computing the Value of a Boolean Expression with Interval Inputs is NP-Hard
Second R. E. Moore Prize Awarded at SCAN'2004
Reviews - Applications of reliable scientific computing
Computational Experience with Rigorous Error Bounds for the Netlib Linear Programming Library
Extended Interval Power Function
Interval Computations Help in Proving the Kepler Conjecture
Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension
Errors in vector processing and the library libavi.a
Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof
Linear Systems with Large Uncertainties, with Applications to Truss Structures
The Compensation Benefit of ITIL® Skills and Certifications
How IT-Enabled Services Can Help to Change our World Building Networks for the Energy-Efficient City of Tomorrow
The Impact of E-Retail Environment Characteristics on E-Satisfaction and Purchase Intent
Improvement of Measurement Contribution for Asset Characterization in Complex Engineering Systems by an Iterative Methodology
Post PhD Adjustments and Internationalization of Higher Education in China - A Study based on International PhD Students in China: PhDs Enrollment and Its Aftermath
On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification
A New Approach for Solving the Flow Shop Scheduling Problem Through Neural Network Technique With Known Breakdown Time and Weights of Jobs
Classification of Technical Operation Services for Renewable Energy Power Plants
Fundamental Patterns for Enterprise Integration Services
A Metamodel for Component-Based Service Modeling
High-Growth SMEs: A Specific Research Object
Cognitive Biases, Risk Perception, and Individual's Decision to Start a New Venture
The Role of Industrial Ecology in Maximizing the Value of the Organization: A Case Study of Mineral Water Industry Organizations of Duhok City, Iraq
Preliminary Discussions on Several Characteristics of Service Value
Analysis of Strategic Human Resource Management Practices in Small and Medium Enterprises of South Asia
Talent Management Practices and Competitive Advantage: Evidence From the Jordanian Insurance Sector
The Impact of COVID-19 on the GCC Construction Industry
Interaction-Based Foundation of Services
Evaluating Cardiac Surgeon Performance: A Retrospective and Exploratory Study
Antenna Design and Direction of Arrival Estimation in Meta-Heuristic Paradigm: A Review
A Generalized Framework for E-Contract
Utilitarian Ethical Triage Bayesian Decisions With Monetary Value During COVID-19 - A Bayesian Probability Analysis
Students Perception Re-Learning Challenges
The Impact of Instagram Influencer Marketing in the Restaurant Industry
An Investigation and Classification of ERP Project Managers' Required Skills
How Perceived Inclusion Impacts Minority Employees' Organizational Satisfaction in the UAE Banking Industry
Analytical Evaluation of Food Safety Knowledge and Practices of Street Food Vending in the Philippines
GPS Patents and Their Effects on Our Future and Rights
Software Cost Estimation: A State-of-the-Art Statistical and Visualization Approach for Missing Data
The Potential of Social Media in Emerging Supply Chain Management
A New Robust Adaptive Sliding Mode Control for Discrete-Time Systems With Time-Varying State Delay: Application to Diesel Engine Control
A Study of the Role of Trust in Sharing Economy in the Tourism Industry
Investigation of Customer Knowledge Management: A Case Study Research
Organizational Commitment and Its Impact on Job Performance: A Case From Jordan
An Analysis for Selecting Best Smartphone Model by AHP-TOPSIS Decision-Making Methodology
Using Artificial Intelligence for Retail Value Chain
Moving from Waterfall to Agile: Perspectives from IT Portuguese Companies
The Strategic Impact of Macro and Micro Fashion Influencers on Instagram
A Kinect-less Augmented Reality Approach to Real-time Tag-less Virtual Trial Room Simulation
Risks Related to Lean Six Sigma Deployment and Sustainment Risks: How Project Management Can Help
Cooperation in Incremental Innovation Activities: An Empirical Analysis of Moroccan Firms
Supermarket Service Modeling and Evaluation
Service Recovery, Perceived Fairness, and Customer Satisfaction in the Telecoms Sector in Ghana
Rough Set Based Ad Hoc Network: A Review
The Effectiveness of Credit-to-GDP Gap as a Leading Indicator of Banking Crises in India
Modeling of Service Systems
Hydrological Drought Forecasting Using Modified Surface Water Supply Index (SWSI) and Streamflow Drought Index (SDI) in Conjunction with Artificial Neural Networks (ANNs)
Smart Home in Private Households: Status Quo, Discussion, and New Insights
Toward a Service (Eco)Systems Perspective on Value Creation
Dealing With Context Awareness for Service-Oriented Systems: An Ontology-Based Approach
The Capability Maturity Model Integrated as a Market Engineering Maturity Model
Trust Management: Social vs. Digital Identity
Semantics and Agents Oriented Web Personalization: State of the Art
Employee Welfare Measures in Public and Private Sectors: A Comparative Analysis
DNA Model of IT Service Assets
Towards the Functional Roles of an Innovation Laboratory as a Platform for Innovation: An Observational Approach
The Virtual Computing Lab (VCL): An Open Source Cloud Computing Solution Designed Specifically for Education and Research
A Comparative Analysis of HPL-PD and MIPS Architectures by Using Integrated Approach for IS and RA for Exploiting ILP
An Ontology-Based and Model-Driven Approach for Designing IT Service Management Systems
Deploying Cloud-Based Healthcare Services: A Holistic Approach
Conceptualizing Emergency Department Scenarios: A DSE-Based Methodology
Outcomes of Social Media Marketing in Sport Brands
Cross-Domain Image Classification via Multimodal Augmentations and Bacterial Foraging Optimization
Does Selection Mechanism for Temporary Employees in Public Sector Universities affect Right Selection?
Pre-Crime Prediction: Does It Have Value? Is It Inherently Racist?
Significance of Qualitative Factors for a Deeper Understanding of Service Productivity
Multi-Class Sentiment Classification for Healthcare Tweets Using Supervised Learning Techniques
Service Quality Evaluation Method for Community-Based Software Outsourcing Process
Pareto Optimal Solution Selection for a Multi-Site Supply Chain Planning Problem Using the VIKOR and TOPSIS Methods
The Role of Supply Chain Integration and Agile Practices in Improving Lead Time During the COVID-19 Crisis
An Empirical Investigation on Credit Card Adoption in India
Economic Decision-Making in Private Corporations Versus Public Sector: How to Compare Both Sectors
An Integrated Methodology for the Evaluation of Electronic Port Services
A Method for the Management of Service Innovation Projects in Mature Organizations
The Legal Dilemma in Governing the Privacy Right of E-Commerce Users: Evidence From the USA Context
Product-Service-Lifecycle: Methods and Functions for the Development and Management of Product-Related Services
Internet of Things in Asset Management: Insights from Industrial Professionals and Academia
A PSO Based Approach for Producing Optimized Latent Factor in Special Reference to Big Data
An Endogenous Switching Model to Poverty Dynamic Assessment in Tunisia: A New Proposal
Measurement of Service Efficiency in Different Types of Banking Services: Mass Services, Service Factories, Service Shops, and Professional Services
Developing a Commercial Ethics Framework for Analysing Marketing Campaigns
Millimeter Wave Communication Networks: Evolution, Challenges, and Potential Applications
Information Stewardship in Cloud Computing
Impact of Cultural Diversity on Employee Performance: A Study of Expatriates
Service Oriented Innovation Management: An Open Innovation Approach for Collaboration in Innovation Networks
The Impact of Human Resource Management Strategies on the Strategic Success of Cellular Communications Companies in Jordan
Perceived Value and Brand Loyalty in Fine Dining Service
Rebranding as a Catalyst for Organisational Change: Insights and Impacts
Innovation Policies in Managing Growth for High-Tech Companies: A Tactical Synthesis of Management Insights
Revisiting the Extended IoT Use Behavior Model Among Senior NCD Patients for Smart Healthcare in Malaysia
An Integrated Swara and QFD Approach to Minimize Mental Stress of Indian Farmers