Suggested Topics within your search.
Suggested Topics within your search.
- Computer programs 11
- Business 8
- BASIC (Computer program language) 2
- Computer simulation 2
- Data processing 2
- Design 2
- Design and construction 2
- Digital techniques 2
- Java (Computer program language) 2
- Web sites 2
- Agriculture 1
- Bioinformatics 1
- Business intelligence 1
- C++ (Computer program language) 1
- COBOL (Computer program language) 1
- COMPUTERS / Desktop Applications / Suites 1
- COMPUTERS / Internet / General 1
- Cascading style sheets 1
- Cloud computing 1
- Coding and Information Theory 1
- Coding theory 1
- Communication policy 1
- Computer programming 1
- Computer scheduling 1
- Computer-aided design 1
- Digitale Photographie 1
- Electric machinery 1
- Electric power systems 1
- Electronic spreadsheets 1
- General 1
-
1241
Messy Data in Education: Enhancing Data Science Literacy Through Real-World Datasets in a Master’s Program
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 -
1242
Optimizing Plant Oil-Derived Lubricants: A Sustainable Alternative to Petroleum-Based Lubricants Using Integer Programming
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 -
1243
Analysis of information flow security using software implementing business logic based on stored database program blocks
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 -
1244
Evaluation of the nutritional status of workers of transformation industries adherent to the Brazilian Workers' Food Program. A comparative study.
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 -
1245
Integer Programming, low complexity Heuristics, and Gaussian instances for the Internet Shopping Optimization Problem with multiple item Units (ISHOP-U)
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 -
1246
-
1247
Effectiveness of a Videoconference-Based Cognitive Behavioral Therapy Program for Patients with Schizophrenia: Pilot Randomized Controlled Trial
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 -
1248
-
1249
-
1250
-
1251
Exploring novel ligands for mGluR5: Design, computational analysis, and protein-ligand interaction studies
Published 2024-12-01Get full text
Article -
1252
-
1253
-
1254
-
1255
Performance Analysis and Computational Interface for <italic>X – R</italic> Intuitionistic Fuzzy Control Chart
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’s experience in combining the concepts presented. …”
Get full text
Article -
1256
-
1257
Research on formal description and verification of automated trust negotiation
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 -
1258
Research on formal description and verification of automated trust negotiation
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 -
1259
Development and Evaluation of a Computer-Based, Self-Management Tool for People Recently Diagnosed with Type 2 Diabetes
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 -
1260
Big Data Analytics for Uncovering Voxel Connectivity Patterns in Attention Deficit Hyperactivity Disorder
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