An autonomous performance testing framework using self-adaptive fuzzy reinforcement learning

Συγγραφείς: Helali Moghadam, Mahshid, Saadatmand, Mehrdad, 1980, Borg, Markus, Bohlin, Markus, 1976, Lisper, Björn

Πηγή: Software quality journal. :127-159

Θεματικοί όροι: Autonomous testing, Performance testing, Reinforcement learning, Stress testing, Test case generation, Automation, Computer programming languages, Testing, Transfer learning, Automated generation, Optimal performance, Performance Model, Performance testing framework, Performance tests, Simulated performance, Software systems, Software testing

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-52628
https://doi.org/10.1007/s11219-020-09532-z

AquaLang: A Dataflow Programming Language

Συγγραφείς: Klas Segeljakt, Seif Haridi, Paris Carbone

Πηγή: Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems. :42-53

Θεματικοί όροι: Computer and Information Sciences, Computer programming languages, Data flow analysis, Continuous data, Data flow modeling, Data stream, Data-intensive application, Dataflow, Dataflow programming, Dataflow system, Performance, Programmability, Semantic gap, Semantics, Data- och informationsvetenskap

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-74846

Bounded Invariant Checking for Stateflow

Συγγραφείς: Filipovikj, Predrag, Ung, G., Gurov, Dilian, 1964, Nyberg, Mattias

Πηγή: Electronic Proceedings in Theoretical Computer Science, EPTCS. :38-52

Θεματικοί όροι: Computer programming languages, Formal verification, Model checking, Semantics, Simulink, Bounded model checking, Complex software, Invariant checking, Invariant properties, Safety critical software, Software modeling, STATEFLOW, Stateflow models, Structural operational semantics, Symbolic Transition Systems, Accident prevention

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328152
https://doi.org/10.4204/EPTCS.371.3

Teaching programming to kids in situation of social vulnerability

Συγγραφείς: Harari, Viviana, Harari, Ivana

Πηγή: 2017 Twelfth Latin American Conference on Learning Technologies (LACLO) Learning Technologies (LACLO), 2017 Twelfth Latin American Conference on. :1-8 Oct, 2017

Relation: 2017 Twelfth Latin American Conference on Learning Technologies (LACLO)

A tertiary study on links between source code metrics and external quality attributes

Συγγραφείς: Iftikhar, Umar, Ali, Nauman bin, Dr., Börstler, Jürgen, 1960, Usman, Muhammad, 1978

Πηγή: eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication Information and Software Technology. 165

Θεματικοί όροι: Code quality, Evidence, Product quality, Quality models, Tertiary review, Tertiary study, Codes (symbols), Computer programming languages, Data handling, Forecasting, Object oriented programming, Reliability, External quality, Internal quality, Products quality, Quality attributes, Quality modeling, Source code metrics, Maintainability

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-25555
https://doi.org/10.1016/j.infsof.2023.107348

An introductory guide for conducting psychological research with big data.

Συγγραφείς: Vezzoli, Michela. ORCID 0000-0003-2122-2764. Department of Psychology, University of Milano-Bicocca, Milan, Italy, Zogmaister, Cristina. ORCID 0000-0002-1540-7503. Department of Psychology, University of Milano-Bicocca, Milan, Italy

Πηγή: Psychological Methods, Vol 28(3), Jun, 2023. pp. 580-599.

NLM Title Abbreviation: Psychol Methods

Εκδότης: American Psychological Association

Τύπος έκδοσης: Journal; Peer Reviewed Journal

A Bi−directional method for evaluating integrals involving higher transcendental functions. HyperRAF: A Julia package for new hyper−radial functions

Συγγραφείς: Bağcı, A., Aucar, G.A.

Θεματικοί όροι: Coulomb potential, Bi−directional method, Hyper−radial functions, Laplace expansion, Non−integer Slater−type orbitals, Algebra, Computer programming languages, Electric fields, Electrons, Function evaluation, Laplace transforms, Quantum theory, Bi-directional, Geometric functions, Higher transcendental functions, Hyper−radial function, Laplace expansions, Non−integer slater−type orbital, Radial functions, Slater-type orbitals, Quantum chemistry

Relation: Computer Physics Communications; Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı; https://hdl.handle.net/11499/56069; http://dx.doi.org/10.1016/j.cpc.2023.108990; 295; WOS:001111374000001

Διαθεσιμότητα: https://hdl.handle.net/11499/56069
https://doi.org/10.1016/j.cpc.2023.108990

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF ; 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Συγγραφείς: Koutavas, Vasileios, Lin Hou, Yu

Συνεισφορές: Science Foundation Ireland (SFI), 13/RC/2094_2

Θεματικοί όροι: PCF, Biosimulation, Computer Programming Languages, Formal (i.e. mathematical) Methods In Computer Science, Formal Methods, Formal Semantics, Program Equivalence, Program Verification

Περιγραφή αρχείου: application/pdf

Relation: Y; http://hdl.handle.net/2262/103829; http://people.tcd.ie/vkoutav; http://people.tcd.ie/linhouy; 258371; http://dx.doi.org/10.1109/LICS56636.2023.10175778

Διαθεσιμότητα: http://hdl.handle.net/2262/103829
http://people.tcd.ie/vkoutav
http://people.tcd.ie/linhouy
https://doi.org/10.1109/LICS56636.2023.10175778

An Operational Semantics for Yul ; Lecture Notes in Computer Science ; Software Engineering and Formal Methods. SEFM 2024

Συγγραφείς: Koutavas, Vasileios, Lin Hou, Yu

Συνεισφορές: Madeira, Alexandre and Knapp, Alexander, Other, Science Foundation Ireland (SFI for RF), FY23-1127, 13/RC/2094_2

Θεματικοί όροι: Yul, Ethereum, Operational semantics, Programming lan- guages, Formal methods, Blockchain, Computer Programming Languages, Computer Science, Software Engineering

Περιγραφή αρχείου: application/pdf

Relation: 15280; Y; https://hdl.handle.net/2262/111298; http://people.tcd.ie/vkoutav; http://people.tcd.ie/linhouy; 276010

Διαθεσιμότητα: https://hdl.handle.net/2262/111298
http://people.tcd.ie/vkoutav
http://people.tcd.ie/linhouy
https://doi.org/10.1007/978-3-031-77382-2_19

COMPUTERIZATION OF PHARMACY SYSTEM IN C# PROGRAMMING LANGUAGE

Συγγραφείς: Ergashov Asliddin Otabek O'g'li. Xakimov Shoyatbek

Θεματικοί όροι: C#, computer, programming languages, MO, operator, Pascal, Java, Microsoft, pharmacy, Login, Label, panel, module, reports, customization

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity

Συγγραφείς: JIAO, Jiao, KAN, Shuanglong, LIN, Shang Wei, SANAN, David, LIU, Yang, SUN, Jun

Πηγή: 2020 IEEE Symposium on Security and Privacy (SP). :1695-1712

Θεματικοί όροι: Computer programming languages, Ethereum, Finance and Financial Management, 1. No poverty, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology, Bitcoin

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ieeexplore.ieee.org/ielx7/9144328/9152199/09152785.pdf
https://ink.library.smu.edu.sg/sis_research/5968/
http://ink.library.smu.edu.sg/sis_research/5968/
https://dblp.uni-trier.de/db/conf/sp/sp2020.html#JiaoK0S0020
https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=6971&context=sis_research
https://www.computer.org/csdl/proceedings-article/sp/2020/349700b265/1j2LggQlkvm
https://ieeexplore.ieee.org/document/9152785/

Empezando a visualizar datos con R y ggplot2

Συγγραφείς: Julio César Alonso Cifuentes, Maria Fernanda Largo

Θεματικοί όροι: Statistics - Data processing, Estadística, id.loc.gov/authorities/subjects/sh86007767 [http], Big data analytics, Lenguajes de programación, Big data, Databases, Computer Programming languages, Lenguaje de programación, Lenguaje estadístico, Y20 Introductory material, Estadística - Procesamiento de datos, vocabularies.unesco.org/thesaurus/concept119 [http], L86 Computer software, R (Lenguaje de programación de computadores), Statistics, Introducción, Programming languages, Data bases, Base de datos, vocabularies.unesco.org/thesaurus/concept6007 [http], Bases de datos, Statistical data, id.loc.gov/authorities/subjects/sh85127583 [http], id.loc.gov/authorities/subjects/sh2002004407 [http], R (Computer program language), vocabularies.unesco.org/thesaurus/concept501 [http], Datos estadísticos, id.loc.gov/authorities/subjects/sh2012003227 [http], Computer languages

Περιγραφή αρχείου: 94 páginas; Digital; pdf; application/pdf

Empezando a transformar bases de datos con R y dplyr

Συγγραφείς: Julio César Alonso Cifuentes

Θεματικοί όροι: Statistics - Data processing, Estadística, id.loc.gov/authorities/subjects/sh86007767 [http], Big data analytics, Lenguajes de programación, Big data, Databases, Computer Programming languages, Lenguaje de programación, Lenguaje estadístico, Y20 Introductory material, Estadística - Procesamiento de datos, vocabularies.unesco.org/thesaurus/concept119 [http], R (Lenguaje de programación de computadores), Statistics, Introducción, Programming languages, Data bases, L86 Computer Software, Base de datos, vocabularies.unesco.org/thesaurus/concept6007 [http], Bases de datos, Statistical data, id.loc.gov/authorities/subjects/sh85127583 [http], id.loc.gov/authorities/subjects/sh2002004407 [http], R (Computer program language), vocabularies.unesco.org/thesaurus/concept501 [http], Datos estadísticos, id.loc.gov/authorities/subjects/sh2012003227 [http], Computer languages

Περιγραφή αρχείου: 60 páginas; Digital; pdf; application/pdf

Σύνδεσμος πρόσβασης: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94249

Empezando a usaR. Una guía paso a paso

Συγγραφείς: Julio César Alonso Cifuentes, Maria Paula Ocampo

Θεματικοί όροι: Statistics - Data processing, Estadística, id.loc.gov/authorities/subjects/sh86007767 [http], Big data analytics, Lenguajes de programación, Big data, Databases, Computer Programming languages, Lenguaje de programación, Lenguaje estadístico, Y20 Introductory material, Estadística - Procesamiento de datos, vocabularies.unesco.org/thesaurus/concept119 [http], R (Lenguaje de programación de computadores), Statistics, Introducción, Programming languages, Data bases, L86 Computer Software, Base de datos, vocabularies.unesco.org/thesaurus/concept6007 [http], Bases de datos, Statistical data, id.loc.gov/authorities/subjects/sh85127583 [http], id.loc.gov/authorities/subjects/sh2002004407 [http], R (Computer program language), vocabularies.unesco.org/thesaurus/concept501 [http], Datos estadísticos, id.loc.gov/authorities/subjects/sh2012003227 [http], Computer languages

Περιγραφή αρχείου: 110 páginas; Digital; pdf; application/pdf

Σύνδεσμος πρόσβασης: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94248

Studying expert initial set and hard to map cases in automated code-to-architecture mappings

Συγγραφείς: Olsson, Tobias, 1974, Ericsson, Morgan, Docent, 1973, Wingkvist, Anna, PhD, 1976

Πηγή: Companion Proceedings of the 15th European Conference on Software Architecture CEUR Workshop Proceedings.

Θεματικοί όροι: Naive Bayes, Orphan Adoption, Software Architecture, Source Code Clustering, Computer programming languages, Mapping, Automatic mapping, Clusterings, Ground truth, Human expert, Performance, Refactorings, Source codes, Classifiers, Software Technology, Programvaruteknik

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-112596

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Συγγραφείς: De Angelis E, Fioravanti F, Palacios A, Pettorossi A, Proietti M

Πηγή: 5th Workshop on Horn Clauses for Verification and Synthesis, pp. 19–26, Oxford, 13/07/2018
info:cnr-pdr/source/autori:De Angelis, E.; Fioravanti, F.; Palacios, A.; Pettorossi, A.; Proietti, M./congresso_nome:5th Workshop on Horn Clauses for Verification and Synthesis/congresso_luogo:Oxford/congresso_data:13%2F07%2F2018/anno:2018/pagina_da:19/pagina_a:26/intervallo_pagine:19–26
Electronic Proceedings in Theoretical Computer Science, Vol 278, Iss Proc. HCVS 2018, Pp 19-26 (2018)

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.2.5, D.2.4, QA75.5-76.95, Erlang, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Computer programming languages, Errors, Logic programming, Model checking, Bounded Verification, F.3.1, Mathematics, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://arxiv.org/pdf/1809.04770
http://arxiv.org/abs/1809.04770
http://www.cnr.it/prodotto/i/395911
https://publications.cnr.it/doc/395911
https://doaj.org/article/a8ab9ef371784e27a7bbad553f0ff509
http://ui.adsabs.harvard.edu/abs/2018arXiv180904770D/abstract
https://arxiv.org/abs/1809.04770
https://arxiv.org/pdf/1809.04770v1
https://hdl.handle.net/20.500.14243/350290

A Semantic Account of Rigorous Simulation

Συγγραφείς: Duracz, Adam, Moggi, Eugenio, Taha, Walid, 1971, Lin, Zhenchao

Πηγή: Principles of Modeling Lecture Notes In Computer Science. :223-239

Θεματικοί όροι: Correctness, Programming languages, Reachability analysis, Computer programming languages, Embedded systems, Hybrid systems, Semantics, Simulators, Denotational semantics, General method, Non Determinism, Operational semantics, Rigorous simulation, Safety property, Uncertainty analysis

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38736

Implementation of a Low Cost Prototype for Electrical Impedance Tomography based on the Integrated Circuit for Body Composition Measurement AFE4300

Συγγραφείς: Mosquera, V.H., Arregui, A., Bragós Bardia, Ramon, Rengifo, C. F

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica, Universitat Politècnica de Catalunya. BCN SEER - Barcelona Science and Engineering Education Research Group

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: Reconstruction software, Electric impedance tomography, Tomografia d'impedància elèctrica, Bluetooth communications, Electric impedance, Biomedical signal processing, Electric impedance measurement, Impedance spectroscopy, Integrated circuits, Espectroscòpia d'impedància, 02 engineering and technology, Electrical impe dance tomography (EIT), Biochemistry, Phantoms, Computer programming languages, 03 medical and health sciences, 0302 clinical medicine, Timing circuits, 0202 electrical engineering, electronic engineering, information engineering, Fluorine compounds, Conductivity distributions, Electrodes, Application programs, Signal to noise ratio, Enginyeria elèctrica [Àrees temàtiques de la UPC], Àrees temàtiques de la UPC::Enginyeria elèctrica, Conductivity variation, Conductivity distribution, Costs, Tanks (containers), National Instruments, Electrical impedance tomography, Image reconstruction, Electronic medical equipment, Electrical conductivity distribution, Biomedical engineering

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/123197
https://dblp.uni-trier.de/db/conf/biostec/biodevices2018.html#MosqueraABR18
https://upcommons.upc.edu/bitstream/2117/123197/1/BIODEVICES_2018_8.pdf
https://upcommons.upc.edu/handle/2117/123197
https://hdl.handle.net/2117/123197
https://doi.org/10.5220/0006554901210127

Student Ability for Learning Computer Programming Languages in Primary Schools

Συγγραφείς: Karzan WAKIL, Shanaz KHDIR, Lava SABIR, Lezan NAWZAD

Πηγή: Volume: 3, Issue: 6 109-115
International e-Journal of Educational Studies

Θεματικοί όροι: Eğitim Üzerine Çalışmalar, 4. Education, 05 social sciences, Studies on Education, Learning programming, educational technology, computer programming languages, 0503 education

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://dergipark.org.tr/en/download/article-file/761876
https://dergipark.org.tr/en/download/article-file/761876
https://dergipark.org.tr/en/pub/iejes/issue/47905/591938
https://dergipark.org.tr/tr/pub/iejes/issue/47905/591938

An implementation method for the supervisory control of time-driven systems applied to high-voltage direct current transmission grids

Συγγραφείς: Romero-Rodríguez, Miguel, Delpoux, Romain, Piétrac, Laurent, Dai, Jing, Benchaib, Abdelkrim, Niel, Eric

Συνεισφορές: Ampère, Publications, Ampère, Département Méthodes pour l'Ingénierie des Systèmes (MIS), Ampère (AMPERE), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), SuperGrid Institute SAS, Laboratoire Génie électrique et électronique de Paris (GeePs), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), General Electric Grid Solutions, Massy

Πηγή: Control Engineering Practice. 82:97-107

Θεματικοί όροι: Computer programming languages, Supervisory control theoryControl implementation, 0209 industrial biotechnology, Discrete event systems, [SPI.NRJ]Engineering Sciences [physics]/Electric power, 0202 electrical engineering, electronic engineering, information engineering, HVDC transmission systems, 02 engineering and technology, 7. Clean energy, EMTP-RV, [SPI.NRJ] Engineering Sciences [physics]/Electric power

Σύνδεσμος πρόσβασης: https://hal.archives-ouvertes.fr/hal-01899878
https://www.sciencedirect.com/science/article/pii/S0967066118306270