0802 Computation Theory and Mathematics

subject area of

1997–98 Annual Meeting of the Association for Symbolic Logic Journal Articles
2 MODIFICATIONS OF THE SILVER-MEAL LOT SIZING HEURISTIC Journal Articles
2-Colorings of complete graphs with a small number of monochromatic K4 subgraphs Journal Articles
2-Testability and Relabelings Produce Everything Journal Articles
3D geophysical inversions of the north‐east Amer Belt and their relationship to the geologic structure Journal Articles
3D imaging of a reservoir analogue in point bar deposits in the Ferron Sandstone, Utah, using ground‐penetrating radar Journal Articles
Automated trend reinforcement of aeromagnetic data Conferences
Myxococcus xanthus translesion DNA synthesis protein ImuA is an ATPase enhanced by DNA Journal Articles
V-Order: New combinatorial properties & a simple comparison algorithm Journal Articles
A 2 + ɛ approximation algorithm for the k-MST problem Journal Articles
A Branching Time Logical System for Open Distributed Systems Development Journal Articles
A CLASS OF STEINER TRIPLE-SYSTEMS OF ORDER-21 AND ASSOCIATED KIRKMAN SYSTEMS (VOL 37, PG 209, 1981) Journal Articles
A CSP model of Eiffel’s SCOOP Journal Articles
A Characteristic-wise Alternative WENO-Z Finite Difference Scheme for Solving the Compressible Multicomponent Non-reactive Flows in the Overestimated Quasi-conservative Form Journal Articles
A Class of Steiner Triple Systems of Order 21 and Associated Kirkman Systems Journal Articles
A Combinatorial Approach to Colourful Simplicial Depth Journal Articles
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems Journal Articles
A Continuous d-Step Conjecture for Polytopes Journal Articles
A Lagrangian Relaxation Algorithm For A Production Planning Problem Where Products Have Alternate Routings Journal Articles
A Laplace-based model with flexible tail behavior Journal Articles
A Method for Geometry Optimization in a Simple Model of Two-Dimensional Heat Transfer Journal Articles
A Model Slicing Method for Workflow Verification Journal Articles
A Modeling Tool For Analysing The Information Requirements Of Computer Integrated Manufacturing Systems Journal Articles
A New Periodicity Lemma Journal Articles
A New Troubled-Cell Indicator for Discontinuous Galerkin Methods Using K-Means Clustering Journal Articles
A Normal Form for Function Rings of Piecewise Functions Journal Articles
A Note on a-Prime Models Journal Articles
A Petri Net Semantics of a Simple Process Algebra for Mobility Journal Articles
A Proof System for Dependencies for Information Relations Journal Articles
A RESIDUALLY SMALL, FINITELY GENERATED, SEMI-SIMPLE VARIETY WHICH IS NOT RESIDUALLY FINITE Journal Articles
A Robust High Order Alternative WENO Scheme for the Five-Equation Model Journal Articles
A Software Certification Consortium and its Top 9 Hurdles Journal Articles
A Spectral Erdős-Sós Theorem Journal Articles
A Spectral Study on the Dissipation and Dispersion of the WENO Schemes Journal Articles
A Structure Theorem for Strongly Abelian Varieties with Few Models Journal Articles
A Variant of L^♮-Convexity and its Application to Inventory Models with Batch Ordering Journal Articles
A better approximation ratio for the vertex cover problem Journal Articles
A bivariate Birnbaum–Saunders regression model Journal Articles
A characterization of poly-slender context-free languages Journal Articles
A class of Steiner triple systems of order 21 and associated Kirkman systems Journal Articles
A completion conjecture for Kirkman triple systems Journal Articles
A compositional Petri net translation of general π -calculus terms Journal Articles
A computational framework for determining run-maximal strings Journal Articles
A computational substantiation of the d-step approach to the number of distinct squares problem Journal Articles
A conjecture on critical graphs and connections to the persistence of associated primes Journal Articles
A consistent method of estimation for the three-parameter Weibull distribution Journal Articles
A contextual framework for combating identity theft Journal Articles
A decomposable self-adaptive projection-based prediction–correction algorithm for convex time space network flow problem Journal Articles
A dual approach to multi-dimensional assignment problems Journal Articles
A dynamic programming algorithm for scheduling mixed-model, just-in-time production systems Journal Articles
A dynamic spare parts ordering and pricing policy based on stochastic programming with multi-choice parameters Journal Articles
A family of autoregressive conditional duration models applied to financial data Journal Articles
A family of sparse graphs of large sum number Journal Articles
A fast SVD for multilevel block Hankel matrices with minimal memory storage Journal Articles
A fast average case algorithm for lyndon decomposition Journal Articles
A flexible approximate likelihood ratio test for detecting differential expression in microarray data Journal Articles
A formal framework for Stringology Journal Articles
A formal semantics for concurrent systems with a priority relation Journal Articles
A foundation for refining concurrent objects Journal Articles
A generalized approach to formal languages Journal Articles
A geometric consequence of residual smallness Journal Articles
A gradient method for the monotone fused least absolute shrinkage and selection operator Journal Articles
A linear optimization oracle for zonotope computation Journal Articles
A multi‐parameter approach for recognition of anthropogenic noise in aeromagnetic data collected over populated areas: Erzgebirge, Germany Journal Articles
A nonparametric test for the equality of counting processes with panel count data Journal Articles
A note on easy and efficient computation of full abelian periods of a word Journal Articles
A note on valuation definable expansions of fields Journal Articles
A partial functions version of Church's simple theory of types Journal Articles
A polyhedral study on chance constrained program with random right-hand side Journal Articles
A possible analogue of ρ -labellings for 3-uniform hypergraphs Journal Articles
A prefix array for parameterized strings Journal Articles
A proof of morley's conjecture Journal Articles
A proof-theoretic foundation of abortive continuations Journal Articles
A property of the solvable radical in finitely decidable varieties Journal Articles
A propositional proof system with quantification over permutations Journal Articles
A pseudometric in supervisory control of probabilistic discrete event systems Journal Articles
A review of bricks-and-clicks dual-channels literature: trends and opportunities Journal Articles
A simple fast hybrid pattern-matching algorithm Journal Articles
A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991. Journal Articles
A spectral clustering method for microarray data Journal Articles
A structure theorem for strongly abelian varieties with few models Journal Articles
A transfer theorem in constructive p-adic algebra Journal Articles
A type-theoretic foundation of delimited continuations Journal Articles
A unification algorithm for second-order monadic terms Journal Articles
A unification-theoretic method for investigating the k-provability problem Journal Articles
A unified view on lifetime distributions arising from selection mechanisms Journal Articles
A vector forward mode of automatic differentiation for generalized derivative evaluation Journal Articles
A verification-driven framework for iterative design of controllers Journal Articles
A version of o-minimality for the p-adics Journal Articles
A weak order solution to a group ranking and consistency-driven pairwise comparisons Journal Articles
Ad-step approach to the maximum number of distinct squares and runs in strings Journal Articles
ACM Transactions on Algorithms (TALG) Journal
ACM Transactions on Computational Logic Journal
ACM Transactions on Mathematical Software Journal
ACM Transactions on Modeling and Computer Simulation Journal
ALID Conferences
AN ALGORITHM FOR THE UNIFICATION OF 2ND-ORDER MONADIC TERMS Conferences
APPROXIMABILITY IN THE GPAC Journal Articles
Abstract computability and algebraic specification Journal Articles
Abstract versus concrete computation on metric partial algebras Journal Articles
Acta Cybernetica Journal
Acta Informatica Journal
Adaptive gradient descent enabled ant colony optimization for routing problems Journal Articles
Adaptive sparse grid algorithms with applications to electromagnetic scattering under uncertainty Journal Articles
Addenda and corrigenda Journal Articles
Addendum to “A structure theorem for strongly abelian varieties” Journal Articles
Addendum: A Class of Steiner Triple Systems of Order 21 and Associated Kirkman Systems Journal Articles
Addendum: “A class of Steiner triple systems of order 21 and associated Kirkman systems” [Math. Comp. 37 (1981), no. 155, 209–222; MR0616374 (82k:05022)] Journal Articles
Addressing graph products and distance-regular graphs Journal Articles
Addressing the Petersen graph Journal Articles
Addressing the Petersen graph Journal Articles
Advances in Computational Mathematics Journal
Agent‐Based Web Services Framework and Development Environment Journal Articles
Algebraic Composition of Function Tables Journal Articles
Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution Journal Articles
Algebraic Structure of Step Traces and Interval Traces Journal Articles
Algorithm 948 Journal Articles
Algorithms for optimal multi-resolution quantization Journal Articles
All convex polyhedra can be clamped with parallel jaw grippers Journal Articles
All three Ca²⁺‐binding loops of photoproteins bind calcium ions: The crystal structures of calcium‐loaded apo‐aequorin and apo‐obelin Journal Articles
Allocation of Cost Savings in a Three-Level Supply Chain with Demand Information Sharing: A Cooperative-Game Approach Journal Articles
Allosteric inhibition explained through conformational ensembles sampling distinct “mixed” states Journal Articles
Almost 2-perfect 6-cycle systems Journal Articles
Almost resolvable cycle systems—an analogue of Hanani triple systems Journal Articles
Alphabets of Acyclic Invariant Structures Journal Articles
An Adaptive Multilevel Wavelet Solver for Elliptic Equations on an Optimal Spherical Geodesic Grid Conferences
An Adaptive Wavelet Collocation Method for Fluid-Structure Interaction at High Reynolds Numbers Journal Articles
An Algebra of Pure Quantum Programming Journal Articles
An Algebraic Approach to Refinement with Fair Choice Journal Articles
An Analysis Of Information Technology Assessment And Adoption In Small Business Environments Journal Articles
An Edge Detector Based on Artificial Neural Network with Application to Hybrid Compact-WENO Finite Difference Scheme Journal Articles
An Energy-Based, Always Index $\leq$ 1 and Structurally Amenable Electrical Circuit Model Journal Articles
An FPTAS for the minimum total weighted tardiness problem with a fixed number of distinct due dates Journal Articles
An Inventory Problem with Two Randomly Available Suppliers Journal Articles
An abstract monadic semantics for value recursion Conferences
An algebraic approach to the theory of recursive coroutines Journal Articles
An efficient shift rule for the prefer-max De Bruijn sequence Journal Articles
An h-adaptive RKDG method with troubled-cell indicator for one-dimensional detonation wave simulations Journal Articles
An improved parallel implementation of RainbowCrack using MPI Conferences
An improved upper bound and algorithm for clique covers Journal Articles
An integrated artificial neural network and fuzzy clustering algorithm for performance assessment of decision making units Journal Articles
An invariant for one-factorizations of the complete graph Journal Articles
An ordered structure of rank two related to Dulac's Problem Journal Articles
An overview of a formal framework for managing mathematics Journal Articles
Analysis of a Recursive Least-Squares Signal-Processing Algorithm Journal Articles
Analysis of coroutines by means of vector of coroutines Journal Articles
Annals of Mathematics and Artificial Intelligence Journal
Annals of Pure and Applied Logic Journal
Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving Journal Articles
Another class of balanced graph designs: balanced circuit designs Journal Articles
Anti-mitre steiner triple systems Journal Articles
Application of Concurrency to System Design, the Seventh Special Issue Journal Articles
Application of Concurrency to System Design, the Sixth Special Issue Preface Journal Articles
Application of Multi-Attribute Utility Theory to Measure Social Preferences for Health States Journal Articles
Application of scaled nonlinear conjugate-gradient algorithms to the inverse natural convection problem Journal Articles
Applied Mathematics and Computation Journal
Applied Numerical Mathematics Journal
Approximate periodicity in strings Journal Articles
Approximation Schemes for Minimum Latency Problems Journal Articles
Ars Combinatoria Journal
Asia-Pacific Journal of Operational Research Journal
Assessing the Evolution of Gene Expression Using Microarray Data Journal Articles
Assessing the evolution of gene expression using microarray data Journal Articles
Asymmetric clusters and outliers: Mixtures of multivariate contaminated shifted asymmetric Laplace distributions Journal Articles
Asymptotically Maximal Throughput in Tandem Systems with Flexible and Dedicated Servers Journal Articles
Asynchronous box calculus Journal Articles
Australasian Workshop on Combinatorial Algorithms - Foreword Journal Articles
Axiom System Induced by CTL* Logic Journal Articles
Balanced Vertex Decomposable Simplicial Complexes and their h-vectors Journal Articles
Bannai et al. method proves the d-step conjecture for strings Journal Articles
Basement geology beneath the northeast Thelon Basin, Nunavut: insights from integrating new gravity, magnetic and geological data Journal Articles
Behaviour abstraction for communicating sequential processes Journal Articles
Bicoloring Steiner Triple Systems Journal Articles
Bicolouring Steiner systems S(2,4,v) Journal Articles
Binary self-adding sequences and languages¹ Journal Articles
Book Review Journal Articles
Book Reviews Journal Articles
Branch-locking AD techniques for nonsmooth composite functions and nonsmooth implicit functions Journal Articles
Briefings in Bioinformatics Journal
Building high throughput permissioned blockchain fabrics Journal Articles
Bulletin of Symbolic Logic Journal
Bulletin of the European Association for Theoretical Computer Science Journal
Busy Period Distributions For Two Heterogeneous Queueing Models Involving Batches^* Journal Articles
ByShard Conferences
CAD-based sampling for CMM inspection of models with sculptured features Journal Articles
CFEnetwork: The Annals of Computational and Financial Econometrics Journal Articles
CLASSIFYING SPACES AND THE LASCAR GROUP Journal Articles
COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM Journal Articles
CORRECTION Journal Articles
COSY ? a system specification language based on paths and processes Journal Articles
Calculi for symmetric queries Journal Articles
Cameo: an alternative model of concurrency for Eiffel Conferences
Canonical prefixes of Petri net unfoldings Journal Articles
Categorical foundations for structured specifications in Z Journal Articles
Cell decompositions of C-minimal structures Journal Articles
Characterising Concurrent Histories Journal Articles
Charging station optimization for balanced electric car sharing Journal Articles
Chebyshev model arithmetic for factorable functions Journal Articles
Classical and Bayesian approaches to compartment models based on in vivo cadmium data Journal Articles
Classifying invariant structures of step traces Journal Articles
Clique partitions of distance multigraphs Journal Articles
Closed form expressions for the iterated floor function Journal Articles
Clustering with the multivariate normal inverse Gaussian distribution Journal Articles
Clustering, classification, discriminant analysis, and dimension reduction via generalized hyperbolic mixtures Journal Articles
Co-Ordinated Control Of A Family Of Discount Related Items Journal Articles
Colourful Simplicial Depth Journal Articles
Colouring Steiner systems with specified block colour patterns Journal Articles
Combinatorics of Unique Maximal Factorization Families (UMFFs) Journal Articles
Combining Fuzzy AHP and Fuzzy TOPSIS with Financial Ratios to Design a Novel Performance Evaluation Model Journal Articles
Combining quantitative and logical data cleaning Journal Articles
Comments on ?A comparison of two synchronizing concepts by P.B. Hansen? Journal Articles
Compensating for Failures with Flexible Servers Journal Articles
Completing small partial triple systems Journal Articles
Completing the spectrum of 2-chromatic S(2,4,v) Journal Articles
Complex Ranking Procedures Journal Articles
Comprehensible counterfactual explanation on Kolmogorov-Smirnov test Journal Articles
Compressive Sampling for Energy Spectrum Estimation of Turbulent Flows Journal Articles
Computation of Ground States of the Gross--Pitaevskii Functional via Riemannian Optimization Journal Articles
Computation of optimal plotting points based on Pitman closeness with an application to goodness-of-fit for location-scale families Journal Articles
Computational Geometry: Theory and Applications Journal
Computational Intelligence Journal
Computational Statistics and Data Analysis Journal
Computational and Structural Biotechnology Journal Journal
Computational determination of the largest lattice polytope diameter Journal Articles
Computational determination of the largest lattice polytope diameter Journal Articles
Computational evaluation of micro-scale and macro-scale error sources in a thermodiffusive cell Journal Articles
Computationally relevant generalized derivatives: theory, evaluation and applications Journal Articles
Computing covers using prefix tables Journal Articles
Computing in Science and Engineering Journal
Computing properties of numerical imperative programs by symbolic computation Journal Articles
Computing the CS-Decomposition on Systolic Arrays Journal Articles
Consistent and complementary formal theories of the semantics of programming languages Journal Articles
Constant-Query Testability of Assignments to Constraint Satisfaction Problems Journal Articles
Contexts in Mathematical Reasoning and Computation Conferences
Continuous Data Types Journal Articles
Contributions to Discrete Mathematics Journal
Convergence analysis of Taylor models and McCormick-Taylor models Conferences
Converting a 6-cycle system into a Steiner triple system Journal Articles
Coordinating Inventory Control and Pricing Strategies Under Batch Ordering Journal Articles
Coordinatisation and canonical bases in simple theories Journal Articles
Correcting Illumina data Journal Articles
Correction to: Multiple model synchronizationwith multiary delta lenses with amendment andK-Putput Journal Articles
Corrections to: Differentiable McCormick relaxations Journal Articles
Correctness of Monadic State: An Imperative Call-by-Need Calculus Conferences
Correlated destructive generalized power series cure rate models and associated inference with an application to a cutaneous melanoma data Journal Articles
Corrigendum to "On a lemma of Crochemore and Rytter" [Journal of Discrete Algorithms 34 (2015) 18-22]. Journal Articles
Corrigendum to “On a lemma of Crochemore and Rytter” [Journal of Discrete Algorithms 34 (2015) 18–22] Journal Articles
Counting Lyndon Factors Journal Articles
Counting tableaux with row and column bounds Conferences
Cubic leaves Journal Articles
Curvature analysis to differentiate magnetic sources for geologic mapping Journal Articles
DAESA—A Matlab Tool for Structural Analysis of Differential-Algebraic Equations Journal Articles
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS Journal Articles
DECOMPOSING STEINER TRIPLE-SYSTEMS INTO SMALL CONFIGURATIONS Journal Articles
Dag Normann. A jump operator in set recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 251–264. Journal Articles
Dag Normann. Degrees of functionals. Annals of mathematical logic, vol. 16 (1979), pp. 269–304. Journal Articles
Data-driven fair resource allocation for novel emerging epidemics: a COVID-19 Convalescent Plasma case study Journal Articles
David Marker. Model Theory: An Introduction. Graduate Texts in Mathematics, vol. 271. Springer Verlag, New York, Berlin and Heidelberg, 2002, 342 pp. Journal Articles
Decidable discriminator varieties from unary varieties Journal Articles
Decomposing complete 3-uniform hypergraphs into Hamiltonian cycles Journal Articles
Decompositions of complete graphs into circulants Journal Articles
Defect identification on specular machined surfaces Journal Articles
Definable principal congruences and solvability Journal Articles
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance Journal Articles
Deontic action logic, atomic boolean algebras and fault-tolerance Journal Articles
Designs, Codes, and Cryptography Journal
Detecting state encoding conflicts in STG unfoldings using SAT Conferences
Development and experimental validation of a control-oriented Diesel engine model for fuel consumption and brake torque predictions Journal Articles
Diameter and Curvature: Intriguing Analogies Journal Articles
Differentiable McCormick relaxations Journal Articles
Discovering data quality rules Journal Articles
Discrete Applied Mathematics Journal
Discrete Event Dynamic Systems: Theory and Applications Journal
Discrete Mathematics Journal
Discrete and Computational Geometry Journal
Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs Journal Articles
Discussiones Mathematicae - Graph Theory Journal
Dynamic Server Allocation for Queueing Networks with Flexible Servers Journal Articles
E-learning education to promote interprofessional education with physicians, pharmacists, nurses and nurse practitioners in (LTC) facilities: promising potential solutions Journal Articles
EM algorithm for one-shot device testing under the exponential distribution Journal Articles
ERC ? An object-oriented refinement calculus for Eiffel Journal Articles
Editoral Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial Journal Articles
Editorial for the 4th Special Issue on advances in mixture models Journal Articles
Effective cofinalities and admissibility in E-recursion Journal Articles
Electronic Journal of Combinatorics Journal
Electronic Notes in Discrete Mathematics Journal
Electronic Notes in Theoretical Computer Science Journal
Embedding Steiner triple systems into Steiner systems S(2,4,v) Journal Articles
Embedding partial bipartite cycle systems Journal Articles
Engineering the serpin α₁‐antitrypsin: A diversity of goals and techniques Journal Articles
Engineering with Computers Journal
Enhanced Robustness of the Hybrid Compact-WENO Finite Difference Scheme for Hyperbolic Conservation Laws with Multi-resolution Analysis and Tukey’s Boxplot Method Journal Articles
Enrique Casanovas. Simple theories and hyperimaginaries. Lecture Notes in Logic, vol. 39. ASL and Cambridge University Press, Cambridge, 2011, 184 pp. Journal Articles
Entropy Stable and Well-Balanced Discontinuous Galerkin Methods for the Nonlinear Shallow Water Equations Journal Articles
Enumeration of higher-dimensional paths under restrictions Journal Articles
Equilibria for networks with malicious users Journal Articles
Equilibrium Pricing in Incomplete Markets Under Translation Invariant Preferences Journal Articles
Equitable Specialized Block-Colourings for Steiner Triple Systems Journal Articles
Errata: Two Modifications Of The Silver-Meal Lot Sizing Heuristic Journal Articles
Erratum Journal Articles
Erratum to “Point and interval estimation for the two-parameter Birnbaum–Saunders distribution based on Type-II censored samples” Journal Articles
Erratum to: Linear covering codes and error-correcting codes for limited-magnitude errors Journal Articles
Error estimation and optimization of gravity surveys¹ Journal Articles
Estimation and monitoring of product aesthetics: application to manufacturing of “engineered stone” countertops Journal Articles
Estimation for the scaled half logistic distribution under Type II censoring Journal Articles
Estimation for the three-parameter lognormal distribution based on progressively censored data Journal Articles
Estimation of extreme percentiles in Birnbaum–Saunders distributions Journal Articles
Estimation of parameters from progressively censored data using EM algorithm Journal Articles
Estimation of the Birnbaum–Saunders regression model with current status data Journal Articles
Euclidean Networks with a Backbone and a Limit Theorem for Minimum Spanning Caterpillars Journal Articles
Euler deconvolution of the analytic signal and its application to magnetic interpretation Journal Articles
Evaluating an element of the Clarke generalized Jacobian of a composite piecewise differentiable function Journal Articles
Evaluation of thermal energy storage and recovery for an electrical energy mediator system Conferences
Evidence of a SARS-CoV-2 double Spike mutation D614G/S939F potentially affecting immune response of infected subjects Journal Articles
Evolutionary Bioinformatics Journal
Exact computation of the null distribution of a test for multiple outliers in an exponential sample Journal Articles
Exact likelihood inference for two exponential populations under joint Type-II censoring Journal Articles
Exact nonparametric meta-analysis for multiple independent doubly Type-II censored samples Journal Articles
Existentially closed ${\rm II}_1$ factors Journal Articles
Expansions of the real field by open sets: definability versus interpretability Journal Articles
Expansions of the real line by open sets: o-minimality and open cores Journal Articles
Exploring Tabular Verification and Refinement Journal Articles
Extended Petersen graphs Conferences
Extending mixtures of multivariate t-factor analyzers Journal Articles
Extra two-fold Steiner pentagon systems Conferences
FKBP65, a molecular chaperone for elastin Conferences
FRAÏSSÉ LIMITS OF C*-ALGEBRAS Journal Articles
FUZZY LINGUISTIC MODELING OF EASE OF DOING BUSINESS INDICATORS Journal Articles
Factorizations of Complete Graphs into Trees with at most Four Non-Leave Vertices Journal Articles
Fast Iterative Adaptive Multi-quadric Radial Basis Function Method for Edges Detection of Piecewise Functions—I: Uniform Mesh Journal Articles
Fast computational techniques for indoor radio channel estimation Journal Articles
Fast data compression with antidictionaries Journal Articles
Fast pattern-matching on indeterminate strings Journal Articles
Faster Algorithms for Computing Maximal Multirepeats in Multiple Sequences Journal Articles
Faster algorithm for designing optimal prefix-free codes with unequal letter costs Journal Articles
Faster approximation schemes for fractional multicommodity flow problems Conferences
Faster approximation schemes for fractional multicommodity flow problems Journal Articles
Finding Theme Communities from Database Networks Journal Articles
Finding theme communities from database networks Journal Articles
Fine-grained parallel genetic algorithm:a global convergence criterion Journal Articles
Finite embedding theorems for partial Steiner triple systems Journal Articles
First and second order recursion on abstract data types Journal Articles
First-order definable counting-only queries Journal Articles
Fisher information based progressive censoring plans Journal Articles
Fluid Limits for Shortest Remaining Processing Time Queues Journal Articles
Foreword Journal Articles
Formal Aspects of Computing Journal
Formal methods in system design Journal
Formal semantics of a class of high-level primitives for coordinating concurrent processes Journal Articles
Fourth-order alternating direction implicit compact finite difference schemes for two-dimensional Schrödinger equations Journal Articles
Frames associated with measurable spaces Journal Articles
Framework for evaluating clustering algorithms in duplicate detection Journal Articles
Frank O. Wagner. Simple theories. Mathematics and its applications, vol. 503. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2000, xi + 260 pp. Journal Articles
Frequency Covers for Strings Conferences
From Box Algebra to Interval Temporal Logic Journal Articles
From Reversible Programs to Univalent Universes and Back Journal Articles
From Squashed 6‐Cycles to Steiner Triple Systems Journal Articles
From syntactic theories to interpreters: Automating the proof of unique decomposition Journal Articles
Fullerenes and coordination polyhedra versus half-cube embeddings Journal Articles
Fundamenta Informaticae Journal
Fundamenta Mathematicae Journal
Fundamentals of modelling concurrency using discrete relational structures Journal Articles
Fuzzy and evolutionary modelling of nonlinear control systems Journal Articles
Game Theoretic Applications in Supply Chain Management: A Review Journal Articles
GeneVis: Simulation and Visualization of Genetic Networks Journal Articles
General convex relaxations of implicit functions and inverse functions Journal Articles
Generalized Birnbaum–Saunders kernel density estimators and an analysis of financial data Journal Articles
Generalized Factors of Words Journal Articles
Generating beta random numbers and Dirichlet random vectors in R: The package rBeta2009 Journal Articles
Geophysical Prospecting Journal
Global optimization in Hilbert space Journal Articles
Global optimization of MIQCPs with dynamic piecewise relaxations Journal Articles
Global routing in vlsi design: Algorithms,theory,and computational practice Journal Articles
Graph decompositions, handcuffed prisoners and balanced P-designs Journal Articles
Graphs and Combinatorics Journal
Graphs of maximum diameter Journal Articles
Graphs with small generalized chromatic number Journal Articles
Grothendieck Rings of ℤ-Valued Fields Journal Articles
HYPERGRAPHIC DEGREE SEQUENCES ARE HARD Journal Articles
Halving Steiner triple systems Journal Articles
Heat pipe-based radiator for low grade geothermal energy conversion in domestic space heating Conferences
Heterogeneous Notations for Pure Formal Method Integration Journal Articles
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems Journal Articles
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder Journal Articles
High Order Finite Difference Alternative WENO Scheme for Multi-component Flows Journal Articles
High Order Positivity- and Bound-Preserving Hybrid Compact-WENO Finite Difference Scheme for the Compressible Euler Equations Journal Articles
High Order Weighted Essentially Non-oscillation Schemes for Two-Dimensional Detonation Wave Simulations Journal Articles
High order compact finite difference schemes for a system of third order boundary value problem Journal Articles
High order well-balanced conservative finite difference AWENO scheme with hydrostatic reconstruction for the Euler equations under gravitational fields Journal Articles
High-order well-balanced and positivity-preserving finite-difference AWENO scheme with hydrostatic reconstruction for shallow water equations Journal Articles
Higher dimensional lattice paths with diagonal steps Journal Articles
Higher-Order and Symbolic Computation: Editorial Journal Articles
How AD can help solve differential-algebraic equations Journal Articles
How good are convex hull algorithms? Journal Articles
How good are interior point methods? Klee–Minty cubes tighten iteration-complexity bounds Journal Articles
How many double squares can a string contain? Journal Articles
Hybrid Compact-WENO Finite Difference Scheme with Conjugate Fourier Shock Detection Algorithm for Hyperbolic Conservation Laws Journal Articles
Hybrid Compact-WENO Finite Difference Scheme with Radial Basis Function Based Shock Detection Method for Hyperbolic Conservation Laws Journal Articles
Hybrid Fourier-Continuation Method and Weighted Essentially Non-oscillatory Finite Difference Scheme for Hyperbolic Conservation Laws in a Single-Domain Framework Journal Articles
Hybrid censoring: Models, inferential results and applications Journal Articles
Hybrid triple systems and cubic feedback sets Journal Articles
IEEE Security and Privacy Journal
IEEE Transactions on Visualization and Computer Graphics Journal
IMPS: An interactive mathematical proof system Journal Articles
INFOR: Information Systems and Operational Research Journal
ISOMORPHISMS OF INFINITE STEINER TRIPLE-SYSTEMS Journal Articles
Identification of Conflicting Selective Effects on Highly Expressed Genes Journal Articles
Identification of a common protease‐sensitive region in d‐alanyl‐d‐alanine and d‐alanyl‐d‐lactate ligases and photoaffinity labeling with 8‐azido ATP Journal Articles
Imbalance in tournament designs Journal Articles
Impact of impedance-dependent receiver gain on the extracted channel thermal noise in sub-100 nm MOSFETs Journal Articles
Implementation of saddlepoint approximations in resampling problems Journal Articles
Implication and axiomatization of functional and constant constraints Journal Articles
Important Facts and Observations about Pairwise Comparisons (the special issue edition) Journal Articles
Improving probability bounds by optimization over subsets Journal Articles
Inaccessibility in constructive set theory and type theory Journal Articles
Incremental Convex Hull Algorithms Are Not Output Sensitive Journal Articles
Independent Families in Complete Boolean Algebras Journal Articles
Inequational Deduction as Term Graph Rewriting Journal Articles
Inference for a simple step-stress model with competing risks for failure from the exponential distribution under time constraint Journal Articles
Inference via kernel smoothing of bootstrap values Journal Articles
Inferring an indeterminate string from a prefix graph Conferences
Influence analyses of skew-normal/independent linear mixed models Journal Articles
Influence diagnostics in linear and nonlinear mixed-effects models with censored data Journal Articles
Information Relaxations and Duality in Stochastic Dynamic Programs Journal Articles
Information Relaxations, Duality, and Convex Stochastic Dynamic Programs Journal Articles
Information Visualization Journal
International Journal of Algebra and Computation Journal
International Journal of Biomedical Engineering and Technology Journal
International Journal of Computational Geometry and Applications Journal
International Journal of Computer Mathematics Journal
International Journal of Critical Infrastructure Protection Journal
International Journal of Fuzzy Systems Journal
International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems Journal
Interpolation in practical formal development Journal Articles
Interpretation of magnetic and gravity gradient tensor data using normalized source strength – A case study from McFaulds Lake, Northern Ontario, Canada Journal Articles
Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next? Conferences
Invariant Structures and Dependence Relations Journal Articles
Investigating Reversibility of Steps in Petri Nets Journal Articles
Iranian Journal of Electrical and Computer Engineering Journal
JOINTLY EXTENDABLE LATIN RECTANGLES Journal Articles
Joint Modeling of Hyperledger Fabric and Sybil attack: Petri Net approach Journal Articles
Joint segmentation and pairing of multispectral chromosome images Journal Articles
Journal of Algorithms Journal
Journal of Applied Logic Journal
Journal of Automated Reasoning Journal
Journal of Chemical Information and Modeling Journal
Journal of Combinatorial Designs Journal
Journal of Combinatorial Mathematics and Combinatorial Computing Journal
Journal of Computational Multiphase Flows Journal
Journal of Computational Science Journal
Journal of Computer and System Sciences Journal
Journal of Discrete Algorithms (Amsterdam) Journal
Journal of Global Optimization Journal
Journal of Mathematical Imaging and Vision Journal
Journal of Scientific Computing Journal
Journal of Symbolic Computation Journal
Journal of Symbolic Logic (JSL) Journal
Journal of Visualization Journal
K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 pp. Journal Articles
Kite systems of order 8; embedding of kite systems into bowtie systems Journal Articles
LISP and Symbolic Computation Journal
Lambda-fold complete graph decompositions into perfect four-triple configurations Journal Articles
Languages obtained from infinite words Journal Articles
Large Sets of Mutually Almost Disjoint Steiner Triple Systems Not from Steiner Quadruple Systems Journal Articles
Lazy Evaluation and Delimited Control Journal Articles
Left truncated and right censored Weibull data and likelihood inference with an illustration Journal Articles
Lifetime analysis based on the generalized Birnbaum–Saunders distribution Journal Articles
Linear covering codes and error-correcting codes for limited-magnitude errors Journal Articles
Locating skarns with magnetic survey data, Geyer, Erzgebirge: optimizing data acquisition procedures Journal Articles
Location Models With Groups Of Demand Points Journal Articles
Logic Journal of the IGPL Journal
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT Conferences
Logical Methods in Computer Science Journal
Lognormal lifetimes and likelihood-based inference for flexible cure rate models based on COM-Poisson family Journal Articles
Long proteins with unique optimal foldings in the H-P model Conferences
Lyndon array construction during Burrows–Wheeler inversion Journal Articles
MAXIMAL PARTIAL STEINER TRIPLE-SYSTEMS OF ORDER V-LESS-THAN-OR-EQUAL-TO-11 Journal Articles
Machine Vision and Applications Journal
Mapped Hybrid Central-WENO Finite Difference Scheme for Detonation Waves Simulations Journal Articles
Mapping Hsp47 binding site(s) using CNBr peptides derived from type I and type II collagen Journal Articles
Mathematical Structures in Computer Science Journal
Mathematical and Computer Modelling Journal
Mathematical and Computer Modelling of Dynamical Systems Journal
Mathematical programming Journal
Mathematics of Computation Journal
Mathematics of Operations Research Journal
Matroid Enumeration for Incidence Geometry Journal Articles
Maximal arcs in Steiner systems S(2,4,v) Conferences
Maximal orthogonal Latin rectangles Journal Articles
Maximal partial Room squares Journal Articles
Maximal repetitions in strings Journal Articles
Membrane Systems with Qualitative Evolution Rules Journal Articles
Merged processes: a new condensed representation of Petri net behaviour Journal Articles
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu Journal Articles
MiVitals– xed Reality Interface for Monitoring: A HoloLens based prototype for healthcare practices Journal Articles
Minimal Regions of ENL-Transition Systems Journal Articles
Minimum Unique Substrings and Maximum Repeats Journal Articles
Minimum covering criterion for obnoxious facility location on a network Journal Articles
Mixtures of generalized hyperbolic distributions and mixtures of skew-t distributions for model-based clustering with incomplete data Journal Articles
Mixtures of skew-t factor analyzers Journal Articles
Mobility model for hybrid WLAN/cellular systems Journal Articles
Model Checking MITL Formulae on Timed Automata Journal Articles
Model Theory of Analytic Functions: Some Historical Comments Journal Articles
Model based clustering of high-dimensional binary data Journal Articles
Model-based classification via mixtures of multivariate -distributions Journal Articles
Model-based clustering, classification, and discriminant analysis via mixtures of multivariate t-distributions Journal Articles
Modelling Opacity Using Petri Nets Conferences
Modelling receiver operating characteristic curves using Gaussian mixtures Journal Articles
Modelling the effective thermal conductivity of compressing structures including contact resistance Journal Articles
Models with second order properties V: A general principle Journal Articles
Modified moment estimation for the two-parameter Birnbaum–Saunders distribution Journal Articles
Molecular Dynamics of Fibrinogen Adsorption onto Graphene, but Not onto Poly(ethylene glycol) Surface, Increases Exposure of Recognition Sites That Trigger Immune Response Journal Articles
Monogamous decompositions of complete bipartite graphs, symmetric H -squares, and self-orthogonal 1-factorizations Journal Articles
More Colourful Simplices Journal Articles
More bounds on the diameters of convex polytopes Journal Articles
More results on overlapping squares Journal Articles
Multilevel approximation of the gradient operator on an adaptive spherical geodesic grid Journal Articles
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput Preprints
Multiple model synchronization with multiary delta lenses with amendment andK-Putput Journal Articles
Mutations in transmembrane proteins: diseases, evolutionary insights, prediction and comparison with globular proteins Journal Articles
Mutex Causality in Processes and Traces of General Elementary Nets Journal Articles
Networks Journal
New improved estimators for overdispersion in models with clustered multinomial data and unequal cluster sizes Journal Articles
Non-Molecular-Clock-Like Evolution following Viral Origins in Homo sapiens Journal Articles
Nonconfidential Patient Types in Emergency Clinical Decision Support Journal Articles
Nonlinear Accumulating Priority Queues with Equivalent Linear Proxies Journal Articles
Nonlinear modeling for bar bond stress using dynamical self-adjusted harmony search optimization Journal Articles
Nonparametric meta-analysis of independent samples of records Journal Articles
Novel fuzzy test patterns and their application in the measurement of geometric characteristics of displays Journal Articles
Novel hybrid machine leaning model for predicting shear strength of reinforced concrete shear walls Journal Articles
Numerical Algorithms Journal
Numerical analysis for Spread option pricing model of markets with finite liquidity: first-order feedback model Journal Articles
OMITTING TYPES, BOUNDED WIDTH AND THE ABILITY TO COUNT Journal Articles
ON (K-4, K-4 - e)-DESIGNS Journal Articles
ON A CLASS OF LINEAR-SPACES WITH 16 POINTS Journal Articles
ON RANDOM-WALKS IN A PLANE Journal Articles
ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS Journal Articles
ONE-FACTORIZATIONS OF REGULAR GRAPHS AND HOWELL DESIGNS OF SMALL ORDER Journal Articles
OPtimally Balancing Large Assembly Lines: Updating Johnson S 1988 Fable Algorithm^* Journal Articles
On (K4,K4 - e)-designs Journal Articles
On ANOVA expansions and strategies for choosing the anchor point Journal Articles
On Accommodating Customer Flexibility in Service Systems Journal Articles
On Alspach's conjecture Journal Articles
On Causality Semantics of Nets with Priorities Journal Articles
On Improving Backwards Verification of Timed Automata (Extended Abstract) Conferences
On The Computational Complexity of Marcus Contextual Languages Journal Articles
On a Multi-stage Stochastic Programming Model for Inventory Planning Journal Articles
On a class of completable partial edge-colourings Journal Articles
On a conjecture of Erdős for multiplicities of cliques Journal Articles
On a lemma of Crochemore and Rytter Journal Articles
On a pairwise comparison-based consistent non-numerical ranking Journal Articles
On a problem of Marco Buratti Journal Articles
On a problem of Marco Buratti: Published Journal Articles
On a problem of Mariusz Meszka Journal Articles
On a variation of the Oberwolfach problem Journal Articles
On an inclusion-exclusion formula based on the reflection principle Journal Articles
On cliques in spanning graphs of projective Steiner triple systems Journal Articles
On cliques in spanning graphs of projective Steiner triple systems Journal Articles
On explicit formulas for bandwidth and antibandwidth of hypercubes Journal Articles
On inventory allocation for periodic review assemble-to-order systems Conferences
On large sets of v-1 L-intersecting steiner triple systems of order v Journal Articles
On large sets of v-1 L-intersecting steiner triple systems of order v Journal Articles
On regular characterizations of languages by grammar systems Journal Articles
On reverse Steiner triple systems Journal Articles
On some predictors of times to failure of censored items in progressively censored samples Journal Articles
On strongly context-free languages Journal Articles
On subwords of infinite words Journal Articles
On the (15, 5, λ)-family of BIBDs Journal Articles
On the 2-parallel chromatic index of Steiner triple systems Journal Articles
On the Complexity of Computing Winning Strategies for Finite Poset Games Conferences
On the Ehrenfeucht–Mycielski sequence Journal Articles
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas Journal Articles
On the binary solitaire cone Conferences
On the convergence of data assimilation for the one-dimensional shallow water equations with sparse observations Journal Articles
On the distribution in a graph process Journal Articles
On the expressiveness of subset-sum representations Journal Articles
On the generalized Berge sorting conjecture Journal Articles
On the generative capacity of parallel communicating grammar systems Journal Articles
On the generative capacity of parallel communicating grammar systems Journal Articles
On the hazard function of Birnbaum–Saunders distribution and associated inference Journal Articles
On the power of parallel communicating grammar systems with right-linear components Journal Articles
On the solitaire cone and its relationship to multi-commodity flows Journal Articles
On the structure of run-maximal strings Journal Articles
On the time to reach a certain orbit level in multi-server retrial queues Journal Articles
On the type-definability of the binding group in simple theories Journal Articles
On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes Journal Articles
On tractability and congruence distributivity Journal Articles
One-Dimensional Carousel Storage Problems: Applications, Review and Generalizations Journal Articles
Online density bursting subgraph detection from temporal graphs Journal Articles
Ontology-based entity matching in attributed graphs Journal Articles
Operational Semantics, Interval Orders and Sequences of Antichains Journal Articles
Operations Research Journal
Optimal Closures in a Simple Model for Turbulent Flows Journal Articles
Optimal Ordering Policies For A Perishable And Substitutable Product: A Markov Decision Model Journal Articles
Optimal Partitions for Eigenvalues Journal Articles
Optimal Sequential Exploration: Bandits, Clairvoyants, and Wildcats Journal Articles
Optimal Spacing of “Covered” and “Exposed” Time Intervals in a Stochastic Process with High Penalty Costs: Applications to Parking and Insurance Journal Articles
Optimal allocation of change points in simple step-stress experiments under Type-II censoring Journal Articles
Optimal quantization by matrix searching Journal Articles
Optimization Methods and Software Journal
Optimization modeling for capacity planning of production facilities and alternative facilities with consumable capacity Journal Articles
Optimization over Degree Sequences Journal Articles
Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations Journal Articles
Optimizing Teardrop, an MRI sampling trajectory Journal Articles
Order statistics from non-identical exponential random variables and some applications Journal Articles
Orientation and helical conformation of a tissue‐specific hunter‐killer peptide in micelles Journal Articles
Orthogonal Double Covers of Complete Graphs by Trees Journal Articles
Orthogonal Stiefel manifold optimization for eigen-decomposed covariance parameter estimation in mixture models Journal Articles
Output-Sensitive Algorithms for Computing Nearest-Neighbour Decision Boundaries Journal Articles
Output-sensitive algorithms for Tukey depth and related problems Journal Articles
PERMUTATION HYPERTREES IN PROBABILITY Journal Articles
POINT VISIBILITY GRAPHS AND ${\mathcal O}$-CONVEX COVER Journal Articles
POLYTOPAL BALLS ARISING IN OPTIMIZATION Journal Articles
PRICING AND INVENTORY DECISIONS WITH UNCERTAIN SUPPLY AND STOCHASTIC DEMAND Journal Articles
PRICING AND INVENTORY DECISIONS WITH UNCERTAIN SUPPLY AND STOCHASTIC DEMAND Journal Articles
PRICING AND INVENTORY DECISIONS WITH UNCERTAIN SUPPLY AND STOCHASTIC DEMAND Journal Articles
Packing pentagons into complete graphs: how clumsy can you get? Journal Articles
Pairwise Comparisons Based Non-Numerical Ranking Journal Articles
Palettes in block colourings of designs Journal Articles
Panoptes Journal Articles
Parallel distributed kernel estimation Journal Articles
Parsimonious Gaussian mixture models Journal Articles
Parsimonious skew mixture models for model-based clustering and classification Journal Articles
Partitioning Steiner triple systems into complete arcs Journal Articles
Pattern Analysis and Applications Journal
Perfect dexagon triple systems Conferences
Permutationally Invariant Deep Learning Approach to Molecular Fingerprinting with Application to Compound Mixtures Journal Articles
Persistent and Nonviolent Steps and the Design of GALS Systems Conferences
Perturbation analysis and condition numbers of scaled total least squares problems Journal Articles
Peter Lauer and COSY Journal Articles
Petri net semantics of the finite pi-calculus terms Journal Articles
Petrophysics and mineral exploration: a workflow for data analysis and a new interpretation framework Journal Articles
Pfaffian differential equations over exponential o-minimal structures Journal Articles
Point and interval estimation for extreme-value regression model under Type-II censoring Journal Articles
Point and interval estimation for the two-parameter Birnbaum–Saunders distribution based on Type-II censored samples Journal Articles
Polling Models with Unequal Service Rates under Limited Service Policies—Sharp Asymptotics Journal Articles
Polynomial size linear programs for problems in P Journal Articles
Polynomial-time algorithms for single resource stochastic capacity expansion models with lost sales Journal Articles
Polynomial-time tests for difference terms in idempotent varieties Journal Articles
Population genomic analyses reveal evidence for limited recombination in the superbug Candida auris in nature Journal Articles
Positive definite functions over regular f-rings and representations as sums of squares Journal Articles
Power Lindley distribution and associated inference Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface Journal Articles
Preface to Special Issue — Part 2 of Selected Contributions from 14^th International Topical Meeting on Nuclear Reactor Thermal hydraulics NURETH-14 in Toronto Journal Articles
Preface to Special Issue — Part I of Selected Contributions from 14th International Topical Meeting on Nuclear Reactor Thermal Hydraulics NURETH-14 in Toronto Journal Articles
Preface: Linear optimization Journal Articles
Preface: Special Issue on Application of Concurrency to System Design Journal Articles
Preface: Workshop on Advances in Optimization Journal Articles
Premature partial Latin squares Journal Articles
Premature sets of 1-factors or how not to schedule round robin tournaments Journal Articles
Primal—Dual Methods for Vertex and Facet Enumeration Journal Articles
Primitive Zonotopes Journal Articles
Probabilistic Analysis of Renewal Cycles: An Application to a Non-Markovian Inventory Problem with Multiple Objectives Journal Articles
Proceedings of the VLDB Endowment Journal
Processes of Petri nets with range testing Journal Articles
Projections of the Aldous chain on binary trees: Intertwining and consistency Journal Articles
Protein Science Journal
PuRSUE -from specification of robotic environments to synthesis of controllers Journal Articles
Pumping lemmas for term languages Journal Articles
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog Conferences
QUADRATIC EXCESSES OF COVERINGS BY TRIPLES Journal Articles
QUANTITY RESTRICTIONS AND THE RESELLER'S RESPONSE TO A TEMPORARY PRICE REDUCTION OR AN ANNOUNCED PRICE INCREASE Journal Articles
QUANTITY RESTRICTIONS AND THE RESELLER'S RESPONSE TO A TEMPORARY PRICE REDUCTION OR AN ANNOUNCED PRICE INCREASE Journal Articles
QUANTITY RESTRICTIONS AND THE RESELLER'S RESPONSE TO A TEMPORARY PRICE REDUCTION OR AN ANNOUNCED PRICE INCREASE Journal Articles
Quadratic leaves of maximal partial triple systems Journal Articles
Quantum Arrows in Haskell Journal Articles
Quantum Information Processing Journal
Quantum Mechanics/Molecular Mechanics Strategies for Docking Pose Refinement: Distinguishing between Binders and Decoys in CytochromecPeroxidase Journal Articles
Quantum search with certainty based on modified Grover algorithms: optimum choice of parameters Journal Articles
RAIRO - Theoretical Informatics and Applications Journal
REDISTRIBUTION OF VERTICES FOR MAXIMUM EDGE COUNT IN K-EDGE-CONNECTED D-CRITICAL GRAPHS Journal Articles
Raising the Bar: Assurance Cases for Scientific Software Journal Articles
Ramsey problem on multiplicities of complete subgraphs in nearly quasirandom graphs Journal Articles
Random structures & algorithms (Print) Journal
Reaction Systems and Enabling Equivalence Journal Articles
Real time detection of structural breaks in GARCH models Scholarly Editions
Reasoning about programs in continuation-passing style Journal Articles
Recurrence relations for bivariate and extended skew- distributions and an application to order statistics from bivariate Journal Articles
Recurrence relations for distributions of a skew- and a linear combination of order statistics from a bivariate- Journal Articles
Recursion and Petri nets Journal Articles
Refinement and Development of Programs from Relational Specifications Journal Articles
Refinement via Consistency Checking in MDA Journal Articles
Regularity and h-polynomials of edge ideals Journal Articles
Relating communicating processes with different interfaces Journal Articles
Relational semantics and a relational proof system for full Lambek calculus Journal Articles
Relational structures model of concurrency Journal Articles
Relational treatment of term graphs with bound variables Journal Articles
Relations for moments of progressively Type-II censored order statistics from half-logistic distribution with applications to inference Journal Articles
Reminiscing over Journal Articles
Repeated blocks in indecomposable twofold triple systems Journal Articles
Requirements Scenarios Formalization Technique Journal Articles
ResilientDB Conferences
Resolving P(v, 3, λ) designs into regular P3-configurations Journal Articles
Reverse supply chain decisions with online and offline dual recycling channels considering consumer fairness concerns and channel preference Journal Articles
Reversing Transitions in Bounded Petri Nets Journal Articles
Review paper: Exploration geophysics for intrusion‐hosted rare metals Journal Articles
Revisiting the spreading and covering numbers Journal Articles
Robust Solvers for Inverse Imaging Problems Using Dense Single-Precision Hardware Journal Articles
Robust approach for comparing two dependent normal populations through Wald-type tests based on Rényi’s pseudodistance estimators Journal Articles
Robust estimation under progressive censoring Journal Articles
Robust likelihood inference for regression parameters in partially linear models Journal Articles
SEH: Size Estimate Hedging Scheduling of Queues Journal Articles
SELLER-BUYER RELATIONSHIP WHEN END DEMAND IS SENSITIVE TO PRICE AND PROMOTION Journal Articles
SELLER-BUYER RELATIONSHIP WHEN END DEMAND IS SENSITIVE TO PRICE AND PROMOTION Journal Articles
SELLER-BUYER RELATIONSHIP WHEN END DEMAND IS SENSITIVE TO PRICE AND PROMOTION Journal Articles
SHELLABILITY, VERTEX DECOMPOSABILITY, AND LEXICOGRAPHICAL PRODUCTS OF GRAPHS Journal Articles
SIAM Journal on Discrete Mathematics Journal
SIAM Journal on Scientific Computing Journal
SIAM journal on computing (Print) Journal
SIMULTANEOUS DECOMPOSITIONS OF STEINER TRIPLE-SYSTEMS Journal Articles
SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES Journal Articles
SOME RESULTS ON THE K-PROVABILITY PROBLEM Conferences
STMM: A set theory for mechanized mathematics Journal Articles
Sampled-data supervisory control Journal Articles
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems Journal Articles
Scalable, resilient, and configurable permissioned blockchain fabric Journal Articles
Sensitivity Analysis of Limit-Cycle Oscillating Hybrid Systems Journal Articles
Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration Journal Articles
Serial and parallel implementations of model-based clustering via parsimonious Gaussian mixture models Journal Articles
Series approximations for moments of order statistics using MAPLE Journal Articles
Shape and change point analyses of the Birnbaum–Saunders- hazard rate and associated estimation Journal Articles
Shedding vertices of vertex decomposable well-covered graphs Journal Articles
Simple Linear Comparison of Strings in V-order* Journal Articles
Simple sequence is abundant in eukaryotic proteins Journal Articles
Simulation Modelling Practice and Theory Journal
Simulation relations for fault-tolerance Journal Articles
Software Engineering Principles Journal Articles
Software Engineering for Scientists Journal Articles
Solitaire Lattices Journal Articles
Solutions to the Oberwolfach problem for orders 18 to 40 Journal Articles
Solving constrained matrix equations and Cramer rule Journal Articles
Some approximations to the multivariate hypergeometric distribution with applications to hypothesis testing Journal Articles
Some recent advances in validated methods for IVPs for ODEs Conferences
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them Journal Articles
Sparktope: linear programs from algorithms Journal Articles
Special Issue of Infor On Human-Computer Interaction Journal Articles
Special Issue on Application of Concurrency to System Design Journal Articles
Special Issue on Stringology Journal Articles
Special issue on Application of Concurrency to System Design Journal Articles
Special issue on Application of Concurrency to System Design - Preface Journal Articles
Special issue on Bayesian econometrics Journal Articles
Specialized Block-Colourings of Steiner Triple Systems and the Upper Chromatic Index Journal Articles
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework Journal Articles
Stability and peptide binding specificity of Btk SH2 domain: Molecular basis for X‐linked agammaglobulinemia Journal Articles
Stability properties of periodic waves for the Klein–Gordon equation with quintic nonlinearity Journal Articles
Stancu type generalization of q-Favard–Szàsz operators Journal Articles
Standardising the lift of an association rule Journal Articles
Statistics and computing Journal
Steiner almost self-complementary graphs and halving near-Steiner triple systems Journal Articles
Steiner loops satisfying moufang’s theorem Journal Articles
Steiner quadruple systems - a survey Journal Articles
Steiner systems S(2, 4, v) - a survey Journal Articles
Steiner systems S(2, 4, v) - a survey Journal Articles
Steiner triple systems with rotational automorphisms Journal Articles
Step semantics of boolean nets Journal Articles
Step traces Journal Articles
Strategy based semantics for mobility with time and access permissions Journal Articles
String Covering: A Survey Journal Articles
String covering with optimal covers Journal Articles
String shuffle: Circuits and graphs Journal Articles
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques Journal Articles
Structured condition numbers and small sample condition estimation of symmetric algebraic Riccati equations Journal Articles
Structuring quantum effects: superoperators as arrows Journal Articles
Subwords and Power-Free Words are not Expressible by Word Equations Journal Articles
Superstable quasi-varieties Journal Articles
Supply Chain Optimization: Current Practices and Overview of Emerging Research Opportunities Journal Articles
Supply Management for Home Healthcare Services Journal Articles
Surrogate-assisted multi-objective evolutionary optimization with a multi-offspring method and two infill criteria Journal Articles
Swarm and Evolutionary Computation Journal
Symmetric Graph Designs Journal Articles
Symmetric graph designs on friendship graphs Journal Articles
Synthesis of Elementary Net Systems with Context Arcs and Localities Conferences
Synthesis of Nets with Step Firing Policies Conferences
Systemic risk mitigation strategy for power grid cascade failures using constrained spectral clustering Journal Articles
TABLES OF PARAMETERS OF BIBDS WITH R-LESS-THAN-OR-EQUAL-TO 41 INCLUDING EXISTENCE, ENUMERATION AND RESOLVABILITY RESULTS - AN UPDATE Journal Articles
TECHNICAL NOTE—Queueing Systems with Synergistic Servers Journal Articles
THE FRACTAL DIMENSION OF GRAVITY DATA SETS AND ITS IMPLICATION FOR GRIDDING¹ Journal Articles
THE UNIVERSAL THEORY OF THE HYPERFINITE II₁ FACTOR IS NOT COMPUTABLE Journal Articles
TOrPEDO: witnessing model correctness with topological proofs Journal Articles
Tabular Verification and Refinement Journal Articles
Tabular expressions and their relational semantics Journal Articles
Telescoping in the context of symbolic summation in Maple Journal Articles
Temporal theories as modularisation units for concurrent system specification Journal Articles
The 2nd special issue on advances in mixture models Journal Articles
The Australasian Journal of Combinatorics Journal
The Conundrum of Giglio Island: Unraveling the dynamics of an apparent resistance to COVID-19 – A descriptive study Journal Articles
The Expected Value of Perfect Information in Facility Location Journal Articles
The Fifth Special Issue on Application of Concurrency to System Design Journal Articles
The Hamilton–Waterloo problem: the case of Hamilton cycles and triangle-factors Journal Articles
The Kreisel length-of-proof problem Journal Articles
The Lempel–Ziv Complexity of Fixed Points of Morphisms Journal Articles
The Merlin-Randell problem of train journeys Journal Articles
The New Periodicity Lemma revisited Journal Articles
The Tabular Method for Relational Documentation Journal Articles
The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion Journal Articles
The Third Special Issue on Advances in Mixture Models Journal Articles
The Universal Approximation Property Journal Articles
The Value of Multistage Stochastic Programming in Capacity Planning Under Uncertainty Journal Articles
The Weber Problem On The Plane With Some Negative Weights Journal Articles
The bivariate Sinh-Elliptical distribution with applications to Birnbaum–Saunders distribution and associated regression and measurement error models Journal Articles
The central path visits all the vertices of the Klee–Minty cube Journal Articles
The chromatic number of 5-valent circulants Journal Articles
The classification of excellent classes Journal Articles
The colourful feasibility problem Journal Articles
The construction of rational iterating functions Journal Articles
The definability of E(α) Journal Articles
The effect of redundancy on probability bounds Journal Articles
The fine structure of threefold triple systems: υ ≡ 1 or 3 (mod 6) Journal Articles
The fourth special issue on applications of concurrency to system design - Preface Journal Articles
The identification of functional motifs in temporal gene expression analysis Journal Articles
The identification of functional motifs in temporal gene expression analysis. Journal Articles
The inorganic crystal structure data base Journal Articles
The largest non-integer real zero of chromatic polynomials of graphs with fixed order Journal Articles
The longest common extension problem revisited and applications to approximate string searching Journal Articles
The metamorphosis of block designs with block size four into (K-4/e)-designs Journal Articles
The metamorphosis of λ-fold block designs with block size four into a maximum packing of λKn with 4-cycles Journal Articles
The proof complexity of linear algebra Conferences
The proof theoretic strength of the Steinitz exchange theorem Journal Articles
The representation and approximation of the Drazin inverse of a linear operator in Hilbert space Journal Articles
The role of structural hydration in the stability and dynamics of a beta-sheet protein Conferences
The seven virtues of simple type theory Journal Articles
The shortest common superstring problem and viral genome compression Journal Articles
The spectrum of maximal partial steiner triple systems Journal Articles
The strong chromatic number of partial triple systems Journal Articles
The three squares lemma revisited Journal Articles
Theoretical study of interaction of winter flounder antifreeze protein with ice Journal Articles
Theory and Practice of Logic Programming Journal
Theory of Computing Systems Journal
There exist 6n/13 ordinary points Journal Articles
Three Partition Refinement Algorithms Journal Articles
Three-dimensional flow and surface visualization using hydrogen bubble technique Journal Articles
Three-line chromatic indices of Steiner triple systems Journal Articles
Tomoyuki Yamakami. Polynomial games and determinacy, Annals of pure and applied logic, vol. 80 (1996), pp. 1–16. Journal Articles
Towards a pragmatic mereology Journal Articles
Towards global bilevel dynamic optimization Conferences
Towards integrated verification of timed transition models Conferences
Tractability and Learnability Arising from Algebras with Few Subpowers Journal Articles
Transformations of normal and inverted function tables Journal Articles
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency Journal Articles
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application Journal Articles
Trinal Decompositions of Steiner Triple Systems into Triangles Journal Articles
Triple metamorphosis of twofold triple systems Journal Articles
Triviality, NDOP and stable varieties Conferences
Troubled-Cell Indication Using K-means Clustering with Unified Parameters Journal Articles
Two Modifications Of The Silver-Meal Lot Sizing Heuristic Journal Articles
Two implementation relations and the correctness of communicating replicated processes Journal Articles
Two infill criteria driven surrogate-assisted multi-objective evolutionary algorithms for computationally expensive problems with medium dimensions Journal Articles
Two-pattern strings II—frequency of occurrence and substring complexity Journal Articles
Two-pattern strings I—A recognition algorithm Journal Articles
Two-variable word equations Journal Articles
Ubiquitous configurations in Steiner triple systems Journal Articles
Un des “problèmes plaisans et délectables” de Claude Berge Journal Articles
Unambiguous Functions in Logarithmic Space Journal Articles
Unexpected imaginaries in valued fields with analytic structure Journal Articles
Unified Tables for Exponential and Logarithm Families Journal Articles
Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs Journal Articles
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms Conferences
Unique decomposition in classifiable theories Journal Articles
Unshuffling a square is NP-hard Journal Articles
Upper Triangular Linear Relations on Mmultiplicities and the Stanley-Stembridge Conjecture Journal Articles
Using Net Refinement to Compute the Fixpoint of a Recursive Expression Journal Articles
Using chemical bonds to analyze data retrieved from the inorganic crystal structure database Journal Articles
Utilitas Mathematica Journal
VC-Net: Deep Volume-Composition Networks for Segmentation and Visualization of Highly Sparse and Noisy Image Data Journal Articles
Validated solutions of initial value problems for ordinary differential equations Journal Articles
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations Journal Articles
Verification of bounded Petri nets using integer programming Journal Articles
Virtual knot groups and almost classical knots Journal Articles
Visualization of particle dispersion by vortex structures with Direct numerical simulation Journal Articles
WHERES THE LACK OF MEMORY - AUTHORS RESPONSE Journal Articles
Weighted kernel Fisher discriminant analysis for integrating heterogeneous data Journal Articles
Well-Covered Token Graphs Journal Articles
Well-balanced hybrid compact-WENO scheme for shallow water equations Journal Articles
Why Engineers Should Not Use Artificial Intelligence Journal Articles

0802 Computation Theory and Mathematics Concept

Vocabulary Service

Overview

subject area of