yusuke1997/dblp-id-title huggingface dataset:
Perluette: A compilers producing system using abstract data types
A Model-Theoretic Approach to Specification, Extension, and Implementation
Towards more flexible type systems
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures
Automatic program transformation viewed as theorem proving
About Program Termination and Simplification
Computer-based synthesis of logic programs
The simple semantics for Coppe-Dezani-Sallé types
Applicative communicating processes in first order logic
Specification and Verification of Networks Protocols Using
Another characterization of weakest preconditions
A Communication Data Type for Message Oriented Programming
An Algebraic Structure of Petri Nets
Inductive assertion patters for recursive procedures
Un système d'aide à la preuve de compilateurs
A Method for Developing Concurrent Systems
Towards a high-level job control language
Powerdomains and nondeterministic recursive definitions
Non-Sequential Behaviour
From abstract model to efficient compilation of patterns
Proving program correctness in L. C. F.
An Algorithm for Translating Lisp Programs into Reduction Language Programs
A more mechanical approach to program verification
Parallelism in Ada: Program Design and Meaning
The Theory and Practice of Transforming Call-by-need into Call-by-value
Top-down approach to the synthesis of programs
A Relational Model for Non-Deterministic Programs and Predicate Transformers
For Statements with Restricted Enumerations
On Relations Between Programs
Proving the correctness of implementations of shared data abstractions
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings
On effective computations of nondeterministic schemes
Un système de communications: logiciel ou matériel?
On the Merlin-Randell Problem of Train Journeys
Specification of highly parallel and distributed resource management
Proving Properties of SNOBOL 4 Patterns: Selecting the Assertion Format
International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980
S. V. P., Un système interactif pour la validation et la préparation de programmes
Communicating agents for applicative concurrent programming
An enlarged definition and complete axiomatization of observational congruence of finite processes
Implementations of Nondeterministic Programs
Types algébriques et sémantique des langages de programmation
Proof of separability: A verification technique for a class of a security kernels
Echappements et continuations en sémantique dénotationnelle
Structures de contrôle et puissances d'expression
Specification and verification of concurrent systems in CESAR
The program Dependence Graph and its Use in Optimization
Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques
An Optimal-time Recursive Evaluator for Attribute Grammars
Tuning algebraic specifications by type merging
Finite state testing of structured programs
Sémantiques comparées des systeèmes de programmation fonctioneele FP et FFP de J. W. Backus
A system for reasoning within and about algebraic specifications
On some syntactic equivalence of program schemas and related transformations
Structured recursive programming
On the transfer of control between contexts
A model for structured parallel processing in block-structured programming languages
Ue implémentation des coroutines en Lisp, application à Smalltalk
Suggestions for Composing and Specifying Program Design Decisions
A Case Study of Abstract Implementations and Their Correctness
Polynomial-Time Analysis for a Class of Communicating processes
Conception et optimisation des descentes récursives
Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools
Higher order software techniques applied to a space shuttle prototype program
Some Topics in the Design of the Specification Language Lotos
Tree structures handling by APS
Concurrent Operations in Large Ordered Indexes
A method for program synthesis
Un modèle de description de protocoles: les reéseaux fermés d'atuomates triphasés
Concrete Control Phases in Languages for Programming Complex Systems
Listing of information structures defined by fixed-point operators
International Symposium on Programming, 6th Colloquium, Toulouse, France, April 17-19, 1984, Proceedings
Transformation de programmes séquentiels en programmes parallèles
Behavioral semantics of nonrecursive control structures
Non-existence of program optimizers in an abstract setting
Semantics for LISP without Reference to an Interpreter
The suitability of a very high level language (SETL) for simulation structuring and control
L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma
Procedures and concurrency: A study in proof
First version of a data flow procedure language
The use of transformations to implement an algorithm
A control statement for natural top-down structured programming
Optimized Combinatoric Code for Applicative Language Implementation
Towards a theory of type structure
Processus non-séquentiels et leurs observations en univers non-centralisé
Polymorphic Type Schemes and Recursive Definitions
A proposed system for structured programming
Une expression de la synchronisatin et de l'oronnancement des processus concurrents par variables partagées
A machine level semantics for nondeterministic, parallel programs
Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code
Vesta: Vectorisation automatique et paramétrée de programmes
Formal definition of a simple on-line teleprocessor in VDL
Equivalence dans l'algèbre ds schémas de programmes
Application de la strucuturation des systéme à la conception interne du système GEMAU
Projet Vesta: outil de calcul symbolique
Making Programs more Readable
Finite Volume Discretization of Equations Describing Nonlinear Diffusion in Li-Ion Batteries
SUSHI for a Non-linear Time Fractional Diffusion Equation with a Time Independent Delay
On a Multigrid Adaptive Refinement Solver for Saturated Non-Newtonian Flow in Porous Media
Comparative Analysis of Mesh Generators and MIC(0) Preconditioning of FEM Elasticity Systems
Simulation of Turbulent Thermal Convection Using Finite Volumes
On an Implementation of the TM5 Global Model on a Cluster of Workstations
Cuckoo Search Algorithm for Parameter Identification of Fermentation Process Model
Performance of a Wavelet Shrinking Method
Order Adaptive Quadrature Rule for Real Time Holography Applications
Numerical Methods and Applications - 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers
ACO Algorithm for MKP Using Various Heuristic Information
Effectiveness Evaluation of Parallel Execution of Some Mathematical Methods
Parallel and GRID Implementation of a Large Scale Air Pollution Model
Numerical Schemes of Higher Order for a Class of Nonlinear Control Systems
Sensitivity of Results of the Water Flow Problem in a Discrete Fracture Network with Large Coefficient Differences
Discrete Approximations of Singularly Perturbed Systems
Multilevel Preconditioning of 2D Rannacher-Turek FE Problems; Additive and Multiplicative Methods
Finite Difference Schemes and Classical Transcendental Functions
Is Self-Heating Important in Nanowire FETs?
Numerical Solutions of the Boussinesq Equation with Nonlinear Restoring Force
Distributed Software System for Data Evaluation and Numerical Simulations of Atmospheric Processes
Ant Algorithm for GPS Surveying Problem with Fuzzy Pheromone Updating
Multi-scale Computational Framework for Evaluating of the Performance of Molecular Based Flash Cells
Numerical Investigation of the Upper Bounds on the Convective Heat Transport in a Heated from below Rotating Fluid Layer
Connection of Semi-integer Trigonometric Orthogonal Polynomials with Szegö Polynomials
Parametric Approximation of Functions Using Genetic Algorithms: An Example with a Logistic Curve
Contour-Integral Representation of Single and Double Layer Potentials for Axisymmetric Problems
Numerical Analysis of the Sinuous Instability of a Viscous Capillary Jet Flowing Down an Immiscible Nonviscous Fluid
An Efficient Numerical Method for a System of Singularly Perturbed Semilinear Reaction-Diffusion Equations
Hybrid Monte Carlo Methods for Matrix Computation
On Some Computational Aspects of the Variational Data Assimilation Techniques
Description of Dynamics of Ellipsoidal Estimates of Reachable Sets of Nonlinear Control Systems with Bilinear Uncertainty
Galerkin and Control Volume Finite Element Methods for Large Scale Air Pollution Simulations: A Comparison
CFAR Processors in Pulse Jamming
On the Numerical Simulation of Unsteady Solutions for the 2D Boussinesq Paradigm Equation
An Accelerated IMM JPDA Algorithm for Tracking Multiple Manoeuvring Targets in Clutter
Stochastic Algorithms in Linear Algebra - beyond the Markov Chains and von Neumann - Ulam Scheme
A Highly-Parallel TSP Solver for a GPU Computing Platform
Parallel Performance of an MPI Solver for 3D Elasticity Problems
An Effective Guided Fireworks Algorithm for Solving UCAV Path Planning Problem
Random Sequences in Vehicle Routing Problem
Numerical Methods and Applications - 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings
Interval Based Morphological Colour Image Processing
Richardson Extrapolated Numerical Methods for Treatment of One-Dimensional Advection Equations
An Algorithm for Parallel Implementations of an Eulerian Smog Model
Multipopulation Genetic Algorithms: A Tool for Parameter Optimization of Cultivation Processes Models
Global Convergence Properties of the SOR-Weierstrass Method
Stability of Semi-implicit Atmospheric Models with Respect to the Reference Temperature Profile
SUSHI for a Bingham Flow Type Problem
Variable Neighborhood Search Approach to Community Detection Problem
Two-Grid Decoupled Method for a Black-Scholes Increased Market Volatility Model
Using Satellite Observations for Air Quality Assessment with an Inverse Model System
Digital Approximations for Pseudo-Differential Equations and Error Estimates
Monte Carlo Method for Numerical Integration Based on Sobol's Sequences
Unconditionally Stable Explicit Difference Schemes for the Variable Coefficients Parabolic Differential Equation (IV)
Geometry of Polynomials and Numerical Analysis
Statistical Classifier of Radar Returns
Stability and Bifurcation Analysis of a Nonlinear Model of Bioreactor
Solving Eigenproblems: From Arnoldi via Jacobi-Davidson to the Riccati Method
Impact of the Trap Attributes on the Gate Leakage Mechanisms in a 2D MS-EMC Nanodevice Simulator
Modeling Thermal Effects in Fully-Depleted SOI Devices with Arbitrary Crystallographic Orientation
Digital Quadrature Demodulation of LFM Signals Obtained by Lowpass Filtering
Parallel Importance Separation and Adaptive Monte Carlo Algorithms for Multiple Integrals
Quasi-random Walks on Balls Using C.U.D. Sequences
Solving Linear Systems Whose Input Data Are Rational Functions of Interval Parameters
SM Stability for Time-Dependent Problems
Comprehensive Modelling of PM 10 and PM 2.5 Scenarios for Belgium and Europe in 2010
Bidirectional Beam Propagation Method Applied for Lasers with Multilayer Active Medium
Kantorovich Method for Solving the Multi-dimensional Eigenvalue and Scattering Problems of Schrödinger Equation
Microscopic KMC Modeling of Oxide RRAMs
Parameter Estimation in Size/Age Structured Population Models Using the Moving Finite Element Method
Robust Preconditioners for Saddle Point Problems
Extended Object Tracking Using Mixture Kalman Filtering
Numerical Analysis of Blow-Up Weak Solutions to Semilinear Hyperbolic Equations
Lie Brackets and Stabilizing Feedback Controls
Examining Performance Enhancement of p-Channel Strained-SiGe MOSFET Devices
On a Type of Nonconforming Morley Rectangular Finite Element
On the Postprocessing Technique for Eigenvalue Problems
About the Specifics of the IMM Algorithm Design
Spectral Analysis of Geometric Multigrid Methods for Isogeometric Analysis
Effect of Ionic Strength on the Electro-Dipping Force
Wavelet Compression of Spline Coefficients
Some Error Estimates for the Discretization of Parabolic Equations on General Multidimensional Nonconforming Spatial Meshes
Deterministic Solution of the Discrete Wigner Equation
HPC Simulations of the Fine Particulate Matter Climate of Bulgaria
Model-Based Stabilization of a Fermentation Process Using Output Feedback with Discrete Time Delay
Weighted Iterative Operator-Splitting Methods: Stability-Theory
A Size Distribution Model Applied to Fish Farming
Variable-Coefficient Difference Schemes for Quasilinear Evolution Problems
New Operator Splitting Methods and Their Analysis
New Stabilized Discretizations for Poroelasticity Equations
A Semi-numerical Approach to Radiation Boundary Conditions
A Method for Calculating Active Feedback System to Control Vertical Position of Plasma in a Tokamak
Monte-Carlo Integration Using Cryptographically Secure Pseudo-random Generator
Simulation Investigations of Pyramidal Cells Layer Effect on Conscious Visual Perception
On a Local Refinement Solver for Coupled Flow in Plain and Porous Media
Atmospheric Composition Studies for the Balkan Region
Computer Simulation of Heat Exchange Through 3D Fabric Layer
A Monte Carlo Model of Piezoelectric Scattering in GaN
Extremal Scattered Data Interpolation in \mathbb R^3 Using Triangular Bézier Surfaces
Phase-Field Versus Level Set Method for 2D Dendritic Growth
Using Monte-Carlo Simulation for Risk Assessment: Application to Occupational Exposure during Remediation Works
Solving Coupled Consolidation Equations
Simulation of the Mechanical Wave Propagation in a Viscoelastic Media With and Without Stiff Inclusions
Optimal Structural Design of Biomorphic Composite Materials
Parameter Estimation Inspired by Temperature Measurements for a Chemotactic Model of Honeybee Thermoregulation
An Ant Algorithm for the Partition Graph Coloring Problem
Contour Determination in Ultrasound Medical Images Using Interacting Multiple Model Probabilistic Data Association Filter
A Comparison of Metaheurisitics for the Problem of Solving Parametric Interval Linear Systems
RMSD Calculations for Comparing Protein Three-Dimensional Structures
Mesh Independent Superlinear Convergence of an Inner-Outer Iterative Method for Semilinear Elliptic Systems
On the Stabilizability of Control Constrained Linear Systems
Topological Dynamic Consistency of Numerical Methods for Dynamical Models in Biosciences
A Generalized (Meshfree) Finite Difference Discretization for Elliptic Interface Problems
Modeling of the SET and RESET Process in Bipolar Resistive Oxide-Based Memory Using Monte Carlo Simulations
Finite Difference Scheme for Filtration and Consolidation Problems
Numerical Methods and Applications, 5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers
Intuitionistic Fuzzy Knapsack Problem Trough the Index Matrices Prism
A Monotone Iterative Method for Numerical Solution of Diffusion Equations with Nonlinear Localized Chemical Reactions
Demanded Scale for Modern Numerical Optimisation
Sensitivity Analysis of ACO Start Strategies for Subset Problems
A Parallel Algorithm for Systems of Convection-Diffusion Equations
Uniformly Convergent High-Order Schemes for a 2D Elliptic Reaction-Diffusion Problem with Anisotropic Coefficients
Spectral Collocation Solutions to a Class of Pseudo-parabolic Equations
Studying the Properties of Variational Data Assimilation Methods by Applying a Set of Test-Examples
Parallel Schwarz Methods for T-M Modelling
Mixed Discretization-Optimization Methods for Nonlinear Elliptic Optimal Control Problems
An Interval Analysis Based Algorithm for Computing the Stability Margin of Uncertain Systems
Forgivable Variational Crimes
Numerical Analysis of a Pollution and Environment Interaction Model
Applications of Weighted Compact Scheme to Curvilinear System
A Numerical Approach for the American Call Option Pricing Model
Estimation of Markovian Jump Systems with Unknown Transition Probabilities through Bayesian Sampling
Convergence of Finite Difference Schemes for a Multidimensional Boussinesq Equation
Optimized Particle Regeneration Scheme for the Wigner Monte Carlo Method
Detection Acceleration in Hough Parameter Space by K-Stage Detector
Sensitivity Analysis of an Air Pollution Model by Using Quasi-Monte Carlo Algorithms for Multidimensional Numerical Integration
Numerical Solution of Large Non-Hermitian Eigenvalue Problem Arising from Model of Vertical Cavity Surface Emitting Laser Array
Generating and Testing the Modified Halton Sequences
Additive Schemes for Systems of Time-Dependent Equations of Mathematical Physics
Evaluation of Crisis, Reversibility, Alert Management for Constrained Dynamical Systems Using Impulse Dynamical Systems
Weighted Iterative Operator-Splitting Methods and Applications
Stochastic Algorithm for Solving the Wigner-Boltzmann Correction Equation
Free Search in Multidimensional Space II
Intuitionistic Fuzzy Interpretations of Conway's Game of Life
Implementation of Bilinear Nonconforming Finite Elements in an Eulerian Air Pollution Model: Results Obtained by Using the Rotational Test
Optimisation Techniques in Wildfire Simulations. Test Case Kresna Fire August 2017
The Effect of a Postprocessing Procedure to Upper Bounds of the Eigenvalues
Accuracy of Different Machine Learning Type Methodologies for EEG Classification by Diagnosis
On the Calculation of Electromagnetic Fields in Closed Waveguides with Inhomogeneous Filling
Slot Machines RTP Optimization with Genetic Algorithms
Quantifying the Effectiveness of First-Hop Redundancy Protocols in IP Networks
Numerical Computation of the Markov Factors for the Systems of Polynomials with the Hermite and Laguerre Weights
Derivation of a Coordinate System of Three Laser Triangulation Sensors in a Plane
Evaluation of Serial and Parallel Shared-Memory Distance-1 Graph Coloring Algorithms
Analysis of the CBS Constant for Quadratic Finite Elements
A Second Order Time Accurate SUSHI Method for the Time-Fractional Diffusion Equation
Ant Colony Optimization Approach to Tokens' Movement within Generalized Nets
STARDEX and ETCCDI Climate Indices Based on E-OBS and CARPATCLIM - Part Two: ClimData in Use
A Simple and Efficient Algorithm for Eigenvalues Computation
Tracking Algorithms Represented as Classes
Index Matrices as a Decision-Making Tool for Job Appointment
On Decision Making Under Uncertainty
Hebbian Versus Gradient Training of ESN Actors in Closed-Loop ACD
Solution Limiters and Flux Limiters for High Order Discontinuous Galerkin Schemes
Global Sensitivity Analysis for a Chronic Myelogenous Leukemia Model
Perspectives of Selfish Behaviour in Mobile Ad Hoc Networks
Sparse Array Optimization by Using the Simulated Annealing Algorithm
Population-Based Metaheuristics for Tasks Scheduling in Heterogeneous Distributed Systems
Molecular Dynamic Modeling of Long-Range Effect in Metals Exposed to Nanoclusters
Solving Two-Point Boundary Value Problems for Integro-Differential Equations Using the Simple Shooting-Projection Method
Properties of the Lyapunov Iteration for Coupled Riccati Equations in Jump Linear Systems
Finite-Volume Difference Scheme for the Black-Scholes Equation in Stochastic Volatility Models
Quadrature Formula Based on Interpolating Polynomials: Algorithmic and Computational Aspects
Optimized Stochastic Approaches Based on Sobol Quasirandom Sequences for Fredholm Integral Equations of the Second Kind
A Numerical Study of the Upper Bound of the Throughput of a Crossbar Switch Utilizing MiMa-Algorithm
An Inequality for Polynomials on the Standard Simplex
Evolutionary Optimization Method for Approximating the Solution Set Hull of Parametric Linear Systems
Random Walks for Solving Boundary-Value Problems with Flux Conditions
Tall RC Buildings Environmentally Degradated and Strengthened by Cables Under Multiple Earthquakes: A Numerical Approach
Constitutive Parameter Adjustment for Mechanized Tunneling with Reference to Sub-system Effects
Data Compression of Color Images Using a Probabilistic Linear Transform Approach
Start Strategies of ACO Applied on Subset Problems
Front Fixing Finite Difference Method for Pricing a Corporate Bond with Credit Rating Migration
Numerical Computations with Hausdorff Continuous Functions
Fed-Batch Cultivation Control Based on Genetic Algorithm PID Controller Tuning
Bulgarian Operative System for Chemical Weather Forecast
A Hybrid Monte Carlo Method for Simulation of Quantum Transport
Some Difference Algorithms for Nonlinear Klein-Gordon Equations
Numerical Simulation of Drop Coalescence in the Presence of Inter-Phase Mass Transfer
Factors for Search Methods Scalability
Mechanical Failure in Microstructural Heterogeneous Materials
Numerical Methods and Applications - 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers
Mathematical Modeling: Interdisciplinary Similarity Studies
A Monte Carlo Approach for Finding More than One Eigenpair
Modeling of Textiles as Nets of One-Dimensional Hyperelastic Strings with Friction Controlled by Capstan Equation
A High Order Numerical Method for Solving Nonlinear Fractional Differential Equation with Non-uniform Meshes
On the Exams of a Multi-Attribute Decision Making Electronic Course
Simulation of an Extreme Air Pollution Episode in the City of Stara Zagora, Bulgaria
A Numerical Approach to the Dynamic Unilateral Contact Problem of Soil-Pile Interaction Under Instabilizing and Environmental Effects
On the Calculation of the Bernstein-Szegö Factor for Multivariate Polynomials
A Numerical Approach for a Hemivariational Inequality Concerning the Dynamic Interaction between Adjacent Elastic Bodies
Application of WRF-CMAQ Model System for Analysis of Sulfur and Nitrogen Deposition over Bulgaria
Subtraction of Two 2D Polygons with Some Matching Vertices
On Positivity Preservation in Some Finite Element Methods for the Heat Equation
Evaluation of the Effective Material Properties of Media with Voids Based on Numerical Homogenization and Microstructure Data
Numerical Algorithm for Simultaneously Determining of Unknown Coefficients in a Parabolic Equation
Immersed Interface Method for a Reaction-Diffusion Equation with a Moving Own Concentrated Source
Balancing of Systematic and Stochastic Errors in Monte Carlo Algorithms for Integral Equations
Optimization of String Rewriting Operations for 3D Fractal Generation with Genetic Algorithms
Target Detection and Parameter Estimation Using the Hough Transform
FEM Modelling of Resonant Frequencies of In-Plane Parallel Piezoelectric Resonator
A Numerical Approach for Obtaining Fragility Curves in Seismic Structural Mechanics: A Bridge Case of Egnatia Motorway in Northern Greece
A Database of High Precision Trivial Choreographies for the Planar Three-Body Problem
Advanced Monte Carlo Techniques in the Simulation of CMOS Devices and Circuits
A Theoretical Analysis on the Bound Violation Probability in Differential Evolution Algorithm
Numerical Homogenization of Epoxy-Clay Composite Materials
Parallel Monte Carlo Sampling Scheme for Sphere and Hemisphere
Round-Trip Operator Technique Applied for Optical Resonators with Dispersion Elements
Mathematical Modelling of Nonlinear Heat Conduction with Relaxing Boundary Conditions
Some Convergence Results of a Multidimensional Finite Volume Scheme for a Semilinear Parabolic Equation with a Time Delay
Numerical Methods and Applications - 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Using Singular Value Decomposition in Conjunction with Data Assimilation Procedures
Flexible Two-Level Parallel Implementations of a Large Air Pollution Model
On a Two-Level Parallel MIC(0) Preconditioning of Crouzeix-Raviart Non-conforming FEM Systems
Multi-exchange Neighborhoods for the Capacitated Ring Tree Problem
WRF-Fire Applied in Bulgaria
Design of Equiripple 2-D Linear-Phase FIR Digital Filters Using Genetic Algorithm
An Intuitionistic Fuzzy Approach to the Hungarian Algorithm
A Comparison of Decision Making Criteria and Optimization Methods for Active Robotic Sensing