Showing 1,241 - 1,260 results of 7,728 for search '(programa OR programs) computational', query time: 0.15s Refine Results
  1. 1241

    Messy Data in Education: Enhancing Data Science Literacy Through Real-World Datasets in a Master’s Program by Iraklis Varlamis

    Published 2025-04-01
    “…This paper presents insights and findings from 15 years of teaching Data Mining and Business Intelligence in a Computer Science Master’s program, where a key component of the course is a semester-long assignment involving publicly available, messy, and often incomplete datasets. …”
    Get full text
    Article
  2. 1242

    Optimizing Plant Oil-Derived Lubricants: A Sustainable Alternative to Petroleum-Based Lubricants Using Integer Programming by Lutfu S. Sua, Figen Balo

    Published 2025-06-01
    “…The integer programming method extends previous research by providing a structured, computationally efficient approach that ensures a single optimal solution rather than a ranked list of potential candidates. …”
    Get full text
    Article
  3. 1243

    Analysis of information flow security using software implementing business logic based on stored database program blocks by A. А. Timakov

    Published 2024-04-01
    “…The procedure also involves analyzing labeled data, in order to control the spread of verified program block output values in external software modules.Conclusions. …”
    Get full text
    Article
  4. 1244

    Evaluation of the nutritional status of workers of transformation industries adherent to the Brazilian Workers' Food Program. A comparative study. by Ingrid W Leal Bezerra, António Gouveia Oliveira, Liana G B Pinheiro, Célia M M Morais, Luciano M B Sampaio

    Published 2017-01-01
    “…The objective of this study was to assess whether the Brazilian Workers' Food Program (WFP) is associated with changes in the nutritional status of workers in the transformation industry. …”
    Get full text
    Article
  5. 1245

    Integer Programming, low complexity Heuristics, and Gaussian instances for the Internet Shopping Optimization Problem with multiple item Units (ISHOP-U) by Fernando Ornelas, Alejandro H. García, Alejandro Santiago, Salvador Ibarra Martínez, José Antonio Castán Rocha, Fausto Balderas, Julio Laria-Menchaca, Mayra Guadalupe Treviño-Berrones

    Published 2025-03-01
    “…In this work, we propose a new set of instances where the prices of the products follow a Gaussian distribution, which is more realistic in a competitive market than the original instances with random uniform prices. We compute the optimal values of the previous uniform and new Gaussian instances using an Integer Programming formulation in CPLEX. …”
    Get full text
    Article
  6. 1246
  7. 1247

    Effectiveness of a Videoconference-Based Cognitive Behavioral Therapy Program for Patients with Schizophrenia: Pilot Randomized Controlled Trial by Masayuki Katsushima, Hideki Nakamura, Yuki Shiko, Hideki Hanaoka, Eiji Shimizu

    Published 2025-01-01
    “…MethodsIn this exploratory randomized controlled trial, patients with schizophrenia and schizoaffective disorders who were still taking medication in an outpatient clinic were randomly assigned to either the vCBTp plus UC group (n=12) or the UC group (n=12). The vCBTp program was conducted once a week, with each session lasting for 50 minutes, for a total of 7 sessions conducted in real-time and in a one-on-one format remotely using a loaned tablet computer (iPad). …”
    Get full text
    Article
  8. 1248
  9. 1249
  10. 1250
  11. 1251
  12. 1252
  13. 1253
  14. 1254
  15. 1255

    Performance Analysis and Computational Interface for <italic>X &#x2013; R</italic> Intuitionistic Fuzzy Control Chart by Amanda Dos Santos Mendes, Tulio S. Almeida, Marcela A. G. Machado, Paloma Maria Silva Rocha Rizol

    Published 2025-01-01
    “…This study evaluates the performance of the <inline-formula> <tex-math notation="LaTeX">$\bar {X}$ </tex-math></inline-formula>-R intuitionistic fuzzy control charts was measured by the Average Run Length (ARL), Standard Deviation Run Length (SDRL) and Run Length Percentiles. Additionally, computational interface was developed in the R programming language, using the Shiny package, capable of facilitating the user&#x2019;s experience in combining the concepts presented. …”
    Get full text
    Article
  16. 1256
  17. 1257

    Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

    Published 2011-01-01
    “…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
    Get full text
    Article
  18. 1258

    Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

    Published 2011-01-01
    “…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
    Get full text
    Article
  19. 1259

    Development and Evaluation of a Computer-Based, Self-Management Tool for People Recently Diagnosed with Type 2 Diabetes by Alison O. Booth, Carole Lowis, Steven J. Hunter, Moira Dean, Chris R. Cardwell, Michelle C. McKinley

    Published 2016-01-01
    “…The purpose of this study was to develop and evaluate a computer-based, dietary, and physical activity self-management program for people recently diagnosed with type 2 diabetes. …”
    Get full text
    Article
  20. 1260

    Big Data Analytics for Uncovering Voxel Connectivity Patterns in Attention Deficit Hyperactivity Disorder by Caraka RE, Supardi K, Gio PU, Isnaniawardhani V, Chen RC, Djatmiko B, Pardamean B

    Published 2025-07-01
    “…Wiratman Cipta Manggala (WCM), Graha Simatupang, Simatupang, Jakarta, 12540, Indonesia; 8Bioinformatics and Data Science Research Center, Bina Nusantara University, Jakarta, 11480, Indonesia; 9Computer Science Department, BINUS Graduate Program – Master of Computer Science Program, Bina Nusantara University, Jakarta, 11480, IndonesiaCorrespondence: Rezzy Eko Caraka; Rung Ching Chen, Email r.eko.caraka@unpad.ac.id; crching@cyut.edu.twIntroduction: Attention Deficit Hyperactivity Disorder (ADHD) is a complex neurodevelopmental condition characterized by heterogeneous brain activity patterns. …”
    Get full text
    Article