466 results on '"Harel D"'
Search Results
102. Power limited soft landing on an asteroid
103. Biting the silver bullet: toward a brighter future for system development
104. More about recursive structures: descriptive complexity and zero-one laws.
105. On the power of bounded concurrency. III. Reasoning about programs.
106. Executable object modeling with statecharts.
107. More on nonregular PDL: expressive power, finite models, Fibonacci programs.
108. Statemate: a working environment for the development of complex reactive systems.
109. Taking it to the limit: on infinite variants of NP-complete problems.
110. Is the interesting part of process logic uninteresting?
111. Computability and completeness in logics of programs (Preliminary Report).
112. A graph compaction approach to fault simulation.
113. A linear algorithm for finding dominators in flow graphs and related problems.
114. Stress-Induced Epstein-Barr Virus Reactivation
115. Ginkgolic Acid Inhibits Coronavirus Strain 229E Infection of Human Epithelial Lung Cells
116. A Mathematical Analysis of HDV Genotypes: From Molecules to Cells
117. HCV Spread Kinetics Reveal Varying Contributions of Transmission Modes to Infection Dynamics
118. STATEMATE: a working environment for the development of complex reactive systems
119. Aurora II - The next generation satellite for Alaska
120. The role of minimally invasive spine surgery in the management of pyogenic spinal discitis
121. Modeling suggests that microliter volumes of contaminated blood caused an outbreak of hepatitis C during computerized tomography.
122. Correction: Modeling suggests that microliter volumes of contaminated blood caused an outbreak of hepatitis C during computerized tomography.
123. Process logic with regular formulas
124. Comprehensive and Realistic Modeling of Biological Systems.
125. Efficient Methods for Parameter Estimation of Ordinary and Partial Differential Equation Models of Viral Hepatitis Kinetics
126. Precipitation-Sensitive Dynamic Threshold: A New and Simple Method to Detect and Monitor Forest and Woody Vegetation Cover in Sub-Humid to Arid Areas
127. Modeling Challenges of Ebola Virus–Host Dynamics during Infection and Treatment
128. Using statecharts for hardware description and synthesis.
129. Logic and databases: a critique.
130. Aneurysm of Basilar Artery Simulating a Cerebellopontine Angle Tumor.
131. A multi-scale algorithm for drawing graphs nicely
132. A Robust and Efficient Numerical Method for RNA-Mediated Viral Dynamics
133. End of treatment RNA-positive/sustained viral response in an individual with acute hepatitis C virus infection treated with direct-acting antivirals
134. HCV kinetic and modeling analyses project shorter durations to cure under combined therapy with daclatasvir and asunaprevir in chronic HCV-infected patients.
135. Prevalence of end of treatment RNA-positive/sustained viral response in HCV patients treated with sofosbuvir combination therapies
136. Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering.
137. Outcome of Salvage Lumbar Fusion after Lumbar Arthroplasty
138. Computation paths logic: An expressive, yet elementary, process logic
139. Plasma Hepatitis E Virus Kinetics in Solid Organ Transplant Patients Receiving Ribavirin
140. Early Multiphasic HBV Infection Initiation Kinetics Is Not Clone-Specific and Is Not Affected by Hepatitis D Virus (HDV) Infection
141. Complexity results for two-way and multi-pebble automata and their logics
142. HCV kinetic and modeling analyses indicate similar time to cure among sofosbuvir combination regimens with daclatasvir, simeprevir or ledipasvir
143. Accounting for Space—Quantification of Cell-To-Cell Transmission Kinetics Using Virus Dynamics Models
144. Mathematical Modeling of Hepatitis C Prevalence Reduction with Antiviral Treatment Scale-Up in Persons Who Inject Drugs in Metropolitan Chicago.
145. Agent-Based Model Forecasts Aging of the Population of People Who Inject Drugs in Metropolitan Chicago and Changing Prevalence of Hepatitis C Infections.
146. Examination of the association of sex and race/ethnicity with appearance concerns: A Scleroderma Patient-centered Intervention Network (SPIN) Cohort study
147. Direct Invasion of the Central Nervous System by Mycoplasma pneumoniae: A Report of Two Cases
148. Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL
149. Changes in creatine kinase activity in the course of acute myocardial infarction.
150. Horseradish peroxidase as a cytochemical marker of blood-brain barrier integrity in oxygen toxicity in the central nervous system
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.