669 results on '"Agha, Gul"'
Search Results
402. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
403. A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE
404. Traffic Modeling with Phase-Type Distributions and VARMA Processes
405. Decoupling Passenger Flows for Improved Load Prediction
406. Performance Evaluation of Train Moving-Block Control
407. Maintenance Analysis and Optimization via Statistical Model Checking : Evaluating a Train Pneumatic Compressor
408. Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent
409. Inferring Covariances for Probabilistic Programs
410. Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis
411. Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation
412. Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses
413. C ARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems
414. Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement
415. Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets
416. Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets
417. Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems
418. Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0
419. Optimal Aggregation of Components for the Solution of Markov Regenerative Processes
420. Exploiting Robust Optimization for Interval Probabilistic Bisimulation
421. Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations
422. Data-Efficient Bayesian Verification of Parametric Markov Chains
423. Energy-Aware Server with SRPT Scheduling: Analysis and Optimization
424. Property-Driven State-Space Coarsening for Continuous Time Markov Chains
425. SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency
426. Controlling Concurrency and Expressing Synchronization in Charm++ Programs
427. Building Safe Concurrency Abstractions
428. Structuring Communication with Session Types
429. From Linear Types to Behavioural Types and Model Checking
430. Past and Future Directions for Concurrent Task Scheduling
431. Reflection in an Object-Oriented Concurrent Language
432. Object-Oriented Concurrent Programming in ABCL/1
433. My Early Education and Concurrent Objects
434. Event-Based Modularization of Reactive Systems
435. Objects in Space
436. Towards a Substrate Framework of Computation
437. From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL
438. Verifiable Object-Oriented Transactions
439. On Efficient Load Balancing for Irregular Applications
440. MassiveThreads: A Thread Library for High Productivity Languages
441. Applications of Pathway Logic Modeling to Target Identification
442. Multisimulations: Towards Next Generation Integrated Simulation Environments
443. Computational Biology: A Programming Perspective
444. Towards a Maude Formal Environment
445. Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude
446. From Service Identification to Service Selection: An Interleaved Perspective
447. Algorithmic Aspects of Risk Management
448. Fast Sort Computations for Order-Sorted Matching and Unification
449. Solving the First Verified Software Competition Problems Using PVS
450. Parameterized Metareasoning in Membership Equational Logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.