Zeitschriftenartikel zum Thema „Parameterised systems“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Parameterised systems" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Groote, Jan Friso, und Tim A. C. Willemse. „Parameterised boolean equation systems“. Theoretical Computer Science 343, Nr. 3 (Oktober 2005): 332–69. http://dx.doi.org/10.1016/j.tcs.2005.06.016.
Der volle Inhalt der QuelleOrzan, Simona, und Tim A. C. Willemse. „Invariants for Parameterised Boolean Equation Systems“. Theoretical Computer Science 411, Nr. 11-13 (März 2010): 1338–71. http://dx.doi.org/10.1016/j.tcs.2009.11.001.
Der volle Inhalt der QuelleKouvaros, Panagiotis, und Alessio Lomuscio. „Parameterised verification for multi-agent systems“. Artificial Intelligence 234 (Mai 2016): 152–89. http://dx.doi.org/10.1016/j.artint.2016.01.008.
Der volle Inhalt der QuellePloeger, B., J. W. Wesselink und T. A. C. Willemse. „Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems“. Information and Computation 209, Nr. 4 (April 2011): 637–63. http://dx.doi.org/10.1016/j.ic.2010.11.025.
Der volle Inhalt der QuelleNagae, Yutaro, und Masahiko Sakai. „Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems“. Electronic Proceedings in Theoretical Computer Science 265 (16.02.2018): 67–81. http://dx.doi.org/10.4204/eptcs.265.6.
Der volle Inhalt der QuelleYoo, S. J. „Adaptive control of non-linearly parameterised pure-feedback systems“. IET Control Theory & Applications 6, Nr. 3 (2012): 467. http://dx.doi.org/10.1049/iet-cta.2011.0150.
Der volle Inhalt der QuelleCalder, M., und A. Miller. „An automatic abstraction technique for verifying featured, parameterised systems“. Theoretical Computer Science 404, Nr. 3 (September 2008): 235–55. http://dx.doi.org/10.1016/j.tcs.2008.03.034.
Der volle Inhalt der QuelleTang, D. F., und S. Dobbie. „iGen 0.1: a program for the automated generation of models and parameterisations“. Geoscientific Model Development 4, Nr. 3 (16.09.2011): 785–95. http://dx.doi.org/10.5194/gmd-4-785-2011.
Der volle Inhalt der QuelleTang, D. F., und S. Dobbie. „iGen: a program for the automated generation of models and parameterisations“. Geoscientific Model Development Discussions 4, Nr. 2 (08.04.2011): 843–68. http://dx.doi.org/10.5194/gmdd-4-843-2011.
Der volle Inhalt der QuelleKant, Gijs, und Jaco van de Pol. „Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games“. Electronic Proceedings in Theoretical Computer Science 99 (23.10.2012): 50–65. http://dx.doi.org/10.4204/eptcs.99.7.
Der volle Inhalt der QuelleNeele, Thomas, Tim A. C. Willemse und Jan Friso Groote. „Finding compact proofs for infinite-data parameterised Boolean equation systems“. Science of Computer Programming 188 (März 2020): 102389. http://dx.doi.org/10.1016/j.scico.2019.102389.
Der volle Inhalt der QuelleNagae, Yutaro, Masahiko Sakai und Hiroyuki Seki. „An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems“. Electronic Proceedings in Theoretical Computer Science 235 (01.01.2017): 46–61. http://dx.doi.org/10.4204/eptcs.235.4.
Der volle Inhalt der QuelleHartley, Edward N., und Jan M. Maciejowski. „Reconfigurable predictive control for redundantly actuated systems with parameterised input constraints“. Systems & Control Letters 66 (April 2014): 8–15. http://dx.doi.org/10.1016/j.sysconle.2014.01.002.
Der volle Inhalt der QuelleYin, Qitian, Mao Wang, Yougao Fan, Libin Ma und Xinyu Wang. „Switching tuning backstepping control of mixed switched nonseparated parameterised nonlinear systems“. International Journal of Systems Science 51, Nr. 15 (15.10.2020): 2767–80. http://dx.doi.org/10.1080/00207721.2020.1783591.
Der volle Inhalt der QuelleLong, Lijun. „Robust adaptive control for switched nonlinearly parameterised systems with dynamic uncertainties“. International Journal of Control 93, Nr. 12 (17.01.2019): 2838–47. http://dx.doi.org/10.1080/00207179.2019.1566641.
Der volle Inhalt der QuelleCohen, Liron, Adham Jabarin, Andrei Popescu und Reuben N. S. Rowe. „The Complex(ity) Landscape of Checking Infinite Descent“. Proceedings of the ACM on Programming Languages 8, POPL (05.01.2024): 1352–84. http://dx.doi.org/10.1145/3632888.
Der volle Inhalt der QuellePrajapat, Shaligram. „Frequent pattern mining for parameterised automatic variable key-based cryptosystems“. International Journal of Business Intelligence and Data Mining 16, Nr. 1 (2020): 33. http://dx.doi.org/10.1504/ijbidm.2020.103850.
Der volle Inhalt der QuelleBenslimane, Hocine, Abdesselem Boulkroune und Hachemi Chekireb. „Adaptive iterative learning control of nonlinearly parameterised strict feedback systems with input saturation“. International Journal of Automation and Control 12, Nr. 2 (2018): 251. http://dx.doi.org/10.1504/ijaac.2018.090807.
Der volle Inhalt der QuelleChekireb, Hachemi, Abdesselem Boulkroune und Hocine Benslimane. „Adaptive iterative learning control of nonlinearly parameterised strict feedback systems with input saturation“. International Journal of Automation and Control 12, Nr. 2 (2018): 251. http://dx.doi.org/10.1504/ijaac.2018.10010881.
Der volle Inhalt der QuelleWang, J., und Z. Qu. „Robust adaptive control of a class of nonlinearly parameterised time-varying uncertain systems“. IET Control Theory & Applications 3, Nr. 6 (01.06.2009): 617–30. http://dx.doi.org/10.1049/iet-cta.2008.0163.
Der volle Inhalt der QuelleYuan, Jia-Wei, und Yao-Lin Jiang. „A parameterised model order reduction method for parametric systems based on Laguerre polynomials“. International Journal of Control 91, Nr. 8 (13.06.2017): 1861–72. http://dx.doi.org/10.1080/00207179.2017.1333156.
Der volle Inhalt der QuelleSun, Xiaoru, und Chris T. Freeman. „Parameterised function ILC with application to stroke rehabilitation“. Control Engineering Practice 145 (April 2024): 105878. http://dx.doi.org/10.1016/j.conengprac.2024.105878.
Der volle Inhalt der QuelleThomas, Daniel B., Timothy Clifton und Theodore Anton. „Scale-dependent gravitational couplings in Parameterised Post-Newtonian Cosmology“. Journal of Cosmology and Astroparticle Physics 2023, Nr. 04 (01.04.2023): 016. http://dx.doi.org/10.1088/1475-7516/2023/04/016.
Der volle Inhalt der QuelleHOUSE, THOMAS. „GENERALIZED NETWORK CLUSTERING AND ITS DYNAMICAL IMPLICATIONS“. Advances in Complex Systems 13, Nr. 03 (Juni 2010): 281–91. http://dx.doi.org/10.1142/s0219525910002645.
Der volle Inhalt der QuelleKhandelwal, Ravi, Asfia Urooj und Rahul Radhakrishnan. „Parameterised State Estimation Approach for 2-Dimensional Underwater Bearings only Target Tracking“. IFAC-PapersOnLine 55, Nr. 1 (2022): 801–6. http://dx.doi.org/10.1016/j.ifacol.2022.04.131.
Der volle Inhalt der QuelleO’Carroll, Dáire, und Niall J. English. „Multi-Theory Comparisons of Molecular Simulation Approaches to TiO2/H2O Interfacial Systems“. Crystals 13, Nr. 7 (19.07.2023): 1122. http://dx.doi.org/10.3390/cryst13071122.
Der volle Inhalt der QuelleLiu, Wenhui, Cheng-Chew Lim und Shengyuan Xu. „Adaptive control of a class of quantised nonlinearly parameterised systems with unknown control directions“. International Journal of Systems Science 48, Nr. 5 (25.08.2016): 941–51. http://dx.doi.org/10.1080/00207721.2016.1221482.
Der volle Inhalt der QuelleOttesen, Michael A., Ryan A. Larson, Christopher J. Stubbs und Douglas D. Cook. „A parameterised model of maize stem cross-sectional morphology“. Biosystems Engineering 218 (Juni 2022): 110–23. http://dx.doi.org/10.1016/j.biosystemseng.2022.03.010.
Der volle Inhalt der QuelleOttesen, Michael A., Ryan A. Larson, Christopher J. Stubbs und Douglas D. Cook. „A parameterised model of maize stem cross-sectional morphology“. Biosystems Engineering 218 (Juni 2022): 110–23. http://dx.doi.org/10.1016/j.biosystemseng.2022.03.010.
Der volle Inhalt der QuelleFigat, Maksym, und Cezary Zieliński. „Parameterised robotic system meta-model expressed by Hierarchical Petri nets“. Robotics and Autonomous Systems 150 (April 2022): 103987. http://dx.doi.org/10.1016/j.robot.2021.103987.
Der volle Inhalt der QuelleDragomir, Iuliana C., András Borbély und Tamás Ungár. „Contrast Factors and Character of Dislocations in Cubic and Hexagonal Crystals“. Materials Science Forum 443-444 (Januar 2004): 95–98. http://dx.doi.org/10.4028/www.scientific.net/msf.443-444.95.
Der volle Inhalt der QuelleHadryan, Milena. „The Parametrisation of Legal Terminology Concerning Child Maintenance Support in the Swedish and Polish Legal Systems“. Studies in Logic, Grammar and Rhetoric 49, Nr. 1 (01.03.2017): 109–24. http://dx.doi.org/10.1515/slgr-2017-0007.
Der volle Inhalt der QuelleZhang, Ruikun, Zhongsheng Hou, Honghai Ji und Chenkun Yin. „Adaptive iterative learning control for a class of non-linearly parameterised systems with input saturations“. International Journal of Systems Science 47, Nr. 5 (29.04.2014): 1084–94. http://dx.doi.org/10.1080/00207721.2014.911422.
Der volle Inhalt der QuelleNoroozi, N., A. Khayatian, S. Ahmadizadeh und H. R. Karimi. „On integral input-to-state stability for a feedback interconnection of parameterised discrete-time systems“. International Journal of Systems Science 47, Nr. 7 (30.08.2014): 1598–614. http://dx.doi.org/10.1080/00207721.2014.942242.
Der volle Inhalt der QuelleLi, Ping, und Guang-Hong Yang. „A novel adaptive control approach for nonlinear strict-feedback systems using nonlinearly parameterised fuzzy approximators“. International Journal of Systems Science 42, Nr. 3 (März 2011): 517–27. http://dx.doi.org/10.1080/00207721003624576.
Der volle Inhalt der QuelleIbbini, M. S., und S. R. Alawneh. „Closed-loop control system robustness improvement by a parameterised state feedback“. IEE Proceedings - Control Theory and Applications 145, Nr. 1 (01.01.1998): 33–40. http://dx.doi.org/10.1049/ip-cta:19981545.
Der volle Inhalt der QuelleRemy, Sebastien, Guillaume Ducellier, Sebastien Charles und Benoit Eynard. „Advanced STEP parameterised and constrained features for reverse engineering“. International Journal of Computer Applications in Technology 32, Nr. 1 (2008): 1. http://dx.doi.org/10.1504/ijcat.2008.019484.
Der volle Inhalt der QuelleHuerta, Milagros, Juan Antonio Caballero-Hernández und Manuel Alejandro Fernández-Ruiz. „Comparative Study of Moodle Plugins to Facilitate the Adoption of Computer-Based Assessments“. Applied Sciences 12, Nr. 18 (07.09.2022): 8996. http://dx.doi.org/10.3390/app12188996.
Der volle Inhalt der QuelleWang, Chen, Akshay Tharval und John R. Kitchin. „A density functional theory parameterised neural network model of zirconia“. Molecular Simulation 44, Nr. 8 (03.01.2018): 623–30. http://dx.doi.org/10.1080/08927022.2017.1420185.
Der volle Inhalt der QuelleHu, Guolin, Xiaodong Liu, Likui Wang und Hongxing Li. „Relaxed stability and stabilisation conditions for continuous-time Takagi–Sugeno fuzzy systems using multiple-parameterised approach“. IET Control Theory & Applications 11, Nr. 6 (14.04.2017): 774–80. http://dx.doi.org/10.1049/iet-cta.2016.1017.
Der volle Inhalt der QuelleZhang, Ruikun, Zhongsheng Hou, Ronghu Chi und Honghai Ji. „Adaptive iterative learning control for nonlinearly parameterised systems with unknown time-varying delays and input saturations“. International Journal of Control 88, Nr. 6 (15.04.2015): 1133–41. http://dx.doi.org/10.1080/00207179.2014.994103.
Der volle Inhalt der QuelleMeeks, Kitty, und Alexander Scott. „The parameterised complexity of list problems on graphs of bounded treewidth“. Information and Computation 251 (Dezember 2016): 91–103. http://dx.doi.org/10.1016/j.ic.2016.08.001.
Der volle Inhalt der QuellePeach, N. „Bearings-only tracking using a set of range-parameterised extended Kalman filters“. IEE Proceedings - Control Theory and Applications 142, Nr. 1 (01.01.1995): 73–80. http://dx.doi.org/10.1049/ip-cta:19951614.
Der volle Inhalt der QuelleLaus, L. P., und J. M. Selig. „Rigid body dynamics using equimomental systems of point-masses“. Acta Mechanica 231, Nr. 1 (14.10.2019): 221–36. http://dx.doi.org/10.1007/s00707-019-02543-3.
Der volle Inhalt der QuelleYao, Zhiying, Daeyoung Kim und Yoonmee Doh. „PLUS: parameterised localised trust management-based security framework for sensor networks“. International Journal of Sensor Networks 3, Nr. 4 (2008): 224. http://dx.doi.org/10.1504/ijsnet.2008.019005.
Der volle Inhalt der QuelleSintermann, J., C. Ammann, U. Kuhn, C. Spirig, R. Hirschberger, A. Gärtner und A. Neftel. „Determination of field scale ammonia emissions for common slurry spreading practice with two independent methods“. Atmospheric Measurement Techniques Discussions 4, Nr. 3 (06.05.2011): 2635–87. http://dx.doi.org/10.5194/amtd-4-2635-2011.
Der volle Inhalt der QuelleCluckie, I. D., A. Lane und J. Yuan. „Modelling large urban drainage systems in real time“. Water Science and Technology 39, Nr. 4 (01.02.1999): 21–28. http://dx.doi.org/10.2166/wst.1999.0185.
Der volle Inhalt der QuelleMoawad, Youssef, Wim Vanderbauwhede und René Steijl. „Quantum Circuit-Width Reduction through Parameterisation and Specialisation“. Algorithms 16, Nr. 5 (05.05.2023): 241. http://dx.doi.org/10.3390/a16050241.
Der volle Inhalt der QuellePrasad, Krishnamurthy, Mostafa Nikzad, Shammi Sultana Nisha und Igor Sbarski. „On the Use of Molecular Dynamics Simulations for Elucidating Fine Structural, Physico-Chemical and Thermomechanical Properties of Lignocellulosic Systems: Historical and Future Perspectives“. Journal of Composites Science 5, Nr. 2 (10.02.2021): 55. http://dx.doi.org/10.3390/jcs5020055.
Der volle Inhalt der Quellede Haan, Fjalar J., Briony C. Ferguson, Ana Deletic und Rebekah R. Brown. „A socio-technical model to explore urban water systems scenarios“. Water Science and Technology 68, Nr. 3 (01.08.2013): 714–21. http://dx.doi.org/10.2166/wst.2013.299.
Der volle Inhalt der Quelle