Results for 'Actuarial modeling, branching processes, defined benefit pension plans, recursive functions.'

993 found
Order:
  1. Actuarial Analysis via Branching Processes.Julio Michael Stern & Carlos Alberto de Braganca Pereira - 2000 - Annals of the 6th ISAS-SCI 8:353-358.
    We describe a software system for the analysis of defined benefit actuarial plans. The system uses a recursive formulation of the actuarial stochastic processes to implement precise and efficient computations of individual and group cash flows.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Pension System in Japan: Issues for Reform.Audrius Bitinas - 2012 - Jurisprudencija: Mokslo darbu žurnalas 19 (1):269-292.
    The aim of this article is to define the actual construction of the Japanese pension system influenced by the economic and social challenges and implemented pension system reforms. In this article, the development of Japanese pension system reforms is analysed, as well as legal, economic, social environment is identified. Until recently, it was a common perception that Japan has managed economic success without worsening the income inequality and pension benefits, but since the economic recession in the (...)
     
    Export citation  
     
    Bookmark  
  3.  3
    Can Improved Options for Private Saving Offer a Plausible Substitute for Public Pensions?Gary Burtless - 2012 - Politics and Society 40 (1):81-105.
    Old-age income protection is provided in wealthy democracies by publicly funded defined-benefit pensions. Budgetary challenges have forced policy makers to consider private alternatives to these traditional systems. I consider the shortcomings of private saving arrangements in duplicating the advantages of public pensions. Some shortcomings can be overcome by introducing compulsory elements into private saving plans. Worker contributions into such plans could be mandatory; some or all worker accumulations in the plans could be converted to annuities at retirement; and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. PM2.5-Related Health Economic Benefits Evaluation Based on Air Improvement Action Plan in Wuhan City, Middle China.Zhiguang Qu, Xiaoying Wang, Fei Li, Yanan Li, Xiyao Chen & Min Chen - 2020 - International Journal of Environmental Research and Public Health 17:620.
    On the basis of PM2.5 data of the national air quality monitoring sites, local population data, and baseline all-cause mortality rate, PM2.5-related health economic benefits of the Air Improvement Action Plan implemented in Wuhan in 2013–2017 were investigated using health-impact and valuation functions. Annual avoided premature deaths driven by the average concentration of PM2.5 decrease were evaluated, and the economic benefits were computed by using the value of statistical life (VSL) method. Results showed that the number of avoided premature deaths (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  45
    A Heterogeneous Branching Process with Immigration Modeling for COVID-19 Spreading in Local Communities in China.Lin Zhang, Haochen Wang, Zhongyang Liu, Xiao Fan Liu, Xin Feng & Ye Wu - 2021 - Complexity 2021:1-11.
    The COVID-19 pandemic spread catastrophically over the world since the spring of 2020. In this paper, a heterogeneous branching process with immigration is established to quantify the human-to-human transmission of COVID-19 in local communities, based on the temporal and structural transmission patterns extracted from public case disclosures by four provincial Health Commissions in China. With proper parameter settings, our branching model matches the actual transmission chains satisfactorily and, therefore, sheds light on the underlying COVID-19 spreading mechanism. Moreover, based (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Social security reform: Lessons from private pensions.Karen C. Burke & Grayson M. P. McCouch - unknown
    Widespread concerns about the long-term fiscal gap in Social Security have prompted various proposals for structural reform, with individual accounts as the centerpiece. Carving out individual accounts from the existing system would shift significant risks and responsibilities to individual workers. A parallel development has already occurred in the area of private pensions. Experience with 401 plans indicates that many workers will have difficulty making prudent decisions concerning investment and withdrawal of funds. Moreover, in implementing any system of voluntary individual accounts, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  19
    Modeling and Simulation of Project Management through the PMBOK® Standard Using Complex Networks.Luz Stella Cardona-Meza & Gerard Olivar-Tost - 2017 - Complexity:1-12.
    Discussion about project management, in both the academic literature and industry, is predominantly based on theories of control, many of which have been developed since the 1950s. However, issues arise when these ideas are applied unilaterally to all types of projects and in all contexts. In complex environments, management problems arise from assuming that results, predicted at the start of a project, can be sufficiently described and delivered as planned. Thus, once a project reaches a critical size, a calendar, and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  66
    Beneficent Intelligence: A Capability Approach to Modeling Benefit, Assistance, and Associated Moral Failures through AI Systems.Alex John London & Hoda Heidari - manuscript
    The prevailing discourse around AI ethics lacks the language and formalism necessary to capture the diverse ethical concerns that emerge when AI systems interact with individuals. Drawing on Sen and Nussbaum's capability approach, we present a framework formalizing a network of ethical concepts and entitlements necessary for AI systems to confer meaningful benefit or assistance to stakeholders. Such systems enhance stakeholders' ability to advance their life plans and well-being while upholding their fundamental rights. We characterize two necessary conditions for (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  39
    Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic.J. W. Addison - 2004 - Annals of Pure and Applied Logic 126 (1-3):77-92.
    Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  94
    Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.
    What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effective or automatic way. This book is an introduction to computability theory (or recursion theory as it is traditionally known to mathematicians). Dr Cutland (...)
  11. Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
    The class of all recursive functions fails to possess a natural hierarchical structure, generated predicatively from "within". On the other hand, many (proof-theoretically significant) sub-recursive classes do. This paper attempts to measure the limit of predicative generation in this context, by classifying and characterizing those (predictably terminating) recursive functions which can be successively defined according to an autonomy condition of the form: allow recursions only over well-orderings which have already been "coded" at previous levels. The question (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  22
    Recursive functions and existentially closed structures.Emil Jeřábek - 2019 - Journal of Mathematical Logic 20 (1):2050002.
    The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. The Role of Policies and Procedures for the Electronic Document Management System in the Success of the Electronic Document Management System in the Palestinian Pension Agency.Mohammed Khair I. Kassab, Samy S. Abu-Naser & Mazen J. Al Shobaki - 2019 - International Journal of Academic Multidisciplinary Research (IJAMR) 3 (1):43-57.
    The aim of the research is to identify the role of policies and procedures for the electronic document management system in the success of the electronic document management system in the Palestinian Pension Agency. In order to achieve the objectives of the study, the researchers used the analytical descriptive method in which the tries to describe the phenomenon studied, analyze its data, the relationship between its components and the opinions that are raised around it, and use the comprehensive inventory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  30
    Defining visuomotor dissociations and an application to the oculomotor system.Bruce Bridgeman - 2004 - Behavioral and Brain Sciences 27 (1):27-28.
    The perception/planning–control conception has a direct predecessor in a cognitive/sensorimotor scheme, where the cognitive branch includes Glover's perception and planning functions. The sensorimotor branch corresponds to Glover's control function. The cognitive/sensorimotor scheme, like the perception/planning–control scheme, differentiates between motor planning and direct motor control, which is inaccessible to awareness or to long-term memory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  14
    Modeling Urban Growth and Form with Spatial Entropy.Yanguang Chen - 2020 - Complexity 2020:1-14.
    Entropy is one of the physical bases for the fractal dimension definition, and the generalized fractal dimension was defined by Renyi entropy. Using the fractal dimension, we can describe urban growth and form and characterize spatial complexity. A number of fractal models and measurements have been proposed for urban studies. However, the precondition for fractal dimension application is to find scaling relations in cities. In the absence of the scaling property, we can make use of the entropy function and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. The Functionality of Gray Area Ethics in Organizations.John G. Bruhn - 2008 - Journal of Business Ethics 89 (2):205-214.
    All organizations have gray areas where the border between right and wrong behavior is blurred, but where a major part of organizational decision-making takes place. While gray areas can be sources of problems for organizations, they also have benefits. The author proposes that gray areas are functional in organizations. Gray areas become problematic when the process for dealing with them is flawed, when gatekeeper managers see themselves as more ethical than their peers, and when leaders, by their own inattention, inaction, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  17.  27
    A Functional Contextual Account of Background Knowledge in Categorization: Implications for Artificial General Intelligence and Cognitive Accounts of General Knowledge.Darren J. Edwards, Ciara McEnteggart & Yvonne Barnes-Holmes - 2022 - Frontiers in Psychology 13.
    Psychology has benefited from an enormous wealth of knowledge about processes of cognition in relation to how the brain organizes information. Within the categorization literature, this behavior is often explained through theories of memory construction called exemplar theory and prototype theory which are typically based on similarity or rule functions as explanations of how categories emerge. Although these theories work well at modeling highly controlled stimuli in laboratory settings, they often perform less well outside of these settings, such as explaining (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  58
    Interdisciplinarity "in the making": Modeling infectious diseases.Erika Mattila - 2005 - Perspectives on Science 13 (4):531-553.
    : The main contribution of this paper to current philosophical and sociological studies on modeling is to analyze modeling as an object-oriented interdisciplinary activity and thus to bring new insights into the wide, heterogeneous discourse on tools, forms and organization of interdisciplinary research. A detailed analysis of interdisciplinarity in the making of models is presented, focusing on long-standing interdisciplinary collaboration between specialists in infectious diseases, mathematicians and computer scientists. The analysis introduces a novel way of studying the elements of the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  19.  10
    Are Companies Offloading Risk onto Employees in Times of Uncertainty? Insights from Corporate Pension Plans.Douglas Cumming, Fanyu Lu, Limin Xu & Chia-Feng Yu - forthcoming - Journal of Business Ethics:1-20.
    We investigate how firms adjust corporate pension plans in response to economic policy uncertainty (EPU). Using a sample of US-listed firms, we find that firms increase pension underfunding levels when facing higher EPU. The result is robust to controlling for pension portfolio returns, discount rates, plan sizes, pension liability, numbers of employees, other macroeconomic factors, difference-in-differences and instrumental variable estimation, and additional evidence of pension risk-shifting. Further analysis reveals that financial distress and information asymmetry induced (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  21
    Multi-functional landscapes from the grassroots? The role of rural producer movements.Abigail K. Hart, Philip McMichael, Jeffrey C. Milder & Sara J. Scherr - 2016 - Agriculture and Human Values 33 (2):305-322.
    Around the world, agricultural landscapes are increasingly seen as “multi-functional” spaces, expected to deliver food supplies while improving rural livelihoods and protecting and restoring healthy ecosystems. To support this array of functions and benefits, governments and civil society in many regions are now promoting integrated farm- and landscape-scale management strategies, in lieu of fragmented management strategies. While rural producers are fundamental to achieving multi-functional landscapes, they are frequently viewed as targets of, or barriers to, landscape-oriented initiatives, rather than as leading (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  27
    Evolutionary Schema of Modeling Based on Genetic Algorithms.Paweł Stacewicz - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):219-239.
    In this paper, I propose a populational schema of modeling that consists of: a linear AFSV schema, and a higher-level schema employing the genetic algorithm. The basic ideas of the proposed solution are as follows: whole populations of models are considered at subsequent stages of the modeling process, successive populations are subjected to the activity of genetic operators and undergo selection procedures, the basis for selection is the evaluation function of the genetic algorithm. The schema can be applied to automate (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  96
    Teleological Dynamics of Organizational Performance: From Process to Practice and Perfectionism.Sidharta Chatterjee - 2016 - IUP Journal of Knowledge Management 14 (2):7-27.
    Workforce education forms one of the core aspects of organizational learning which aims for performance as well as efficiency. Learning is goal-oriented in business organizations. Organizations' activities are highly-oriented towards customer satisfaction. Organizations learn from practice and delivery of services to meet consumer needs and necessities. Perfection, efficiency and smart practices define today's multinational organizational culture. But how do the multinational organizations achieve such perfections in their business operations? This paper addresses this issue by linking teleological aspects of learning and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    Strictly orthogonal left linear rewrite systems and primitive recursion.E. A. Cichon & E. Tahhan-Bittar - 2001 - Annals of Pure and Applied Logic 108 (1-3):79-101.
    Let F be a signature and R a strictly orthogonal rewrite system on ground terms of F . We give an effective proof of a bounding condition for R , based on a detailed analysis of how terms are transformed during the rewrite process, which allows us to give recursive bounds on the derivation lengths of terms. We give a syntactic characterisation of the Grzegorczyk hierarchy and a rewriting schema for calculating its functions. As a consequence of this, using (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  21
    Hox functional diversity: Novel insights from flexible motif folding and plastic protein interaction.Miguel Ortiz-Lombardia, Nicolas Foos, Corinne Maurel-Zaffran, Andrew J. Saurin & Yacine Graba - 2017 - Bioessays 39 (4):1600246.
    How the formidable diversity of forms emerges from developmental and evolutionary processes is one of the most fascinating questions in biology. The homeodomain‐containing Hox proteins were recognized early on as major actors in diversifying animal body plans. The molecular mechanisms underlying how this transcription factor family controls a large array of context‐ and cell‐specific biological functions is, however, still poorly understood. Clues to functional diversity have emerged from studies exploring how Hox protein activity is controlled through interactions with PBC class (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Forms of emergent interaction in General Process Theory.Johanna Seibt - 2009 - Synthese 166 (3):479-512.
    General Process Theory (GPT) is a new (non-Whiteheadian) process ontology. According to GPT the domains of scientific inquiry and everyday practice consist of configurations of ‘goings-on’ or ‘dynamics’ that can be technically defined as concrete, dynamic, non-particular individuals called general processes. The paper offers a brief introduction to GPT in order to provide ontological foundations for research programs such as interactivism that centrally rely on the notions of ‘process,’ ‘interaction,’ and ‘emergence.’ I begin with an analysis of our common (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  26.  10
    A Radial Basis Function Neural Network Approach to Predict Preschool Teachers’ Technology Acceptance Behavior.Dana Rad, Gilbert C. Magulod, Evelina Balas, Alina Roman, Anca Egerau, Roxana Maier, Sonia Ignat, Tiberiu Dughi, Valentina Balas, Edgar Demeter, Gavril Rad & Roxana Chis - 2022 - Frontiers in Psychology 13.
    With the continual development of artificial intelligence and smart computing in recent years, quantitative approaches have become increasingly popular as an efficient modeling tool as they do not necessitate complicated mathematical models. Many nations have taken steps, such as transitioning to online schooling, to decrease the harm caused by coronaviruses. Inspired by the demand for technology in early education, the present research uses a radial basis function neural network modeling technique to predict preschool instructors’ technology usage in classes based on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  14
    The regional component of university courses of ‘Russian language and culture of speech‘ at the national branch.A. S. Makhmutova & G. G. Khisamova - 2015 - Liberal Arts in Russia 4 (2):152-159.
    The article is devoted to the formation of linguistic, communicative and cultural competence among students bilinguals in teaching Russian language and speech culture. The authors put forward the thesis that the training of specialists in the conditions of bilingualism re quires not only a higher level of learning a second language, but also a qualitatively different level of comprehension. It is proved that the discipline ‘Russian and the culture of speech‘ assumes formation of communicative and culturological competence of the higher (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.
  29.  18
    The Active Image: Architecture and Engineering in the Age of Modeling.Remei Capdevila-Werning & Sabine Ammon (eds.) - 2017 - Cham: Springer Verlag.
    The “active image” refers to the operative nature of images, thus capturing the vast array of “actions” that images perform. This volume features essays that present a new approach to image theory. It explores the many ways images become active in architecture and engineering design processes and how, in the age of computer-based modeling, images play an indispensable role. The contributors examine different types of images, be they pictures, sketches, renderings, maps, plans, and photographs; be they analog or digital, planar (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  6
    Functionals defined by recursion.Luis Elpidio Sanchis - 1967 - Notre Dame Journal of Formal Logic 8 (3):161-174.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  31.  11
    Detection and Adaptive Video Processing of Hyperopia Scene in Sports Video.Qingjie Chen & Minkai Dong - 2021 - Complexity 2021:1-13.
    In the research of motion video, the existing target detection methods are susceptible to changes in the motion video scene and cannot accurately detect the motion state of the target. Moving target detection technology is an important branch of computer vision technology. Its function is to implement real-time monitoring, real-time video capture, and detection of objects in the target area and store information that users are interested in as an important basis for exercise. This article focuses on how to efficiently (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Beyond embodiment : from internal representation of action to symbolic processes.Isabel Barahona da Fonseca, Jose Barahona da Fonseca & Vitor Pereira - 2012 - In Liz Stillwaggon Swan (ed.), Origins of mind. Dordrecht: Springer. pp. 187-199.
    In sensorimotor integration, representation involves an anticipatory model of the action to be performed. This model integrates efferent signals (motor commands), its reafferent consequences (sensory consequences of an organism’s own motor action), and other afferences (sensory signals) originated by stimuli independent of the action performed. Representation, a form of internal modeling, is invoked to explain the fact that behavior oriented to the achievement of future goals is relatively independent from the immediate environment. Internal modeling explains how a cognitive system achieves (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. UNDERSTANDING HUMAN CONSCIOUSNESS AND MENTAL FUNCTIONS: A LIFE-SCIENTIFIC PERSPECTIVE OF BRAHMAJNAANA.Varanasi Ramabrahmam - 2011 - In In the Proceedings of 4th National conference on VEDIC SCIENCE with theme of "Ancient Indian Life science and related Technologies" on 23rd, 24th, and 25th December 2011 atBangalore conducted by National Institute of Vedic Science (NIVS ) Bang.
    A biophysical and biochemical perspective of Brahmajnaana will be advanced by viewing Upanishads and related books as “Texts of Science on human mind”. A biological and cognitive science insight of Atman and Maya, the results of breathing process; constituting and responsible for human consciousness and mental functions will be developed. The Advaita and Dvaita phases of human mind, its cognitive and functional states will be discussed. These mental activities will be modeled as brain-wave modulation and demodulation processes. The energy-forms and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  14
    A restricted computation model on Scott domains and its partial primitive recursive functionals.Karl-Heinz Niggl - 1998 - Archive for Mathematical Logic 37 (7):443-481.
    The paper builds on both a simply typed term system ${\cal PR}^\omega$ and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion of partial primitive recursive functional on Scott domains $D_\rho$ supporting a suitable concept of parallelism. Computability on Scott domains seems to entail that Kleene's schema of higher type simultaneous course-of-values recursion (scvr) is not reducible to partial primitive recursion. So extensions ${\cal PR}^{\omega e}$ and PTWP $^e$ are studied (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  24
    Where does the end begin? Problems in musico-cognitive modeling.James Kippen - 1992 - Minds and Machines 2 (4):329-344.
    Research with computer systems and musical grammars into improvisation as found in the tabla drumming system of North India has indicated that certain musical sentences comprise (a) variable prefixes, and (b) fixed suffixes (or cadences) identical with those of their original rhythmic themes. It was assumed that the cadence functioned as a kind of target in linear musical space, and yet experiments showed that defining what exactly constituted the cadence was problematic. This paper addresses the problem of the status of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  68
    Probability functions: The matter of their recursive definability.Hugues Leblanc & Peter Roeper - 1992 - Philosophy of Science 59 (3):372-388.
    This paper studies the extent to which probability functions are recursively definable. It proves, in particular, that the (absolute) probability of a statement A is recursively definable from a certain point on, to wit: from the (absolute) probabilities of certain atomic components and conjunctions of atomic components of A on, but to no further extent. And it proves that, generally, the probability of a statement A relative to a statement B is recursively definable from a certain point on, to wit: (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  14
    Enhanced Oil Recovery for ASP Flooding Based on Biorthogonal Spatial-Temporal Wiener Modeling and Iterative Dynamic Programming.Shurong Li, Yulei Ge & Yuhuan Shi - 2018 - Complexity 2018:1-19.
    Because of the mechanism complexity, coupling, and time-space characteristic of alkali-surfactant-polymer flooding, common methods are very hard to be implemented directly. In this paper, an iterative dynamic programming based on a biorthogonal spatial-temporal Wiener modeling method is developed to solve the enhanced oil recovery for ASP flooding. At first, a comprehensive mechanism model for the enhanced oil recovery of ASP flooding is introduced. Then the biorthogonal spatial-temporal Wiener model is presented to build the relation between inputs and states, in which (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  20
    A direct method for simulating partial recursive functions by Diophantine equations.Yuri Matiyasevich - 1994 - Annals of Pure and Applied Logic 67 (1-3):325-348.
    A new proof is given of the celebrated theorem of M. Davis, H. Putnam and J. Robinson concerning exponential Diophantine representation of recursively enumerable predicates. The proof goes by induction on the defining scheme of a partial recursive function.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  11
    Non-definability of the Ackermann function with type 1 partial primitive recursion.Karl-Heinz Niggl - 1997 - Archive for Mathematical Logic 37 (1):1-13.
    The paper builds on a simply typed term system ${\cal PR}^\omega $ providing a notion of partial primitive recursive functional on arbitrary Scott domains $D_\sigma$ that includes a suitable concept of parallelism. Computability on the partial continuous functionals seems to entail that Kleene's schema of higher type simultaneous course-of-values recursion (SCVR) is not reducible to partial primitive recursion. So an extension ${\cal PR}^{\omega e}$ is studied that is closed under SCVR and yet stays within the realm of subrecursiveness. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. The Universal Process of Understanding: Seven Key Terms in Gadamer's Hermeneutics.Richard Palmer & Katia Ho - 2008 - Philosophy and Culture 35 (2):121-144.
    In order to introduce the text description of this class will show seven keywords, they represent In order to understand the general process for the seven. Need to mention is that the author published in Chinese script - title "Gadamer's philosophy of the seven key" - and this content is not the same. In fact, only one in that the use of key words in this speech mentioned the four key words will be used the next article. 1 Linguistics as (...)
     
    Export citation  
     
    Bookmark  
  41.  3
    Automated Orchestration of Security Chains Driven by Process Learning.Nicolas Schnepf, Rémi Badonnel, Abdelkader Lahmadi & Stephan Merz - 2021 - In Ahmad Alnafessah, Gabriele Russo Russo, Valeria Cardellini, Giuliano Casale & Francesco Lo Presti (eds.), Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning. Wiley. pp. 289–319.
    Connected devices, such as smartphones and tablets, are exposed to a large variety of attacks. Their protection is often challenged by their resource constraints in terms of CPU, memory and energy. Security chains, composed of security functions such as firewalls, intrusion detection systems and data leakage prevention mechanisms, offer new perspectives to protect these devices using software-defined networking and network function virtualization. However, the complexity and dynamics of these chains require new automation techniques to orchestrate them. This chapter describes (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Expressing and capturing the primitive recursive functions.Peter Smith - unknown
    The last Episode wasn’t about logic or formal theories at all: it was about common-or-garden arithmetic and the informal notion of computability. We noted that addition can be defined in terms of repeated applications of the successor function. Multiplication can be defined in terms of repeated applications of addition. The exponential and factorial functions can be defined, in different ways, in terms of repeated applications of multiplication. There’s already a pattern emerging here! The main task in the (...)
     
    Export citation  
     
    Bookmark  
  43. Can neural models of cognition benefit from the advantages of connectionism?Friedrich T. Sommer & Pentti Kanerva - 2006 - Behavioral and Brain Sciences 29 (1):86-87.
    Cognitive function certainly poses the biggest challenge for computational neuroscience. As we argue, past efforts to build neural models of cognition (the target article included) had too narrow a focus on implementing rule-based language processing. The problem with these models is that they sacrifice the advantages of connectionism rather than building on them. Recent and more promising approaches for modeling cognition build on the mathematical properties of distributed neural representations. These approaches truly exploit the key advantages of connectionism, that is, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  40
    Functionals Defined by Transfinite Recursion.R. E. Vesley & W. W. Tait - 1966 - Journal of Symbolic Logic 31 (3):509.
  45.  6
    Assessing the Effect of Dynamic Capabilities on the ESG Reporting and Corporate Performance Relationship With Topic Modeling: Evidence From Global Companies.Byung Mo Yang & Oh Suk Yang - 2022 - Frontiers in Psychology 13.
    The primary purpose of this study is to examine the relationship between the dynamic capabilities embedded in ESG management, which are being pursued by global companies, and corporate performance amid increasing uncertainty. Furthermore, the secondary purpose is to examine the function of environmental uncertainty moderating the DCs-performance relationship. Concerning the analysis tool, this study employs topic modeling with Word2Vec embedding that analyzes unstructured data. This was employed as an alternative method beyond the limitations of the traditional approach, i.e., survey or (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Reframing Single- and Dual-Process Theories as Cognitive Models: Commentary on De Neys (2021). [REVIEW]Aliya R. Dewey - 2021 - Perspectives in Psychological Science 16 (6):1428–31.
    De Neys (2021) argues that the debate between single- and dual-process theorists of thought has become both empirically intractable and scientifically inconsequential. I argue that this is true only under the traditional framing of the debate—when single- and dual-process theories are understood as claims about whether thought processes share the same defining properties (e.g., making mathematical judgments) or have two different defining properties (e.g., making mathematical judgments autonomously versus via access to a central working memory capacity), respectively. But if single- (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Rethinking the Conceptual Space for Science in Society after the VFI.T. Y. Branch & Heather Douglas - 2023 - Philosophy of Science.
    Replacing the value-free ideal (VFI) for science requires attention to the broader understanding of how science in society should function. In public spaces, science needed to project the VFI in norms for science advising, science education, and science communication. This resulted in the independent science advisor model and a focus on science literacy for science education and communication. Attending to these broader implications of the VFI which structure science and society relationships is crucial if we are to properly replace the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  59
    When Something Goes Wrong: Who is Responsible for Errors in ML Decision-making?Andrea Berber & Sanja Srećković - 2023 - AI and Society 38 (2):1-13.
    Because of its practical advantages, machine learning (ML) is increasingly used for decision-making in numerous sectors. This paper demonstrates that the integral characteristics of ML, such as semi-autonomy, complexity, and non-deterministic modeling have important ethical implications. In particular, these characteristics lead to a lack of insight and lack of comprehensibility, and ultimately to the loss of human control over decision-making. Errors, which are bound to occur in any decision-making process, may lead to great harm and human rights violations. It is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Learning a Generative Probabilistic Grammar of Experience: A Process‐Level Model of Language Acquisition.Oren Kolodny, Arnon Lotem & Shimon Edelman - 2014 - Cognitive Science 38 (4):227-267.
    We introduce a set of biologically and computationally motivated design choices for modeling the learning of language, or of other types of sequential, hierarchically structured experience and behavior, and describe an implemented system that conforms to these choices and is capable of unsupervised learning from raw natural-language corpora. Given a stream of linguistic input, our model incrementally learns a grammar that captures its statistical patterns, which can then be used to parse or generate new data. The grammar constructed in this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  10
    Additional Exergames to Regular Tennis Training Improves Cognitive-Motor Functions of Children but May Temporarily Affect Tennis Technique: A Single-Blind Randomized Controlled Trial.Luka Šlosar, Eling D. de Bruin, Eduardo Bodnariuc Fontes, Matej Plevnik, Rado Pisot, Bostjan Simunic & Uros Marusic - 2021 - Frontiers in Psychology 12.
    This study evaluated the effects of an exergame program combined with traditional tennis training on autonomic regulation, tennis technique, gross motor skills, clinical reaction time, and cognitive inhibitory control in children. Sixty-three children were randomized into four groups and compared at baseline, 6-month immediately post intervention and at 1-year follow-up post intervention. At 6-month post intervention the combined exergame and regular training sessions revealed: higher breathing frequency, heart rate and lower skin conductance levels during exergaming; additional benefits in the point (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 993