Search results for "CSA"

showing 10 items of 50 documents

SCALESEM : Evaluation of Semantic Graph based on Model Checking

2011

International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modelling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns …

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationModel-checking[INFO.INFO-WB] Computer Science [cs]/WebTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSSemantic graph[INFO.INFO-WB]Computer Science [cs]/Web[ INFO.INFO-WB ] Computer Science [cs]/WebTemporal logic[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationTemporal logic.
researchProduct

Qualifying semantic graphs using model checking

2011

International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns t…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation[INFO.INFO-WB] Computer Science [cs]/WebComputer science[ INFO.INFO-WB ] Computer Science [cs]/Web0102 computer and information sciences02 engineering and technologycomputer.software_genre01 natural sciencesSocial Semantic Webtemporal logicSemantic similaritySemantic computing0202 electrical engineering electronic engineering information engineeringSemantic analyticsSemantic integrationSemantic Web StackInformation retrievalbusiness.industry[INFO.INFO-WB]Computer Science [cs]/WebSemantic search020207 software engineeringSemantic interoperability[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationModel-checking010201 computation theory & mathematicsSemantic graphTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS[INFO.INFO-MO] Computer Science [cs]/Modeling and SimulationArtificial intelligencebusinesscomputerNatural language processing2011 International Conference on Innovations in Information Technology
researchProduct

On Language Adequacy

2015

Abstract The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most general one being: the compatibility of the language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory of syntax T of any categorial language L generated by the so-called classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and ex- tensio…

categorial grammartruthPrinciple of compositionalitySemantics (computer science)constituent of knowledgeMeaning (philosophy of language)Denotationreferringcompatibility of syntax and semanticsintensional semanticsAZ20-999interpretationMathematicsontological objectInterpretation (logic)Categorial grammarcommunicationmeaningcategorizationtoken-type distinctionalgebraic modelsLinguisticsSyntax (logic)PhilosophyTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESdenotationcompositionalityTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSextensional semanticsHistory of scholarship and learning. The humanitiesOn LanguageStudies in Logic, Grammar and Rhetoric
researchProduct

Ion transport through membranes: A computer experiment

1983

Abstract Gramicidin-A is a linear pentadecapeptide antibiotic, which forms transmembrane channels; these have a number of interesting conductance characteristics [1, 2 and Refs. therein], as for example high specific ion fluxes (a single channel carries about 10 7 sodium ions/sec at 25 °C, 1 M NaCl and 100 mV transmembrane d.d.p.) have a remarkable ion selectivity among the monovalent cations. The permeability ratios with respect to sodium were found to be in following order H + (150) > NH 4 + (8.9) > Cs + (5.8) > Rb + (5.5) > K + (3.9) > Na + (1.0) > Li + (0.33). The channel is impermeable to anions and to divalent cations and it exhibits saturation and maxima in conductance as a function …

chemistry.chemical_classificationTransmembrane channelsAnalytical chemistryKcsA potassium channelConductanceIon Transport ProcessIonDivalentInorganic Chemistrychemistry.chemical_compoundCrystallographychemistryMaterials ChemistryGramicidinPhysical and Theoretical ChemistryIon transporterInorganica Chimica Acta
researchProduct

Transform Farming With the Help of Social Media A Pioneering Chinese Community Supported Agriculture (CSA) Farm and Its Micro Blog USA

2016

community supported agriculturemicro blogssosiaalinen mediaurbanizationCSAmaanviljely
researchProduct

MODELLING, OPTIMIZATION, AND 3E-ANALYSIS OF DISH-STIRLING CONCENTRATING SOLAR POWER SYSTEMS

2022

raggiungimento degli obiettivi del precedente Accordo di Parigi, tutti i Paesi sono stati invitati a impegnarsi a garantire l'azzeramento globale entro la metà del secolo e a mantenere l'aumento della temperatura media globale significativamente al di sotto dei 2 °C, rispetto ai livelli preindustriali, entro il 2050, e più precisamente entro il limite superiore di 1,5 °C. Tutti i Paesi stanno concentrando le loro politiche su una transizione energetica globale che consiste nell'aumento dell'uso di fonti rinnovabili per la generazione di elettricità e nell'uso diretto di calore e biomassa rinnovabili, nell'uso diretto di elettricità pulita nei trasporti e nelle applicazioni termiche, nel mig…

energy modelRenewable energySettore ING-IND/11 - Fisica Tecnica AmbientaleSolar energydish-Stirlingthermal storageLCSAConcentrating solar powerDeep Learning.Borehole thermal energy systemCogeneration
researchProduct

Synthesis, characterization and conformational analysis of chloro-bis(glycylglycinate)germanium(IV) chloride

2011

Chloro-bis(glycylglycinate)germanium(IV) chloride, [Cl(glygly)2Ge]Cl, was synthesized and characterized in the solid state by elemental analysis, thermogravimetry and infrared spectroscopy. Solution studies were also performed by 1H-NMR and 13C-NMR in dimethylsulfoxide (DMSO-d6) and by electric conductivity. The structural determination of the complex and the interpretation of the spectroscopic results were performed by employing an integrated computational approach, based on a systematic conformational search analysis on the [Cl(glygly)2Ge]+ ion performed by the Systematic Conformational Search Algorithm (SCSA) code, working at the hybrid B3LYP/6-31G(d,p) level. The combination of experime…

germanium(IV) chloride glycvylglycinate syntesisthermogravimetrtryspectroscopy infrared SCSAInfrared spectroscopychemistry.chemical_elementGermaniumGeneral ChemistryChlorideCatalysisIonCharacterization (materials science)ThermogravimetryCrystallographychemistryElectrical resistivity and conductivityElemental analysisSettore CHIM/03 - Chimica Generale E InorganicaMaterials Chemistrymedicinemedicine.drug
researchProduct

Pret komercsabiedrībām vērsti noziedzīgi nodarījumi- tos veicinošie faktori un novēršana

2020

Komercsabiedrības kā noziedzīgu nodarījumu upuri ir kriminoloģijā maz pētīts temats, pastāvošajām zināšanām par šādu noziedzību veicinošajiem faktoriem un to novēršanu nereti esot balstītām pētījumos par noziedzīgiem nodarījumiem pret fiziskām personām. Šī pētījuma ietvaros autors identificē dažādos noziedzīgos nodarījumus, no kuriem var ciest komercsabiedrības, piedāvā to dalījumu tieši un netieši vērstos noziedzīgos nodarījumos, apskata prevencijas un reakcijas pasākumu īstenošanas kārtību un nozīmi, kā arī praktiski izpēta vairākus noziegumus, identificējot pasākumus, kuru preventīva ieviešana būtu varējusi noziegumus novērst. Autors identificē padziļinātu šīs tēmas pētījumu trūkumu iesp…

prevencijakriminoloģijanoziedzīgi nodarījumiviktimoloģijaJuridiskā zinātnekomercsabiedrības
researchProduct

Komercsabiedrības reputācijas aizskāruma tiesiskie aspekti.

2020

Maģistra darbs “Komercsabiedrības reputācijas aizskāruma tiesiskie aspekti” ir uzrakstīts Latvijas Universitātes Juridiskās fakultātes Civiltiesisko zinātņu katedrā. Darba ietvaros autors izpēta Eiropas Cilvēktiesību tiesas, ārvalstu, it īpaši anglosakšu tiesību saimes normatīvos aktus un tiesu praksi, lai noskaidrotu tiesisko pamatu komercsabiedrību reputācijas aizsardzībai. Autors gūtās atziņas darba gaitā salīdzina ar Latvijas tiesu praksē un juridiskajā literatūrā esošajām atziņām. Tāpat tiek analizēts, kas ir neatļauta darbība komercsabiedrības reputācijas aizskāruma gadījumā, apskatītas dažādas metodes, kuras varētu tikt izmantotas, lai aprēķinātu zaudējumu apmēru, kas komercsabiedrīb…

reputācijavārda brīvībakomercsabiedrībadeliktszaudējumiJuridiskā zinātne
researchProduct

Introduzione

2018

Pubblicato nel quinto fascicolo di Versus. Quaderni di studi semiotici, il lungo, articolato, complesso saggio di Paolo Fabbri che qui riproponiamo appariva in un momento topico per l’investigazione sui segni, i linguaggi, il senso, la significazione

semiotica comunicsazioni di massa paolo fabbriSettore M-FIL/05 - Filosofia E Teoria Dei Linguaggi
researchProduct