166 results on '"Smolka S"'
Search Results
52. Verification of quasi-synchronous systems with Uppaal
53. Probabilistic Process Algebra
54. Hiding resources that can fail: An axiomatic perspective
55. Erratum: Observation of Spatial Quantum Correlations Induced by Multiple Scattering of Nonclassical Light (vol 102, 193901, 2009)
56. Statistical Theory of a Quantum Emitter Strongly Coupled to Anderson-Localized Modes
57. 4:12 PMAbstract No. 77 - Does lesion enhancement pattern correlate between baseline MR and follow-up CT in patients with hepatocellular carcinoma (HCC) treated using conventional transarterial chemoembolization (cTACE)? A quantitative, multi-modality analysis
58. 3:36 PMAbstract No. 73 - Randomized controlled trial of cone beam CT (CBCT) with navigation software versus standard CBCT and angiography guidance for chemoembolization of liver tumors
59. Power optimization in fault-tolerant mobile ad hoc networks
60. StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes
61. Probabilistic resource failure in real-time process algebra
62. Nonequilibrium dynamics in an optical transition from a neutral quantum dot to a correlated many-body state
63. Erratum: Observation of Spatial Quantum Correlations Induced by Multiple Scattering of Nonclassical Light [Phys. Rev. Lett.102, 193901 (2009)]
64. Curvature analysis of cardiac excitation wavefronts
65. Toward real-time simulation of cardiac dynamics
66. A Change of Perspective Yields Formal Analysis
67. Density of states controls Anderson localization in disordered photonic crystal waveguides
68. Observation of Spatial Quantum Correlations Induced by Multiple Scattering of Nonclassical Light
69. Steady, Oscillatory, and Unsteady Subsonic and Supersonic Aerodynamics
70. Steady, oscillatory, and unsteady subsonic Aerodynamics, production version 1.1 (SOUSSA-P1.1). Volume 2: User/programmer manual
71. Preparation and Application of Functionalized Photonic Crystal Fibres
72. Preparation and application of functionalized photonic crystal fibres
73. Model-Carrying Code (MCC)
74. Automated software engineering using concurrent class machines.
75. Real-Time Verification Techniques for Untimed Systems
76. Composition and behaviors of probabilistic I/O automata
77. Fundamental results for the verification of observational equivalence: a survey
78. Strategic directions in concurrency research
79. Compositionality results for cardiac cell dynamics
80. Cavity quantum electrodynamics in the anderson localized regime
81. VERITAS: Visualization Environment Research In The Applied Sciences
82. Controlling Anderson localization in disordered photonic crystal waveguides.
83. Spatial photon correlations in multiple scattering media.
84. Cavity quantum electrodynamics in the Anderson-localized regime.
85. Experimental demonstration of spatial quantum correlations in multiple scattering media.
86. Highly efficient fluorescence sensing with hollow core photonic crystal fibers.
87. Selectively Infiltrated Photonic Crystal Fibers for Fluorescence Sensing.
88. Demonstration of quadrature squeezed surface-plasmons in a gold waveguide.
89. Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
90. Tools and Algorithms for the Construction and Analysis of Systems − 19th International Conference‚ TACAS 2013‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2013‚ Rome‚ Italy‚ March 16−24‚ 2013. Proceedings
91. Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
92. StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
93. Structural Operational Semantics
94. Symbolic Methods for Bisimulation Checking for Value-Passing Processes
95. Commissural misalignment independently predicts leaflet thrombosis after transcatheter aortic valve implantation.
96. Analysis of Tumor Burden as a Biomarker for Patient Survival with Neuroendocrine Tumor Liver Metastases Undergoing Intra-Arterial Therapies: A Single-Center Retrospective Analysis.
97. [Coronary computed tomography and cardiac devices : Diagnostic results or nothing but artifacts?]
98. Three-Dimensional Quantitative Tumor Response and Survival Analysis of Hepatocellular Carcinoma Patients Who Failed Initial Transarterial Chemoembolization: Repeat or Switch Treatment?
99. Influence of reconstruction kernels on the accuracy of CT-derived fractional flow reserve.
100. Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.