Search results
From MaRDI portal
- 2021-10-08 Paper Multimodal Dependent Type Theory 2021-01-21 Paper ReLoC 2021-01-20 Paper Modal dependent type theory and dependent right adjoints 2020-03-11...10 bytes (17 words) - 03:23, 9 December 2023
- effect and linear setup time 2019-03-06 Paper EOQ model for deteriorating items with stock-level-dependent demand rate and order-quantity-dependent trade credit...10 bytes (17 words) - 01:57, 10 December 2023
- model adjusted for linear regression using residual ranks 2020-10-07 Paper Flexible parametric model for survival data subject to dependent censoring 2020-09-16...10 bytes (19 words) - 02:19, 9 December 2023
- Bulge initiation in tubes of time-dependent materials 2017-09-19 Paper Uniaxial load analysis under stretch-dependent fiber remodeling applicable to collagenous...10 bytes (18 words) - 17:50, 9 December 2023
- process with the interaction between two types of leaves 2019-01-24 Paper Stability problem for the age-dependent predator-prey model 2019-01-18 Paper On...10 bytes (19 words) - 15:32, 11 December 2023
- 2009-10-22 Paper ν-Types for Effects and Freshness Analysis 2009-08-20 Paper Coordination Via Types in an Event-Based Framework 2009-03-10 Paper Linear programming-based...10 bytes (18 words) - 18:00, 9 December 2023
- Encodings and Dependent Types 2008-04-11 Paper Functional and Logic Programming 2007-09-25 Paper Computer Science Logic 2006-11-01 Paper Typed Lambda Calculi...10 bytes (16 words) - 18:03, 9 December 2023
- Paper Asymptotic behavior for S-estimators in random design linear model with long-range-dependent errors 2015-10-14 Paper Empirical Likelihood for Single-Index...10 bytes (17 words) - 19:53, 9 December 2023
- of the Linear Transport Equation 1981-01-01 Paper Linear transport in an exponential atmosphere 1981-01-01 Paper Elementary solutions of the linear transport...10 bytes (18 words) - 17:07, 9 December 2023
- co-design of linear control systems 2016-05-25 Paper A robust adaptive dynamic programming principle for sensorimotor control with signal-dependent noise 2015-08-14...10 bytes (16 words) - 23:51, 10 December 2023
- de/entity/Q4641095 2018-05-25 Paper The superiorities of Bayes linear unbiased estimator in multivariate linear models 2017-02-14 Paper https://portal.mardi4nfdi.de/entity/Q2993470...10 bytes (17 words) - 02:44, 12 December 2023
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond 2016-10-19 Paper Dependent Information Flow Types 2016-09-29 Paper Linear logic propositions...10 bytes (17 words) - 10:33, 6 October 2023
- Time-Dependent Shortest Path Problems 2022-06-30 Paper Multivariable Branching: A 0-1 Knapsack Problem Case Study 2022-06-28 Paper Time-Dependent Shortest...10 bytes (20 words) - 16:37, 6 December 2023
- models with linear process errors 2013-06-24 Paper Distributed state estimation for uncertain Markov‐type sensor networks with mode‐dependent distributed...10 bytes (17 words) - 23:56, 9 December 2023
- of a multivariate density from dependent observations. 2003-02-10 Paper ON SEQUENTIAL PARAMETER ESTIMATION FOR SOME LINEAR STOCHASTIC DIFFERENTIAL EQUATIONS...10 bytes (17 words) - 10:18, 12 December 2023
- infinite horizon linear quadratic problem with unbounded controls in Hilbert space 2002-02-25 Paper The equivalence between two types of exponential stabilities...10 bytes (16 words) - 19:37, 8 December 2023
- Mixed Types 2023-07-04 Paper Estimating Number of Factors by Adjusted Eigenvalues Thresholding 2023-03-27 Paper Central limit theorem of linear spectral...10 bytes (16 words) - 20:47, 11 December 2023
- A note on uniform laws of averages for dependent processes 1993-11-24 Paper A recurrence theorem for dependent processes with applications to data compression...10 bytes (18 words) - 17:32, 9 December 2023
- long range dependent errors 1995-03-16 Paper Asymptotics of R-, MD- and LAD-estimators in linear regression models with long range dependent errors 1994-08-15...10 bytes (19 words) - 11:25, 8 December 2023
- Publication Date of Publication Type Linear and weakly non-linear stability analysis of oscillatory convection in rotating ferrofluid layer 2022-06-21...10 bytes (18 words) - 11:05, 9 December 2023