Search

Your search keyword '"Mufid, Muhammad Syifa'ul"' showing total 134 results

Search Constraints

Start Over You searched for: Author "Mufid, Muhammad Syifa'ul" Remove constraint Author: "Mufid, Muhammad Syifa'ul"
134 results on '"Mufid, Muhammad Syifa'ul"'

Search Results

1. On the maxmin-$\omega$ eigenspaces and their over-approximation by zones

2. Formal Analysis and Verification of Max-Plus Linear Systems

3. Solving Linear Equations Over Maxmin-$\omega$ Systems

5. Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems

6. Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

7. Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions

8. Tropical Abstractions of Max-Plus-Linear Systems

9. Timed concurrent system modeling and verification of home care plan.

11. Tropical Abstractions of Max-Plus Linear Systems

17. The modeling of frequency-magnitude of earthquakes in Indonesia using Poisson regression.

18. Risk analysis on agricultural commodity portfolio using Value at Risk (VaR) and Expected Shortfall (ES) based on ARIMA-GARCH.

19. State of the art of machine learning: An overview of the past, current, and the future research trends in the era of quantum computing.

20. Big data prototype development in Hadoop ecosystem using HDFS and mapreduce as the parallel computation model - Case study: Samples of intelligent transportation of Surabaya City.

21. Detection of brain tumors on MRI images using active contour segmentation and convolutional neural network.

22. Hybrid time series and artificial neural network models for forecasting of the banking stock prices during Covid-19 pandemic.

23. Application of generalized space time autoregressive (GSTAR) model to predict positive case number of COVID-19.

24. Forecasting domestic ship passengers in the Makassar Port using feed-forward neural network and SARIMAX.

25. Study on mixed metric dimension of STAR and its Comb product with path.

26. Application of neural network autoregression (NNAR) and ARIMA-GARCH based on interpolation for forecasting direct economic losses of earthquake in Indonesia.

27. Calendar variation model for ticket sales forecasting at Kayangan Port, East Lombok.

28. Implementation of a genetic algorithm method for stochastic model of COVID-19 in Indonesia.

29. Modeling and simulation to determine the optimal incentives for Islamic insurance operators in pure wakalah contract.

30. Prediction of seawater salinity using truncated spline regression method.

31. Comparison study using ARIMAX and VARX in cash flow forecasting.

32. Price prediction of Asian option contracts in stocks using the Monte Carlo and volatility models.

33. Differencing effect in series-parallel architecture of NARX model for time series forecasting.

34. Parameter estimation and statistical test on bivariate zero inflated Poisson Inverse Gaussian with exposure variable.

35. A mathematical model of premium fund management in sharia insurance under modified-mudharabah scheme.

36. Automatic Guided Vehicle (AGV) tracking model estimation with Ensemble Kalman Filter.

37. Panel data regression modeling of net enrollment rate at senior high school/equal levels in NTT Province 2015-2019.

38. A mathematical model for the spread of COVID-19 with unmonitored individual asymptomatic, vaccinations and returning home.

39. Modified EKF for Covid-19 prediction with 3 mobility restrictions (Study Case: Indonesia).

40. Disturbance observer model predictive control with application to UAV pitch angle control.

41. An application of Particle Swarm Optimization (PSO) on the optimal portfolio selection by goal programming.

42. Determining the online learning challenges during COVID-19 pandemic at the University of Mataram using Principal Component Analysis.

43. Study ritz method for Poisson equation with Dirichlet and Neumann boundary conditions.

44. A mathematical model of fowl pox in a chicken farms with isolation and fumigation.

45. Bivariate zero-inflated generalized Poisson regression on modelling stillbirth and maternal death.

46. Determinant regional tax revenue in fear of COVID-19 in East Java: Spatial Durbin Model (SDM) spillover approach.

47. A mathematical model for multi-item inventory- and price-dependent demands with all-units discount.

48. A mathematical model for inventory-dependent demand and backorder.

49. Mathematical model in Islamic mortgage financing with murabahah and musharakah mutanaqisah contracts.

50. Linear Quadratic Gaussian (LQG) for stability control of single payload overhead crane system.

Catalog

Books, media, physical & digital resources