Mitra, Sayan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

51

Verifying nonlinear analog and mixed-signal circuits with inputs

Fan, Chuchu, Meng, Yu, Maier, Jürgen, Bartocci, Ezio, Mitra, Sayan, Schmid, Ulrich

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 550 KB

english, 2018

52

Specifying and proving properties of timed I/O automata using Tempo

Myla Archer, Hongping Lim, Nancy Lynch, Sayan Mitra, Shinya Umeno

Journal:

Design Automation for Embedded Systems

Year:

2008

Language:

english

File:

PDF, 3.65 MB

english, 2008

53

[ACM Press the Symposium and Bootcamp - Pittsburgh, Pennsylvania (2016.04.19-2016.04.21)] Proceedings of the Symposium and Bootcamp on the Science of Security - HotSos '16 - Controller synthesis for linear dynamical systems with adversaries

Huang, Zhenqi, Wang, Yu, Mitra, Sayan, Dullerud, Geir

Year:

2016

Language:

english

File:

PDF, 884 KB

english, 2016

54

[ACM Press the ACM India Joint International Conference - Kolkata, India (2019.01.03-2019.01.05)] Proceedings of the ACM India Joint International Conference on Data Science and Management of Data - CoDS-COMAD '19 - NetClus

Mitra, Shubhadip, Saraf, Priya, Sharma, Richa, Bhattacharya, Arnab, Ranu, Sayan

Year:

2019

File:

PDF, 892 KB

2019

55

Two-dimensional graphitic carbon nitride nanosheets: A novel platform for flexible, robust and optically active triboelectric nanogenerators

Bayan, Sayan, Bhattacharya, Didhiti, Mitra, Rajib K, Ray, Samit K

Journal:

Year:

2020

File:

PDF, 2.43 MB

2020

56

[IEEE Embedded Technology and Applications Symposium (RTAS) - Stockholm, Sweden (2010.04.12-2010.04.15)] 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium - Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions

Bak, Stanley, Greer, Ashley, Mitra, Sayan

Year:

2010

Language:

english

File:

PDF, 570 KB

english, 2010

57

Safe and stabilizing distributed multi-path cellular flows

Johnson, Taylor T., Mitra, Sayan

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.77 MB

english, 2015

58

[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Lyapunov abstractions for inevitability of hybrid systems

Duggirala, Parasara Sridhar, Mitra, Sayan

Year:

2012

Language:

english

File:

PDF, 1.89 MB

english, 2012

59

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Proofs from simulations and modular annotations

Huang, Zhenqi, Mitra, Sayan

Year:

2014

Language:

english

File:

PDF, 663 KB

english, 2014

60

[IEEE 2019 IEEE International Conference on Electro Information Technology (EIT) - Brookings, SD, USA (2019.5.20-2019.5.22)] 2019 IEEE International Conference on Electro Information Technology (EIT) - On the Design of An Improved Model of Additively Manufactured Microstrip Transmission Lines for Radio Frequency Applications

Mitra, Dipankar, Striker, Ryan, Braaten, Benjamin D., Aqueeb, Ahsan, Kabir, Kazi Sadman, Roy, Sayan

Year:

2019

File:

PDF, 191 KB

2019

61

[IEEE 2020 IEEE International Conference on Electro Information Technology (EIT) - Chicago, IL, USA (2020.7.31-2020.8.1)] 2020 IEEE International Conference on Electro Information Technology (EIT) - On the Manufacturing Process of a Single-Step Fully 3D Printed Conformal Patch Antenna

Striker, Ryan, Mitra, Dipankar, Braaten, Benjamin D., Kabir, Kazi S., Roy, Sayan

Year:

2020

File:

PDF, 498 KB

2020

62

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm

Huang, Zhenqi, Wang, Yu, Mitra, Sayan, Dullerud, Geir E., Chaudhuri, Swarat

Year:

2015

Language:

english

File:

PDF, 187 KB

english, 2015

63

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints

Sibai, Hussein, Mitra, Sayan

Year:

2018

Language:

english

File:

PDF, 573 KB

english, 2018

64

PVS Strategies for Proving Abstraction Properties of Automata

Sayan Mitra, Myla Archer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 481 KB

english, 2005

65

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Stability of digitally interconnected linear systems

Johnson, Taylor T., Mitra, Sayan, Langbort, Cedric

Year:

2011

Language:

english

File:

PDF, 410 KB

english, 2011

66

[IEEE 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) - San Francisco, CA, USA (2016.8.18-2016.8.21)] 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) - Can i foresee the success of my meetup group?

Pramanik, Soumajit, Gundapuneni, Midhun, Pathak, Sayan, Mitra, Bivas

Year:

2016

Language:

english

File:

PDF, 874 KB

english, 2016

67

Clustering of spatial gene expression patterns in the mouse brain and comparison with classical neuroanatomy

Jason W. Bohland, Hemant Bokil, Sayan D. Pathak, Chang-Kyu Lee, Lydia Ng, Christopher Lau, Chihchau Kuan, Michael Hawrylycz, Partha P. Mitra

Journal:

Year:

2010

Language:

english

File:

PDF, 1.51 MB

english, 2010

68

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Verification of annotated models from executions

Duggirala, Parasara Sridhar, Mitra, Sayan, Viswanathan, Mahesh

Year:

2013

Language:

english

File:

PDF, 577 KB

english, 2013

69

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition

Kim, Kyoung-Dae, Mitra, Sayan, Kumar, P. R.

Year:

2010

Language:

english

File:

PDF, 519 KB

english, 2010

70

Separation of phenanthrene/N-tetradecane mixtures (model diesel) via pervaporation using an aromatic polyimide membrane

Roychowdhury, Sayan, Mitra, Debarati

Journal:

Polymer Engineering & Science

Year:

2016

Language:

english

File:

PDF, 622 KB

english, 2016

71

[ACM Press the 13th International Conference - Pittsburgh, Pennsylvania (2016.10.01-2016.10.07)] Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 - Locally optimal reach set over-approximation for nonlinear systems

Fan, Chuchu, Kapinski, James, Jin, Xiaoqing, Mitra, Sayan

Year:

2016

Language:

english

File:

PDF, 423 KB

english, 2016

72

Gastric outlet obstruction with perforation. A rare presentation of left-sided adult Morgagni hernia

Chatterjee, Shamita, Mitra, Arnab, Datta, Rajib, Nayak, Sayan Dev

Journal:

Hellenic Journal of Surgery

Year:

2017

Language:

english

File:

PDF, 991 KB

english, 2017

73

Efficient Genetic Method for Establishing Drosophila Cell Lines Unlocks the Potential to Create Lines of Specific Genotypes

Simcox, Amanda, Mitra, Sayan, Truesdell, Sharon, Paul, Litty, Chen, Ting, Butchar, Jonathan P., Justiniano, Steven, Hawley, R. Scott

Journal:

Year:

2008

Language:

english

File:

PDF, 840 KB

english, 2008

74

Loss of the Tumor Suppressor Pten Promotes Proliferation of Drosophila melanogaster Cells In Vitro and Gives Rise to Continuous Cell Lines

Justiniano, Steven E., Mathew, Anne, Mitra, Sayan, Manivannan, Sathiya N., Simcox, Amanda, Reiner, David J.

Journal:

Year:

2012

Language:

english

File:

PDF, 435 KB

english, 2012

75

Proving Approximate Implementations for Probabilistic I/O Automata

Sayan Mitra, Nancy Lynch

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 468 KB

english, 2007

76

[IEEE 2010 IEEE 30th International Conference on Distributed Computing Systems - Genoa, Italy (2010.06.21-2010.06.25)] 2010 IEEE 30th International Conference on Distributed Computing Systems - Safe and Stabilizing Distributed Cellular Flows

Johnson, Taylor, Mitra, Sayan, Manamcheri, Karthik

Year:

2010

Language:

english

File:

PDF, 823 KB

english, 2010

77

Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs

Wang, Yu, Huang, Zhenqi, Mitra, Sayan, Dullerud, Geir E.

Journal:

IEEE Transactions on Control of Network Systems

Year:

2017

Language:

english

File:

PDF, 474 KB

english, 2017

78

Development and application of PI3K assays for novel drug discovery

Yanamandra, Mahesh, Mitra, Sayan, Giri, Archana

Journal:

Expert Opinion on Drug Discovery

Year:

2015

Language:

english

File:

PDF, 739 KB

english, 2015

79

Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage

Huang, Zhenqi, Fan, Chuchu, Mereacre, Alexandru, Mitra, Sayan, Kwiatkowska, Marta

Journal:

IEEE Design and Test

Year:

2015

Language:

english

File:

PDF, 474 KB

english, 2015

80

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - DryVR 2.0

Qi, Bolun, Fan, Chuchu, Jiang, Minghao, Mitra, Sayan

Year:

2018

Language:

english

File:

PDF, 484 KB

english, 2018

81

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - C2E2

Duggirala, Parasara Sridhar, Potok, Matthew, Mitra, Sayan, Viswanathan, Mahesh

Year:

2015

Language:

english

File:

PDF, 263 KB

english, 2015

82

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace (I@A) Conference - Boston, MA ()] AIAA Infotech@Aerospace (I@A) Conference - Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems

Johnson, Taylor T., Mitra, Sayan

Year:

2013

Language:

english

File:

PDF, 535 KB

english, 2013

83

[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Computing bounded reach sets from sampled simulation traces

Huang, Zhenqi, Mitra, Sayan

Year:

2012

Language:

english

File:

PDF, 451 KB

english, 2012

84

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - State Estimation of Dynamical Systems with Unknown Inputs

Sibai, Hussein, Mitra, Sayan

Year:

2018

Language:

english

File:

PDF, 757 KB

english, 2018

85

[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study

Johnson, Taylor T., Mitra, Sayan

Year:

2012

Language:

english

File:

PDF, 314 KB

english, 2012

86

Verification of distributed systems with local–global predicates

K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 698 KB

english, 2011

87

[IEEE 2017 IEEE 33rd International Conference on Data Engineering (ICDE) - San Diego, CA, USA (2017.4.19-2017.4.22)] 2017 IEEE 33rd International Conference on Data Engineering (ICDE) - NetClus: A Scalable Framework for Locating Top-K Sites for Placement of Trajectory-Aware Services

Mitra, Shubhadip, Saraf, Priya, Sharma, Richa, Bhattacharya, Arnab, Ranuy, Sayan, Bhandari, Harsh

Year:

2017

Language:

english

File:

PDF, 931 KB

english, 2017

88

Separation of polyaromatic hydrocarbons from model diesel composition via pervaporation using a fabricated aromatic polyimide membrane and process optimization

Roychowdhury, Sayan, Mitra, Debarati

Journal:

Environmental Progress & Sustainable Energy

Year:

2018

Language:

english

File:

PDF, 785 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски