Search Results - (((programové OR programm) OR programovací) OR programovanie) system informally*

Distribution System Operation: Flexibility Services

Authors: Avinash Aithal Andrew Wainwright Steve Atkins

Resource Type: eBook.

Subjects: Renewable energy sources, Mathematical optimization, Electric power distribution, Power resources

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

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

Authors: Stephanie Weirich

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

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

Systems, Smart Technologies, and Innovation for Society

Authors: Esteban Mauricio Inga Ortega Nuria García Herranz Vladimir Espartaco Robles-Bykbaev et al.

Resource Type: eBook.

Subjects: Artificial intelligence--Industrial applications--Congresses, Technological innovations--Congresses, Artificial intelligence, Computational intelligence

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Arab Media Systems

Authors: Carola Richter Claudia Kozman

Resource Type: eBook.

Subjects: Press--Arab countries, Mass media--Arab countries, Journalism--Arab countries, Journalism

Categories: SOCIAL SCIENCE / Media Studies, HISTORY / Middle East / General

“I wish I had known from start but somehow had to learn hard way”: reflections on their integrated care journey

Authors: Contel Segura, Juan Carlos Zabala Rementeria, Igor

Source: International Journal of Integrated Care; Vol. 25 (2025): 24th International Conference on Integrated Care, Belfast –22-24 April 2024; 369 ; 1568-4156

File Description: application/pdf

Relation: https://account.ijic.org/index.php/up-j-ijic/article/view/9757/10547

Availability: https://account.ijic.org/index.php/up-j-ijic/article/view/9757
https://doi.org/10.5334/ijic.ICIC24570

Vaccination Programmes : Epidemiology, Monitoring, Evaluation

Authors: Susan Hahné Kaatje Bollaerts Paddy Farrington

Resource Type: eBook.

Subjects: Evaluation, Vaccines, Vaccination, Monitoring, Epidemiology

Categories: MEDICAL / Public Health, MEDICAL / Infectious Diseases, MEDICAL / Health Care Delivery, SOCIAL SCIENCE / Social Work

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 I

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

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

Proofs and Research Programmes: Lakatos at 100

Authors: Roman Frigg J. McKenzie Alexander Laurenz Hudetz et al.

Resource Type: eBook.

Subjects: Science--History, Science--Philosophy, Mathematics--Philosophy, Analysis (Philosophy)

Categories: SCIENCE / Philosophy & Social Aspects

Civil Society and Social Movements in Food System Governance

Authors: Peter Andrée Jill K. Clark Charles Z. Levkoe et al.

Resource Type: eBook.

Subjects: Food security--Canada, Food supply--Canada, Civil society--Canada, Social movements--Canada

Categories: NATURE / Ecology, POLITICAL SCIENCE / Public Policy / Environmental Policy, SCIENCE / Environmental Science

Urban Food Systems Governance and Poverty in African Cities

Authors: Jane Battersby Vanessa Watson

Resource Type: eBook.

Subjects: Food supply--Government policy--Africa, Sub-Saharan, Food security--Africa, Sub-Saharan, Urbanization--Africa, Sub-Saharan, Poverty--Africa, Sub-Saharan

Categories: SOCIAL SCIENCE / Sociology / Urban, NATURE / Ecology

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 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

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

Authors: Chun-Qing Li Dan M. Frangopol

Resource Type: eBook.

Subjects: Engineering systems--Congresses, Civil engineering--Congresses, Sustainable engineering--Congresses

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

Approximate constrained lumping of chemical reaction networks.

Authors: Leguizamon-Robayo, Alexander Jiménez-Pastor, Antonio Tribastone, Micro et al.

Source: Proceedings of the Royal Society A: Mathematical, Physical & Engineering Sciences; 7/1/2025, Vol. 481 Issue 2317, p1-27, 27p

Subject Terms: NONLINEAR differential equations, REDUCED-order models, HEURISTIC algorithms, DYNAMIC models, CHEMICAL systems, THERMODYNAMIC state variables, DEPENDENT variables

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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 I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Youth Employment Programmes in Africa

Authors: Ramos E. Mabugu Lucas Ronconi

Resource Type: eBook.

Subjects: Manpower policy--Africa, Sub-Saharan, Economic policy, Youth--Employment--Africa, Sub-Saharan

Categories: SOCIAL SCIENCE / Cultural & Ethnic Studies / African Studies, BUSINESS & ECONOMICS / Development / Business Development, BUSINESS & ECONOMICS / Development / Economic Development

Proceedings of the International Conference on Advanced Research in Electronics and Communication Systems (ICARECS 2025)

Authors: A. Shirly Edward Rahul Krishnan P. Nagarajan et al.

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Electronics / General

Knowledge System Development : Insights From Indonesia and International Applications

Authors: Jana C. Hertz Primatia Romana Wulandari Budiati Prasetiamartati

Resource Type: eBook.

Subjects: Knowledge, Theory of

Categories: SOCIAL SCIENCE / Developing & Emerging Countries

Transforming Food Systems: Ethics, Innovation and Responsibility

Authors: Donald Bruce Ann Bruce

Resource Type: eBook.

Subjects: Sustainable agriculture--Congresses, Food supply--Moral and ethical aspects--Congresses, Animal welfare--Congresses

Categories: SOCIAL SCIENCE / Agriculture & Food

In island containment: a qualitative exploration of social support systems among asylum seekers in a mental health care programme on Lesvos Island, Greece

Authors: Episkopou, Maria Venables, Emilie Whitehouse, Katherine et al.

Subject Terms: Social support, Qualitative research, Operational research, Migrants, Asylum seekers, Containment, Isolation

File Description: application/pdf

Relation: https://hdl.handle.net/11427/30685

Availability: https://hdl.handle.net/11427/30685
https://doi.org/10.1186/s13031-019-0218-9

Compositional verification of priority systems using sharp bisimulation.

Authors: Di Stefano, Luca Lang, Frédéric

Source: Formal Methods in System Design; Jun2024, Vol. 62 Issue 1-3, p1-40, 40p

Subject Terms: BISIMULATION, COMPOSITION operators, ORTHOGONAL systems, SOFTWARE development tools