Výsledky vyhledávání - Software and civil engineering Software notations and tools General programming languages

Designing and Interpreting a Mathematical Programming Language

Autoři: Hüseyin PEHLİVAN

Zdroj: Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, Vol 23, Iss 6, Pp 1027-1041 (2019)
Volume: 23, Issue: 6 1027-1041
Sakarya University Journal of Science
Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi

Témata: Computer Software, Chemistry, programming languages, parsers, 0202 electrical engineering, electronic engineering, information engineering, formal grammars, interpreters, 02 engineering and technology, TA1-2040, Engineering (General). Civil engineering (General), Bilgisayar Yazılımı, QD1-999

Popis souboru: application/pdf

Přístupová URL adresa: http://www.saujs.sakarya.edu.tr/en/download/article-file/793014
https://doaj.org/article/281ebe4fd146479f96e035790d2e2ab9
https://avesis.ktu.edu.tr/yayin/6d35aa2a-f169-4936-9c2d-33b943339510/designing-and-interpreting-a-mathematical-programming-language
http://www.saujs.sakarya.edu.tr/en/pub/issue/44246/494974
https://www.saujs.sakarya.edu.tr/tr/download/article-file/793014
https://dergipark.org.tr/tr/pub/saufenbilder/issue/44246/494974

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

USING UML SCENARIOS IN B2B SYSTEMS

Autoři: Abdeslam Jakimi Ayoub Sabraoui Elarbi Badidi a další

Zdroj: International Islamic University Malaysia Engineering Journal, Vol 11, Iss 1 (2010)

Témata: FOS: Computer and information sciences, Business process modeling, Class diagram, QoS-Aware Web Services Composition and Semantic Matching, Social Sciences, Business, Management and Accounting, Set (abstract data type), 02 engineering and technology, Operator (biology), Autonomic Computing and Self-Adaptive Systems, Biochemistry, Gene, Work in process, Management Information Systems, Process Modeling Languages, Engineering, Artificial Intelligence, FOS: Mathematics, Genetics, 0202 electrical engineering, electronic engineering, information engineering, Sequence diagram, Use Case Diagram, Unified Modeling Language, Biology, Business Process Model and Notation, Software engineering, Arithmetic, Activity diagram, Workflow Mining and Business Process Management, Object-oriented programming, Engineering (General). Civil engineering (General), Computer science, Business process, Programming language, Process (computing), Chemistry, Operations management, Notation, FOS: Biological sciences, Computer Science, Physical Sciences, Repressor, TA1-2040, Transcription factor, Software, Mathematics, Information Systems, Sequence (biology)

Přístupová URL adresa: https://journals.iium.edu.my/ejournal/index.php/iiumej/article/download/50/23
https://doaj.org/article/8e53755fc3324286a7bce5da36fc7d3a

The AI Act and The Agile Safety Plan

Autoři: Thor Myklebust Tor Stålhane Dorthea Mathilde Kristin Vatn

Resource Type: eBook.

Témata: Software engineering, Artificial intelligence--Law and legislation--European Union countries, Artificial intelligence--Safety measures, Data protection, Risk management

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / General, COMPUTERS / Hardware / General

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Autoři: Andre Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Traditional and deep learning-oriented medical and biological image analysis.

Autoři: ZDIMALOVA, Maria GHOSH, Mridul LASKER, Asifuzzaman a další

Zdroj: Bratislava Medical Journal / Bratislavské Lekárske Listy; 2023, Vol. 124 Issue 9, p653-669, 17p

Témata: IMAGE analysis, IMAGE segmentation, DIAGNOSTIC imaging, IMAGE processing, PROGRAMMING languages, BIOINFORMATICS software, SIGNAL convolution

Designing tools to evaluate fishery management strategies: can the scientific community deliver?

Zdroj: ICES Journal of Marine Science / Journal du Conseil; Sep2007, Vol. 64 Issue 6, p1077-1084, 8p

Témata: FISHERY management, OCEANOGRAPHY, SCIENTIFIC community, PROGRAMMING languages, CIVIL engineering, SCIENTISTS

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Evaluation of Novel Approaches to Software Engineering : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers

Autoři: Raian Ali Hermann Kaindl Leszek A. Maciaszek

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computers, Software engineering--Congresses, Computers, Special purpose, Computer programming, Computer architecture

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Security risk analysis of system changes exemplified within the oil and gas domain.

Autoři: Refsdal, Atle Solhaug, Bjørnar Stølen, Ketil

Zdroj: International Journal on Software Tools for Technology Transfer; Jun2015, Vol. 17 Issue 3, p251-266, 16p

Témata: COMPUTER software security, COMPUTER security, OFFSHORE structures, PROGRAMMING languages, DECISION support systems

Alloy: A Language and Tool for Exploring Software Designs.

Autoři: JACKSON, DANIEL

Zdroj: Communications of the ACM; Sep2019, Vol. 62 Issue 9, p66-76, 11p, 1 Color Photograph, 3 Diagrams, 4 Charts

Témata: SOFTWARE architecture, PROGRAMMING languages, SOFTWARE development tools, COMPUTER logic, COMPUTER software

Semi-Automatic Recognition of Objects from CAD Drawings for Quantity Surveying.

Autoři: Hassan, T. Farrag, F. ElSonbaty, A. a další

Zdroj: Journal of Applied Engineering Sciences; May2025, Vol. 15 Issue 1, p113-122, 10p

Témata: OBJECT recognition (Computer vision), BUILDING information modeling, REMOTE sensing, PROGRAMMING languages, COMPUTER-aided design

UCLAONT: Ontology-Based UML Class Models Verification Tool.

Autoři: Rajab, Adel Hafeez, Abdul Shaikh, Asadullah a další

Zdroj: Applied Sciences (2076-3417); Feb2022, Vol. 12 Issue 3, p1397, 17p

Témata: COMPUTER software development, PROGRAMMING languages, SOFTWARE engineers, SOFTWARE architecture, ONTOLOGIES (Information retrieval), SOFTWARE engineering

Explicit programming strategies.

Autoři: LaToza, Thomas D. Arab, Maryam Loksa, Dastyni a další

Zdroj: Empirical Software Engineering; Jul2020, Vol. 25 Issue 4, p2416-2449, 34p

Témata: COMPUTER software development, PROBLEM solving, COMPUTER programming, PROGRAMMING languages, SOFTWARE engineering

Formally understanding Rust's ownership and borrowing system at the memory level.

Autoři: Kan, Shuanglong Chen, Zhe Sanán, David a další

Zdroj: Formal Methods in System Design; Dec2024, Vol. 64 Issue 1, p200-236, 37p

Témata: SEMANTICS, PROGRAMMING languages, COMPUTER software, COMPUTER science, SCIENTIFIC computing

Toward Responsible AI in High-Stakes Domains: A Dataset for Building Static Analysis with LLMs in Structural Engineering.

Autoři: Avila, Carlos Ilbay, Daniel Tapia, Paola a další

Zdroj: Data (2306-5729); Nov2025, Vol. 10 Issue 11, p169, 12p

Témata: STRUCTURAL engineering, LANGUAGE models, REPRODUCIBLE research, NATURAL language processing, ACQUISITION of data, EARTHQUAKE resistant design

Leveraging Open-Source Big Data Tools to Enhance the Attractiveness of Public Transport: A Proposed Application.

Autoři: Frelek, Emilia U. Czarnacka-Chrobot, Beata

Zdroj: e-mentor; 2025, Vol. 110 Issue 3, p51-62, 12p

Témata: BIG data, PUBLIC transit, DATA analysis, TRAFFIC congestion, URBAN life, DATA visualization, OPEN source software

Geografický termín: POLAND, WARSAW (Poland)

MATHEMATICAL METHODS FOR IMAGE PROCESSING AND MATHEMATICAL MODELING.

Autoři: ŽDÍMALOVÁ, MÁRIA VRÁBEL, MARIÁN BORATKOVÁ, KRISTÍNA

Zdroj: Matematichki Bilten. Bulletin Mathématique de la Société des Mathématiciens de la République de Macédoine; 2023, Vol. 47 Issue 1, p63-84, 22p

Témata: IMAGE processing, IMAGE analysis, CIVIL engineering, IMAGE segmentation, SOFTWARE development tools

Life-Cycle Performance of Structures and Infrastructure Systems in Diverse Environments

Autoři: Chun-Qing Li Dan M. Frangopol

Resource Type: eBook.

Témata: Engineering systems--Congresses, Civil engineering--Congresses, Sustainable engineering--Congresses

Categories: TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / General