From MFKP_wiki

Jump to: navigation, search

Selection: with tag software-uncertainty [69 articles] 

 

Evolution of a modular software network

  
Proceedings of the National Academy of Sciences, Vol. 108, No. 50. (13 December 2011), pp. 19985-19989, https://doi.org/10.1073/pnas.1115960108

Abstract

“Evolution behaves like a tinkerer” (François Jacob, Science, 1977). Software systems provide a singular opportunity to understand biological processes using concepts from network theory. The Debian GNU/Linux operating system allows us to explore the evolution of a complex network in a unique way. The modular design detected during its growth is based on the reuse of existing code in order to minimize costs during programming. The increase of modularity experienced by the system over time has not counterbalanced the increase in ...

 

Ten simple rules for making research software more robust

  
PLOS Computational Biology, Vol. 13, No. 4. (13 April 2017), e1005412, https://doi.org/10.1371/journal.pcbi.1005412

Abstract

[Abstract] Software produced for research, published and otherwise, suffers from a number of common problems that make it difficult or impossible to run outside the original institution or even off the primary developer’s computer. We present ten simple rules to make such software robust enough to be run by anyone, anywhere, and thereby delight your users and collaborators. [Author summary] Many researchers have found out the hard way that there’s a world of difference between “works for me on my machine” and “works for ...

 

When free software isn't (practically) superior

  
GNU Operating System (2011)

Abstract

[Excerpt] The Open Source Initiative's mission statement reads, “Open source is a development method for software that harnesses the power of distributed peer review and transparency of process. The promise of open source is better quality, higher reliability, more flexibility, lower cost, and an end to predatory vendor lock-in.” [\n] For more than a decade now, the Free Software Foundation has argued against this “open source” characterization of the free software movement. Free software advocates have primarily argued against this framing because ...

 

Five selfish reasons to work reproducibly

  
Genome Biology, Vol. 16, No. 1. (8 December 2015), 274, https://doi.org/10.1186/s13059-015-0850-7

Abstract

And so, my fellow scientists: ask not what you can do for reproducibility; ask what reproducibility can do for you! Here, I present five reasons why working reproducibly pays off in the long run and is in the self-interest of every ambitious, career-oriented scientist. [Excerpt] [::Reproducibility: what's in it for me?] In this article, I present five reasons why working reproducibly pays off in the long run and is in the self-interest of every ambitious, career-oriented scientist. [::] Reason number 1: reproducibility helps to avoid ...

 

Ten steps to programming mastery

  
(2003)

Abstract

[Excerpt] Here are ten ways you can improve your coding. The overriding principle to improving your skill at coding, as well as almost endeavor, is open your mind and then fill it with better knowledge. Improvement necessarily implies change, yet it is human nature to fear and resist change. But overcoming that fear and embracing change as a way of life will enable you to reach new levels of achievement. [...] [::Big Rule 1: Break your own habits] When you began coding, you were much less experienced ...

 

They write the right stuff

  
Fast Company, Vol. 6 (December 1996), 28121

Abstract

[Excerpt] As the 120-ton space shuttle sits surrounded by almost 4 million pounds of rocket fuel, exhaling noxious fumes, visibly impatient to defy gravity, its on-board computers take command. Four identical machines, running identical software, pull information from thousands of sensors, make hundreds of milli-second decisions, vote on every decision, check with each other 250 times a second. A fifth computer, with different software, stands by to take control should the other four malfunction. [\n] At T-minus 6.6 seconds, if the pressures, pumps, and temperatures are nominal, ...

 

A (partial) introduction to software engineering practices and methods

  
(2010)

Abstract

[Excerpt: Introduction] Software engineering is concerned with all aspects of software production from the early stages of system specification through to maintaining the system after it has gone into use. [...] [\n] [...] As a discipline, software engineering has progressed very far in a very short period of time, particularly when compared to classical engineering field (like civil or electrical engineering). In the early days of computing, not much more than 50 years ago, computerized systems were quite small. Most of the programming was done by scientists trying to ...

 

(INRMM-MiD internal record) List of keywords of the INRMM meta-information database - part 33

  
(February 2014)
Keywords: inrmm-list-of-tags   silviculture   similarity   simple-sequence-repeats   simulation   single-nucleotide-polymorphism   sismic-hazard   site-quality   sitka-spruce   situational-awareness   slope   slope-stability   slovakia   slovenia   slovenian-alps   smoke   smooth-transition   smyrnium-perfoliatum   snow   snow-avalances   so2   soc   social-engineering-risk   social-learning   social-media   social-system   society   socratea-exorrhiza   sodium   soft-constraint   soft-systems-approach   softw   software-control   software-engineering   software-errors   software-evolution   software-evolvability   software-libraries   software-patents   software-quality   software-security   software-uncertainty   software-validity   software-verification   soil   soil-carbon   soil-compactation   soil-conditions   soil-erosion   soil-evolution   soil-fertility   soil-food   soil-formation   soil-hydrophobicity   soil-loss   soil-microbial-properties   soil-moisture   soil-pollution   soil-resources   soil-restoration   soil-sealing   soil-stabilization   soils   solanum-dulcamara   solanum-spp   solar-energy   solar-radiation   solid-phase-microextraction   sonneratia-apetala   soot   sophora-chrysophylla   sophora-secundiflora   sophora-spp   sorbus-aria   sorbus-aucuparia   sorbus-domestica   sorbus-intermedia   sorbus-spp   sorbus-torminalis   sorex-spp   south-america   south-asia   southeast-asia   southeastern-europe   southern-africa   southern-alps   southern-asia   southern-europe   southern-oscillation   spain   spartium-junceum   spathodea-campanulata   spatial-analysis   spatial-disaggregation   spatial-ecology   spatial-interpolation   spatial-pattern   spatial-prioritization   spatial-resolution   spatial-spread  

Abstract

List of indexed keywords within the transdisciplinary set of domains which relate to the Integrated Natural Resources Modelling and Management (INRMM). In particular, the list of keywords maps the semantic tags in the INRMM Meta-information Database (INRMM-MiD). [\n] The INRMM-MiD records providing this list are accessible by the special tag: inrmm-list-of-tags ( http://mfkp.org/INRMM/tag/inrmm-list-of-tags ). ...

 

European atlas of forest tree species

  
Keywords: bioeconomy   chorology   classification   climate   constrained-spatial-multi-frequency-analysis   data-heterogeneity   data-integration   data-uncertainty   disasters   disturbances   ecological-zones   ecology   ecosystem-services   europe   floods   forest-fires   forest-pests   forest-resources   free-software   geospatial   geospatial-semantic-array-programming   gis   gnu-bash   gnu-linux   gnu-octave   habitat-suitability   integrated-modelling   integrated-natural-resources-modelling-and-management   integration-techniques   knowledge-integration   landslides   mastrave-modelling-library   modelling-uncertainty   open-data   paleoecology   relative-distance-similarity   reproducible-research   review   science-policy-interface   science-society-interface   semantic-array-programming   semantic-constraints   semantics   semap   software-uncertainty   soil-erosion   soil-resources   species-distribution   tree-species   uncertainty   water-resources   windstorm  

Abstract

[Excerpt] The European Atlas of Forest Tree Species is the first comprehensive publication of such a unique and essential environmental resource, that is, our trees. Leading scientists and forestry professionals have contributed in the many stages of the production of this atlas, through the collection of ground data on the location of tree species, elaboration of the distribution and suitability maps, production of the photographic material and compilation of the different chapters. The European Atlas of Forest Tree Species is both ...

 

Software Dependencies, Work Dependencies, and Their Impact on Failures

  
IEEE Transactions on Software Engineering, Vol. 35, No. 6. (November 2009), pp. 864-878, https://doi.org/10.1109/tse.2009.42

Abstract

Prior research has shown that customer-reported software faults are often the result of violated dependencies that are not recognized by developers implementing software. Many types of dependencies and corresponding measures have been proposed to help address this problem. The objective of this research is to compare the relative performance of several of these dependency measures as they relate to customer-reported defects. Our analysis is based on data collected from two projects from two independent companies. Combined, our data set encompasses eight ...

 

A practical approach to programming with assertions

  
IEEE Transactions on Software Engineering, Vol. 21, No. 1. (January 1995), pp. 19-31, https://doi.org/10.1109/32.341844

Abstract

Embedded assertions have been recognized as a potentially powerful tool for automatic runtime detection of software faults during debugging, testing, maintenance and even production versions of software systems. Yet despite the richness of the notations and the maturity of the techniques and tools that have been developed for programming with assertions, assertions are a development tool that has seen little widespread use in practice. The main reasons seem to be that (1) previous assertion processing tools did not integrate easily with existing programming environments, and (2) it is not ...

 

Studying evolving software ecosystems based on ecological models

  
In Evolving Software Systems (2014), pp. 297-326, https://doi.org/10.1007/978-3-642-45398-4_10

Abstract

Research on software evolution is very active, but evolutionary principles, models and theories that properly explain why and how software systems evolve over time are still lacking. Similarly, more empirical research is needed to understand how different software projects co-exist and co-evolve, and how contributors collaborate within their encompassing software ecosystem. In this chapter, we explore the differences and analogies between natural ecosystems and biological evolution on the one hand, and software ecosystems and software evolution on the other hand. The aim is to learn from research in ...

 

Enviro-Net: from networks of ground-based sensor systems to a web platform for sensor data management

  
Sensors, Vol. 11, No. 6. (17 June 2011), pp. 6454-6479, https://doi.org/10.3390/s110606454

Abstract

Ecosystems monitoring is essential to properly understand their development and the effects of events, both climatological and anthropological in nature. The amount of data used in these assessments is increasing at very high rates. This is due to increasing availability of sensing systems and the development of new techniques to analyze sensor data. The Enviro-Net Project encompasses several of such sensor system deployments across five countries in the Americas. These deployments use a few different ground-based sensor systems, installed at different ...

 

Code complexity - Part II

  
No. GotW #21. (1997)

Abstract

The challenge: Take the three-line function from GotW #20 and make it strongly exception-safe. This exercise illustrates some important lessons about exception safety. [Excerpt: Exception Safety and Multiple Side Effects] In this case, it turned out to be possible in Attempt #3 to perform both side effects with essentially commit-or-rollback semantics (except for the stream issues). The reason it was possible is that there turned out to be a technique by which the two effects could be performed atomically... that is, all of ...

 

Software errors and software maintenance management

  
Information Technology and Management, Vol. 3, No. 1-2. (2002), pp. 25-41, https://doi.org/10.1023/a%3a1013156608583

Abstract

A management model for explaining software errors is developed and estimated. The model is used to analyze two years of error log data at a commercial site. The focus is on identifying managerially controllable factors which affect software reliability. At the research site, application systems which (1) underwent frequent modification; (2) were maintained by programmers with low levels of application experience; (3) had high reliability requirements, and (4) had high levels of static complexity all showed particularly high error rates, other ...

 

Cyclomatic complexity and lines of code: empirical evidence of a stable linear relationship

  
Journal of Software Engineering and Applications, Vol. 02, No. 03. (2009), pp. 137-143, https://doi.org/10.4236/jsea.2009.23020

Abstract

Researchers have often commented on the high correlation between McCabe’s Cyclomatic Complexity (CC) and lines of code (LOC). Many have believed this correlation high enough to justify adjusting CC by LOC or even substituting LOC for CC. However, from an empirical standpoint the relationship of CC to LOC is still an open one. We undertake the largest statistical study of this relationship to date. Employing modern regression techniques, we find the linearity of this relationship has been severely underestimated, so much ...

 

Study of a collaborative repository of semantic metadata and models for regional environmental datasets' multivariate transformations

  
(2015)
edited by Giorgio Guariso

Abstract

A semantic modelling procedure is introduced to ease array-based multivariate transformations of public environmental data, along with the architecture of a collaborative repository of modelling meta-information based on the procedure. [\n] The procedure, Semantic Array Programming (SemAP), is intended as a lightweight paradigm to support integrated natural resources modelling and management (INRMM), in the context of wide-scale transdisciplinary modelling for environment (WSTMe, here tested from catchment up to regional and continental scale). [\n] It is a common experience among computational scientists, ...

References

  1. Aalde, H., Gonzalez, P., Gytarsky, M., Krug, T., Kurz, W. A., Ogle, S., Raison, J., Schoene, D., Ravindranath, N. H., Elhassan, N. G., Heath, L. S., Higuchi, N., Kainja, S., Matsumoto, M., Sanz Sánchez, M. J., Somogyi, Z., 2006. Forest Land. Vol. 4 of IPCC Guidelines for National Greenhouse Gas Inventories, Prepared by the National Greenhouse Gas Inventories Programme. The Intergovernmental Panel on Climate Change (IPCC), Ch. 4, 83 pp. http://www.ipcc-nggip.iges.or.jp/public/2006gl/pdf/4_Volume4/V4_04_Ch4_Forest_Land.pdf .
 

Assessing crown fire potential in coniferous forests of western North America: a critique of current approaches and recent simulation studies

  
International Journal of Wildland Fire, Vol. 19, No. 4. (2010), 377, https://doi.org/10.1071/wf08132

Abstract

To control and use wildland fires safely and effectively depends on creditable assessments of fire potential, including the propensity for crowning in conifer forests. Simulation studies that use certain fire modelling systems (i.e. NEXUS, FlamMap, FARSITE, FFE-FVS (Fire and Fuels Extension to the Forest Vegetation Simulator), Fuel Management Analyst (FMAPlus®), BehavePlus) based on separate implementations or direct integration of Rothermel’s surface and crown rate of fire spread models with Van Wagner’s crown fire transition and propagation models are shown to have ...

 

On malfunctioning software

  
Synthese In Synthese (2014), pp. 1-22, https://doi.org/10.1007/s11229-014-0610-3

Abstract

Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A negative malfunction, ...

 

Self-stabilization in spite of distributed control

  
In Selected Writings on Computing: A personal Perspective (1982), pp. 41-46, https://doi.org/10.1007/978-1-4612-5695-3_7

Abstract

A systematic way for finding the algorithm ensuring some desired form of co-operation between a set of loosely coupled sequential processes can in general terms be described as follows: the relation “the system is in a legitimate state” is kept invariant. As a consequence, each intended individual process step that could possibly cause violation of that invariant relation has to be preceded by a test that it won’t do so, and depending on the outcome of that test the critical process ...

 

Rampant software errors undermine scientific results

  
F1000Research, Vol. 3 (11 December 2014), 303, https://doi.org/10.12688/f1000research.5930.1

Abstract

Errors in scientific results due to software bugs are not limited to a few high-profile cases that lead to retractions and are widely reported. Here I estimate that in fact most scientific results are probably wrong if data have passed through a computer, and that these errors may remain largely undetected. The opportunities for both subtle and profound errors in software and data management are boundless, yet they remain surprisingly underappreciated. ...

 

Topological sensitivity analysis for systems biology

  
Proceedings of the National Academy of Sciences, Vol. 111, No. 52. (30 December 2014), pp. 18507-18512, https://doi.org/10.1073/pnas.1414026112

Abstract

[Significance] Mathematical models are widely used to study natural systems. They allow us to test and generate hypotheses, and help us to understand the processes underlying the observed behavior. However, such models are, by necessity, simplified representations of the true systems, so it is critical to understand the impact of assumptions made when using a particular model. Here we provide a method to assess how uncertainty about the structure of a natural system affects the conclusions we can draw from mathematical models ...

 

Uses and Abuses of Vector

  
No. GotW #74. (September 2000)

Abstract

Almost everybody uses std::vector, and that's good. Unfortunately, many people misunderstand some of its semantics and end up unwittingly using it in surprising and dangerous ways. How many of the subtle problems illustrated in this issue might be lurking in your current program? ...

 

Code Complexity - Part I

  
No. GotW #20. (September 1997)

Abstract

This problem presents an interesting challenge: How many execution paths can there be in a simple three-line function? The answer will almost certainly surprise you. [Excerpt] One purpose of this GotW was to demonstrate just how many invisible execution paths can exist in simple code in a language that allows exceptions. Does this invisible complexity affect the function's reliability and testability? See the following GotW problem for the answer. ...

 

How accurate is scientific software?

  
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 20, No. 10. (October 1994), pp. 785-797, https://doi.org/10.1109/32.328993

Abstract

This paper describes some results of what, to the authors' knowledge, is the largest N-version programming experiment ever performed. The object of this ongoing four-year study is to attempt to determine just how consistent the results of scientific computation really are, and, from this, to estimate accuracy. The experiment is being carried out in a branch of the earth sciences known as seismic data processing, where 15 or so independently developed large commercial packages that implement mathematical algorithms from the same ...

 

The Ironies of Automation: Still Going Strong at 30?

  
In Proceedings of the 30th European Conference on Cognitive Ergonomics (2012), pp. 65-71, https://doi.org/10.1145/2448136.2448149

Abstract

[Motivation] Bainbridge highlighted some of the ironies of automation 30 years ago and identified possible solutions. Society is now highly dependent on complex technological systems, so we assess our performance in addressing the ironies in these systems. [Research approach] A critical reflection on the original ironies of automation, followed by a review of three domains where technology plays a critical role using case studies to identify where ironies persist. [Findings/Design] The reliability and speed of technology have improved, but the ironies ...

 

Runoff simulation with eight different flow accumulation algorithms: Recommendations using a spatially distributed and open-source model

  
Environmental Modelling & Software, Vol. 62 (December 2014), pp. 11-21, https://doi.org/10.1016/j.envsoft.2014.08.025

Abstract

Flow accumulation algorithms (FAAs) predict the cumulative upstream drainage but each FAA generates a different map and this uncertainty still remains unsolved. This study makes advances in flow path research by testing 8 FAAs and analyzing the uncertainties of 15 simulations. The DR2-2013© SAGAv1.0 hydrological software is presented in a study carried out for two catchment lakes (NE Spain) over a 69-month test period. The best simulations were obtained with two single flow (Rho8 and Deterministic Infinity) and two multiple flow ...

 

Effects of different matrix representations and connectivity measures on habitat network assessments

  
Landscape Ecology (2014), pp. 1-20, https://doi.org/10.1007/s10980-014-0075-2

Abstract

Assessing landscape connectivity is important to understand the ecology of landscapes and to evaluate alternative conservation strategies. The question is though, how to quantify connectivity appropriately, especially when the information available about the suitability of the matrix surrounding habitat is limited. Our goal here was to investigate the effects of matrix representation on assessments of the connectivity among habitat patches and of the relative importance of individual patches for the connectivity within a habitat network. We evaluated a set of 50 × 50 km2 ...

 

Reproducible research [From the Editor]

  
Control Systems, IEEE, Vol. 34, No. 4. (August 2014), pp. 6-7, https://doi.org/10.1109/mcs.2014.2320326

Abstract

One of the concerns of the broader field of computational research is whether the results that are published are reproducible. When the author had a position as a senior research scientist at the National Center for Supercomputing Applications in the late 1990s, he had a conversation with a computational physicist who said that most simulation codes in his field were not made publicly available, and it was his opinion that at least 95% of those codes contained major errors that result ...

 

Uncertainty: A Meta-Property of Software

  
In Software Engineering Workshop, 2005. 29th Annual IEEE/NASA (April 2005), pp. 228-233, https://doi.org/10.1109/sew.2005.48

Abstract

Uncertainty pervades all aspects of engineering, and its management is of paramount importance. In software engineering, uncertainty can occur at many levels. It can appear in the software artifacts including requirements specifications, designs, and the code itself. Uncertainty can also manifest in the way we use tools, and in the engineering practices employed. It is even present in the life cycle methodologies we employ. In short, uncertainty is a persistent, negative quality of both the software and the processes that rendered ...

 

How do scientists develop and use scientific software?

  
In Software Engineering for Computational Science and Engineering, 2009. SECSE '09. ICSE Workshop on (May 2009), pp. 1-8, https://doi.org/10.1109/secse.2009.5069155

Abstract

New knowledge in science and engineering relies increasingly on results produced by scientific software. Therefore, knowing how scientists develop and use software in their research is critical to assessing the necessity for improving current development practices and to making decisions about the future allocation of resources. To that end, this paper presents the results of a survey conducted online in October-December 2008 which received almost 2000 responses. Our main conclusions are that (1) the knowledge required to develop and use scientific ...

 

The Evolution of the Laws of Software Evolution: A Discussion Based on a Systematic Literature Review

  
ACM Comput. Surv., Vol. 46, No. 2. (December 2013), https://doi.org/10.1145/2543581.2543595

Abstract

After more than 40 years of life, software evolution should be considered as a mature field. However, despite such a long history, many research questions still remain open, and controversial studies about the validity of the laws of software evolution are common. During the first part of these 40 years, the laws themselves evolved to adapt to changes in both the research and the software industry environments. This process of adaption to new paradigms, standards, and practices stopped about 15 years ...

 

A view of 20th and 21st century software engineering

  
In Proceedings of the 28th International Conference on Software Engineering (2006), pp. 12-29, https://doi.org/10.1145/1134285.1134288

Abstract

George Santayana's statement, "Those who cannot remember the past are condemned to repeat it," is only half true. The past also includes successful histories. If you haven't been made aware of them, you're often condemned not to repeat their successes.In a rapidly expanding field such as software engineering, this happens a lot. Extensive studies of many software projects such as the Standish Reports offer convincing evidence that many projects fail to repeat past successes.This paper tries to identify at least some ...

 

Software evolution - Background, theory, practice

  
Information Processing Letters, Vol. 88, No. 1-2. (17 October 2003), pp. 33-44, https://doi.org/10.1016/s0020-0190(03)00382-x

Abstract

This paper opens with a brief summary of some 30 years of study of the software evolution phenomenon. The results of those studies include the SPE program classification, a principle of software uncertainty and laws of E-type software evolution. The laws were termed so because they encapsulate phenomena largely independent of the people, the organisations and the domains involved in the evolution of the E-type systems studied. Recent studies have refined earlier conclusions, yielded practical guidelines for software evolution management and ...

 

Coverage bias in the HadCRUT4 temperature series and its impact on recent temperature trends

  
Q.J.R. Meteorol. Soc. (1 February 2014), pp. n/a-n/a, https://doi.org/10.1002/qj.2297

Abstract

Incomplete global coverage is a potential source of bias in global temperature reconstructions if the unsampled regions are not uniformly distributed over the planet's surface. The widely used Hadley Centre–Climatic Reseach Unit Version 4 (HadCRUT4) dataset covers on average about 84% of the globe over recent decades, with the unsampled regions being concentrated at the poles and over Africa. Three existing reconstructions with near-global coverage are examined, each suggesting that HadCRUT4 is subject to bias due to its treatment of unobserved ...

 

Climate Outsider Finds Missing Global Warming

  
Science, Vol. 344, No. 6182. (25 April 2014), pp. 348-348, https://doi.org/10.1126/science.344.6182.348

Abstract

Major climate data sets have underestimated the rate of global warming in the last 15 years owing largely to poor data in the Arctic, the planet's fastest warming region. A dearth of temperature stations there is one culprit; another is a data-smoothing algorithm that has been improperly tuning down temperatures there. The findings come from an unlikely source: a crystallographer and graduate student working on the temperature analyses in their spare time. ...

 

The links between human error diversity and software diversity: implications for fault diversity seeking

  
Science of Computer Programming (March 2014), https://doi.org/10.1016/j.scico.2014.03.004

Abstract

Software diversity is known to improve fault tolerance in N-version software systems by independent development. As the leading cause of software faults, human error is considered an important factor in diversity seeking. However, there is little scientific research focusing on how to seek software fault diversity based on human error mechanisms. A literature review was conducted to extract factors that may differentiate people with respect to human error-proneness. In addition, we constructed a conceptual model of the links between human error ...

 

Contrasting views of complexity and their implications for network-centric infrastructures

  
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, Vol. 40, No. 4. (July 2010), pp. 839-852, https://doi.org/10.1109/tsmca.2010.2048027

Abstract

There exists a widely recognized need to better understand and manage complex “systems of systems,” ranging from biology, ecology, and medicine to network-centric technologies. This is motivating the search for universal laws of highly evolved systems and driving demand for new mathematics and methods that are consistent, integrative, and predictive. However, the theoretical frameworks available today are not merely fragmented but sometimes contradictory and incompatible. We argue that complexity arises in highly evolved biological and technological systems primarily to provide mechanisms ...

 

Best Practices for Scientific Computing

  
PLOS Biology, Vol. 12, No. 1. (7 January 2014), e1001745, https://doi.org/10.1371/journal.pbio.1001745

Abstract

We describe a set of best practices for scientific software development, based on research and experience, that will improve scientists' productivity and the reliability of their software. ...

 

Academics should not remain silent on hacking

  
Nature, Vol. 504, No. 7480. (18 December 2013), pp. 333-333, https://doi.org/10.1038/504333a

Abstract

The revelation that US and British spy agencies have undermined a commonly used encryption code should alarm researchers, says Charles Arthur. ...

 

Software uncertainty in integrated environmental modelling: the role of semantics and open science

  
Geophysical Research Abstracts In European Geosciences Union (EGU) General Assembly 2013, Vol. 15 (Nov 2013), 13292, https://doi.org/10.6084/m9.figshare.155701

Abstract

Computational aspects increasingly shape environmental sciences. Actually, transdisciplinary modelling of complex and uncertain environmental systems is challenging computational science (CS) and also the science-policy interface. Large spatial-scale problems falling within this category - i.e. wide-scale transdisciplinary modelling for environment (WSTMe) - often deal with factors for which deep-uncertainty may prevent usual statistical analysis of modelled quantities and need different ways for providing policy-making with science-based support. Here, practical recommendations are proposed for tempering a peculiar - not infrequently underestimated - source of uncertainty. Software errors in complex WSTMe may ...

Visual summary

 

Behavioural contracts for a sound assembly of components

  
Lecture Notes in Computer Science In Formal Techniques for Networked and Distributed Systems - FORTE 2003, Vol. 2767 (2003), pp. 111-126, https://doi.org/10.1007/978-3-540-39979-7_8

Abstract

Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-existing components. Remains the problem of the compositional verification of such systems. We investigate methods and concepts for the provision of “sound” assemblies. We define an abstract, dynamic, multi-threaded, component model, encompassing both client/server and peer to peer communication patterns. We define a behavioural interface type language endowed with a (decidable) set of interface ...

 

An Evaluation of the Software System Dependency of a Global Atmospheric Model

  
Monthly Weather Review (25 July 2013), https://doi.org/10.1175/mwr-d-12-00352.1

Abstract

Abstract This study presents the dependency of the simulation results from a global atmospheric numerical model on machines with different hardware and software systems. The global model program (GMP) of the Global/Regional Integrated Model system (GRIMs) is tested on 10 different computer systems having different central processing unit (CPU) architectures or compilers. There exist differences in the results for different compilers, parallel libraries, and optimization levels, primarily due to the treatment of rounding errors by the different software systems. The system ...

 

The extreme vulnerability of interdependent spatially embedded networks

  
Nat Phys, Vol. 9, No. 10. (25 October 2013), pp. 667-672, https://doi.org/10.1038/nphys2727

Abstract

Recent studies show that in interdependent networks a very small failure in one network may lead to catastrophic consequences. Above a critical fraction of interdependent nodes, even a single node failure can invoke cascading failures that may abruptly fragment the system, whereas below this critical dependency a failure of a few nodes leads only to a small amount of damage to the system. So far, research has focused on interdependent random networks without space limitations. However, many real systems, such as ...

 

Dynamic data driven ensemble for wildfire behaviour assessment: a case study

  
IFIP Advances in Information and Communication Technology, Vol. 413 (2013), pp. 11-22, https://doi.org/10.1007/978-3-642-41151-9_2

Abstract

Wildfire information has long been collected in Europe, with particular focus on forest fires. The European Forest Fire Information System (EFFIS) of the European Commission complements and harmonises the information collected by member countries and covers the forest fire management cycle. This latter ranges from forest fire preparedness to post-fire impact analysis. However, predicting and simulating fire event dynamics requires the integrated modelling of several sources of uncertainty. Here we present a case study of a novel conceptualization based on a Semantic ...

 

An architecture for adaptive robust modelling of wildfire behaviour under deep uncertainty

  
IFIP Advances in Information and Communication Technology, Vol. 413 (2013), pp. 367-380, https://doi.org/10.1007/978-3-642-41151-9_35

Abstract

Wildfires in Europe - especially in the Mediterranean region - are one of the major treats at landscape scale. While their immediate impact ranges from endangering human life to the destruction of economic assets, other damages exceed the spatio-temporal scale of a fire event. Wildfires involving forest resources are associated with intense carbon emissions and alteration of surrounding ecosystems. The induced land cover degradation has also a potential role in exacerbating soil erosion and shallow landslides. A component of the complexity in assessing ...

Visual summary

 

Software engineering in an uncertain world

  
In Proceedings of the FSE/SDP workshop on Future of software engineering research (2010), pp. 125-128, https://doi.org/10.1145/1882362.1882389

Abstract

In this paper, we argue that the reality of today's software systems requires us to consider uncertainty as a first-class concern in the design, implementation, and deployment of those systems. We further argue that this induces a paradigm shift, and a number of research challenges that must be addressed. ...

 

Uncertainty in Self-Adaptive Software Systems

  
Lecture Notes in Computer Science In Software Engineering for Self-Adaptive Systems II, Vol. 7475 (2013), pp. 214-238, https://doi.org/10.1007/978-3-642-35813-5_9

Abstract

The ever-growing complexity of software systems coupled with their stringent availability requirements are challenging the manual management of software after its deployment. This has motivated the development of self-adaptive software systems. Self-adaptation endows a software system with the ability to satisfy certain objectives by automatically modifying its behavior at runtime. While many promising approaches for the construction of self-adaptive software systems have been developed, the majority of them ignore the uncertainty underlying the adaptation. This has been one of the key ...

 

A comparison of tropical carbon maps

  
(2013)

Abstract

[Excerpt] This site uses Ecometrica's Our Ecosystem to dynamically compare maps of aboveground carbon (carbon stored in woody vegetation). Currently we compare two pantropical data sets, but we hope to add many more global, regional and small-scale data sets soon. The site has advanced functionality allowing the carbon maps to be viewed and compared at a full range of resolutions, and for a specific area of interest to be queried to view the different carbon stocks predicted by the maps, partitioned into ...

 

The Watts New Collection: Columns by the SEI’s Watts Humphrey

  
No. CMU/SEI-2009-SR-024. (2009)

Abstract

Since June 1998, Watts Humphrey has taken readers of news@sei and its predecessor SEI Interactive on a process-improvement journey, step by step, in his column Watts New. The column has explored the problem of setting impossible dates for project completion, planning as a team using TSP, the importance of removing software defects, applying discipline to software development, approaching managers about a process improvement effort, and making a persuasive case for implementing it. After 11 years, Watts is taking a well-deserved retirement from writing the quarterly column. But ...

This page of the database may be cited as:
Integrated Natural Resources Modelling and Management - Meta-information Database. http://mfkp.org/INRMM/tag/software-uncertainty

Result page: 1 2 Next

Publication metadata

Bibtex, RIS, RSS/XML feed, Json, Dublin Core

Meta-information Database (INRMM-MiD).
This database integrates a dedicated meta-information database in CiteULike (the CiteULike INRMM Group) with the meta-information available in Google Scholar, CrossRef and DataCite. The Altmetric database with Article-Level Metrics is also harvested. Part of the provided semantic content (machine-readable) is made even human-readable thanks to the DCMI Dublin Core viewer. Digital preservation of the meta-information indexed within the INRMM-MiD publication records is implemented thanks to the Internet Archive.
The library of INRMM related pubblications may be quickly accessed with the following links.
Search within the whole INRMM meta-information database:
Search only within the INRMM-MiD publication records:
Full-text and abstracts of the publications indexed by the INRMM meta-information database are copyrighted by the respective publishers/authors. They are subject to all applicable copyright protection. The conditions of use of each indexed publication is defined by its copyright owner. Please, be aware that the indexed meta-information entirely relies on voluntary work and constitutes a quite incomplete and not homogeneous work-in-progress.
INRMM-MiD was experimentally established by the Maieutike Research Initiative in 2008 and then improved with the help of several volunteers (with a major technical upgrade in 2011). This new integrated interface is operational since 2014.