Modeling systems in CLP

Modeling systems in CLP

Lecture Notes in Computer Science

Saved in:

書目詳細資料
Main Authors:	Jaffar, J., Santosa, A.E., Voicu, R.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/40660
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

An interpolation method for CLP traversal
由: Jaffar, J., et al.
出版: (2013)

A CLP method for compositional and intermittent predicate abstraction
由: Jaffar, J., et al.
出版: (2013)

A CLP proof method for timed automata
由: Jaffar, J., et al.
出版: (2013)

A CLP approach to modelling systems
由: Jaffar, J.
出版: (2013)

Relative safety
由: Jaffar, J., et al.
出版: (2013)

Efficient memoization for dynamic programming with ad-hoc constraints
由: Jaffar, J., et al.
出版: (2013)

A coinduction rule for entailment of recursively defined properties
由: Jaffar, J., et al.
出版: (2013)

Optimizing compilation of CLP(R)
由: Kelly, A.D., et al.
出版: (2014)

Meta-programming in CLP(ℛ)
由: Heintze, N., et al.
出版: (2014)

Peran Kadar HLA-C Pada Penderita CLP (Cleft Lip And Palate) di CLP Center Surabaya
由: Faizah Hanum, -
出版: (2019)

HM(X) type inference is CLP(X) solving
由: Sulzmann, M., et al.
出版: (2013)

Recursive abstractions for parameterized systems
由: Jaffar, J., et al.
出版: (2013)

PERBANDINGAN SEFALOMETRI JARINGAN LUNAK PADA KELAS I SKELETAL DENGAN POST OPERASI PENDERITA CLP UNILATERAL DAN PENDERITA CLP BILATERAL (Studi Analisis Sefalometri)
由: ARDAN FITRIANTO, 021518066311
出版: (2019)

Gold nanoparticles in CLP model and mechanism in bone marrows derived macrophages cell for sepsis severity attenuation
由: Sujittra Taratummarat
出版: (2017)

Effective reduction of truncated expression of gloshedobin in Escherichia coli using molecular chaperone ClpB
由: Nian, R., et al.
出版: (2014)

Folding-like-refolding of heat-denatured MDH using unpurified ClpB and DnaKJE
由: Nian, R., et al.
出版: (2014)

Mycobacterium tuberculosis ClpC1: A potential target for tuberculosis drug discovery
由: RIWANTO MELIANA
出版: (2011)

The N-terminal zinc binding domain of ClpX is a dimerization domain that modulates the chaperone function
由: Wojtyra, U. A., et al.
出版: (2013)

Towards selective mycobacterial ClpP1P2 inhibitors with reduced activity against the human proteasome
由: Moreira, W, et al.
出版: (2020)

Framework for combining analysis and verification
由: Heintze, N., et al.
出版: (2013)

Synergistic coordination of polyethylene glycol with ClpB/DnaKJE bichaperone for refolding of heat-denatured malate dehydrogenase
由: Nian, R., et al.
出版: (2014)

Missense mutations in the unfoldase ClpC1 of the caseinolytic protease complex are associated with pyrazinamide resistance in Mycobacterium tuberculosis
由: Yee, M, et al.
出版: (2020)

Unbounded symbolic execution for program verification
由: Jaffar, J., et al.
出版: (2013)

Xanthomonas campestris cell-cell communication involves a putative nucleotide receptor protein Clp and a hierarchical signalling network
由: He, Y.-W., et al.
出版: (2014)

The cyclic nucleotide monophosphate domain of Xanthomonas campestris global regulator Clp defines a new class of cyclic di-GMP effectors
由: Tao, F., et al.
出版: (2014)

TRACER: A symbolic execution tool for verification
由: Jaffar, J., et al.
出版: (2013)

VARIASI LETAK CELAH PADA PENDERITA CELAH BIBIR DAN LANGIT-LANGIT DI CLP CENTER SURABAYA PADA BULAN JULI 2013-2018
由: SHANTYA REZTIKA HERMANTO
出版: (2019)

VARIASI CELAH BIBIR DAN/ATAU PALATUM NONSINDROMIK DI YAYASAN SURABAYA CLP CENTER (Analisis Kuantitatif Data Pasien di Tahun 2017)
由: GHINA WIDYA PERMATASARI, 021511133135
出版: (2018)

Scalable distributed depth-first search with greedy work stealing
由: Jaffar, J., et al.
出版: (2013)

PROFIL BAKTERI NON SPESIFIK DALAM SALURAN REPRODUKSI SAPI PERAH YANG MENGALAMI CORPUS LUTEUM PERSISTEN (CLP) DI KUD TANI WILIS KECAMATAN SENDANG KABUPATEN TULUNGAGUNG
由: CIPTADI ARIF WICAKSONO, 061511133229
出版: (2019)

Declarative concurrency in Java
由: Ramirez, R., et al.
出版: (2013)

A framework for separation of concerns in concurrent programming
由: Ramirez, R., et al.
出版: (2013)

Formal verification of concurrent and distributed constraint-based java programs
由: Ramirez, R., et al.
出版: (2013)

Progressive program reasoning
由: RAZVAN VOICU
出版: (2010)

PENGARUH PEMBERIAN ORAL HYGIENE DENGAN MEDIA PROPOLIS TERHADAP KEJADIAN INFEKSI PADA ANAK POST OPERASI LABIOLPLASTY DAN PALATOPLASTY DI KLINIK UMM MEDICAL CENTRE CLP CENTRE FAKULTAS KEDOKTERAN UNIVERSITAS MUHAMMADIYAH MALANG
由: Grandis Dwi Kardiansyah, 131411123037
出版: (2016)

Language-Based Program Verification via Expressive Types
由: Sulzmann, M., et al.
出版: (2013)

Using constraints to model disjunctions in rule-based reasoning
由: Liu, Bing, et al.
出版: (2014)

Architecture and prototype implementation of a system for individualized workflows in medical information systems
由: Jaffar, Joxan, et al.
出版: (2013)

Building project data management system
由: Chen, Wan Hsiang., et al.
出版: (2011)

An efficient distributed deadlock avoidance algorithm for the AND model
由: Wu, H., et al.
出版: (2013)