Search results for "SOFC"

showing 10 items of 660 documents

Introduction to Mathematical Logic (Edition 2017)

2017

Hyper-textbook for students in mathematical logic, Edition 2017

first order logiclogicresolution methodpredicate logicMathematicsofComputing_GENERALresolutionintuitionistic logicHerbrand theorempropositional logicmodel theoryconstructive logicData_FILESComputingMilieux_COMPUTERSANDEDUCATIONnormal formsmathematical logicHardware_ARITHMETICANDLOGICSTRUCTUREScompleteness theorem
researchProduct

Detecting Asset Misappropriation: Forensic Accounting

2021

The main task of the investigation of asset misappropriation is the correct classification of a crime: identification of the fact of misappropriation and determination of the amount of misappropriated assets. Specificity of asset diversity, asset accounting requirements, and a wide range of misappropriation opportunities require specialised knowledge in accounting and economics that investigators often lack. The aim of the study is to increase the knowledge of investigators in forensic accounting in order to increase effectiveness of investigations in detecting asset misappropriation. In this article, the authors, Latvian and Lithuanian accounting experts, talk about typologies of asset mis…

forensic accountingconcealment typologiesbusiness.industrySocrates 2021 2 (20)asset misappropriationComputingMilieux_LEGALASPECTSOFCOMPUTINGAccountingshortageAsset (economics)BusinessMisappropriationForensic accountingSOCRATES. Rīgas Stradiņa universitātes Juridiskās fakultātes elektroniskais juridisko zinātnisko rakstu žurnāls / SOCRATES. Rīga Stradiņš University Faculty of Law Electronic Scientific Journal of Law
researchProduct

What is Mathematics: Gödel's Theorem and Around (Edition 2015)

2015

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.

foundations of mathematics:MATHEMATICS [Research Subject Categories]MathematicsofComputing_GENERALComputingMilieux_COMPUTERSANDEDUCATIONincompleteness theoremsmathematical logicaxiomatic set theoryHilbert's Tenth problemfirst order arithmetic
researchProduct

Dopant-matrix interaction in solid oxide electrolytes and electrodes

2013

Materials for solid oxide fuel cells (SOFC) are extensively investigated aiming at achieving better performances and device durability in view of the hopefully next implementation of hydrogen technology for the production of energy. This contribution deals with the structural aspects of the interaction of dopants with the solid matrix, either for electrodes or electrolytes. The report concerns materials that are likely fit for implementation, such as ceria-based electrolytes and mixed-oxide electrodes. However, in view of the importance of achieving a deeper insight in the mechanism of solid-state O2- conduction, results about Bi2O3 compounds are also reported. Finally, the host matrix-dopa…

fuel cellEXAFSSOFC
researchProduct

Dopants and defects in proton-conducting perovskites

2008

Many doped perovskites show high proton conductivity at intermediate to high temperatures (500- 900 °C), which has opened possibilities for many prospected applications in energy conversion (fuel cells), and electrochemical devices. In a doped perovskite, e.g. BaCe1-xYxO3-y, oxygen vacancies are created by charge compensation, and can eventually react with air moisture to form structural protonic defects. The sluggish nature of the proton, which is practically invisible to most structural analyses, and poses enormous problems to quantum chemistry, has surely contributed to slow down the progress in the understanding of these materials: in fact, the conduction dynamics and its interplay with…

fuel cellEXAFSSOFCproton conductor
researchProduct

How cyber breeds crime and criminals

2014

Understanding how cyber breeds novel crime and new criminals is a contribution to criminological models with significant applied value. It is highly important for law enforcement and particularly pivotal for preventive intervention. In this paper we propose a human rights-based crime definition, present explanatory models for cybercrime, and outline future arenas and drivers to suggest to the stakeholder community prevention focuses and priorities. The presented work ultimately aims towards supporting two crime preventive design initiatives, one targeted at accounting for and narrowing the cybercriminal space of means, opportunities, and motives; the other aiming at augmenting early and pro…

future crimeshuman motivescybersecurityihmisoikeudetrikoksentorjuntacybercrimeComputingMilieux_LEGALASPECTSOFCOMPUTING
researchProduct

Future of the media : sights from the inside

2012

Journalists as workers and makers of news are a very important stakeholder group for news media companies. It is vital for organizations to acknowledge the needs and expectations of their stakeholders, because fulfilled expectations lead to stakeholder favor and good organizational reputation. Unmet expectations lead to loss of stakeholder trust and bad organizational reputation. The purpose of this master’s thesis was to map the expectations and experiences of journalists and freelancer journalists working for major Finnish media companies. The aim was to find out how journalists see the future of media and their own future roles as journalists, how social media has affected journalists’ w…

futureComputingMilieux_THECOMPUTINGPROFESSIONjournalistsocial mediamediasosiaalinen mediaComputerApplications_COMPUTERSINOTHERSYSTEMSComputingMilieux_LEGALASPECTSOFCOMPUTINGjournalismtoimittajatGeneralLiterature_MISCELLANEOUSjournalismiodotuksetComputingMilieux_COMPUTERSANDSOCIETYtulevaisuusexpectations
researchProduct

MATHEMATICS IN THE CONTEXT OF FUZZY SETS: BASIC IDEAS, CONCEPTS, AND SOME REMARKS ON THE HISTORY AND RECENT TRENDS OF DEVELOPMENT

2011

The main aim of this paper is to discuss the basic ideas and concepts of the so called ‘Fuzzy Mathematics’ and to give a brief survey of the history and of some trends in recent development of mathematics and its applications in the context of fuzzy sets. As a potential reader we imagine a mathematician, who is not working in the field of ‘fuzzy mathematics’, but wishes to have some idea about this vast field in modern science.

fuzzy real numberfuzzy setFuzzy setMathematicsofComputing_GENERALContext (language use)Fuzzy logicField (computer science)Fuzzy cognitive mapEpistemologyDevelopment (topology)Modeling and SimulationFuzzy mathematicsQA1-939fuzzy logicComputingMethodologies_GENERALAlgorithmMathematicsAnalysisMathematicsMathematical Modelling and Analysis
researchProduct

About Vertex Mappings

2019

Summary In [6] partial graph mappings were formalized in the Mizar system [3]. Such mappings map some vertices and edges of a graph to another while preserving adjacency. While this general approach is appropriate for the general form of (multidi)graphs as introduced in [7], a more specialized version for graphs without parallel edges seems convenient. As such, partial vertex mappings preserving adjacency between the mapped verticed are formalized here.

graph isomorphismVertex (graph theory)05c60Applied Mathematics68t99CombinatoricsComputational Mathematicsgraph homomorphism03b35QA1-939Graph homomorphismGraph isomorphismMathematicsMathematicsofComputing_DISCRETEMATHEMATICSMathematicsFormalized Mathematics
researchProduct

Using 2-colorings in the theory of uniquely Hamiltonian graphs

2019

We use the concept of 2-coloring in analyzing UH3 graphs and building exact specifications of functions to find new UH3 graphs by Hamiltonian cycle edge extractions

graph theory uniquely Hamiltonian graphs Thomassen's conjectureMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct