K. Basine: search on Z-Library

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

Don't use scam websites

51

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Secure data deletion from persistent media

Reardon, Joel, Ritzdorf, Hubert, Basin, David, Capkun, Srdjan

Year:

2013

Language:

english

File:

PDF, 486 KB

english, 2013

52

On minmax filtering over discrete-continuous observations

Orlov, Y.V., Basin, M.V.

Journal:

IEEE Transactions on Automatic Control

Year:

1995

Language:

english

File:

PDF, 418 KB

english, 1995

53

Hydration of complexone complexes of lanthanide cations

Alsaadi, Basin M., Rossotti, Francis J. C., Williams, Robert J. P.

Journal:

Journal of the Chemical Society Dalton Transactions

Year:

1980

Language:

english

File:

PDF, 460 KB

english, 1980

54

Stability impulse control of faulted nonlinear systems

Basin, M.V., Pinsky, M.A.

Journal:

IEEE Transactions on Automatic Control

Year:

1998

Language:

english

File:

PDF, 191 KB

english, 1998

55

Itô–Volterra Optimal State Estimation With Continuous, Multirate, Randomly Sampled, and Delayed Measurements

Zhang, Huichai, Basin, Michael V., Skliar, Mikhail

Journal:

IEEE Transactions on Automatic Control

Year:

2007

Language:

english

File:

PDF, 1.16 MB

english, 2007

56

[IEEE 2008 3rd International Conference on Innovative Computing Information and Control - Dalian, Liaoning, China (2008.06.18-2008.06.20)] 2008 3rd International Conference on Innovative Computing Information and Control - Control and Applications of Nanotubes to Nanoelectromechanic Systems (NEMS)

Kharissova, Oxana V., Basin, Michael V., Abraham, Mario OsÃ³rio

Year:

2008

Language:

english

File:

PDF, 1.68 MB

english, 2008

57

Discrete-time optimal control for stochastic nonlinear polynomial systems

Hernandez-Gonzalez, M., Basin, M.V.

Journal:

International Journal of General Systems

Year:

2014

Language:

english

File:

PDF, 376 KB

english, 2014

58

[IEEE 44th IEEE Conference on Decision and Control - Seville, Spain (12-15 Dec. 2005)] Proceedings of the 44th IEEE Conference on Decision and Control - Integral Sliding Mode Controller Design for Stochastic Time-Delay Systems

Basin, M., Rodriguez-Gonzalez, J., Fridman, L., Acosta, P.

Year:

2005

Language:

english

File:

PDF, 3.40 MB

english, 2005

59

A nonhomogeneous super-twisting algorithm for systems of relative degree more than one

Basin, Michael, Rodriguez-Ramirez, Pablo, Ding, Steven, Dominic, Shane

Journal:

Journal of the Franklin Institute

Year:

2015

Language:

english

File:

PDF, 769 KB

english, 2015

60

Open-loop Nash equilibrium in polynomial differential games via state-dependent Riccati equation

Jiménez-Lizárraga, Manuel, Basin, Michael, Rodríguez, Victoria, Rodríguez, Pablo

Journal:

Year:

2015

Language:

english

File:

PDF, 634 KB

english, 2015

61

Two-Dimensional Dissipative Control and Filtering for Roesser Model

Ahn, Choon Ki, Shi, Peng, Basin, Michael V.

Journal:

IEEE Transactions on Automatic Control

Year:

2015

Language:

english

File:

PDF, 735 KB

english, 2015

62

Improving the Security of Cryptographic Protocol Standards

Basin, David, Cremers, Cas, Miyazaki, Kunihiko, Radomirovic, Sasa, Watanabe, Dai

Journal:

IEEE Security & Privacy Magazine

Year:

2015

Language:

english

File:

PDF, 687 KB

english, 2015

63

[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - A class of probabilistic models for role engineering

Frank, Mario, Basin, David, Buhmann, Joachim M.

Year:

2008

Language:

english

File:

PDF, 629 KB

english, 2008

64

2012 and 2013 Franklin Institute Awards

Journal:

Journal of the Franklin Institute

Year:

2015

Language:

english

File:

PDF, 157 KB

english, 2015

65

[IEEE 2002 IEEE International Conference on Control Applications - Glasgow, UK (18-20 Sept. 2002)] Proceedings of the International Conference on Control Applications - Optimal regulator for third degree polynomial systems

Basin, M.V., Aracelia, M., Garcia, A.

Year:

2002

Language:

english

File:

PDF, 423 KB

english, 2002

66

[IEEE 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) - Maui, Hawaii, USA (Dec. 9-12, 2003)] 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) - Optimal controller for third degree polynomial system

Basin, M., Alcorta-Garcia, A.

Year:

2003

Language:

english

File:

PDF, 498 KB

english, 2003

67

[IEEE 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Saarbrucken, Germany (2016.3.21-2016.3.24)] 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Strong and Provably Secure Database Access Control

Guarnieri, Marco, Marinovic, Srdjan, Basin, David

Year:

2016

Language:

english

File:

PDF, 401 KB

english, 2016

68

A formal data-model of the CORBA security service

Basin, David, Rittinger, Frank, Viganò, Luca

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 75 KB

english, 2001

69

Deadbeat Dissipative FIR Filtering

Ahn, Choon Ki, Shi, Peng, Basin, Michael V.

Journal:

IEEE Transactions on Circuits and Systems I: Regular Papers

Year:

2016

Language:

english

File:

PDF, 716 KB

english, 2016

70

Design, Analysis, and Implementation of ARPKI: an Attack-Resilient Public-Key Infrastructure

Basin, David, Cremers, Cas, Hyuni-jin, Tiffany, Perrig, Adrian, Sasse, Ralf, Szalachowski, Pawel

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2016

Language:

english

File:

PDF, 1.30 MB

english, 2016

71

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Continuous fixed-time control for cart inverted pendulum stabilization

Basin, Michael, Rodriguez-Ramirez, Pablo, Ding, Steven X., Daszenies, Tim, Shtessel, Yuri

Year:

2016

Language:

english

File:

PDF, 459 KB

english, 2016

72

Finite- and fixed-time differentiators utilising HOSM techniques

Basin, Michael, Yu, Polk, Shtessel, Yuri

Journal:

IET Control Theory & Applications

Year:

2017

Language:

english

File:

PDF, 6.39 MB

english, 2017

73

Guest Editorial Focused Section on Health Monitoring, Management, and Control of Complex Mechatronic Systems

Yin, Shen, Ding, Steven, Fang, Jiancheng, Basin, Michael V., Palhares, Reinaldo Martinez

Journal:

IEEE/ASME Transactions on Mechatronics

Year:

2018

Language:

english

File:

PDF, 257 KB

english, 2018

74

Two-Dimensional Peak-to-Peak Filtering for Stochastic Fornasini–Marchesini Systems

Ahn, Choon Ki, Shi, Peng, Basin, Michael V.

Journal:

IEEE Transactions on Automatic Control

Year:

2018

Language:

english

File:

PDF, 665 KB

english, 2018

75

Feasibility and Acceptability of Nurse-Led Primary Palliative Care for Older Adults with Chronic Conditions: A Pilot Study

Izumi, Shigeko (Seiko), Basin, Basilia, Presley, Margo, McCalmont, Jean, Furuno, Jon P., Noble, Brie, Baggs, Judith G., Curtis, J. Randall

Journal:

Journal of Palliative Medicine

Year:

2018

Language:

english

File:

PDF, 249 KB

english, 2018

76

New results on robust stability analysis and synthesis for MIMO uncertain systems

Celentano, Laura, Basin, Michael

Journal:

IET Control Theory & Applications

Year:

2018

Language:

english

File:

PDF, 2.67 MB

english, 2018

77

A task-experienced partner does not help dogs be as successful as wolves in a cooperative string-pulling task

Marshall-Pescini, Sarah, Basin, Camille, Range, Friederike

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 1.45 MB

english, 2018

78

[ACM Press the 17th ACM Workshop - Redmond, WA, USA (2018.11.15-2018.11.16)] Proceedings of the 17th ACM Workshop on Hot Topics in Networks - HotNets '18 - Networking in Heaven as on Earth

Klenze, Tobias, Giuliari, Giacomo, Pappas, Christos, Perrig, Adrian, Basin, David

Year:

2018

Language:

english

File:

PDF, 1.52 MB

english, 2018

79

Polynomial Filtering Algorithm for Single-Beacon Navigation Problem

Stepanov, Oleg A., Toropov, Anton B., Loparev, Alexei V., Vasiliev, Vladimir A., Basin, Michael V.

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 590 KB

english, 2018

80

[IEEE 2019 IEEE European Symposium on Security and Privacy (EuroS&P) - Stockholm, Sweden (2019.6.17-2019.6.19)] 2019 IEEE European Symposium on Security and Privacy (EuroS&P) - Information-Flow Control for Database-Backed Applications

Guarnieri, Marco, Balliu, Musard, Schoepe, Daniel, Basin, David, Sabelfeld, Andrei

Year:

2019

Language:

english

File:

PDF, 362 KB

english, 2019

81

Runtime Verification over Out-of-order Streams

Basin, David, Klaedtke, Felix, Zălinescu, Eugen

Journal:

ACM Transactions on Computational Logic

Year:

2019

Language:

english

File:

PDF, 2.35 MB

english, 2019

82

[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Comprehensive Approach to Design Robust Tracking Controllers for Mechatronic Processes

Celentano, Laura, Basin, Michael V.

Year:

2019

Language:

english

File:

PDF, 519 KB

english, 2019

83

CryptHOL: Game-Based Proofs in Higher-Order Logic

Basin, David A., Lochbihler, Andreas, Sefidgar, S. Reza

Journal:

Journal of Cryptology

Year:

2020

Language:

english

File:

PDF, 1.35 MB

english, 2020

84

Finite-Time Control for Switched T-S Fuzzy Systems via Dynamic Event-Triggered Mechanism

Fei, Zhongyang, Shi, Shuang, Ahn, Choon Ki, Basin, Michael

Journal:

IEEE Transactions on Fuzzy Systems

Year:

2020

File:

PDF, 814 KB

2020

85

A way to split the Navier–Stokes equations in the context of the vortex method

N. V. Kornev, M. A. Basin

Journal:

International Journal for Numerical Methods in Biomedical Engineering

Year:

1998

Language:

english

File:

PDF, 132 KB

english, 1998

86

Berücksichtigung der Reibung in der Wirbelmethode

Michael Basin, Nikolai Kornev

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1998

Language:

german

File:

PDF, 223 KB

german, 1998

87

Optimal filtering for incompletely measured polynomial states over linear observations

Michael Basin, Dario Calderon-Alvarez, Mikhail Skliar

Journal:

International Journal of Adaptive Control and Signal Processing

Year:

2008

Language:

english

File:

PDF, 134 KB

english, 2008

88

Alternative optimal filter for linear state delay systems

Michael Basin, Joel Perez, Rodolfo Martinez-Zuniga

Journal:

International Journal of Adaptive Control and Signal Processing

Year:

2006

Language:

english

File:

PDF, 117 KB

english, 2006

89

An optimal regulator for linear systems with multiple state and input delays

Michael Basin, Joel Perez

Journal:

Optimal Control Applications and Methods

Year:

2007

Language:

english

File:

PDF, 192 KB

english, 2007

90

Program Development Schemata as Derived Rules

Penny Anderson, David Basin

Journal:

Journal of Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 431 KB

english, 2000

91

A Higher-order Interpretation of Deductive Tableau

Abdelwaheb Ayari, David Basin

Journal:

Journal of Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 325 KB

english, 2001

92

Two solutions of the three-dimensional problem of limit waves on the surface of a ponderable fluid

E.L. Amromin, M.A. Basin, V.A. Bushkovskii

Journal:

Journal of Applied Mathematics and Mechanics

Year:

1990

Language:

english

File:

PDF, 433 KB

english, 1990

93

Selection of installation and apparatus parameters for radiometric testing of concrete

R. Makarov, Y. Basin, N. Seleznev

Journal:

Nuclear Structural Engineering

Year:

1965

Language:

english

File:

PDF, 479 KB

english, 1965

94

A closed-form optimal control for linear systems with equal state and input delays

Michael Basin, Jesus Rodriguez-Gonzalez

Journal:

Year:

2005

Language:

english

File:

PDF, 189 KB

english, 2005

95

On delay-dependent stability for a class of nonlinear stochastic systems with multiple state delays

Michael Basin, Alexandra Rodkina

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

2008

Language:

english

File:

PDF, 249 KB

english, 2008

96

Tracking high energy heavy-ion interactions with nuclear emulsion

M.I. Adamovich, M.M. Aggarwal, Y.A. Alexandrov, R. Amirikas, N.P. Adreeva, Z.V. Anzon, R. Arora, F.A. Avetyan, S.K. Badyal, A.M. Bakish, E.S. Basova, I.K. Bazarov, K.B. Bhalla, A. Basin, V.S. Bhatia,

Journal:

Radiation Measurements

Year:

1995

Language:

english

File:

PDF, 372 KB

english, 1995

97

Metareasoning about Security Protocols using Distributed Temporal Logic

Carlos Caleiro, Luca Viganò, David Basin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 408 KB

english, 2005

98

Automated analysis of security-design models

David Basin, Manuel Clavel, Jürgen Doser, Marina Egea

Journal:

Information and Software Technology

Year:

2009

Language:

english

File:

PDF, 802 KB

english, 2009

99

Optimal and robust control for linear state-delay systems

Michael Basin, Jesus Rodriguez-Gonzalez, Leonid Fridman

Journal:

Journal of the Franklin Institute

Year:

2007

Language:

english

File:

PDF, 195 KB

english, 2007

100

Optimal LQG controller for linear stochastic systems with unknown parameters

Michael Basin, Dario Calderon-Alvarez

Journal:

Journal of the Franklin Institute

Year:

2008

Language:

english

File:

PDF, 161 KB

english, 2008

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@z-lib.do

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