Results 41 to 50 of about 84,856 (222)
Towards MKM in the Large: Modular Representation and Scalable Software Architecture [PDF]
, 2010 MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". We contend that advances in two areas
Kohlhase, Michael +2 more
core +2 more sources
New features and improvements in the NEA nuclear data tool suite [PDF]
EPJ Web of Conferences, 2020 The OECD Nuclear Energy Agency (NEA) has developed and maintains several products that are used in the verification and validation of nuclear data, including the Java-based Nuclear Data Information System (JANIS) and the Nuclear Data Sensitivity Tool ...
Fleming M. +5 more
doaj +1 more source
Efficient incremental validation of XML documents [PDF]
Proceedings. 20th International Conference on Data Engineering, 2004 We discuss incremental validation of XML documents with respect to DTDs and XML schema definitions. We consider insertions and deletions of subtrees, as opposed to leaf nodes only, and we also consider the validation of ID and IDREF attributes. For arbitrary schemas, we give a worst-case n log n time and linear space algorithm, and show that it often ...
D. Barbosa +4 more
openaire +1 more source
An implementation architecture for crowd network simulations
International Journal of Crowd Science, 2020 PurposeCrowd network systems have been deemed as a promising mode of modern service industry and future economic society, and taking crowd network as the research object and exploring its operation mechanism and laws is of great significance for ...
Jialin Zou, Kun Wang, Hongbo Sun
doaj +1 more source
Article Commentary: Dealing with Diversity in Computational Cancer Modeling
Cancer Informatics, 2013 This paper discusses the need for interconnecting computational cancer models from different sources and scales within clinically relevant scenarios to increase the accuracy of the models and speed up their clinical adaptation, validation, and eventual ...
David Johnson +8 more
doaj +1 more source
Compressed materialised views of semi-structured data [PDF]
, 2007 Query performance issues over semi-structured data have led to the emergence of materialised XML views as a means of restricting the data structure processed by a query.
Gourlay, Richard +2 more
core +1 more source
SBMLeditor: effective creation of models in the Systems Biology Markup Language (SBML)
BMC Bioinformatics, 2007 Background The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number of users and the increased complexity of the language.
Le Novère Nicolas +2 more
doaj +1 more source
Journal of Informatics and Web EngineeringIn academic publications, the automation of full-text eXtensible Markup Language (XML) is increasingly essential, as generating full-text XML for article distribution is a complex and time-consuming process that requires metadata extraction from a ...
Chee-Xiang Ling +2 more
doaj +1 more source
On the effectiveness of XML Schema validation for countering XML Signature Wrapping attacks [PDF]
2011 1st International Workshop on Securing Services on the Cloud (IWSSC), 2011 In the context of security of Web Services, the XML Signature Wrapping attack technique has lately received increasing attention. Following a broad range of real-world exploits, general interest in applicable countermeasures rises. However, few approaches for countering these attacks have been investigated closely enough to make any claims about their ...
Jensen, Meiko +3 more
openaire +2 more sources
Case study in six sigma methadology : manufacturing quality improvement and guidence for managers [PDF]
, 2012 This article discusses the successful implementation of Six Sigma methodology in a high precision and critical process in the manufacture of automotive products.
Breiman L +23 more
core +1 more source