المؤلفون: Accattoli, Beniamino, Wu, Jui-Hsuan

المساهمون: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)

المصدر: https://hal.science/hal-04606194Test ; 2024.

مصطلحات موضوعية: λ-calculus, sharing, focusing, reasonable cost models, [INFO]Computer Science [cs]

العلاقة: hal-04606194; https://hal.science/hal-04606194Test; https://hal.science/hal-04606194/documentTest; https://hal.science/hal-04606194/file/main.pdfTest

الإتاحة: https://hal.science/hal-04606194Test
https://hal.science/hal-04606194/documentTest
https://hal.science/hal-04606194/file/main.pdfTest

المؤلفون: Josu Aguirre, Natàlia Padilla, Selen Özkan, Casandra Riera, Lídia Feliubadaló, Xavier de la Cruz

المصدر: International Journal of Molecular Sciences, Vol 24, Iss 14, p 11872 (2023)

مصطلحات موضوعية: clinical variant interpretation, molecular diagnostics, cost models, personalized medicine, in silico tools, pathogenicity prediction, Biology (General), QH301-705.5, Chemistry, QD1-999

العلاقة: https://www.mdpi.com/1422-0067/24/14/11872Test; https://doaj.org/toc/1661-6596Test; https://doaj.org/toc/1422-0067Test; https://doaj.org/article/2c417bdf193e4cc0be714d0f9ec0186aTest

الإتاحة: https://doi.org/10.3390/ijms241411872Test
https://doaj.org/article/2c417bdf193e4cc0be714d0f9ec0186aTest

المؤلفون: Claude Klöckl, Katharina Gruber, Peter Regner, Sebastian Wehrle, Johannes Schmidt

المصدر: Examples and Counterexamples, Vol 2, Iss , Pp 100059- (2022)

مصطلحات موضوعية: Renewable energy, Wind turbine, Cost models, Regression models, Wind turbine cost, LCOE, Mathematics, QA1-939

وصف الملف: electronic resource

العلاقة: http://www.sciencedirect.com/science/article/pii/S2666657X22000064Test; https://doaj.org/toc/2666-657XTest

الوصول الحر: https://doaj.org/article/ada1b3f4cafe4c4a907f83d5188e1f99Test

المؤلفون: A. A. Aksentev

المصدر: Вестник университета, Vol 0, Iss 11, Pp 94-102 (2022)

مصطلحات موضوعية: road cargo transportation, freight transportation, pricing, competitiveness, transport logistics, price factors, cost models, profitability, Sociology (General), HM401-1281, Economics as a science, HB71-74

وصف الملف: electronic resource

العلاقة: https://vestnik.guu.ru/jour/article/view/3206Test; https://doaj.org/toc/1816-4277Test; https://doaj.org/toc/2686-8415Test

الوصول الحر: https://doaj.org/article/ab8888ed86f64a029e1ce7aa3eb7e3b3Test

المؤلفون: Castro, David

المساهمون: Hammond, Kevin

مصطلحات موضوعية: 005.3, Parallel computing, Algorithmic skeletons, Structured recursion, Hylomorphisms, Type and effect systems, Cost models, QA76.642C2, Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification, Parallel programs (Computer programs)--Costs

الوصول الحر: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.759337Test

المؤلفون: Accattoli, Beniamino, Leberle, Maico

المساهمون: Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic ; https://inria.hal.science/hal-03912452Test ; CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Gottingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.4⟩

مصطلحات موضوعية: lambda calculus, call-by-need, operational semantics, sharing, cost models, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Gottingen, Germany

العلاقة: hal-03912452; https://inria.hal.science/hal-03912452Test; https://inria.hal.science/hal-03912452/documentTest; https://inria.hal.science/hal-03912452/file/LIPIcs-CSL-2022-4.pdfTest

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2022.4Test
https://inria.hal.science/hal-03912452Test
https://inria.hal.science/hal-03912452/documentTest
https://inria.hal.science/hal-03912452/file/LIPIcs-CSL-2022-4.pdfTest

المؤلفون: Dalia T. Abdul-hamied, Abdullah M. Shaheen, Waleed A. Salem, Walaa I. Gabr, Ragab A. El-sehiemy

المصدر: Alexandria Engineering Journal, Vol 59, Iss 6, Pp 4787-4803 (2020)

مصطلحات موضوعية: Hybrid AC/DC power systems, Optimal power flow, Fuel cost models, Emissions, Equilibrium optimization, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

العلاقة: http://www.sciencedirect.com/science/article/pii/S1110016820304294Test; https://doaj.org/toc/1110-0168Test

الوصول الحر: https://doaj.org/article/69c38a8bafb34e4aa208a8b2de400bfcTest

المؤلفون: Niu, Yue, Sterling, Jonathan, Grodin, Harrison, Harper, Robert

المصدر: Niu , Y , Sterling , J , Grodin , H & Harper , R 2022 , ' A cost-Aware logical framework ' , Proceedings of the ACM on Programming Languages , vol. 6 , no. POPL , 3498670 . https://doi.org/10.1145/3498670Test

مصطلحات موضوعية: algorithm analysis, amortized analysis, behavioral verification, cost models, equational reasoning, intensional property, mechanized proof, modal type theory, noninterference, parallel algorithms, phase distinction, proof assistants, recurrence relations

وصف الملف: application/pdf

العلاقة: https://pure.au.dk/portal/da/publications/a-costaware-logical-frameworkTest(3a2a7068-7dcb-49a4-9e0a-6467a259423e).html

الإتاحة: https://doi.org/10.1145/3498670Test
https://pure.au.dk/portal/da/publications/a-costaware-logical-frameworkTest(3a2a7068-7dcb-49a4-9e0a-6467a259423e).html
https://pure.au.dk/ws/files/355608889/3498670.pdfTest
http://www.scopus.com/inward/record.url?scp=85123222280&partnerID=8YFLogxKTest

المؤلفون: Ramírez Ramírez, Yesica Mayerly, Castillo Lozano, Claudia Carolina

المساهمون: Vera Soto, Mauricio Javier

مصطلحات موضوعية: Costos de accidentes de trabajo, Costos de enfermedades laborales, Industria panificadora, Modelos de costos, Seguridad y salud en el trabajo, Especialización en Higiene, Seguridad y Salud en el Trabajo - Tesis y disertaciones académicas, Control de costos - Colombia - 2016-2018, Salud ocupacional - Colombia - 2016-2018, Accidentes de trabajo - Colombia - 2016-2018, Riesgos profesionales - Colombia - 2016-2018, Trabajadores - Enfermedades - Colombia - 2016-2018, Panadería - Colombia - 2016-2018, Costs of workplace accidents, Costs of occupational diseases, Bakery industry, Cost models, Occupational health and safety

وصف الملف: pdf; application/pdf

العلاقة: http://hdl.handle.net/11349/28546Test

الإتاحة: http://hdl.handle.net/11349/28546Test

المؤلفون: Kamrul Hasan, Sachin Shetty, Md. Ullah, Amin Hassanzadeh, Tariqul Islam

المصدر: EAI Endorsed Transactions on Security and Safety, Vol 8, Iss 28 (2021)

مصطلحات موضوعية: cyber defense, criticality, energy delivery systems, attack graph, cost models, Technology

وصف الملف: electronic resource

العلاقة: https://eudl.eu/pdf/10.4108/eai.10-9-2021.170949Test; https://doaj.org/toc/2032-9393Test

الوصول الحر: https://doaj.org/article/fbcaf51dddf94ed9b86cd56debb47851Test