archive.unimas.my
FCSIT Official Web Portal - Home
http://www.archive.unimas.my/faculties/fcsit
Saturday, 18 Mar 2017. Vision and Mission Statement. Read more on our Core Research Areas here. Network Research Group (AUA). Software Engineering Group (SEW). Knowledge Technology Group (KT). Knowledge Mngmt Tech. Platform (KT). Knowledge Mngmt Enablers (SIC). Computing and Software Engineering. Computational Science and Mathematics. Computer Systems and Communication Technologies. View our Joint Collaborators here. View All Staff by Names. Department of Information Systems. ICT has among best-paying jo...
batusai575.blogspot.com
Welcome!: May 2009
http://batusai575.blogspot.com/2009_05_01_archive.html
Http:/ www.reviews.com/. Publishes reviews on current publications in any area of the computing sciences. Http:/ lists.webjunction.org/currentcites/. A monthly selection of annotated citations of current literature in information technology. Searchable online and available by email. Lecture Notes in Computer Science. Http:/ www.springer.com/computer/lncs? A volume series which publishes workshop and conference proceedings as well as monographs in computer science and its subfields. LMS Journal of Computa...
cybermilitantism.blogspot.com
Global militantism and New Media: the Wikileaks case: Bibliography
http://cybermilitantism.blogspot.com/2010/09/bibliography.html
Global militantism and New Media: the Wikileaks case. Thesis done. It will be posted in its entirety -and in French - on this blog. Samedi 4 septembre 2010. Eddie Eulogy: General Nguyen Ngoc Loán . Time. 27 juillet 1998. Disponible sur:. Http:/ www.time.com/. Dernière consultation: 31 mai 2010]. AFTERGOOD, Steven. Entretien avec l’auteur. AGUITON, Christophe, CARDON, Dominique. The Strength of Weak Cooperation: An attempt to Understand the Meaning of Web2.0. 1er trimestre 2007, n°65. p. 51. Santa Monica:...
brucker.ch
The HOL-Z home page.
https://www.brucker.ch/projects/hol-z
Version 3.0 (beta). Page currently under construction! Welcome to the Isabelle/ HOL-Z. Contents of this page:. What is Isabelle/ HOL-Z 3.0. Is a proof environment for Z. Built as plug-in of the generic theorem prover Isabelle/HOL. Version 2005). It allows for importing Z specifications written in LaTeX and type-checked by the Java-based ZeTa. System. HOL-Z then allows for the formal analysis of such specifications, i.e. by. Proving the conjectures stated in the specfication,. Can be extended in a logical...
cesei.wordpress.com
Segunda Llamada SIIE 2012 | El Blog del Capítulo Español de la Sociedad de la Educación del IEEE
https://cesei.wordpress.com/2012/04/23/segunda-llamada-siie-2012
El Blog del Capítulo Español de la Sociedad de la Educación del IEEE. Capítulo Español de la Sociedad de la Educación del IEEE. Segunda Llamada SIIE 2012. Segunda llamada de trabajos del XIV Simposio Internacional de Informática Educativa, SIIE 2012. Hacia un aprendizaje social efectivo). Andorra La Vella, Principado de Andorra. 29-31 de Octubre de 2012. Http:/ siie12.uols.org/. Asociación para el Desarrollo de la Informática Educativa (ADIE). La Salle Open University. La decimocuarta edición de este Sim...
jmalcaraz.com
Journals | Jose M. Alcaraz Calero
http://jmalcaraz.com/journals
Jose M. Alcaraz Calero. University of the West of Scotland. R D Projects and Contracts. Editorship & Chairman. Patents & Software. Footnotes available in each article. Juan Gutierrez Aguado, Jose M. Alcaraz Calero, Wladimiro Diaz Villanueva. IaaSMon: Monitoring Architecture for Public Cloud Computing Data Centers. Journal of Grid Computing. International Journal of Distributed Sensor Networks. Hindawi. Vol. 2016, pp. 15, Jan 2016. International Journal of Distributed Sensor Networks. Jose M. Alcaraz ...
theran.lt
Graded sparse graphs and matroids
http://theran.lt/papers/j001-graded.html
Graded sparse graphs and matroids. Journal of Universal Computer Science.
ghomari.esi.dz
Appels à communications - GHOMARI Abdessamed Réda
http://ghomari.esi.dz/Annonces/messagesanstitre
Rechercher dans ce site. Introdution aux théories des Organisations. TIC dans les organisations. Communication et dynamique de groupe. Préparation à la recherche scientifique. Capsules vidéos Culture générale. Galerie Photos souvenirs INI, ESI. Beautés de notre pays. Publié le 29 avr. 2011 à 13:18. Par GHOMARI Abdessamad Réda [ mis à jour : 22 juil. 2016 à 00:50. International Workshop for Data Science and Computing (. Http:/ www.dsc16.net/. Held in paralel with. November 29th to December 2nd, 2016.
korrekt.org
Activities - korrekt.org
http://www.korrekt.org/page/Activities
Below is an overview of my. Including event organisation, reviewing, and invited talks. My current main activities beyond research. Lead developer of Semantic MediaWiki. Co-developer of the ELK Reasoner. President of the Open Semantic Data Association e.V. Member of the new. W3C Web Ontology Language (OWL). Working group (as of 2012, it still exists, dormant, waiting for XML Schema to finish). Former member of W3C Rule Interchange Format. Maintainer of semanticweb.org. The Semantic Web community portal.