CAISL: Simplification Logic for Conditional Attribute Implications

In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a more suitable way for automated reasoning than the one based on Armstrong’s Axioms. We also present an automated method to prove the derivability of a CAI from a set of CAI s.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

SIFAT-SIFAT MATRIKS LUNAK FUZZY INTUISIONISTIK

Fuzzy soft sets is one of the mathematical tools that are used to deal with the problem of uncertainty, such as problems in the field of economic, health, and others. The concept of fuzzy soft sets is extended into intuitiononistic fuzzy soft sets to intuitiononistic fuzzy soft matrices. This article examines the intuitionistic fuzzy soft matrix and defines the various types and operations of the intuitionistic fuzzy soft matrix. In addition, the application of an intuitionistic fuzzy soft matrix is ​​given to decision-making problems such as the selection of swimming athletes who have the best swimming techniques

Environmental report

Altres títols : Corporate responsibility repor

Kinerja dan Return Saham Perusahaan Pertambangan di Indonesia

Abstract The purpose of this study is to examine the effect of financial performance on stock returns. Multiple linier regression analysis employed in this re[1]searrch to analyze the data. The result of analysis shows that liquidity (CR) has negative but not significant effect. Profitability as measured by Return On Assets (ROA), Return On Equity (ROE) also influence not significant to stock return. Capital structure (DER) has positive but not significant effect on stock return. Only company size (Size) has a positive and significant.   Abstrak Tujuan penelitian ini adalah untuk menguji pengaruh kinerja keuangan terhadap return saham. Analisis regresi linier berganda digunakan se[1]bagai alat analisis dalam penelitian ini. Hasil penelitian menunjukkan bahwa likuiditas (CR) berpengaruh negatif tetapi tidak signifikan. Profit[1]abilitas yang diukur dengan Return On Assets (ROA), Return On Equity (ROE) juga pengaruhnya tidak signifikan terhadap return saham. Struktur modal (DER) berpengaruh positif tetapi tidak signifikan terhadap return saham. Hanya ukuran perusahaan (Size) yang mempunyai pengaruh yang positif dan signifikan

PENGARUH FINANCIAL LEVERAGE, KEBIJAKAN DIVIDEN DAN EARNING PER SHARE TERHADAP NILAI PERUSAHAAN PADA PERUSAHAAN MAKANAN MINUMAN

Penelititanrbertujuanruntukrmengetahui bagaimana pengaruh Financial Leverage, Kebijakan Dividen,  danvEarning Per Share terhadap Nilai/Perusahaan di Perusahaan ManufakturnMakananndannMinumannyangaterdaftar dinBursa EfekaIndonesia (BEI). Populasiayang diambil yaitu seluruh perusahaan makananfdanfminuman yang terdaftar dihBursa EfekhIndonesia yangfberjumlah 18hperusahaan periodeh2013-2017. Untuk teknik penentuan sampelnya memakai purposive vsampling. Penelitian menggunakan teknik analisis regresi linierhberganda. Hasil penelitian ini memperlihatkan bahwa Finalcial Leverage, Kebijakan Dividen, dan Earning Per Share (EPS) berpengaruh secara simultan dan signifikan terhadap nilaihperusahaan. Dimana secarahparsial, Financial Leverage memiliki pengaruh positifhdan signifikan terhadap Nilai Perusahaan, adanyaxpengaruh negatif danxtidak signifikan pada  Kebijakan dividen terhadap nilai perusahaan, Earning Per Share berpengaruh positif dan signifikan terhadap nilaioperusahaan pada perusahaan manufaktur makananxdan minumanxyang terdaftar di Bursa Efek Indonesia fasex2013-2017.The research aims to find out how the influence of Financial Leverage, Dividend Policy, and Earning Per Share on the Value of Companies in Food and Beverage Manufacturing Companies listed on the Indonesia Stock Exchange (IDX). The population taken is all food and beverage companies listed on the Indonesia Stock Exchange, amounting to 18 companies in the 2013-2017 period. For the technique of determining the sample using purposive sampling. The study uses multiple linear regression analysis techniques. The results of this study indicate that Finalcial Leverage, Dividend Policy, and Earning Per Share (EPS) have a simultaneous and significant effect on firm value. Where partially, Financial Leverage has a positive and significant effect on Company Value, a negative and insignificant influence on dividend policy on company value, Earning Per Share has a positive and significant effect on the value of the company in food and beverage manufacturing companies listed on the Indonesia Stock Exchange phase 2013-2017

Learning to Learn: Theta Oscillations Predict New Learning, which Enhances Related Learning and Neurogenesis

Animals in the natural world continuously encounter learning experiences of varying degrees of novelty. New neurons in the hippocampus are especially responsive to learning associations between novel events and more cells survive if a novel and challenging task is learned. One might wonder whether new neurons would be rescued from death upon each new learning experience or whether there is an internal control system that limits the number of cells that are retained as a function of learning. In this experiment, it was hypothesized that learning a task that was similar in content to one already learned previously would not increase cell survival. We further hypothesized that in situations in which the cells are rescued hippocampal theta oscillations (3–12 Hz) would be involved and perhaps necessary for increasing cell survival. Both hypotheses were disproved. Adult male Sprague-Dawley rats were trained on two similar hippocampus-dependent tasks, trace and very-long delay eyeblink conditioning, while recording hippocampal local-field potentials. Cells that were generated after training on the first task were labeled with bromodeoxyuridine and quantified after training on both tasks had ceased. Spontaneous theta activity predicted performance on the first task and the conditioned stimulus induced a theta-band response early in learning the first task. As expected, performance on the first task correlated with performance on the second task. However, theta activity did not increase during training on the second task, even though more cells were present in animals that had learned. Therefore, as long as learning occurs, relatively small changes in the environment are sufficient to increase the number of surviving neurons in the adult hippocampus and they can do so in the absence of an increase in theta activity. In conclusion, these data argue against an upper limit on the number of neurons that can be rescued from death by learning

An update to Hippocampome.org by integrating single-cell phenotypes with circuit function in vivo

Understanding brain operation demands linking basic behavioral traits to cell-type specific dynamics of different brain-wide subcircuits. This requires a system to classify the basic operational modes of neurons and circuits. Single-cell phenotyping of firing behavior during ongoing oscillations in vivo has provided a large body of evidence on entorhinal-hippocampal function, but data are dispersed and diverse. Here, we mined literature to search for information regarding the phase-timing dynamics of over 100 hippocampal/entorhinal neuron types defined in . We identified missing and unresolved pieces of knowledge (e.g., the preferred theta phase for a specific neuron type) and complemented the dataset with our own new data. By confronting the effect of brain state and recording methods, we highlight the equivalences and differences across conditions and offer a number of novel observations. We show how a heuristic approach based on oscillatory features of morphologically identified neurons can aid in classifying extracellular recordings of single cells and discuss future opportunities and challenges towards integrating single-cell phenotypes with circuit function.Peer reviewe

A Development Environment for Visual Physics Analysis

The Visual Physics Analysis (VISPA) project integrates different aspects of physics analyses into a graphical development environment. It addresses the typical development cycle of (re-)designing, executing and verifying an analysis. The project provides an extendable plug-in mechanism and includes plug-ins for designing the analysis flow, for running the analysis on batch systems, and for browsing the data content. The corresponding plug-ins are based on an object-oriented toolkit for modular data analysis. We introduce the main concepts of the project, describe the technical realization and demonstrate the functionality in example applications

Universal ideals in local realities: online viewing in South Korea, Brazil and India

The potential of the internet to act as a global distribution outlet for screen content has long come into conflict with the nationally-focused strategies of producers, broadcasters, governments and internet service providers. Online viewing therefore acts as a useful case study for interrogating how tensions between ‘global’ and ‘local’ manifest within an increasingly digitized media landscape. This article examines the online viewing markets in three countries at different stages of digital maturity (South Korea, Brazil, India) to consider how online viewing has evolved in each. It then examines audience questionnaire and interview data generated in each country to explore how viewers are making sense of and valuing online viewing services. By interrogating all three samples before focusing specifically on India in more detail, it examines two tensions within the global expansion of online film and television distribution: between global trends and local infrastructures, and between the ideals of online viewing services and the grounded realities of their daily use