Treffer 1 - 20 von 390

1

A flexible programming and verification methodology for reconfigurable CNC woodworking machine
Zivanović, S. ; Dimić, Z. ; Furtula, Mladen ; et al.
BioResources, Vol 19, Iss 4, Pp 9708-9726 (2024)
BioResources

Reconfigurable Woodworking machining woodworking machining cad/cam programming methodology Virtual machine
Fachzeitschrift
Zu den Favoriten
2

Abstract Environment Trimming
DANIEL JURJO-RIVAS ; JOSE F. MORALES ; PEDRO LÓPEZ-GARCÍA ; et al.
Theory and Practice of Logic Programming, ISSN 1471-0684, 2024-07-01, Vol. 24, No. 4
Archivo Digital UPM
Universidad Politécnica de Madrid

Informática FOS: Computer and inform... Computer Science - Progr... PROLOG Securit Logic programming method...
Fachzeitschrift
Zu den Favoriten
3

Regulating the system constraints in optimal control using predictive regulator
Dr. Nirmalya Chandra
Discover Electronics, Vol 1, Iss 1, Pp 1-7 (2024)

Linear programming metho... Weighting function Vector differential equa... Matrix composition metho... Optimization toolkit Electrical engineering....
Fachzeitschrift
Zu den Favoriten
4

A Flexible Programming and Verification Methodology for Reconfigurable CNC Woodworking Machine
Sasa Zivanovic ; Zoran Dimic ; Mladen Furtula ; et al.
BioResources, Vol 19, Iss 4, Pp 9708-9726 (2024)

programming methodology cad/cam step-nc reconfigurable woodworking machining virtual machine
Fachzeitschrift
Zu den Favoriten
5

Automatic Assessment Providing Feedback of Programs based upon Graphical Loop Invariants and its Integration in a CS1 Course
Liénardy, Simon

Graphical Loop Invariant Loop variant Programming methodology CAFÉ Feedback Feedforward
Report
Zu den Favoriten
6

Programming Paradigm Taxonomy Poster
Vandeloise, Mikel

Software engineering Multi-language Developme... Functional programming Collaboration Metrics Programming paradigm Object-oriented programm...
Konferenz
Zu den Favoriten
7

Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning
Gottlob G. ; Inclezan D. ; Maratea M. ; et al.

applications logic programming method... knowledge representation...
Buch
Zu den Favoriten
8

Towards an IoT-Oriented Software Engineering Methodology
Mariani S. ; Zambonelli F.
Internet of Things ISBN: 9783031621451

Internet of Things IoT abstractions IoT programming methodol... IoT software engineering
Buch
Zu den Favoriten
9

Goal Programming Approach for Energy Management of Smart Building
Foroozandeh, Zahra ; Ramos, Sérgio ; Soares, João ; et al.
IEEE Access, Vol 10, Pp 25341-25348 (2022)

Renewable energy goal-programming methodo... Multi-objective optimiza... Energy management smart building 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
10

Bayesian modeling of risks of various origin
P.I. Bidyuk ; N.V. Kuznietsova ; O.M. Trofymchuk ; et al.
KPI Science News, Iss 4 (2022)

financial processes 0301 basic medicine 0303 health sciences фінансові процеси... financial risks Bayesian programming met...
Fachzeitschrift
Zu den Favoriten
11

Web-Based Recommendation System For Ict Strategies Based On Learning Styles And Their Didactics
Francisco Chinchilla Torres ; Karen Lorena León Pérez ; María Fernanda Toscano Galvis ; et al.
Mundo Fesc, Vol 14, Iss 30 (2024)

learning styles tic student dropout recommendation system xp methodology (extreme... Science
Fachzeitschrift
Zu den Favoriten
12

Efficient Knowledge Compilation Beyond Weighted Model Counting
KIESEL, R.AF.AE.L. ; TOTIS, P.IE.TR.O. ; KIMMIG, A.NG.EL.IK.A.
Theory and Practice of Logic Programming. 22:505-522

FOS: Computer and inform... Technology Computer Science - Logic... Logic Computer Science - Artif... design
Fachzeitschrift
Zu den Favoriten
13

Locally Tight Programs
Fandinno, Jorge ; Lifschitz, Vladimir ; Temple, Nathan
Computer Science Faculty Publications

theory specification analysis and verificatio... security logic programming method... Computer Sciences
Fachzeitschrift
Zu den Favoriten
14

Designing a Web-Based Archive Management Application Using the Laravel Framework: A Case Study on a Recreational Park
Ramadhani, Risky
Information Technology and Systems; Vol. 2 No. 1 (2024): November 2024; 16-24 ; 3031-1187 ; 10.58777/its.v2i1

Laravel Frameworks Extreme Programming Meth... Program Planning Archives Management Prog...
Fachzeitschrift
Zu den Favoriten
15

Operating Room (Re)Scheduling with Bed Management via ASP
Dodaro C. ; Galata G. ; Kamran Khan M. ; et al.
Theory and Practice of Logic Programming. 22:229-253

FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... KEYWORDS 0202 electrical engineer...
Fachzeitschrift
Zu den Favoriten
16

The Role of Variable in Programming: Examples and Methodology
Törley, Gábor ; Zsakó, László
Central-European Journal of New Technologies in Research, Education and Practice. 3:60-72

variable QA76 Computer software /... programming methodology Central-European Journal...
Fachzeitschrift
Zu den Favoriten
18

Programming Theorems Have the Same Origin
Szlávi, Péter ; Zsakó, László ; Törley, Gábor ; et al.
Central-European Journal of New Technologies in Research, Education and Practice. :1-12

programming theorem algorithm specification 4. Education Central-European Journal... methodical programming
Fachzeitschrift
Zu den Favoriten
19

Interval-valued intuitionistic fuzzy multiple attribute decision making based on nonlinear programming methodology and TOPSIS method
Shyi-Ming Chen ; Shouzhen Zeng ; Kang-Yun Fan
Information Sciences. 506:424-442

MADM IVIFSs IVIFVs 0202 electrical engineer... TOPSIS method 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
20

Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402)
Endres, Madeline ; Brechmann, André ; Sharif, Bonita ; et al.

Program Comprehension Programming Education Human Factors Programming Methodology Eye Tracking Software Engineering
Fachzeitschrift
Zu den Favoriten

Filter