Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "deduction" wg kryterium: Temat


Tytuł:
„Automatyzm” działania organów podatkowych przy wydawaniu decyzji zabezpieczających w związku z zakwestionowaniem prawa do odliczenia podatku naliczonego na podstawie tzw. pustych faktur
Issuance of a decision to establish security in relation with a denial of the right to deduct input tax on the basis of fictious invoices
Autorzy:
Gibasiewicz, Dariusz
Powiązania:
https://bibliotekanauki.pl/articles/24987659.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
decyzja zabezpieczająca
uzasadniona obawa niewykonania zobowiązania podatkowego
odliczenie podatku naliczonego
puste faktury
zasada zaufania do organów podatkowych
decision to establish security
reasonable expectation that a tax liability will not be performed
input tax deduction
fictious invoices
principle of trust in tax authorities
Opis:
Artykuł dotyczy wydawania przez organy podatkowe decyzji zabezpieczających wykonanie zobowiązania podatkowego na majątku podatnika przed wydaniem decyzji określającej wysokość zobowiązania w podatku od towarów i usług w związku z postępowaniem podatkowym lub kontrolą podatkową, lub celno-skarbową, które są prowadzone w związku z zakwestionowaniem odliczenia przez podatnika podatku naliczonego na podstawie tzw. pustych faktur. Przedstawiono w nim sposób interpretacji i stosowania tych przepisów przez organy podatkowe i sądy administracyjne w konkretnych sprawach. Dokonano także analizy błędów popełnianych w tego typu postępowaniach oraz naruszeń praw podatnika. Jednocześnie opisano prawidłowy model orzekania w tego typu sprawach – z poszanowaniem praw podatników.
The article deals with the issuance by tax authorities of decisions securing the execution of a tax liability on the taxpayer’s property prior to the issuance of a decision determining the amount of liability in value added tax in connection with tax proceedings, tax inspection, or customs and tax inspection, which are carried out in relation to questioning by the tax authorities the deduction of input tax on the basis of fictious invoices. It presents how these regulations are interpreted and applied by tax authorities and administrative courts in specific cases. It also analyzes the mistakes made in such proceedings and violations of the taxpayer’s rights. At the same time, the correct model of handling and adjudication in this type of cases with respect for the rights of taxpayers is presented.
Źródło:
Kwartalnik Prawa Podatkowego; 2023, 3; 9-36
1509-877X
Pojawia się w:
Kwartalnik Prawa Podatkowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
Autorzy:
Kürbis, Nils
Powiązania:
https://bibliotekanauki.pl/articles/749954.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
definite descriptions
negative intuitionist free logic
natural deduction
normalization
Opis:
This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩x[F, G] is read as `The F is G'. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ℩x[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 2; 81-97
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Commentary on Kant’s Introduction of the Concept of Transcendental Deduction
Komentarz na temat wprowadzenia pojęcia dedukcji transcendentalnej przez Kanta
Autorzy:
Woleński, Jan
Powiązania:
https://bibliotekanauki.pl/articles/3686006.pdf
Data publikacji:
2023-03-29
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
'quid facti'
'quid juris'
logika
dedukcja
powinność
obowiązywanie
poznanie
logic
deduction
obligation
validity
knowledge
Opis:
The aim of this paper is to show the place of legal analogy in Kant’s introduction of the concept of transcendental deduction. After remarks on Kant’s use of the term “deduction,” transcendental deduction is characterised as the method justifying necessary statements about objects. It is argued that this method has normative elements. This leads to asserting similarities between epistemic obligation and legal obligation in the framework of transcendental philosophy.
Celem artykułu jest pokazanie miejsca analogii prawniczej przy wprowadzeniu przez Kanta pojęcia dedukcji transcendentalnej, rozumianej jako metoda uzasadniająca konieczne twierdzenia o przedmiotach i zawierające element normatywne. To prowadzi do stwierdzenia, że, w perspektywie filozofii transcendentalnej, zachodzą podobieństwa pomiędzy powinnością epistemiczną a powinnością prawną.
Źródło:
Acta Universitatis Lodziensis. Folia Iuridica; 2022, 100; 11-19
0208-6069
2450-2782
Pojawia się w:
Acta Universitatis Lodziensis. Folia Iuridica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A practical approach to the assessment of waterjet propulsion performance: the case of a waterjet-propelled trimaran
Autorzy:
Zhang, Lei
Zhang, Jia-ning
Shang, Yu-chen
Dong, Guo-xiang
Chen, Wei-min
Powiązania:
https://bibliotekanauki.pl/articles/963425.pdf
Data publikacji:
2019
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
waterjet propulsion thrust
pressure jump method
boundary element method
trimaran
negative thrust deduction
Opis:
To obtain a reasonable evaluation of the performance of waterjet propulsion at the design stage, a semi-theoretical and semi-empirical method is used to calculate the fundamental parameters of waterjet propulsion performance using an iterative approach. To calculate the ship’s resistance, a boundary element method based on three-dimensional potential flow theory is used to solve the wave-making resistance, and an empirical approach is used to evaluate the viscous resistance. Finally, the velocity and pressure of the capture area of the waterjet propulsion control volume are solved based on turbulent boundary layer theory. The iteration equation is established based on the waterjet-hull force-balance equation, and the change in the ship’s attitude and the local loss of the intake duct are considered. The performance parameters of waterjet propulsion, such as resistance, waterjet thrust, thrust deduction, and the physical quantity of the control volume, are solved by iteration. In addition, a PID-controlled free-running ship model is simulated using the RANS CFD method as a comparison. We apply the proposed approach and the RANS CFD method to a waterjetpropelled trimaran model, and the simulation process and the results are presented and discussed. Although there are some differences between the two methods in terms of the local pressure distribution and thrust deduction, the relative error in the evaluation results for the waterjet propulsion performance is generally reasonable and acceptable. This indicates that the present method can be used at the early stages of ship design without partial information about the waterjet propulsion system, and especially in the absence of a physical model of the pump.
Źródło:
Polish Maritime Research; 2019, 4; 27-38
1233-2585
Pojawia się w:
Polish Maritime Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
All the mathematics in the world: logical validity and classical set theory
Autorzy:
McCarty, David Charles
Powiązania:
https://bibliotekanauki.pl/articles/691100.pdf
Data publikacji:
2017
Wydawca:
Copernicus Center Press
Tematy:
ustification of deduction
set validity
class validity
general validity
intuitionism
topological models
Opis:
A recognizable topological model construction shows that any consistent principles of classical set theory, including the validity of the law of the excluded third, together with a standard class theory, do not suffice to demonstrate the general validity of the law of the excluded third. This result calls into question the classical mathematician's ability to offer solid justifications for the logical principles he or she favors.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2017, 63; 5-29
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Autorzy:
Ilić, Mirjana
Powiązania:
https://bibliotekanauki.pl/articles/749978.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
natural deduction
intuitionistic logic
Opis:
A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.
Źródło:
Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Autorzy:
Braüner, Torben
Powiązania:
https://bibliotekanauki.pl/articles/2142755.pdf
Data publikacji:
2022-01-07
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
hybrid logic
natural deduction systems
sequent systems
normalization
cut-elimination
analycity
Opis:
This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 2; 143-162
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Badania na małych próbach celwych - kilka refleksji z perspektywy budowania teorii
Empirical research on small, intentionally collected samples - some remarks from theory building perspective
Autorzy:
Woroniecka, Grażyna
Powiązania:
https://bibliotekanauki.pl/articles/412822.pdf
Data publikacji:
2013-12-31
Wydawca:
Łódzkie Towarzystwo Naukowe
Tematy:
praktyka badań jakościowych
interpretatywna teoria działania społecznego
generalizacja
indukcja
dedukcja
próba
practice of qualitative research
interpretative theory of social action
generalization
induction
deduction
sample
Opis:
Streszczenie Artykuł stanowi krytykę obecnej mody na prowadzenie badań eksploracyjnych na małych próbach celowych jedynie w celach opisowych. Twierdzę, że zaniechanie analiz komparatystycznych i pracy analitycznej nad socjologicznymi opisami (nawet bardzo dobrymi) znacząco zmniejsza ich użyteczność naukową. Praktyka taka pozostaje również w sprzeczności z własnymi źródłami teoretycznymi, wśród których najczęściej przywoływane, to interakcjonizm symboliczny, teoria ugruntowana i fenomenologia społeczna. Poprawne i zgodne z wytycznymi badania jakościowe na małych próbach celowych swoje bezdyskusyjne walory naukowe zawdzięczają integralnemu związkowi między wglądem empirycznym i refleksją teoretyczną oraz – co jest warunkiem powyższego – poszerzeniu pola badawczego o serie przypadków analogicznych (zgodnie z kryteriami wywiedzionymi z materiału empirycznego). Efektem badań jakościowych ma bowiem – zgodnie z tradycją interpretatywną – być rozwój teorii socjologicznej, a nie mnożenie izolowanych opisów.
The paper criticizes current style of conducting explorative research on small, intentionally collected samples with descriptive aims mainly. I say, their cognitive, scientific value becomes significantly limited when comparative analysis and analytical work on descriptions (even pretty good) is neglected. Such a practice is also in conflict with its own theoretical tradition, including symbolic interactionism, grounded theory and social phenomenology that are most frequently cited. Proper and conducted in accordance with the guidelines, qualitative research on small, intentionally collected samples owe their indisputable advantages to the integral connection between empirical insight and theoretical reflection and – what is a condition of the former – to broadening their research field including analogous cases (according to criteria found in empirical material). The final effect of qualitative research is to be – according to the interpretative tradition – development of the theory, not proliferation of isolated descriptions.
Źródło:
Przegląd Socjologiczny; 2013, 62, 1; 33 - 42
0033-2356
Pojawia się w:
Przegląd Socjologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Beginnings of Human Reasoning: Manifestations of Induction, Deduction and Abduction in Hominid Activities
Autorzy:
Ratajczyk, Dawid
Powiązania:
https://bibliotekanauki.pl/articles/1008834.pdf
Data publikacji:
2017-10-13
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
reasoning
evolution
induction
deduction
abduction
hominids
hunter-gatherers
social interactions
Opis:
Reasoning is a significant feature of humans and it might be one of the main reasons for their evolutionary success. Reasoning is a broad concept and can be divided into types (according to a classification system). Logical classifications propose to distinguish inductive, deductive and abductive reasoning.I try to investigate at which point of human evolution particular types of reasoning arose and why. The study presents deliberation on changes in human lifestyle and their impact on reasoning. It also presents possible hominid activities, which evidence usage of different types of reasoning at different stages of human evolution. Early stages (passive scavengers) suggest no need for creative reasoning. It seems induction was sufficient for hominids to perform their activities. However, some strategies of food foraging applied by hunter-gatherers suggest the usage of abductive reasoning. Social interactions need transitive reasoning to occur and this is an indication of deductive reasoning. I put forward a hypothesis that abduction is necessary to create beliefs, so the ability to abduct arose when humans started to consider afterlife at the latest. I also suggest that abductive reasoning is one of the newest achievements in human evolution.
Źródło:
Studia z kognitywistyki i filozofii umysłu; 2017, 10, 1
2082-7083
Pojawia się w:
Studia z kognitywistyki i filozofii umysłu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
CardS4: modal theorem proving on Java smart cards
Autorzy:
Gore, R.P.
Nguyen, P.T.
Powiązania:
https://bibliotekanauki.pl/articles/309413.pdf
Data publikacji:
2002
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
bezpieczeństwo
kod
kryptografia
security of mobile code
modal deduction
Opis:
We describe a successful implementation of a theorem prover for modal logic S4 that runs on a Java smart card with only 512 KBytes of RAM and 32 KBytes of EEPROM. Since proof search in S4 can lead to infinite branches, this is "proof of principle" that non-trivial modal deduction is feasible even on current Java cards. We hope to use this prover as the basis of an on-board security manager for restricting the flow of "secrets" between multiple applets residing on the same card, although much work needs to be done to design the appropriate modal logics of "permission" and "obligations". Such security concerns are the major impediments to the commercial deployment of multi-application smart cards.
Źródło:
Journal of Telecommunications and Information Technology; 2002, 4; 68-80
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Construction and analysis of new mathematical models of the operation of ship propellers in different maneuvering modes
Autorzy:
Kryvyi, O.
Miyusov, M. V.
Kryvyi, M.
Powiązania:
https://bibliotekanauki.pl/articles/24201453.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
ship propellers
curvilinear motion
mathematical models
hydrodynamic forces
hydrodynamic moments
wake fraction
thrust-deduction factor
drift angle
Opis:
The influence of the curvilinear movement of the ship on the operation of the propeller was studied. It is shown that even at small values of the drift angle and the angular velocity of the vessel, the transverse component of the force on the propeller and the moment are non-zero and cannot be neglected. The existing and proposed new effective mathematical models of the longitudinal and transverse components of force and moment caused by the operation of the ship's propeller are analyzed. Simple expressions for the coefficients of the propeller thrust and the moment on the propeller shaft, the wake fraction, the thrust-deduction factor, and the flow straightening factor on the propeller at any drift angles and angular velocity are obtained. Numerical analysis of the obtained dimensionless components of forces and moments caused by the operation of the propeller is carried out, and their adequacy is shown. It is shown how the specified parameters change for all possible values of the drift angle and angular velocity. For a few commercial vessels of various types, technical characteristics and calculated dynamic parameters are given for the construction of mathematical models of propeller operation during curvilinear movement of the vessel.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2023, 17, 1; 95--102
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Czy potrzebna nam sprawiedliwość podatkowa? Krytyczna analiza pojęcia sprawiedliwości podatkowej na przykładzie odmowy prawa do odliczenia podatku naliczonego w VAT
Do we need tax justice? A critical analysis of the concept of tax justice on example of the refusal of the right of deduction in VAT
Autorzy:
Gryziak, Bartosz
Powiązania:
https://bibliotekanauki.pl/articles/28762938.pdf
Data publikacji:
2023-10-25
Wydawca:
Instytut Studiów Podatkowych Modzelewski i wspólnicy
Tematy:
sprawiedliwość podatkowa
prawo do odliczenia podatku naliczonego
należyta staranność
tax justice
right of deduction
due diligence
Opis:
Któż może odrzucić ideę sprawiedliwości? Pierwsze pytanie brzmi jednak: na czym ona polega? Sprawiedliwości podatkowej nadaje się różne znaczenia – głównie co do rozdziału ciężaru podatkowego między podmioty podatkowe oraz co do związania organów podatkowych treścią podatkowego stanu faktycznego. Przedmiotem analizy jest wykonalność tych postulatów na przykładzie przesłanek zakwestionowania prawa do odliczenia podatku naliczonego w VAT1. Choć wypływają one z postulatów sprawiedliwości podatkowej, to w praktyce stanowią dla podmiotów podatkowych „dowód diabelski” i nakładają na nie nieproporcjonalne obowiązki. Z tej perspektywy być może lepiej porzucić to, co słuszne, na rzecz tego, co możliwe, a w konsekwencji zaakceptować pewne odstępstwa od ortodoksyjnie pojmowanej sprawiedliwości.
How can reject the idea of justice? The first question, however, relates to its content: what does it mean exactly? The tax justice is understood in different ways – mainly referring either to the distribution of tax burden among the taxpayers, or to the binding effect of legally defined chargeable event upon the tax authorities. The analysis concerns the feasibility of the requirements resulting from these ideas on example of the refusal of the right of deduction in VAT. Although the conditions for such refusal derive from the notion of tax justice, in practice they result in disproportionate burden imposed on taxable persons. Taking this into account, perhaps it is advisable to forsake what is just in favour of what is feasible and, hence, accept some deviations from the fundamentally understood tax justice.
Źródło:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych; 2023, 10(326); 14-21
1427-2008
2449-7584
Pojawia się w:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Deduction and adjustment of input VAT as regards economic and non-economic use of goods and services
Odliczanie i korygowanie podatku naliczonego w VAT przy gospodarczym i pozagospodarczym wykorzystywaniu towarów i usług
Autorzy:
Rogowska-Rajda, Beata
Tratkiewicz, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/1057921.pdf
Data publikacji:
2020-12-28
Wydawca:
Łódzkie Towarzystwo Naukowe
Tematy:
vat
deduction and adjustment of input vat
economic and non-economic activity
neutrality principle
odliczanie podatku naliczonego
gospodarcze i pozagospodarcze wykorzystywanie towarów i usług
korekta odliczenia podatku naliczonego
zasada neutralności
Opis:
Background: The aim of the study was to analyse EU legislation and case-law on the deduction and adjustment of input VAT regarding economic and non-economic use of goods and services. This issue has been the focus of much controversy in recent years and has been the subject of several rulings by the Court of Justice of the European Union, the VAT Committee discussions, as well as the rulings of administrative courts and the interpretations of the Minister of Finance/Director of National Revenue Information in Poland. The study conducted a comprehensive legal analysis of the issue, at the same time drawing attention to the doubts that still exist despite the CJEU judgments. Research purpose: The aim of the study was not only to assess the relevant legislation or its interpretation, but above all to draw attention to the need to fill the legislative gap in the area studied, which has led, and may continue to lead, to non-uniform application of VAT rules in the EU Member States. Methods: The study was carried out predominantly using the empirical-dogmatic method, backed by a historical method and comparative method. Conclusions: Significant differences between the Member States of the European Union in terms of the deduction and the adjustment of input VAT regarding goods and services used for mixed purpose were identified. Despite the recent CJEU judgments, there is still a relatively large margin for interpretation, which may result in different legal and tax positions of entities in the EU Member States. There is therefore a need to adopt the EU legislation in this area.
Przedmiot badań: Przedmiotem badań była analiza przepisów i orzecznictwa unijnego w zakresie odliczania i korygowania w systemie VAT podatku naliczonego przy gospodarczym i pozago- spodarczym wykorzystywaniu towarów i usług. Zagadnienie to budziło w ostatnich latach wiele kontrowersji i było przedmiotem kilku rozstrzygnięć Trybunału Sprawiedliwości, obrad Komitetu ds. VAT, a także przedmiotem rozstrzygnięć krajowych sądów administracyjnych i interpretacyjnych Ministra Finansów/Dyrektora Krajowej Informacji Skarbowej. W opracowaniu podjęto się analizy przedmiotowej, zwracając jednocześnie uwagę na istniejące nadal mimo ostatnio wydanych wyroków TSUE wątpliwości w jednolitym stosowaniu przepisów. Cel badawczy: Celem badań była nie tylko ocena samych regulacji prawnych czy interpretacji tych przepisów, ale przede wszystkim zwrócenie uwagi na kwestie związane z brakiem regulacji na szczeblu unijnym w badanym obszarze, który prowadził i nadal może prowadzić wśród państw członkowskich UE do niejednolitego stosowania przepisów w zakresie VAT. Metoda badawcza: Przy pracy nad artykułem, co uzasadnia charakter badań historyczno-prawnych, wykorzystano przede wszystkim metodę badawczą dogmatyczną oraz historyczną. Wyniki: Zidentyfikowano istotne zróżnicowanie wśród państw członkowskich w zakresie odliczania i korekt przy wykorzystaniu mieszanym towarów i usług. Mimo ostatnio wydanych wyroków TSUE nadal istnieje stosunkowo duży margines do interpretacji, który może powodować zróżnicowanie pozycji prawno-podatkowej podmiotów w poszczególnych państwach członkowskich UE. Istnieje zatem potrzeba doprecyzowania regulacji w omawianym zakresie w ustawodawstwie unijnym.
Źródło:
Studia Prawno-Ekonomiczne; 2020, 117; 129-141
0081-6841
Pojawia się w:
Studia Prawno-Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effect of the Nile Aquifer Lithological Characteristics on Groundwater Chemistry in Assiut Governorate, Egypt
Autorzy:
Saleem, Hussein Ali
El-Tahlawi, Mohamed R.
Abo-El Kassem, Mohamed
Boghdady, Gamal Y.
Powiązania:
https://bibliotekanauki.pl/articles/124237.pdf
Data publikacji:
2019
Wydawca:
Polskie Towarzystwo Inżynierii Ekologicznej
Tematy:
lithological characteristics
Nile aquifer
rock source deduction
Assiut
Opis:
The chemical composition of groundwater is affected by many features, including the impact caused by surrounding rocks. The Nile aquifer is surrounded by the calcareous structural plateau along the Assiut governorate on both sides. This paper aims at studying the effect of surrounding rocks on the chemical composition of groundwater in the Nile aquifer along the Assiut governorate. Fifty-five samples were taken from drinking water stations and irrigation wells in 2015, and then analyzed chemically in water and soil fertility laboratory located in the irrigation ministry in Assiut. Aquachem software package was used to determine the groundwater type and rock source deduction. Piper-trilinear diagram was plotted to show the hydrochemical facies. Furthermore, Gibbs diagram was applied to determine the correlation between water composition and aquifer lithological characteristics. The results revealed that nearly all of the groundwater samples drop in the water-rock interaction field. The results of rock source deduction show that the ratio of Cl to the sum of anions is less than 0.8 for all samples, concluding that the rock weathering is dominant. According to the criterion of TDS values, 78% of all the samples indicated that the carbonate weathering is prevalent; in turn, the ratio of Mg to Ca plus Mg shows that limestone-dolomite weathering is predominant. These results confirm that the calcareous structural plateau surrounding the Nile aquifer along the Assiut governorate has an effect on the groundwater chemistry by interacting between groundwater and limestone rocks which are the main component of the calcareous plateau.
Źródło:
Journal of Ecological Engineering; 2019, 20, 6; 73-83
2299-8993
Pojawia się w:
Journal of Ecological Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Autorzy:
Meissner, A.
Powiązania:
https://bibliotekanauki.pl/articles/907821.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
wnioskowanie równoległe
logika opisowa
parallel reasoning
lean deduction
ALC description logic
Oz language
Opis:
A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2011, 21, 1; 83-95
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies