Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged modeling

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music, 5th International Symposium, CMMR 2008, Copenhagen, Denmark, May 19-23, 2008, Revised PapersSølvi Ystad, Richard Kronland-Martinet, Kristoffer Jensen, editors, Volume 5493 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Recognition of human grasps by time-clustering and fuzzy modelingRainer Palm, Boyko Iliev, Bourhane Kadmiry. ras, 57(5):484-495, 2009. [doi]

GPR17: Molecular modeling and dynamics studies of the 3-D structure and purinergic ligand binding features in comparison with P2Y receptorsChiara Parravicini, Graziella Ranghino, Maria P. Abbracchio, Piercarlo Fantucci. bmcbi, 9, 2008. [doi]

Application of B-spline techniques to the modeling of airplane wings and numerical grid generationKarl-Heinz Brakhage, Philipp Lamby. cagd, 25(9):738-750, 2008. [doi]

2008 International Conference on Shape Modeling and Applications (SMI 2008), June 4-6, 2008, Stony Brook, NY, USAIEEE, 2008.

Computer Music Modeling and Retrieval. Sense of Sounds, 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised PapersRichard Kronland-Martinet, Sølvi Ystad, Kristoffer Jensen, editors, Volume 4969 of Lecture Notes in Computer Science, Springer, 2008.

Computational Modeling of Post-Transcriptional Gene Regulation by MicroRNAsRaya Khanin, Veronica Vinciotti. jcb, 15(3):305-316, 2008. [doi]

Don t Care Modeling: A Logical Framework for Developing Predictive System ModelsHillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard. TACAS 2007: 343-357 [doi]

Induction of synaptic depression by high-frequency stimulation in area CA1 of the rat hippocampus: Modeling and experimental studiesKazuhisa Ichikawa, Akemi Hoshino, Kunio Kato. ijon, 70(10-12):2055-2059, 2007. [doi]

Erratum: ::::In Silico:::: Phenotypic Screening Method of Mutants Based on Statistical Modeling of Genetically Mixed Samples Eli Kaminuma, Naohiko Heida, Takeshi Yoshizumi, Miki Nakazawa, Minami Matsui, Tetsuro Toyoda. jbcb, 4(1):169, 2006. [doi]

Mathematical Modeling of Living Cell Metabolism Using the Method of Steady-state Stoichiometric Flux BalanceL. N. Drozdov-Tikhomirov, G. I. Scurida, A. V. Davidov, A. A. Alexandrov, R. A. Zvyagilskaya. jbcb, 4(4):865-886, 2006. [doi]

Multi-scale Modeling of Trauma InjuryCelina Imielinska, Andrzej Przekwas, X. G. Tan. iccS 2006: 822-830 [doi]

Computer Music Modeling and Retrieval, Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised PapersRichard Kronland-Martinet, Thierry Voinier, Sølvi Ystad, editors, Volume 3902 of Lecture Notes in Computer Science, Springer, 2006.

Modeling User Behaviors from FTP Server LogsYeming Hu, A. Nur Zincir-Heywood. cnsr 2006: 320-322 [doi]

Organic electronic device modeling at the nanoscaleConor F. Madigan, Vladimir Bulovic. iccad 2006: 832-833 [doi]

::::in Silico:::: Phenotypic Screening Method of Mutants Based on Statistical Modeling of Genetically Mixed SamplesEli Kaminuma, Naohiko Heida, Takeshi Yoshizumi, Miki Nakazawa, Minami Matsui, Tetsuro Toyoda. jbcb, 3(6):1281-1294, 2005. [doi]

Modeling the observed center-surround summation in macaque visual area V1J. Hegdé, D. J. Felleman. ijon, 63:499-525, 2005. [doi]

Multiscale Finite Element Modeling of the Coupled Nonlinear Dynamics of Magnetostrictive Composite Thin FilmD. Roy Mahapatra, Debi Prasad Ghosh, Gopalakrishnan Srinivasan. iccS 2005: 1-8 [doi]

Modeling ion channels from the cricket cercal sensory systemCarrie Diaz Eaton, Sharon Crook, Graham Cummins, Gwen Jacobs. ijon, 58-60:409-415, 2004. [doi]

Topic modeling for mediated access to very large document collectionsGheorghe Muresan, David J. Harper. jasis, 55(10):892-910, 2004. [doi]

Retardation of setting of plaster of Paris by organic acids: Understanding the mechanism through molecular modelingJörg-Rüdiger Hill, Johann Plank. jcc, 25(12):1438-1448, 2004. [doi]

Formal Modeling of C. elegans Development: A Scenario-Based ApproachNa aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern. cmsb 2003: 4-20 [doi]

My Kingdom for a Function: Modeling Misadventures of the InnumerateMichael Agar. jasss, 6(3), 2003. [doi]

QSAR modeling of beta-lactam binding to human serum proteinsL. Mark Hall, Lowell H. Hall, Lemont B. Kier. jcamd, 17(2-4):103-118, 2003.

Proceedings of the Eighth ACM Symposium on Solid Modeling and Applications 2003, Seattle, Washington, USA, June 16 - 20, 2003ACM, 2003.

Modeling complex tone perception: grouping harmonics with combination-sensitive neuronsAndrei V. Medvedev, Faye Chiao, Jagmeet S. Kanwal. bc, 86(6):497-505, 2002. [doi]

Anatomically and experimentally based neural networks modeling force coordination in static multi-finger tasksZong-Ming Li, Vladimir M. Zatsiorsky, Mark L. Latash, N. K. Bose. ijon, 47(1-4):259-275, 2002. [doi]

Application of Cellular Automata Simulations to Modeling of Dynamic RecrystallizationJirí Kroc. iccS 2002: 773-782 [doi]

3D-QSAR and molecular modeling of HIV-1 integrase inhibitorsMahindra T. Makhija, Vithal M. Kulkarni. jcamd, 16(3):181-200, 2002. [doi]

Distance-Related Indexes in the Quantitative Structure-Property Relationship ModelingBono Lui, István Lukovits, Sonja Nikolic, Nenad Trinajstic. jcisd, 41(3):527-535, 2001. [doi]

Computational Modeling of Behavior in Organizations: The Third Scientific DisciplineDaniel R. Ilgen, Charles L. Hulin. jasss, 4(4), 2001. [doi]

Batch Cycle Modeling; A Practical SolutionMichael Zaslavsky. cmg 2001: 135-150

Latent Demand Considerations in Mainframe Analytical ModelingGregory V. Caliri. cmg 1999: 518-522

Capacity Modeling for Remote Access ServicesPaul W. Edmiston, Tachen Leo Lo, Jack Peng. cmg 1999: 153-160

Foundations and Tools for Neural Modeling, International Work-Conference on Artificial and Natural Neural Networks, IWANN 99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume IJosé Mira, Juan Vincente Sánchez-Andrés, editors, Volume 1606 of Lecture Notes in Computer Science, Springer, 1999.

Societies, cultures and fisheries from a modeling perspectiveGérard Weisbuch, Guillemette Duchateau-Nguyen. jasss, 1(2), 1998. [doi]

Homology modeling of the receptor binding domain of human thrombopoietinJin-Soo Song, Heungrok Park, Hyo-Jeong Hong, Myeong-Hee Yu, Seong-Eon Ryu. jcamd, 12(5):419-424, 1998. [doi]

Molecular modeling of cytochrome P450 3A4Grazyna D. Szklarz, James R. Halpert. jcamd, 11(3):265-272, 1997. [doi]

Simalytic Enterprise Modeling - The Best Of Both WorldsTim R. Norton. cmg 1996: 737-748

Solution conformation by NMR and molecular modeling of three sulfide-free somatostatin octapeptide analogs compared to angiopeptinPhilippe Hennig, Eric Raimbaud, Christophe Thurieau, Jean-Paul Volland, André Michel, Jean-Luc Fauchère. jcamd, 10(1):83-86, 1996.

The Effects of Nested Primer Bindingg Sites on the Reproducibility of PCR: Mathematical Modeling and Simulation StudiesB. Schierwater, D. Metzler, K. Kruger, B. Streit. jcb, 3(2):235-252, 1996.

Modeling Distributed Transaction Response Times As Impacted By In-Storage Buffer AccessesTim R. Norton. cmg 1995: 365-372

Modeling High Performance UNIX ServersMichael R. Stadelmann. cmg 1995: 950-956

Modeling Optimal Effective Bandwidth of Page-Mode Memory for Stream-Oriented ComputationsSteven A. Moyer, William A. Wulf. jc, 10(2):246-264, 1994. [doi]

Mathematical modeling of a radioactive waste disposal systemK. W. Dormuth. jsi, 2(3):227-247, 1992. [doi]

Modeling Small Oscillating Biological Networks in Analog VLSISylvie Ryckebusch, James M. Bower, Carver Mead. nips 1989: 384-393 [doi]

A viewing pipeline for discrete solid modelingKlaus Kronlof, Markku Tamminen. vc, 1(1):24-36, 1985.

Modeling Large IMS Systems Using Commercial Analytic Queueing Model Software ProductsJim Dwyer. cmg 1984: 283-289

Speeding up Computer System Simulations Using Hierarchical ModelingAlexander Thomasian, Kameshwar Gargeya. cmg 1984: 845-850

runs on WebDSL