The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Preemptive scheduling in a two-stage supply chain to minimize the makespan (Q3458814) (← links)
- OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS (Q3459090) (← links)
- Numerical Schemes for Stochastic Backscatter in the Inverse Cascade of Quasigeostrophic Turbulence (Q3459645) (← links)
- Rugged and Elementary Landscapes (Q3459673) (← links)
- Covering Numbers of Finite Rings (Q3459975) (← links)
- A Geometric Proof of the Beppo–Levi Inequality (Q3459976) (← links)
- Diophantine Approximation and Coloring (Q3459977) (← links)
- A Proof of the Replacement Theorem by the Notion of Maximal Elements (Q3459978) (← links)
- Periodic Points of Some Discontinuous Mappings (Q3459979) (← links)
- Asymptotic Formula for (1 + 1/<em>x</em>)<sup><em>x</em></sup>, Revisited (Q3459980) (← links)
- A Proof of Quadratic Reciprocity (Q3459982) (← links)
- Uniform Continuity of Continuous Functions on Compact Metric Spaces (Q3459983) (← links)
- Another Proof That the Real Numbers ℝ Are Uncountable (Q3459985) (← links)
- A Simple Modified Version for Ferguson's Proof of the Extreme Value Theorem (Q3459986) (← links)
- An Alternative to Faulhaber's Formula (Q3459987) (← links)
- A Pedagogical History of Compactness (Q3459991) (← links)
- A Family of Eventually Expanding Piecewise Linear Maps of the Interval (Q3459997) (← links)
- Euler's Product Expansion for the Sine: An Elementary Proof (Q3460003) (← links)
- On Devaney Chaos and Dense Periodic Points: Period 3 and Higher Implies Chaos (Q3460012) (← links)
- Funny Forms of the Mean Value Theorem (Q3460013) (← links)
- A Viscosity Proof of the Cauchy–Schwarz Inequality (Q3460014) (← links)
- An Exponential Inequality for Symmetric Random Variables (Q3460017) (← links)
- Pythagoras by Integral (Q3460019) (← links)
- I Prefer Pi: Addenda (Q3460022) (← links)
- How to Make Equivalent Measures? (Q3460023) (← links)
- Wave Mechanics in Media Pinned at Bravais Lattice Points (Q3460256) (← links)
- Probabilistic Programming: A True Verification Challenge (Q3460539) (← links)
- Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV (Q3460629) (← links)
- Essential Traffic Parameters for Shared Memory Switch Performance (Q3460707) (← links)
- Solving the Induced Subgraph Problem in the Randomized Multiparty Simultaneous Messages Model (Q3460729) (← links)
- Hyperbolicity, Degeneracy, and Expansion of Random Intersection Graphs (Q3460737) (← links)
- The Robot Crawler Number of a Graph (Q3460745) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)
- DESIGNING PROTOCOLS FOR ABDUCTIVE HYPOTHESIS REFINEMENT IN DYNAMIC MULTIAGENT ENVIRONMENTS (Q3462274) (← links)
- SOLVING ABSTRACT COOPERATIVE PATH-FINDING IN DENSELY POPULATED ENVIRONMENTS (Q3462275) (← links)
- Pullback Attractors for a Reaction–Diffusion Equation in a General Nonempty Open Subset of ℝN with Nonautonomous Forcing Term in H−1 (Q3462290) (← links)
- Representing and Reasoning with Qualitative Preferences: Tools and Applications (Q3463651) (← links)
- The First-passage Time of the Brownian Motion to a Curved Boundary: an Algorithmic Approach (Q3464423) (← links)
- Of Concurrent Data Structures and Iterations (Q3464481) (← links)
- Recent complexity-theoretic results on P systems with active membranes (Q3465046) (← links)
- Directional Metric Regularity of Multifunctions (Q3465942) (← links)
- A New Proof of the Pythagorean Theorem (Q3466033) (← links)
- A Porism for Cyclic Quadrilaterals, Butterfly Theorems, and Hyperbolic Geometry (Q3466035) (← links)
- Side Lengths of Equiangular Polygons (as seen by a coding theorist) (Q3466037) (← links)
- Relationships Between the First Four Moments (Q3466038) (← links)
- Eigenvalues of Real Symmetric Matrices (Q3466040) (← links)
- Explaining a Mysterious Maximal Inequality — and a Path to the Law of Large Numbers (Q3466044) (← links)
- Using Infinitesimals to Differentiate Secant and Tangent (Q3466045) (← links)
