Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Provably correct graph transformations with small-tALC

Subjects: Programming language semantics; Tableau calculus; Description logicLviv; Ukraine

  • Source: ICTERI 2015 : Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration,

تفاصيل العنوان

×
Conference

Abstracting an Operational Semantics to Finite Automata

Subjects: Verification; Formal methods; AbstractionLviv; Ukraine

  • Source: Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI

تفاصيل العنوان

×
Academic Journal

Pyrolysis temperature dependence of sodium storage mechanism in non-graphitizing carbons

Subjects: Hard carbon; Sodium-ion battery; SAXS

  • Source: ISSN: 0008-6223 ; Carbon ; https://u-picardie.hal.science/hal-04082075 ; Carbon, 2023, 208, pp.216-226. ⟨10.1016/j.carbon.2023.03.055⟩.

تفاصيل العنوان

×
Academic Journal

CD44v3 is a marker of invasive cancer stem cells driving metastasis in gastric carcinoma

Subjects: CD44 variant; Cancer stem cells; Epithelial-mesenchymal transition

  • Source: ISSN: 1436-3291 ; Gastric Cancer ; https://hal.inrae.fr/hal-03908191 ; Gastric Cancer, In press, 26 (2), pp.234-249. ⟨10.1007/s10120-022-01357-y⟩.

تفاصيل العنوان

×
  • 1-10 of  50 نتائج ل ""Education--Research""