scholarly journals Frontiers in Geomorphometry and Earth Surface Dynamics: possibilities, limitations and perspectives

2016 ◽  
Vol 4 (3) ◽  
pp. 721-725 ◽  
Author(s):  
Giulia Sofia ◽  
John K. Hillier ◽  
Susan J. Conway
Keyword(s):  
Computer Science ◽  
Land Surface ◽  
Building Blocks ◽  
Soil Science ◽  
Earth Surface ◽  
Surface Dynamics ◽  
Special Issue ◽  
Technical Developments ◽  
Innovative Techniques ◽  
Cross Fertilization

Abstract. Geomorphometry, the science of quantitative land-surface analysis, has become a flourishing interdisciplinary subject, with applications in numerous fields. The interdisciplinarity of geomorphometry is its greatest strength and also one of its major challenges. Gaps are still present between the process focussed fields (e.g. soil science, glaciology, volcanology) and the technical domain (such as computer science, statistics …) where approaches and theories are developed. Thus, interesting geomorphometric applications struggle to jump between process-specific disciplines, but also struggle to take advantage of advances in computer science and technology. This special issue is therefore focused on facilitating cross-fertilization between disciplines, and highlighting novel technical developments and innovative applications of geomorphometry to various Earth-surface processes. The issue collects a variety of contributions which fall into two main categories: Perspectives and Research, further divided into “Research and innovative techniques” and “Research and innovative applications”. It showcases potentially exciting developments and tools which are the building blocks for the next step-change in the field.

scholarly journals Frontiers in Geomorphometry and Earth Surface Dynamics: Possibilities, Limitations and Perspectives

2016 ◽  
Author(s):  
Giulia Sofia ◽  
Jon K. Hillier ◽  
Susan J. Conway
Keyword(s):  
Computer Science ◽  
Land Surface ◽  
Building Blocks ◽  
Soil Science ◽  
Earth Surface ◽  
Surface Dynamics ◽  
Special Issue ◽  
Research And Innovation ◽  
Technical Developments ◽  
Cross Fertilization

Abstract. Geomorphometry, the science of quantitative land-surface analysis, has become a flourishing interdisciplinary subject, with applications in numerous fields. The interdisciplinarity of geomorphometry is its greatest strength and also one of its major challenges. Gaps are still present between the process focussed fields (e.g. soil science, glaciology, volcanology) and the technical domain (such as computer science, statistics…) where approaches and theories are developed. Thus, interesting geomorphometric applications struggle to jump between process-specific disciplines, but also struggle to take advantage of advances in computer science and technology. This special issue is therefore focused on facilitating cross-fertilization between disciplines, and highlighting novel technical developments and innovative applications of geomorphometry to various Earth-surface processes. The issue collects a variety of contributions which fall into two main categories: Perspectives and Research, further divided into "Research and innovation techniques" and "Research and innovative applications". It showcases potentially exciting developments and tools which are the building blocks for the next step-change in the field.

scholarly journals Editorial for Special Issue: “Global Vegetation and Land Surface Dynamics in a Changing Climate”

Land ◽  
2021 ◽  
Vol 10 (1) ◽  
pp. 45
Author(s):  
Pinki Mondal ◽  
Sonali Shukla McDermid
Keyword(s):  
Environmental Change ◽  
Land Surface ◽  
Natural Variability ◽  
Surface Dynamics ◽  
Special Issue ◽  
Changing Climate ◽  
Climate And Environmental Change ◽  
Ecosystem Changes ◽  
Global Vegetation

Global ecosystem changes have multiple drivers, including both natural variability and anthropogenic climate and environmental change [...]

RECENT ADVANCES IN LANDLAB, A SOFTWARE TOOLKIT FOR MODELING EARTH SURFACE DYNAMICS

2018 ◽  
Author(s):  
Nathan J. Lyons ◽  
◽  
Christina Bandaragoda ◽  
Katherine R. Barnhart ◽  
Nicole M. Gasparini ◽  
...  
Keyword(s):  
Earth Surface ◽  
Surface Dynamics ◽  
Software Toolkit ◽  
Recent Advances

scholarly journals Preface

2011 ◽  
Vol 21 (4) ◽  
pp. 671-677 ◽  
Author(s):  
GÉRARD HUET
Keyword(s):  
Mathematical Logic ◽  
Computer Science ◽  
20Th Century ◽  
Theorem Proving ◽  
Propositional Calculus ◽  
Interactive Theorem Proving ◽  
Predicate Calculus ◽  
Special Issue ◽  
Mathematical Structures ◽  
Infinite Domains

This special issue of Mathematical Structures in Computer Science is devoted to the theme of ‘Interactive theorem proving and the formalisation of mathematics’.The formalisation of mathematics started at the turn of the 20th century when mathematical logic emerged from the work of Frege and his contemporaries with the invention of the formal notation for mathematical statements called predicate calculus. This notation allowed the formulation of abstract general statements over possibly infinite domains in a uniform way, and thus went well beyond propositional calculus, which goes back to Aristotle and only allowed tautologies over unquantified statements.

scholarly journals Introduction

2018 ◽  
Vol 27 (4) ◽  
pp. 441-441
Author(s):  
PAUL BALISTER ◽  
BÉLA BOLLOBÁS ◽  
IMRE LEADER ◽  
ROB MORRIS ◽  
OLIVER RIORDAN
Keyword(s):  
Computer Science ◽  
Theoretical Computer Science ◽  
Special Issue ◽  
Open Problems ◽  
Theoretical Computer ◽  
Discrete Probability ◽  
The Common

This special issue is devoted to papers from the meeting on Combinatorics and Probability, held at the Mathematisches Forschungsinstitut in Oberwolfach from the 17th to the 23rd April 2016. The lectures at this meeting focused on the common themes of Combinatorics and Discrete Probability, with many of the problems studied originating in Theoretical Computer Science. The lectures, many of which were given by young participants, stimulated fruitful discussions. The fact that the participants work in different and yet related topics, and the open problems session held during the meeting, encouraged interesting discussions and collaborations.

scholarly journals The composition and formation of effective teams: computer science meets organizational psychology

2018 ◽  
Vol 33 ◽  
Author(s):  
Ewa Andrejczuk ◽  
Rita Berger ◽  
Juan A. Rodriguez-Aguilar ◽  
Carles Sierra ◽  
Víctor Marín-Puchades
Keyword(s):  
Computer Science ◽  
Team Performance ◽  
Organizational Psychology ◽  
Team Formation ◽  
Science Literature ◽  
Effective Teams ◽  
Human Agent ◽  
Wide Range ◽  
Psychology Literature ◽  
Cross Fertilization

AbstractNowadays the composition and formation of effective teams is highly important for both companies to assure their competitiveness and for a wide range of emerging applications exploiting multiagent collaboration (e.g. crowdsourcing, human-agent collaborations). The aim of this article is to provide an integrative perspective on team composition, team formation, and their relationship with team performance. Thus, we review the contributions in both the computer science literature and the organizational psychology literature dealing with these topics. Our purpose is twofold. First, we aim at identifying the strengths and weaknesses of the contributions made by these two diverse bodies of research. Second, we aim at identifying cross-fertilization opportunities that help both disciplines benefit from one another. Given the volume of existing literature, our review is not intended to be exhaustive. Instead, we have preferred to focus on the most significant contributions in both fields together with recent contributions that break new ground to spur innovative research.

scholarly journals Actors, Structure, and Processes: A Review and Conceptualization of Global Work Integrating IB and HRM Research

2018 ◽  
Vol 45 (2) ◽  
pp. 359-383 ◽  
Author(s):  
B. Sebastian Reiche ◽  
Yih-teen Lee ◽  
David G. Allen
Keyword(s):  
Human Resource ◽  
International Business ◽  
Scientific Community ◽  
Multinational Enterprise ◽  
Future Research ◽  
Special Issue ◽  
Global Work ◽  
Work Done ◽  
Advance Knowledge ◽  
Cross Fertilization

As organizations increasingly fulfill their customer needs by getting their work done globally, there is a pressing need for the scientific community to further advance knowledge on global work, especially in terms of how to better conceptualize and integrate it. A particular opportunity for such development involves the cross-fertilization between the international business (IB) and human resource management (HRM) literatures, which serve as the focal domains to study global work phenomena but have treated global work largely as separate research streams. We therefore edited a special issue to contribute to a more integrative understanding of various aspects of global work across both domains. In this opening article, we review existing research on global work in the multinational enterprise from both IB and HRM perspectives. Subsequently, we present a shared conceptualization of global work that helps integrate theoretical and empirical research in both fields. We then introduce the articles in this special issue, before developing an integrative agenda for future research on global work.

scholarly journals Introduction to the special issue on computational logic for verification

2018 ◽  
Vol 18 (2) ◽  
pp. 122-125
Author(s):  
GERMÁN VIDAL
Keyword(s):  
Computer Science ◽  
Program Verification ◽  
Computational Logic ◽  
Special Issue

Logic underlies many fundamental techniques in computer science. It helps us to rigorously formalize these techniques and prove them correct. The last decade has witnessed a growing interest in the use of computational logic methods for program verification. It has attracted researchers from both computational logic and program verification communities, giving rise to a fruitful exchange of ideas and experiences.

scholarly journals Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Wide Spectrum ◽  
Critical Systems ◽  
Research Groups ◽  
Special Issue ◽  
Mathematical Structures ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Final Selection

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

Sign in / Sign up

Export Citation Format

Share Document