Results 41 to 50 of about 109,181 (158)

Human Capital 4.0: Readiness of Initial Vocational Education Programmes in Italy and Germany

International Journal of Training and Development, EarlyView.
ABSTRACT The rapid pace of technological innovation and the advent of Industry 4.0 have profoundly transformed labour markets and the nature of work. This paper examines the preparedness of Initial Vocational Education and Training (IVET) programmes in Germany and Italy to meet the demands of Human Capital 4.0. Utilising a comparative analysis of three
Luca Antonazzo, Susanne Peters
wiley   +1 more source

A Non‐Parametric Framework for Correlation Functions on Product Metric Spaces

International Statistical Review, EarlyView.
Summary We propose a non‐parametric framework for analysing data defined over products of metric spaces, a versatile class encountered in various fields. This framework accommodates non‐stationarity and seasonality and is applicable to both local and global domains, such as the Earth's surface, as well as domains evolving over linear time or time ...
Pier Giovanni Bissiri, Bernardo Nipoti, Emilio Porcu, Philip White   +3 more
wiley   +1 more source

Computability and Algorithmic Complexity in Economics [PDF]

This is an outline of the origins and development of the way computability theory and algorithmic complexity theory were incorporated into economic and finance theories.
K. Vela Velupillai, Stefano Zambelli
core  

A new foundational crisis in mathematics, is it really happening?

, 2018
The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the ...
A J C Hurkens, A Kanamori, A N Whitehead, A Wiles, D H Fremlin, Daniel R. Grayson, E Zermelo, G Restall, L C Paulson, L Crosilla, M Džamonja, M Hofmann, M Makkai, M Rathjen, M Rathjen, N Bourbaki, N D Goodman, P Aczel, P Martin-Löf, Radu Diaconescu, Solomon Feferman, T Coquand, The Univalent Foundations Program, W A Howard   +23 more
core   +1 more source

A new family of models with generalized orientation in data envelopment analysis

International Transactions in Operational Research, EarlyView.
Abstract In the framework of data envelopment analysis, we review directional models and show that they are inadequate when inputs and outputs are improved simultaneously under constant returns to scale. Conversely, we introduce a new family of quadratically constrained models with generalized orientation and demonstrate that these models overcome this
Vicente J. Bolós, Rafael Benítez, Vicente Coll‐Serrano   +2 more
wiley   +1 more source

Linear logic for constructive mathematics

, 2018
We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core  

On the connection between Nonstandard Analysis and Constructive Analysis [PDF]

, 2013
Constructive Analysis and Nonstandard Analysis are often characterized as completely antipodal approaches to analysis. We discuss the possibility of capturing the central notion of Constructive Analysis (i.e.
Sanders, Sam
core  

A spectral analysis extension to DEMATEL for strategic leverage points identification

International Transactions in Operational Research, EarlyView.
Abstract Efforts to intervene in complex systems often emphasize influential factors, yet system behavior is equally shaped by the relationships among them. Methods such as Decision‐Making Trial and Evaluation Laboratory (DEMATEL) map causal structures but remain descriptive and do not identify which relationships provide the greatest leverage for ...
Pavlos Delias, Kerasia Kalkitsa
wiley   +1 more source

An application of proof mining to nonlinear iterations

, 2014
In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated to nonexpansive self-mappings of convex subsets of a class of uniformly convex geodesic spaces ...
Leustean, Laurentiu
core   +1 more source

Fish welfare in a changing world: New developments and current challenges

Journal of Fish Biology, EarlyView.
Abstract The welfare of non‐human animals is central to ethical discussions on animal use, with increasing attention to fish welfare across research, aquaria, aquaculture, and fisheries. This paper reviews current theoretical approaches to animal welfare and recent advances in defining and assessing fish welfare since the seminal paper by Huntingford ...
Sonia Rey Planellas, João L. Saraiva, Eliane Gonçalves‐de‐Freitas, Pablo Arechavala‐Lopez, Bernice Bovenkerk, Michael Breen, Steven J. Cooke, Martin Føre, Lene Northwood, Lars Helge Stien, Sunil Kadri, Chris Noble, Jonatan Nilsson, Fernando Rodriguez, Cosme Salas, Peter Sandøe, Hans van de Vis   +16 more
wiley   +1 more source