×

Found 391 Documents (Results 1–100)

100
MathJax

Intelligent backstepping control for the alternating-current drive systems. (English) Zbl 07488366

Studies in Systems, Decision and Control 349. Cham: Springer (ISBN 978-3-030-67722-0/hbk; 978-3-030-67725-1/pbk; 978-3-030-67723-7/ebook). xx, 221 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Measurement and prediction of magnetic property of GO silicon steel under non-standard excitation conditions. (English) Zbl 1469.78031

Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 389-447 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Study of an HVDC link in dynamic state following AC faults and commutation failures based on modeling and real-time simulation. (English) Zbl 1461.93371

Derbel, Nabil (ed.) et al., Diagnosis, fault detection & tolerant control. Singapore: Springer. Stud. Syst. Decis. Control 269, 173-190 (2020).
MSC:  93C95 93-10
PDF BibTeX XML Cite
Full Text: DOI

The surprising power of constant depth algebraic proofs. (English) Zbl 07299498

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 591-603 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Transport properties of ferromagnetic silicene superlattice-based nanostructure. (English) Zbl 1454.78007

Farouk, Mohamed Hesham (ed.) et al., Recent advances in engineering math and physics. Proceedings of the international conference, RAEMP 2019, Cairo, Egypt, December 24–26, 2019. Cham: Springer. 101-115 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Piecewise-linear map for studying border collision phenomena in DC/AC converters. (English) Zbl 1452.37094

PDF BibTeX XML Cite
Full Text: DOI

Method for selecting the parameter values of the takeoff phase of civil and military transport AC, as well as unmanned aerial vehicles. (English. Russian original) Zbl 1448.93239

J. Comput. Syst. Sci. Int. 59, No. 1, 105-121 (2020); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2020, No. 1, 143-160 (2020).
MSC:  93C95 93C85
PDF BibTeX XML Cite
Full Text: DOI

Model structures and relative Gorenstein flat modules and chain complexes. (English) Zbl 1437.18009

Srivastava, Ashish K. (ed.) et al., Categorical, homological and combinatorial methods in algebra. AMS special session in honor of S. K. Jain’s 80th birthday, Ohio State University, Columbus, Ohio, March 16–18, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 751, 135-175 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Utilising distributed flexibilities in the European transmission grid. (English) Zbl 1444.91160

Bertsch, Valentin (ed.) et al., Advances in energy system optimization. Proceedings of the 2nd international symposium on energy system optimization, ISESO 2018, Karlsruhe, Germany, October 10–11, 2018. Cham: Birkhäuser. Trends Math., 81-101 (2020).
MSC:  91B74
PDF BibTeX XML Cite
Full Text: DOI

Multi-area coordination of security-constrained dynamic optimal power flow in AC-DC grids with energy storage. (English) Zbl 1447.93132

Bertsch, Valentin (ed.) et al., Advances in energy system optimization. Proceedings of the 2nd international symposium on energy system optimization, ISESO 2018, Karlsruhe, Germany, October 10–11, 2018. Cham: Birkhäuser. Trends Math., 27-40 (2020).
MSC:  93B70 93A15
PDF BibTeX XML Cite
Full Text: DOI

Using fractional calculus in an attempt at modeling a high frequency AC exciter. (English) Zbl 1427.93236

Malinowska, Agnieszka B. (ed.) et al., Advances in non-integer order calculus and its applications. Proceedings of the 10th international conference on non-integer order calculus and its applications, Bialystok University of Technology, Białystok, Poland, September 20–21, 2018. Cham: Springer. Lect. Notes Electr. Eng. 559, 55-71 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Criticality of regular formulas. (English) Zbl 07564401

Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 1, 28 p. (2019).
MSC:  68Q25
PDF BibTeX XML Cite
Full Text: DOI

AC\(^0[p]\) lower bounds against MCSP via the coin problem. (English) Zbl 07561559

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 66, 15 p. (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

On the descriptive complexity of color coding. (English) Zbl 07559120

Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 11, 16 p. (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Slicewise definability in first-order logic with bounded quantifier rank. (English) Zbl 1434.03019

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 19, 16 p. (2017).
MSC:  03B10 03B25 68Q15
PDF BibTeX XML Cite
Full Text: DOI arXiv

PAC learning depth-3 \(\mathrm{AC}^0\) circuits of bounded top fanin. (English) Zbl 1403.68091

Hanneke, Steve (ed.) et al., International conference on algorithmic learning theory. Proceedings of the 28th conference (ALT 2017), Kyoto University, Kyoto, Japan, October 15–17, 2017. [s.l.]: Proceedings of Machine Learning Research PMLR. Proceedings of Machine Learning Research (PMLR) 76, 667-680 (2017).
MSC:  68Q32 94C10
PDF BibTeX XML Cite
Full Text: Link

A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols. (English) Zbl 1401.68273

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 21-38 (2017).
MSC:  68T15 03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Hybrid control method of the voltage of a permanent magnetic generator. (English. Russian original) Zbl 1384.93104

J. Comput. Syst. Sci. Int. 56, No. 2, 268-274 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 2, 101-107 (2017).
MSC:  93C95 93D21 93B40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software