Výsledky vyhľadávania - Verification. Keywords compositional programming

Advanced Linearization Methods for Efficient and Accurate Compositional Reservoir Simulations.

Autori: Asif, Ali Abd, Abdul Salam Abushaikha, Ahmad

Zdroj: Computation; Aug2025, Vol. 13 Issue 8, p191, 24p

Predmety: MULTIPHASE flow, NONLINEAR equations, PARALLEL programming, LINEAR statistical models, CARBON dioxide injection, FLOW simulations, PETROLEUM production, COMPARATIVE studies

Proving expected sensitivity of probabilistic programs

Autori: Barthe, Gilles Espitau, Thomas Grégoire, Benjamin a ďalší

Prispievatelia: Barthe, Gilles Espitau, Thomas Grégoire, Benjamin a ďalší

Zdroj: Proceedings of the ACM on Programming Languages

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer Science - Programming Languages, Additional Key Words and Phrases: Program sensitivity, Program analysis, 02 engineering and technology, 16. Peace & justice, CCS Concepts: • Theory of computation → Pre-and post-conditions, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), Program verification, Kantorovich distance ACM Reference Format, 0202 electrical engineering, electronic engineering, information engineering, relational program logics, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://dl.acm.org/ft_gateway.cfm?id=3158145&type=pdf
http://arxiv.org/abs/1708.02537
https://hal.science/hal-01959322v1/document
https://doi.org/10.1145/3158145
https://hal.science/hal-01959322v1
https://arxiv.org/pdf/1708.02537.pdf
https://ui.adsabs.harvard.edu/abs/2017arXiv170802537B/abstract
https://arxiv.org/abs/1708.02537
https://core.ac.uk/display/86419347
https://arxiv.org/abs/1708.02537
http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BartheEGHS18
https://dl.acm.org/doi/10.1145/3158145
https://hal.archives-ouvertes.fr/hal-01959322
https://dl.acm.org/doi/pdf/10.1145/3158145
https://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-02537

Physiological Barriers to Nucleic Acid Therapeutics and Engineering Strategies for Lipid Nanoparticle Design, Optimization, and Clinical Translation.

Autori: Kim, Yerim Park, Jisu Choi, Jaewon a ďalší

Zdroj: Pharmaceutics; Oct2025, Vol. 17 Issue 10, p1309, 36p

Predmety: NANOCARRIERS, GENE delivery techniques, THERAPEUTICS, TRANSLATIONAL research, IMMUNOREGULATION, CATIONIC lipids

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Autori: Isil Dillig Serdar Tasiran

Typ zdroja: eBook.

Predmet: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Autori: Hana Chockler Georg Weissenbacher

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

General Terms

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utexas.edu/ftp/pub/techreports/tr06-33.pdf.

Predmety: Design, Languages, Verification. Keywords compositional programming, program synthesis, SAT solvers, features

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2546

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2546
http://www.cs.utexas.edu/ftp/pub/techreports/tr06-33.pdf

Safe composition of product lines

Autori: Sahil Thaker Don Batory David Kitchin a ďalší

Prispievatelia: Sahil Thaker Don Batory David Kitchin a ďalší

Zdroj: http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf.

Predmety: Design, Languages, Verification. Keywords compositional programming, product lines, SAT solvers, features

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2252; http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2252
http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf

Compositional Verification of Events and Observers (Summary)

Autori: Cynthia Disenfeld Shmuel Katz The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Cynthia Disenfeld Shmuel Katz The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecs.ucf.edu/%7Eleavens/FOAL/papers-2011/Disenfeld-Katz-a4.pdf.

Predmety: Languages, Verification Keywords Events, Observer Aspects, Verification, Composition

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.193.7751

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.193.7751
http://www.eecs.ucf.edu/%7Eleavens/FOAL/papers-2011/Disenfeld-Katz-a4.pdf

Compositional deadlock detection for rendezvous communication

Autori: Baolin Shao Nalini Vasudevan Stephen A. Edwards a ďalší

Prispievatelia: Baolin Shao Nalini Vasudevan Stephen A. Edwards a ďalší

Zdroj: http://www.cs.columbia.edu/~naliniv/papers/2009-emsoft-shim.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Verification Keywords SHIM, concurrency, static analysis, deadlock, divide-and-conquer

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8441

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8441
http://www.cs.columbia.edu/~naliniv/papers/2009-emsoft-shim.pdf

Local reasoning for abstraction and sharing

Autori: Renato Cherini Javier O. Blanco The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Renato Cherini Javier O. Blanco The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf.

Predmety: Categories and Subject Descriptors D.1.4 [Programming Techniques, Sequential Program- ming, D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, D.2.4 [Software En- gineering, Software/Program Verification—Validation, Formal methods, Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Constraints, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Reliability, Verification Keywords separation logic

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.565.6420; http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.565.6420
http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf

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

Autori: Stephanie Weirich

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autori: Amal Ahmed

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Design Patterns for Large Language Model Based Neuro-Symbolic Systems.

Autori: de Boer, Maaike Smit, Quirine van Bekkum, Michael a ďalší

Zdroj: Neurosymbolic Artificial Intelligence; 9/29/2025, Vol. 1, p1-20, 20p

Does the Composition of Breast Milk in the First Week Postpartum Differ Due to Maternal Factors or Neonatal Birth Weight and Percent Fat Body Mass?

Autori: Karcz, Karolina Gaweł, Paulina Królak-Olejnik, Barbara

Zdroj: Nutrients. Oct2024, Vol. 16 Issue 19, p3310. 11p.

Towards a Compositional SPIN

Autori: Pasareanu, Corina S Giannakopoulou, Dimitra

Predmety: Computer Programming And Software

Prístupová URL adresa: https://ntrs.nasa.gov/citations/20060020115

Towards a Compositional SPIN.

Autori: Valmari, Antti Păsăreanu, Corina S. Giannakopoulou, Dimitra

Zdroj: Model Checking Software (9783540331025). 2006, p234-251. 18p.

The Alterations in the Osteoimmune Microenvironment of STZ-Induced Type 2 Diabetic Mice:A Single-Cell RNA Sequencing Analysis.

Autori: Han, Ke Yan, Shuang G Liu, Fanxiao a ďalší

Zdroj: Journal of Inflammation Research; Nov2025, Vol. 18, p15309-15327, 19p

Predmety: TYPE 2 diabetes, RNA sequencing, GENE expression profiling, LYMPHOCYTE subsets, THERAPEUTICS, CELLULAR immunity, BONE marrow cells

Bioprinting revolution: Innovative design of 3D bioactive scaffolds for living organs and transdermal tissues.

Autori: Yücer, Seydanur Sarac, Begüm Ciftci, Fatih

Zdroj: Bioengineering & Translational Medicine; Nov2025, Vol. 10 Issue 6, p1-55, 55p

Predmety: BIOPRINTING, REGENERATIVE medicine, ORGANS (Anatomy), REGENERATION (Biology), DRUG delivery systems, TRANSDERMAL medication, BIOMIMETIC materials, WOUND healing

Lipidomics Techniques Revealed the Adipogenic Differentiation Mechanism of Bovine Adipose-Derived Neural Crest Stem Cells.

Autori: Zhang, Kai Liang, Zhaotong Ding, Yilin a ďalší

Zdroj: Animals (2076-2615); Nov2025, Vol. 15 Issue 21, p3191, 17p

Predmety: ADIPOGENESIS, LIPIDOMICS, MEMBRANE lipids, LIPID metabolism, TRIGLYCERIDES, STEM cells, METABOLIC disorders

ISEV2025 Abstract Book.

Zdroj: Journal of Extracellular Vesicles; Oct2025 Supplement 1, Vol. 14, p1-555, 555p