Kolyang

21 papers B 1Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2023 — conf
Culture Ontology to Enhance Social Cohesion.
AFRICOMM (2)
Abdoul Azize Kindo, Gaoussou Camara, Sadouanouan Malo, Guidedi Kaladzavi, Théodore Marie Yves Tapsoba, Kolyang
2023 J jnl
Cyber-Physical Urban Mobility Systems: Opportunities and Challenges in Developing Countries.
Int. J. Softw. Innov.
Dénis Awé Samalna, Justin Moskolai Ngossaha, Ado Adamou Abba Ari, Kolyang
2023 — conf
How to Handle Fuzzy Aspects in African Sociocultural Ontology.
ISAmI
Abdoul Azize Kindo, Sadouanouan Malo, Gaoussou Camara, Guidedi Kaladzavi, Théodore Marie Yves Tapsoba, Kolyang
2023 — conf
Towards an architectural framework for the design of a Cyber-Physical Urban Mobility System in Developing Countries.
ANT/EDI40
Dénis Awé Samalna, Justin Moskolai Ngossaha, Igor Tchappi, Ado Adamou Abba Ari, Kolyang, Amro Najjar
2022 — conf
A Comparative Study of Deep Learning and CA-Markov Methods for Land Use / Land Cover Change Prediction.
SITIS
Waytehad Moskolaï, Wahabou Abdou, Albert Dipanda, Kolyang
2022 J jnl
Control points deployment in an Intelligent Transportation System for monitoring inter-urban network roadway.
J. King Saud Univ. Comput. Inf. Sci.
Martin Luther Mfenjou, Ado Adamou Abba Ari, Arouna Ndam Njoya, David Jaurès Fotsa-Mbogne, Kolyang, Wahabou Abdou, François Spies
2021 J jnl
Application of Deep Learning Architectures for Satellite Image Time Series Prediction: A Review.
Remote. Sens.
Waytehad Moskolaï, Wahabou Abdou, Albert Dipanda, Kolyang
2019 J jnl
A Reinforcement Learning Based Intercell Interference Coordination in LTE Networks.
Future Internet
Djorwé Témoa, Anna Förster, Kolyang, Serge Doka Yamigno
2019 J jnl
Ontologies-based Architecture for Sociocultural Knowledge Co-Construction Systems.
CoRR
Guidedi Kaladzavi, Papa Fary Diallo, Cedric Béré, Olivier Corby, Isabelle Mirbel, Moussa Lo, Kolyang
2018 J jnl
Methodology and trends for an intelligent transport system in developing countries.
Sustain. Comput. Informatics Syst.
Martin Luther Mfenjou, Ado Adamou Abba Ari, Wahabou Abdou, François Spies, Kolyang
2017 J jnl
Two-sources randomness extractors in finite fields and in elliptic curves [Extracteur aléatoires multi-sources sur les corps finis et les courbes elliptiques].
ARIMA J.
Hortense Boudjou Tchapgnouo, Abdoul Aziz Ciss, Djiby Sow, Kolyang
2015 J jnl
OntoSOC: Sociocultural Knowledge Ontology.
CoRR
Guidedi Kaladzavi, Papa Fary Diallo, Kolyang, Moussa Lo
2006 — conf
E-Learning in Cameroon: Stand and Perspectives.
DeLFI
Kolyang
2005 — conf
Enhancing Environmental Management and Protection in the Lake Chad Basin Through Computing Science.
ITEE
Kolyang, Paul Dayang
1999 B conf
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.
FASE
Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner
1998 — conf
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.
ZUM
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
1998 — conf
Tool Integration in the UniForM-Workbench.
Tool Support for System Specification, Development and Verification
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
1997 — conf
Static semantic analysis and theorem proving for CASL.
WADT
Till Mossakowski, Kolyang, Bernd Krieg-Brückner
1997 — conf
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
TAPSOFT
Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
1996 — conf
A Structure Preserving Encoding of Z in Isabelle/HOL.
TPHOLs
Kolyang, Thomas Santen, Burkhart Wolff
1996 — conf
Correct and User-Friendly Implementations of Transformation Systems.
FME
Kolyang, Thomas Santen, Burkhart Wolff