Luo, Fucai; Al-Kuwari, Saif; Wang, Haiyan; Yan, Xingfu Fully collusion resistant trace-and-revoke functional encryption for arbitrary identities. (English) Zbl 07811870 Theor. Comput. Sci. 987, Article ID 114368, 27 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Luo} et al., Theor. Comput. Sci. 987, Article ID 114368, 27 p. (2024; Zbl 07811870) Full Text: DOI
Aleksiadis, Nikos Filippovich Bases of complete systems of rational functions with rational coefficients. (Russian. English summary) Zbl 07804938 Chebyshevskiĭ Sb. 24, No. 2(88), 5-14 (2023). MSC: 68-XX 93-XX PDFBibTeX XMLCite \textit{N. F. Aleksiadis}, Chebyshevskiĭ Sb. 24, No. 2(88), 5--14 (2023; Zbl 07804938) Full Text: DOI MNR
Aleksiadis, Nikos Filippovich Closed classes in the functional system of polynomials with real coefficients. (Russian. English summary) Zbl 07804911 Chebyshevskiĭ Sb. 24, No. 1(87), 5-14 (2023). MSC: 68-XX 93-XX PDFBibTeX XMLCite \textit{N. F. Aleksiadis}, Chebyshevskiĭ Sb. 24, No. 1(87), 5--14 (2023; Zbl 07804911) Full Text: DOI MNR
Mejstrik, Thomas; Protasov, Valdimir Yu. Elliptic polytopes and invariant norms of linear operators. (English) Zbl 07783083 Calcolo 60, No. 4, Paper No. 56, 32 p. (2023). MSC: 52A21 39A30 15A60 90C90 68U05 90C25 PDFBibTeX XMLCite \textit{T. Mejstrik} and \textit{V. Yu. Protasov}, Calcolo 60, No. 4, Paper No. 56, 32 p. (2023; Zbl 07783083) Full Text: DOI arXiv
He, Junjie; Xu, Zhihang; Liao, Qifeng Deep neural network based adaptive learning for switched systems. (English) Zbl 1520.93240 Discrete Contin. Dyn. Syst., Ser. S 16, No. 7, 1827-1855 (2023). MSC: 93C30 93B30 68T07 PDFBibTeX XMLCite \textit{J. He} et al., Discrete Contin. Dyn. Syst., Ser. S 16, No. 7, 1827--1855 (2023; Zbl 1520.93240) Full Text: DOI arXiv
Furudono, Naoya; Cong, Youyou; Masuhara, Hidehiko; Leijen, Daan Towards efficient adjustment of effect rows. (English) Zbl 1528.68065 Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 169-191 (2023). MSC: 68N18 68N20 PDFBibTeX XMLCite \textit{N. Furudono} et al., Lect. Notes Comput. Sci. 13401, 169--191 (2023; Zbl 1528.68065) Full Text: DOI
Sabir, Zulqurnain; Baleanu, Dumitru; Raja, Muhammad Asif Zahoor; Alshomrani, Ali S.; Hincal, Evren Meyer wavelet neural networks procedures to investigate the numerical performances of the computer virus spread with kill signals. (English) Zbl 07700473 Fractals 31, No. 2, Article ID 2340025, 19 p. (2023). MSC: 68Mxx 34Kxx 92Dxx PDFBibTeX XMLCite \textit{Z. Sabir} et al., Fractals 31, No. 2, Article ID 2340025, 19 p. (2023; Zbl 07700473) Full Text: DOI
Katsikis, Vasilios N.; Mourtas, Spyridon D.; Stanimirović, Predrag S.; Li, Shuai; Cao, Xinwei Time-varying minimum-cost portfolio insurance problem via an adaptive fuzzy-power LVI-PDNN. (English) Zbl 1511.91128 Appl. Math. Comput. 441, Article ID 127700, 10 p. (2023). MSC: 91G10 90C59 46N10 68T07 90C05 90C34 PDFBibTeX XMLCite \textit{V. N. Katsikis} et al., Appl. Math. Comput. 441, Article ID 127700, 10 p. (2023; Zbl 1511.91128) Full Text: DOI
Lindemann, Lars; Rodionova, Alena; Pappas, George Temporal robustness of stochastic signals. (English) Zbl 07807718 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{L. Lindemann} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022; Zbl 07807718) Full Text: DOI arXiv
Tan, Yong Kiam; Mitsch, Stefan; Platzer, André Verifying switched system stability with logic. (English) Zbl 07807710 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{Y. K. Tan} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 11 p. (2022; Zbl 07807710) Full Text: DOI arXiv
Luo, Fucai; Al-Kuwari, Saif; Wang, Haiyan; Han, Weihong Generic construction of trace-and-revoke inner product functional encryption. (English) Zbl 1523.68027 Atluri, Vijayalakshmi (ed.) et al., Computer security – ESORICS 2022. 27th European symposium on research in computer security, Copenhagen, Denmark, September 26–30, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13554, 259-282 (2022). MSC: 68P25 94A60 PDFBibTeX XMLCite \textit{F. Luo} et al., Lect. Notes Comput. Sci. 13554, 259--282 (2022; Zbl 1523.68027) Full Text: DOI
Sfar, Aziz; Irofti, Dina; Croitoru, Madalina A graph based semantics for logical functional diagrams in power plant controllers. (English) Zbl 07630639 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 55-74 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{A. Sfar} et al., Lect. Notes Comput. Sci. 13388, 55--74 (2022; Zbl 07630639) Full Text: DOI
Berens, Maximilian; Biskup, Joachim On sampling representatives of relational schemas with a functional dependency. (English) Zbl 07630636 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 1-19 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{M. Berens} and \textit{J. Biskup}, Lect. Notes Comput. Sci. 13388, 1--19 (2022; Zbl 07630636) Full Text: DOI
Xing, Tingyan; Khadidos, Adil Omar; Li, Lin Construction of switch nonlinear dynamic system using adaptive neural network technology. (English) Zbl 1485.93305 Fractals 30, No. 2, Article ID 2240071, 11 p. (2022). MSC: 93C40 93C30 93C10 68T07 PDFBibTeX XMLCite \textit{T. Xing} et al., Fractals 30, No. 2, Article ID 2240071, 11 p. (2022; Zbl 1485.93305) Full Text: DOI
Tanwani, Aneel Filtering over networks with random communication. (English) Zbl 07807707 Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 34, 2 p. (2021). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Tanwani}, in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 34, 2 p. (2021; Zbl 07807707) Full Text: DOI
Chen, Shaoru; Fazlyab, Mahyar; Morari, Manfred; Pappas, George J.; Preciado, Victor M. Learning Lyapunov functions for hybrid systems. (English) Zbl 07807686 Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2021). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Chen} et al., in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2021; Zbl 07807686) Full Text: DOI arXiv
Baar, T.; Schulte, H. Notes on recent achievements in proving stability using KeYmaeraX. (English) Zbl 1517.68406 Model. Anal. Inf. Sist. 28, No. 4, 326-336 (2021). MSC: 68V15 93C30 93D30 PDFBibTeX XMLCite \textit{T. Baar} and \textit{H. Schulte}, Model. Anal. Inf. Sist. 28, No. 4, 326--336 (2021; Zbl 1517.68406) Full Text: DOI MNR
Genova, Daniela; Hoogeboom, Hendrik Jan; Kleijn, Jetty Comparing reactions in reaction systems. (English) Zbl 1517.68121 Theor. Comput. Sci. 881, 83-96 (2021). MSC: 68Q07 PDFBibTeX XMLCite \textit{D. Genova} et al., Theor. Comput. Sci. 881, 83--96 (2021; Zbl 1517.68121) Full Text: DOI Link
Teh, Wen Chean; Nguyen, Kien Trung; Chen, Chuei Yee Ranks of strictly minimal reaction systems induced by permutations. (English) Zbl 1504.68068 Theor. Comput. Sci. 872, 1-14 (2021). MSC: 68Q07 PDFBibTeX XMLCite \textit{W. C. Teh} et al., Theor. Comput. Sci. 872, 1--14 (2021; Zbl 1504.68068) Full Text: DOI arXiv
Yuan, Chun-Ming; Zhang, Zhi-Yong New bounds and an efficient algorithm for sparse difference resultants. (English) Zbl 1472.12005 J. Symb. Comput. 107, 279-298 (2021). MSC: 12H10 65Q99 13P15 68W30 PDFBibTeX XMLCite \textit{C.-M. Yuan} and \textit{Z.-Y. Zhang}, J. Symb. Comput. 107, 279--298 (2021; Zbl 1472.12005) Full Text: DOI arXiv
Pei, Lijun; Wu, Fanxin; Wang, Shuo Periodic, quasi-periodic and chaotic oscillations in two heterogeneous AIMD/RED network congestion models with state-dependent round-trip delays. (English) Zbl 1469.34110 Int. J. Bifurcation Chaos Appl. Sci. Eng. 31, No. 6, Article ID 2150124, 21 p. (2021). MSC: 34K60 68M11 34K13 34K14 34K23 34K43 34K07 PDFBibTeX XMLCite \textit{L. Pei} et al., Int. J. Bifurcation Chaos Appl. Sci. Eng. 31, No. 6, Article ID 2150124, 21 p. (2021; Zbl 1469.34110) Full Text: DOI
Ruiz-Castro, Juan E.; Acal, Christian; Aguilera, Ana M.; Aguilera-Morillo, M. Carmen; Roldán, Juan B. Linear-phase-type probability modelling of functional PCA with applications to resistive memories. (English) Zbl 07318345 Math. Comput. Simul. 186, 71-79 (2021). MSC: 62Pxx 68Mxx 62Nxx PDFBibTeX XMLCite \textit{J. E. Ruiz-Castro} et al., Math. Comput. Simul. 186, 71--79 (2021; Zbl 07318345) Full Text: DOI
Aguilera, Ana M.; Acal, Christian; Aguilera-Morillo, M. Carmen; Jiménez-Molinos, Francisco; Roldán, Juan B. Homogeneity problem for basis expansion of functional data with applications to resistive memories. (English) Zbl 07318342 Math. Comput. Simul. 186, 41-51 (2021). MSC: 62Pxx 68Mxx 62Nxx PDFBibTeX XMLCite \textit{A. M. Aguilera} et al., Math. Comput. Simul. 186, 41--51 (2021; Zbl 07318342) Full Text: DOI
Roohi, Majid; Zhang, Chongqi; Chen, Yucheng Adaptive model-free synchronization of different fractional-order neural networks with an application in cryptography. (English) Zbl 1516.93137 Nonlinear Dyn. 100, No. 4, 3979-4001 (2020). MSC: 93C40 34K24 68T07 93D05 94A60 PDFBibTeX XMLCite \textit{M. Roohi} et al., Nonlinear Dyn. 100, No. 4, 3979--4001 (2020; Zbl 1516.93137) Full Text: DOI
Zhang, Linru; Wang, Xiangning; Chen, Yuechen; Yiu, Siu-Ming Leakage-resilient inner-product functional encryption in the bounded-retrieval model. (English) Zbl 1511.68114 Meng, Weizhi (ed.) et al., Information and communications security. 22nd international conference, ICICS 2020, Copenhagen, Denmark, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12282, 565-587 (2020). MSC: 68P25 94A60 PDFBibTeX XMLCite \textit{L. Zhang} et al., Lect. Notes Comput. Sci. 12282, 565--587 (2020; Zbl 1511.68114) Full Text: DOI
Kolčák, Juraj; Dubut, Jérémy; Hasuo, Ichiro; Katsumata, Shin-Ya; Sprunger, David; Yamada, Akihisa Relational differential dynamic logic. (English) Zbl 1507.68189 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 191-208 (2020). MSC: 68Q60 03B70 68V15 93C30 PDFBibTeX XMLCite \textit{J. Kolčák} et al., Lect. Notes Comput. Sci. 12078, 191--208 (2020; Zbl 1507.68189) Full Text: DOI arXiv
Gopalakrishnan, N. Robust stability analysis for fuzzy stochastic Hopfield neural networks with time-varying delays. (English) Zbl 1489.68235 Commun. Fac. Sci. Univ. Ank., Sér. A1, Math. Stat. 69, No. 2, 1285-1309 (2020). MSC: 68T07 15B15 34K20 34K50 37H30 93C43 PDFBibTeX XMLCite \textit{N. Gopalakrishnan}, Commun. Fac. Sci. Univ. Ank., Sér. A1, Math. Stat. 69, No. 2, 1285--1309 (2020; Zbl 1489.68235) Full Text: DOI
Yang, Zhanying; Zhang, Jie; Niu, Yanqing Finite-time stability of fractional-order bidirectional associative memory neural networks with mixed time-varying delays. (English) Zbl 1475.34042 J. Appl. Math. Comput. 63, No. 1-2, 501-522 (2020). MSC: 34D20 34K37 68T07 92B20 PDFBibTeX XMLCite \textit{Z. Yang} et al., J. Appl. Math. Comput. 63, No. 1--2, 501--522 (2020; Zbl 1475.34042) Full Text: DOI
Bereczky, Péter; Horpácsi, Dániel; Thompson, Simon A proof assistant based formalisation of a subset of sequential core Erlang. (English) Zbl 1475.68059 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020). MSC: 68N18 68N15 68Q55 68V20 PDFBibTeX XMLCite \textit{P. Bereczky} et al., Lect. Notes Comput. Sci. 12222, 139--158 (2020; Zbl 1475.68059) Full Text: DOI arXiv Link
Proskurnikov, Anton V. Does sample-time emulation preserve exponential stability? (English) Zbl 07300860 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 19, 8 p. (2020). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. V. Proskurnikov}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 19, 8 p. (2020; Zbl 07300860) Full Text: DOI
Di Pierro, Alessandra A type theory for probabilistic \(\lambda \)-calculus. (English) Zbl 1440.68043 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 86-102 (2020). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{A. Di Pierro}, Lect. Notes Comput. Sci. 12065, 86--102 (2020; Zbl 1440.68043) Full Text: DOI
Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz Reaction systems and enabling equivalence. (English) Zbl 1435.68095 Fundam. Inform. 171, No. 1-4, 261-277 (2020). MSC: 68Q07 92C40 PDFBibTeX XMLCite \textit{J. Kleijn} et al., Fundam. Inform. 171, No. 1--4, 261--277 (2020; Zbl 1435.68095) Full Text: DOI
Im, Hyeonseung; Genevès, Pierre; Gesbert, Nils; Layaïda, Nabil Backward type inference for XML queries. (English) Zbl 1440.68056 Theor. Comput. Sci. 823, 69-99 (2020). MSC: 68P15 68N18 68P05 PDFBibTeX XMLCite \textit{H. Im} et al., Theor. Comput. Sci. 823, 69--99 (2020; Zbl 1440.68056) Full Text: DOI HAL
Atitallah, Halima; Aribi, Asma; Aoun, Mohamed Diagnosis of time-delay fractional systems using observer-based methods. (English) Zbl 1441.34080 Int. J. Dyn. Syst. Differ. Equ. 10, No. 2, 128-148 (2020). MSC: 34K27 93B53 68M15 34A08 26A33 15A39 PDFBibTeX XMLCite \textit{H. Atitallah} et al., Int. J. Dyn. Syst. Differ. Equ. 10, No. 2, 128--148 (2020; Zbl 1441.34080) Full Text: DOI
Poussot-Vassal, Charles; Sabatier, Tiphaine; Sarrat, Claire; Vuillemin, Pierre Mixed interpolatory and inference non-intrusive reduced order modeling with application to pollutants dispersion. arXiv:2012.07126 Preprint, arXiv:2012.07126 [math.DS] (2020). MSC: 41A20 68U07 68U35 76F20 93A15 93B15 93B30 93C23 93C80 93C95 BibTeX Cite \textit{C. Poussot-Vassal} et al., ``Mixed interpolatory and inference non-intrusive reduced order modeling with application to pollutants dispersion'', Preprint, arXiv:2012.07126 [math.DS] (2020) Full Text: arXiv OA License
Fan, Wenfei; Lu, Ping Dependencies for graphs. (English) Zbl 1474.68097 ACM Trans. Database Syst. 44, No. 2, Article No. 5, 40 p. (2019). MSC: 68P15 68Q25 68R10 PDFBibTeX XMLCite \textit{W. Fan} and \textit{P. Lu}, ACM Trans. Database Syst. 44, No. 2, Article No. 5, 40 p. (2019; Zbl 1474.68097) Full Text: DOI
Guo, Yongjiang; Hou, Xiyang Functional law of the iterated logarithm for multiclass queues with preemptive priority service discipline: the underloaded and critically loaded cases. (English) Zbl 07229577 Li, Quan-Lin (ed.) et al., Stochastic models in reliability, network security and system safety. Essays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday. Singapore: Springer. Commun. Comput. Inf. Sci. 1102, 344-360 (2019). MSC: 68Mxx PDFBibTeX XMLCite \textit{Y. Guo} and \textit{X. Hou}, Commun. Comput. Inf. Sci. 1102, 344--360 (2019; Zbl 07229577) Full Text: DOI
Guo, Yongjiang; Hou, Xiyang Functional law of the iterated logarithm for multiclass queues with preemptive priority service discipline: the overloaded case. (English) Zbl 07229576 Li, Quan-Lin (ed.) et al., Stochastic models in reliability, network security and system safety. Essays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday. Singapore: Springer. Commun. Comput. Inf. Sci. 1102, 315-343 (2019). MSC: 68Mxx PDFBibTeX XMLCite \textit{Y. Guo} and \textit{X. Hou}, Commun. Comput. Inf. Sci. 1102, 315--343 (2019; Zbl 07229576) Full Text: DOI
Grigoryeva, Lyudmila; Ortega, Juan-Pablo Differentiable reservoir computing. (English) Zbl 1433.68343 J. Mach. Learn. Res. 20, Paper No. 179, 62 p. (2019). MSC: 68T05 41A30 46N10 PDFBibTeX XMLCite \textit{L. Grigoryeva} and \textit{J.-P. Ortega}, J. Mach. Learn. Res. 20, Paper No. 179, 62 p. (2019; Zbl 1433.68343) Full Text: arXiv Link
Aghajani, Reza; Ramanan, Kavita The hydrodynamic limit of a randomized load balancing network. (English) Zbl 1444.60080 Ann. Appl. Probab. 29, No. 4, 2114-2174 (2019). Reviewer: Oleg K. Zakusilo (Kyïv) MSC: 60K25 60K35 90B15 90B22 68M20 60F17 PDFBibTeX XMLCite \textit{R. Aghajani} and \textit{K. Ramanan}, Ann. Appl. Probab. 29, No. 4, 2114--2174 (2019; Zbl 1444.60080) Full Text: DOI arXiv Euclid
Kolčák, Juraj; Hasuo, Ichiro; Dubut, Jérémy; Katsumata, Shin-ya; Sprunger, David; Yamada, Akihisa Poster abstract: Relational differential dynamic logic. (English) Zbl 07120175 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 284-285 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{J. Kolčák} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 284--285 (2019; Zbl 07120175) Full Text: DOI
Waga, Masaki; Hasuo, Ichiro Poster abstract: Moore-machine filtering for timed and untimed pattern matching. (English) Zbl 07120169 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 272-273 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Waga} and \textit{I. Hasuo}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 272--273 (2019; Zbl 07120169) Full Text: DOI
Dutta, Souradeep; Chen, Xin; Jha, Susmit; Sankaranarayanan, Sriram; Tiwari, Ashish Demo abstract: Sherlock – a tool for verification of neural network feedback systems. (English) Zbl 07120164 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 262-263 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Dutta} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 262--263 (2019; Zbl 07120164) Full Text: DOI
Dutta, Souradeep; Chen, Xin; Sankaranarayanan, Sriram Reachability analysis for neural feedback systems using regressive polynomial rule inference. (English) Zbl 07120151 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 157-168 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Dutta} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 157--168 (2019; Zbl 07120151) Full Text: DOI
Zheng, Yuanshi; Zhao, Qi; Ma, Jingying; Wang, Long Second-order consensus of hybrid multi-agent systems. (English) Zbl 1425.93256 Syst. Control Lett. 125, 51-58 (2019). MSC: 93D99 93A14 68T42 93C55 93C30 PDFBibTeX XMLCite \textit{Y. Zheng} et al., Syst. Control Lett. 125, 51--58 (2019; Zbl 1425.93256) Full Text: DOI
Minkevičius, Saulius; Greičius, Edvinas Heavy traffic limits for the extreme waiting time in multi-phase queueing systems. (English) Zbl 1411.60047 Methodol. Comput. Appl. Probab. 21, No. 1, 109-124 (2019). MSC: 60F17 60K10 60K30 68M07 68M20 PDFBibTeX XMLCite \textit{S. Minkevičius} and \textit{E. Greičius}, Methodol. Comput. Appl. Probab. 21, No. 1, 109--124 (2019; Zbl 1411.60047) Full Text: DOI
Aouiti, Chaouki; Gharbia, Imen Ben; Cao, Jinde; Alsaedi, Ahmed Dynamics of impulsive neutral-type BAM neural networks. (English) Zbl 1409.93016 J. Franklin Inst. 356, No. 4, 2294-2324 (2019). MSC: 93B11 93D05 93C15 68T05 34K45 34C27 34K14 PDFBibTeX XMLCite \textit{C. Aouiti} et al., J. Franklin Inst. 356, No. 4, 2294--2324 (2019; Zbl 1409.93016) Full Text: DOI
Goebel, Rafal Existence of optimal controls on hybrid time domains. (English) Zbl 1408.93068 Nonlinear Anal., Hybrid Syst. 31, 153-165 (2019). MSC: 93C30 93C15 49J15 49K15 68Q45 PDFBibTeX XMLCite \textit{R. Goebel}, Nonlinear Anal., Hybrid Syst. 31, 153--165 (2019; Zbl 1408.93068) Full Text: DOI
Lozov, Petr; Vyatkin, Andrei; Boulytchev, Dmitry Typed relational conversion. (English) Zbl 1505.68005 Wang, Meng (ed.) et al., Trends in functional programming. 18th international symposium, TFP 2017, Canterbury, UK, June 19–21, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10788, 39-58 (2018). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Lozov} et al., Lect. Notes Comput. Sci. 10788, 39--58 (2018; Zbl 1505.68005) Full Text: DOI
Sojakova, Kristina; Johann, Patricia A general framework for relational parametricity. (English) Zbl 1497.68126 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 869-878 (2018). MSC: 68N30 03B70 18C50 68N18 PDFBibTeX XMLCite \textit{K. Sojakova} and \textit{P. Johann}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 869--878 (2018; Zbl 1497.68126) Full Text: DOI arXiv
Xu, Guangzhao; Fu, Qin; Du, Lili; Wu, Jianrong; Yu, Pengfei Iterative learning control for a class of linear continuous-time switched systems with fixed initial shifts. (English) Zbl 1438.93103 Commun. Math. Res. 34, No. 4, 309-328 (2018). MSC: 93C30 68T05 93C05 PDFBibTeX XMLCite \textit{G. Xu} et al., Commun. Math. Res. 34, No. 4, 309--328 (2018; Zbl 1438.93103) Full Text: DOI
Liu, Xinzhi; Zhang, Kexue; Xie, Wei-Chau Consensus of multi-agent systems via hybrid impulsive protocols with time-delay. (English) Zbl 1408.93012 Nonlinear Anal., Hybrid Syst. 30, 134-146 (2018). MSC: 93A14 68T42 93C30 93-04 PDFBibTeX XMLCite \textit{X. Liu} et al., Nonlinear Anal., Hybrid Syst. 30, 134--146 (2018; Zbl 1408.93012) Full Text: DOI
Shang, Yilun Resilient consensus of switched multi-agent systems. (English) Zbl 1408.93014 Syst. Control Lett. 122, 12-18 (2018). MSC: 93A14 68T42 93C30 93C55 05C90 93B40 PDFBibTeX XMLCite \textit{Y. Shang}, Syst. Control Lett. 122, 12--18 (2018; Zbl 1408.93014) Full Text: DOI Link
Zhao, Xiaomin; Chen, Ye-Hwa; Zhao, Han; Dong, Fangfang Control design for artificial swarm mechanical systems: dynamics, uncertainty, and constraint. (English) Zbl 1407.93059 Asian J. Control 20, No. 5, 2042-2050 (2018). MSC: 93A14 93C40 93B35 93C30 93C41 68T42 70B15 92B20 PDFBibTeX XMLCite \textit{X. Zhao} et al., Asian J. Control 20, No. 5, 2042--2050 (2018; Zbl 1407.93059) Full Text: DOI
Guo, Yuqi Dynamic-model-based switched proportional-integral state observer design and traffic density estimation for urban freeway. (English) Zbl 1403.93050 Eur. J. Control 44, 103-113 (2018). MSC: 93B07 90B20 93C30 93C05 68Q45 PDFBibTeX XMLCite \textit{Y. Guo}, Eur. J. Control 44, 103--113 (2018; Zbl 1403.93050) Full Text: DOI
Hejri, Mohammad; Giua, Alessandro; Mokhtari, Hossein On the complexity and dynamical properties of mixed logical dynamical systems via an automaton-based realization of discrete-time hybrid automaton. (English) Zbl 1402.93144 Int. J. Robust Nonlinear Control 28, No. 16, 4713-4746 (2018). MSC: 93C30 93C55 93B11 68Q25 68Q80 PDFBibTeX XMLCite \textit{M. Hejri} et al., Int. J. Robust Nonlinear Control 28, No. 16, 4713--4746 (2018; Zbl 1402.93144) Full Text: DOI
Song, Ge; Tao, Gang Adaptive leader-following state consensus of multiagent systems with switching topology. (English) Zbl 1402.93036 Int. J. Adapt. Control Signal Process. 32, No. 10, 1508-1528 (2018). MSC: 93A14 93C40 93C30 68T42 PDFBibTeX XMLCite \textit{G. Song} and \textit{G. Tao}, Int. J. Adapt. Control Signal Process. 32, No. 10, 1508--1528 (2018; Zbl 1402.93036) Full Text: DOI
Ishii, Hiromi A purely functional computer algebra system embedded in Haskell. (English) Zbl 1453.68036 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 288-303 (2018). MSC: 68N18 68W30 PDFBibTeX XMLCite \textit{H. Ishii}, Lect. Notes Comput. Sci. 11077, 288--303 (2018; Zbl 1453.68036) Full Text: DOI arXiv
Wang, Limin; Shen, Yiteng; Yu, Jingxian; Li, Ping; Zhang, Ridong; Gao, Furong Robust iterative learning control for multi-phase batch processes: an average dwell-time method with 2D convergence indexes. (English) Zbl 1385.93027 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 49, No. 2, 324-343 (2018). MSC: 93B35 68T05 93C30 PDFBibTeX XMLCite \textit{L. Wang} et al., Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 49, No. 2, 324--343 (2018; Zbl 1385.93027) Full Text: DOI
Biernacki, Dariusz; Polesiuk, Piotr Logical relations for coherence of effect subtyping. (English) Zbl 1398.68080 Log. Methods Comput. Sci. 14, No. 1, Paper No. 11, 28 p. (2018). MSC: 68N15 03B70 68N18 68Q55 68T15 PDFBibTeX XMLCite \textit{D. Biernacki} and \textit{P. Polesiuk}, Log. Methods Comput. Sci. 14, No. 1, Paper No. 11, 28 p. (2018; Zbl 1398.68080) Full Text: DOI arXiv
Chen, Jian; Lin, Chong; Chen, Bing; Wang, Qing-Guo Mixed \(H_{\infty}\) and passive control for singular systems with time delay via static output feedback. (English) Zbl 1411.93061 Appl. Math. Comput. 293, 244-253 (2017). MSC: 93B36 68W40 93C23 PDFBibTeX XMLCite \textit{J. Chen} et al., Appl. Math. Comput. 293, 244--253 (2017; Zbl 1411.93061) Full Text: DOI
Xue, Huanbin Robust exponential stability of switched neural networks systems with time delay. (Chinese. English summary) Zbl 1399.93193 Math. Pract. Theory 47, No. 16, 206-214 (2017). MSC: 93D09 93C30 68T05 PDFBibTeX XMLCite \textit{H. Xue}, Math. Pract. Theory 47, No. 16, 206--214 (2017; Zbl 1399.93193)
Wang, Qingling Consensus of switched multiagent systems under relative state constraints. (English) Zbl 1380.93022 Complexity 2017, Article ID 5767495, 7 p. (2017). MSC: 93A14 68T42 93C30 PDFBibTeX XMLCite \textit{Q. Wang}, Complexity 2017, Article ID 5767495, 7 p. (2017; Zbl 1380.93022) Full Text: DOI
Valcher, Maria Elena; Zorzan, Irene On the consensus of homogeneous multi-agent systems with arbitrarily switching topology. (English) Zbl 1376.93012 Automatica 84, 79-85 (2017). MSC: 93A14 68T42 93C30 93D05 93B52 PDFBibTeX XMLCite \textit{M. E. Valcher} and \textit{I. Zorzan}, Automatica 84, 79--85 (2017; Zbl 1376.93012) Full Text: DOI
Bhounsule, Pranav A. Two benchmarks for optimization of legged robots – hybrid systems with impulse effects. (English) Zbl 1407.93243 Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 24, No. 4, 265-282 (2017). MSC: 93C85 93C30 68T40 49N90 PDFBibTeX XMLCite \textit{P. A. Bhounsule}, Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 24, No. 4, 265--282 (2017; Zbl 1407.93243) Full Text: Link
Kong, Hui; Bogomolov, Sergiy; Schilling, Christian; Jiang, Yu; Henzinger, Thomas A. Safety verification of nonlinear hybrid systems based on invariant clusters. (English) Zbl 1369.93185 Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 163-172 (2017). MSC: 93B40 93C30 68Q60 93C10 PDFBibTeX XMLCite \textit{H. Kong} et al., in: Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18--20, 2017. New York, NY: Association for Computing Machinery (ACM). 163--172 (2017; Zbl 1369.93185) Full Text: DOI
Teh, Wen Chean; Atanasiu, Adrian Minimal reaction systems revisited and reaction system rank. (English) Zbl 1371.68087 Int. J. Found. Comput. Sci. 28, No. 3, 247-261 (2017). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{W. C. Teh} and \textit{A. Atanasiu}, Int. J. Found. Comput. Sci. 28, No. 3, 247--261 (2017; Zbl 1371.68087) Full Text: DOI
Zhang, Shu; Yuan, Yuan The Filippov equilibrium and sliding motion in an Internet congestion control model. (English) Zbl 1366.34114 Discrete Contin. Dyn. Syst., Ser. B 22, No. 3, 1189-1206 (2017). MSC: 34K60 34K11 34K18 68M11 34K25 PDFBibTeX XMLCite \textit{S. Zhang} and \textit{Y. Yuan}, Discrete Contin. Dyn. Syst., Ser. B 22, No. 3, 1189--1206 (2017; Zbl 1366.34114) Full Text: DOI
Chen, Lijuan; Sun, Jitao Distributed optimal analysis for the multi-agent system with hybrid protocols. (English) Zbl 1355.93009 J. Franklin Inst. 354, No. 2, 1160-1168 (2017). MSC: 93A14 68T42 93C30 PDFBibTeX XMLCite \textit{L. Chen} and \textit{J. Sun}, J. Franklin Inst. 354, No. 2, 1160--1168 (2017; Zbl 1355.93009) Full Text: DOI
Oliveira, Bruno C. d. S.; Shi, Zhiyuan; Alpuim, João Disjoint intersection types. (English) Zbl 1361.68046 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 364-377 (2016). MSC: 68N18 PDFBibTeX XMLCite \textit{B. C. d. S. Oliveira} et al., in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 364--377 (2016; Zbl 1361.68046) Full Text: DOI
Baştuğ, Mert; Petreczky, Mihály; Wisniewski, Rafael; Leth, John Model reduction by nice selections for linear switched systems. (English) Zbl 1359.93104 IEEE Trans. Autom. Control 61, No. 11, 3422-3437 (2016). MSC: 93B15 68Q45 93B11 93C30 PDFBibTeX XMLCite \textit{M. Baştuğ} et al., IEEE Trans. Autom. Control 61, No. 11, 3422--3437 (2016; Zbl 1359.93104) Full Text: DOI
Zhang, Yaxiao; Chen, Yangzhou Average dwell-time condition for consensus of linear multi-agent systems with time-varying delay and switching directed communication topologies protocol. (Chinese. English summary) Zbl 1349.93027 Control Decis. 31, No. 2, 349-354 (2016). MSC: 93A14 93D20 93C05 93C30 68T42 PDFBibTeX XMLCite \textit{Y. Zhang} and \textit{Y. Chen}, Control Decis. 31, No. 2, 349--354 (2016; Zbl 1349.93027) Full Text: DOI
Dal Lago, Ugo; Schöpp, Ulrich Computation by interaction for space-bounded functional programming. (English) Zbl 1339.68038 Inf. Comput. 248, 150-194 (2016). MSC: 68N18 03B70 03F52 68Q15 PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{U. Schöpp}, Inf. Comput. 248, 150--194 (2016; Zbl 1339.68038) Full Text: DOI
Ai, Xiaodong; Song, Shiji; You, Keyou Second-order consensus of multi-agent systems under limited interaction ranges. (English) Zbl 1334.93006 Automatica 68, 329-333 (2016). MSC: 93A14 68T42 93B52 PDFBibTeX XMLCite \textit{X. Ai} et al., Automatica 68, 329--333 (2016; Zbl 1334.93006) Full Text: DOI
Bernardeschi, Cinzia; Domenici, Andrea Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system. (English) Zbl 1356.68177 Inf. Process. Lett. 116, No. 6, 409-415 (2016). MSC: 68T15 68Q60 93C10 93C30 PDFBibTeX XMLCite \textit{C. Bernardeschi} and \textit{A. Domenici}, Inf. Process. Lett. 116, No. 6, 409--415 (2016; Zbl 1356.68177) Full Text: DOI Link
Ahn, Ki Yung; Vezzosi, Andrea Executable relational specifications of polymorphic type systems using Prolog. (English) Zbl 1475.68052 Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 109-125 (2016). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{K. Y. Ahn} and \textit{A. Vezzosi}, Lect. Notes Comput. Sci. 9613, 109--125 (2016; Zbl 1475.68052) Full Text: DOI
Morris, Ian D. A rigorous version of R. P. Brent’s model for the binary Euclidean algorithm. (English) Zbl 1391.11005 Adv. Math. 290, 73-143 (2016). MSC: 11A05 11Y16 68W40 11Y60 37C30 37H99 PDFBibTeX XMLCite \textit{I. D. Morris}, Adv. Math. 290, 73--143 (2016; Zbl 1391.11005) Full Text: DOI arXiv
Shukurov, A. Sh. On a paper by Khmyleva and Bukhtina. (Russian. English summary) Zbl 07607569 Vestn. Tomsk. Gos. Univ., Mat. Mekh. 2015, No. 6(38), 56-59 (2015). MSC: 46-XX 68-XX PDFBibTeX XMLCite \textit{A. Sh. Shukurov}, Vestn. Tomsk. Gos. Univ., Mat. Mekh. 2015, No. 6(38), 56--59 (2015; Zbl 07607569) Full Text: DOI MNR
Sun, Zhe; Wang, Ning; Bi, Yunrui Type-1/type-2 fuzzy logic systems optimization with RNA genetic algorithm for double inverted pendulum. (English) Zbl 1449.93168 Appl. Math. Modelling 39, No. 1, 70-85 (2015). MSC: 93C42 93C30 68W50 70Q05 PDFBibTeX XMLCite \textit{Z. Sun} et al., Appl. Math. Modelling 39, No. 1, 70--85 (2015; Zbl 1449.93168) Full Text: DOI
Qin, Yemei; Peng, Hui; Zhou, Feng; Zeng, Xiaoyong; Wu, Jun Nonlinear modeling and control approach to magnetic levitation ball system using functional weight RBF network-based state-dependent ARX model. (English) Zbl 1395.93258 J. Franklin Inst. 352, No. 10, 4309-4338 (2015). MSC: 93C10 68T05 93B18 93B51 93B15 PDFBibTeX XMLCite \textit{Y. Qin} et al., J. Franklin Inst. 352, No. 10, 4309--4338 (2015; Zbl 1395.93258) Full Text: DOI
Liu, Kaien; Ji, Zhijian; Xie, Guangming; Wang, Long Consensus for heterogeneous multi-agent systems under fixed and switching topologies. (English) Zbl 1395.93056 J. Franklin Inst. 352, No. 9, 3670-3683 (2015). MSC: 93A14 68T42 93B17 93C30 93C65 93C55 93D20 PDFBibTeX XMLCite \textit{K. Liu} et al., J. Franklin Inst. 352, No. 9, 3670--3683 (2015; Zbl 1395.93056) Full Text: DOI
Cauderlier, Raphaël; Dubois, Catherine Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo. (English) Zbl 1367.68049 Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 47-71 (2015). MSC: 68N18 03B40 68Q42 68Q55 PDFBibTeX XMLCite \textit{R. Cauderlier} and \textit{C. Dubois}, LIPIcs -- Leibniz Int. Proc. Inform. 39, 47--71 (2015; Zbl 1367.68049) Full Text: DOI
Biernacki, Dariusz; Polesiuk, Piotr Logical relations for coherence of effect subtyping. (English) Zbl 1367.68059 Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 107-122 (2015). MSC: 68N30 03B40 68N18 68Q55 68T15 PDFBibTeX XMLCite \textit{D. Biernacki} and \textit{P. Polesiuk}, LIPIcs -- Leibniz Int. Proc. Inform. 38, 107--122 (2015; Zbl 1367.68059) Full Text: DOI
Bahr, Patrick; Berthold, Jost; Elsman, Martin Certified symbolic management of financial multi-party contracts. (English) Zbl 1360.68356 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 315-327 (2015). MSC: 68N30 68N18 68Q55 91B40 91G99 PDFBibTeX XMLCite \textit{P. Bahr} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 315--327 (2015; Zbl 1360.68356) Full Text: DOI
Rossberg, Andreas 1ML – core and modules united (F-ing first-class modules). (English) Zbl 1360.68338 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 35-47 (2015). MSC: 68N18 03B70 68N15 68N30 68Q65 PDFBibTeX XMLCite \textit{A. Rossberg}, in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 35--47 (2015; Zbl 1360.68338) Full Text: DOI
Aréchiga, Nikos; Kapinski, James; Deshmukh, Jyotirmoy V.; Platzer, André; Krogh, Bruce Numerically-aided deductive safety proof for a powertrain control system. (English) Zbl 1351.68150 Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 19-25 (2015). MSC: 68Q60 68T15 93C30 PDFBibTeX XMLCite \textit{N. Aréchiga} et al., Electron. Notes Theor. Comput. Sci. 317, 19--25 (2015; Zbl 1351.68150) Full Text: DOI
Red’ko, V. N.; Buy, D. V.; Puzikova, A. V. Axiomatic of multivalued dependences in tabular databases. (Ukrainian. English summary) Zbl 1340.68028 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2015, No. 6, 24-29 (2015). MSC: 68P15 PDFBibTeX XMLCite \textit{V. N. Red'ko} et al., Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2015, No. 6, 24--29 (2015; Zbl 1340.68028) Full Text: DOI
Damiani, Ferruccio; Viroli, Mirko Type-based self-stabilisation for computational fields. (English) Zbl 1448.68336 Log. Methods Comput. Sci. 11, No. 4, Paper No. 21, 53 p. (2015). MSC: 68Q85 68N18 68Q55 PDFBibTeX XMLCite \textit{F. Damiani} and \textit{M. Viroli}, Log. Methods Comput. Sci. 11, No. 4, Paper No. 21, 53 p. (2015; Zbl 1448.68336) Full Text: DOI arXiv
Balasubramaniam, P.; Muthukumar, P.; Ratnavelu, K. Theoretical and practical applications of fuzzy fractional integral sliding mode control for fractional-order dynamical system. (English) Zbl 1345.93071 Nonlinear Dyn. 80, No. 1-2, 249-267 (2015). MSC: 93C15 93C42 34K35 34K37 34K60 94A60 94A08 68U10 PDFBibTeX XMLCite \textit{P. Balasubramaniam} et al., Nonlinear Dyn. 80, No. 1--2, 249--267 (2015; Zbl 1345.93071) Full Text: DOI
Qin, Wen; Liu, Zhongxin; Chen, Zengqiang A novel observer-based formation for nonlinear multi-agent systems with time delay and intermittent communication. (English) Zbl 1331.93089 Nonlinear Dyn. 79, No. 3, 1651-1664 (2015). MSC: 93C10 34K35 34K60 37M05 37N35 68T42 PDFBibTeX XMLCite \textit{W. Qin} et al., Nonlinear Dyn. 79, No. 3, 1651--1664 (2015; Zbl 1331.93089) Full Text: DOI
Xu, Wenying; Cao, Jinde; Xiao, Min Bifurcation analysis of a class of \((n + 1)\)-dimension Internet congestion control systems. (English) Zbl 1309.34139 Int. J. Bifurcation Chaos Appl. Sci. Eng. 25, No. 2, Article ID 1550019, 17 p. (2015). MSC: 34K60 34K18 34K20 34K13 34K17 34K19 68M11 PDFBibTeX XMLCite \textit{W. Xu} et al., Int. J. Bifurcation Chaos Appl. Sci. Eng. 25, No. 2, Article ID 1550019, 17 p. (2015; Zbl 1309.34139) Full Text: DOI
Dufourd, Jean-François Formal study of functional orbits in finite domains. (English) Zbl 1317.68208 Theor. Comput. Sci. 564, 63-88 (2015). MSC: 68T15 68Q60 68Q65 68U05 PDFBibTeX XMLCite \textit{J.-F. Dufourd}, Theor. Comput. Sci. 564, 63--88 (2015; Zbl 1317.68208) Full Text: DOI
Cretin, Julien; Rémy, Didier System F with coercion constraints. (English) Zbl 1394.03025 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 34, 10 p. (2014). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{J. Cretin} and \textit{D. Rémy}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 34, 10 p. (2014; Zbl 1394.03025) Full Text: DOI HAL
Papadopoulos, Alessandro Vittorio; Prandini, Maria Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization. (English) Zbl 1362.93028 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 113-122 (2014). MSC: 93B11 93C30 93B17 93C05 68W20 PDFBibTeX XMLCite \textit{A. V. Papadopoulos} and \textit{M. Prandini}, in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 113--122 (2014; Zbl 1362.93028) Full Text: DOI
Chen, Yan; Acar, Umut A.; Tangwongsan, Kanat Functional programming for dynamic and large data with self-adjusting computation. (English) Zbl 1345.68042 Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 227-240 (2014). MSC: 68N18 05C85 68N19 PDFBibTeX XMLCite \textit{Y. Chen} et al., in: Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP '14, Gothenburg, Sweden, September 1--3, 2014. New York, NY: Association for Computing Machinery (ACM). 227--240 (2014; Zbl 1345.68042) Full Text: DOI
Sonobe, Tatsuya; Suenaga, Kohei; Igarashi, Atsushi Automatic memory management based on program transformation using ownership. (English) Zbl 1453.68030 Garrigue, Jacques (ed.), Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17–19, 2014, Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8858, 58-77 (2014). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{T. Sonobe} et al., Lect. Notes Comput. Sci. 8858, 58--77 (2014; Zbl 1453.68030) Full Text: DOI
Hu, Hongxiang; Zhang, Zhe; Yu, Li; Yu, Wenwu; Xie, Guangming Group consensus for multiple networked Euler-Lagrange systems with parametric uncertainties. (English) Zbl 1310.93006 J. Syst. Sci. Complex. 27, No. 4, 632-649 (2014). MSC: 93A14 68T42 93C30 93C15 PDFBibTeX XMLCite \textit{H. Hu} et al., J. Syst. Sci. Complex. 27, No. 4, 632--649 (2014; Zbl 1310.93006) Full Text: DOI
Bauer, Andrej; Pretnar, Matija An effect system for algebraic effects and handlers. (English) Zbl 1448.68203 Log. Methods Comput. Sci. 10, No. 4, Paper No. 9, 29 p. (2014). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{A. Bauer} and \textit{M. Pretnar}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 9, 29 p. (2014; Zbl 1448.68203) Full Text: DOI
Pretnar, Matija Inferring algebraic effects. (English) Zbl 1341.68024 Log. Methods Comput. Sci. 10, No. 3, Paper No. 21, 43 p. (2014). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Pretnar}, Log. Methods Comput. Sci. 10, No. 3, Paper No. 21, 43 p. (2014; Zbl 1341.68024) Full Text: DOI arXiv
Leśniak, Krzysztof On discrete stochastic processes with disjunctive outcomes. (English) Zbl 1296.60188 Bull. Aust. Math. Soc. 90, No. 1, 149-159 (2014). MSC: 60J10 68R15 93C30 PDFBibTeX XMLCite \textit{K. Leśniak}, Bull. Aust. Math. Soc. 90, No. 1, 149--159 (2014; Zbl 1296.60188) Full Text: DOI