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

Authors: Helali Moghadam, Mahshid, Saadatmand, Mehrdad, 1980, Borg, Markus, Bohlin, Markus, 1976, Lisper, Björn

Source: Software quality journal. :127-159

Subject Terms: 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

File Description: print

Access URL: 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

Authors: Klas Segeljakt, Seif Haridi, Paris Carbone

Source: Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems. :42-53

Subject Terms: 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

File Description: application/pdf

Access URL: http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-74846

Bounded Invariant Checking for Stateflow

Authors: Filipovikj, Predrag, Ung, G., Gurov, Dilian, 1964, Nyberg, Mattias

Source: Electronic Proceedings in Theoretical Computer Science, EPTCS. :38-52

Subject Terms: 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

File Description: print

Access URL: 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

Authors: Harari, Viviana, Harari, Ivana

Source: 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

Authors: Iftikhar, Umar, Ali, Nauman bin, Dr., Börstler, Jürgen, 1960, Usman, Muhammad, 1978

Source: eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication Information and Software Technology. 165

Subject Terms: 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

File Description: electronic

Access URL: 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.

Authors: 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

Source: Psychological Methods, Vol 28(3), Jun, 2023. pp. 580-599.

NLM Title Abbreviation: Psychol Methods

Publisher: American Psychological Association

Publication Type: Journal; Peer Reviewed Journal

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

Authors: Bağcı, A., Aucar, G.A.

Subject Terms: 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

Availability: 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)

Authors: Koutavas, Vasileios, Lin Hou, Yu

Contributors: Science Foundation Ireland (SFI), 13/RC/2094_2

Subject Terms: PCF, Biosimulation, Computer Programming Languages, Formal (i.e. mathematical) Methods In Computer Science, Formal Methods, Formal Semantics, Program Equivalence, Program Verification

File Description: 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

Availability: 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

Authors: Koutavas, Vasileios, Lin Hou, Yu

Contributors: Madeira, Alexandre and Knapp, Alexander, Other, Science Foundation Ireland (SFI for RF), FY23-1127, 13/RC/2094_2

Subject Terms: Yul, Ethereum, Operational semantics, Programming lan- guages, Formal methods, Blockchain, Computer Programming Languages, Computer Science, Software Engineering

File Description: application/pdf

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

Availability: 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

Authors: Ergashov Asliddin Otabek O'g'li. Xakimov Shoyatbek

Subject Terms: 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

Authors: JIAO, Jiao, KAN, Shuanglong, LIN, Shang Wei, SANAN, David, LIU, Yang, SUN, Jun

Source: 2020 IEEE Symposium on Security and Privacy (SP). :1695-1712

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Julio César Alonso Cifuentes, Maria Fernanda Largo

Subject Terms: 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

File Description: 94 páginas; Digital; pdf; application/pdf

Empezando a transformar bases de datos con R y dplyr

Authors: Julio César Alonso Cifuentes

Subject Terms: 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

File Description: 60 páginas; Digital; pdf; application/pdf

Access URL: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94249

Empezando a usaR. Una guía paso a paso

Authors: Julio César Alonso Cifuentes, Maria Paula Ocampo

Subject Terms: 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

File Description: 110 páginas; Digital; pdf; application/pdf

Access URL: 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

Authors: Olsson, Tobias, 1974, Ericsson, Morgan, Docent, 1973, Wingkvist, Anna, PhD, 1976

Source: Companion Proceedings of the 15th European Conference on Software Architecture CEUR Workshop Proceedings.

Subject Terms: 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

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-112596

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Authors: De Angelis E, Fioravanti F, Palacios A, Pettorossi A, Proietti M

Source: 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)

Subject Terms: 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)

File Description: application/pdf

Access URL: 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

Authors: Duracz, Adam, Moggi, Eugenio, Taha, Walid, 1971, Lin, Zhenchao

Source: Principles of Modeling Lecture Notes In Computer Science. :223-239

Subject Terms: 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

File Description: print

Access URL: 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

Authors: Mosquera, V.H., Arregui, A., Bragós Bardia, Ramon, Rengifo, C. F

Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica, Universitat Politècnica de Catalunya. BCN SEER - Barcelona Science and Engineering Education Research Group

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Karzan WAKIL, Shanaz KHDIR, Lava SABIR, Lezan NAWZAD

Source: Volume: 3, Issue: 6 109-115
International e-Journal of Educational Studies

Subject Terms: Eğitim Üzerine Çalışmalar, 4. Education, 05 social sciences, Studies on Education, Learning programming, educational technology, computer programming languages, 0503 education

File Description: application/pdf

Access URL: 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

Authors: Romero-Rodríguez, Miguel, Delpoux, Romain, Piétrac, Laurent, Dai, Jing, Benchaib, Abdelkrim, Niel, Eric

Contributors: 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

Source: Control Engineering Practice. 82:97-107

Subject Terms: 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

Access URL: https://hal.archives-ouvertes.fr/hal-01899878
https://www.sciencedirect.com/science/article/pii/S0967066118306270