检索结果-内蒙古大学图书馆

arXiv 2025年

作者： Avetisyan, Zhirayr Karapetyants, Alexey Mirotin, Adolf Department of Mathematics: Analysis Logic and Discrete Mathematics University of Ghent Krijgslaan 281 Building S8 GhentB 9000 Belgium Regional Mathematical Center Southern Federal University Rostov-on-Don344090 Russia Institute of Mathematics Mechanics and Computer Sciences Regional Mathematical Center Southern Federal University Rostov-on-Don344090 Russia Department of Mathematics and Programming Technologies Francisk Skorina Gomel State University Gomel246019 Belarus

In this paper, we consider a two-dimensional operator with an antisymmetric integral kernel, recently introduced by Z. Avetisyan and A. Karapetyants in connection to the study of general homogeneous operators. This is the unique two-dimensional operator that has an antisymmetric kernel homogeneous with respect to all orientation-preserving linear transformations of the plane. It is shown that the operator under consideration interacts naturally, both in Cartesian and polar coordinates, with projective tensor products of some classical functional spaces, such as Lebesgue, Hardy, and Hölder spaces;conditions for their boundedness as operators acting from these spaces to Banach lattices of measurable functions and estimates of their norms are *** Codes 44A05, 44A15 Copyright © 2025, The Authors. All rights reserved.

关键词： Linear transformations

来源：评论

学校读者我要写书评

暂无评论

Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with Electrodialysis Reversal 8

Fuzzy vs neural network models for environmental decision su...

引用

8th International Congress on Environmental Modelling and Software - Environmental Modelling and Software for Supporting a Sustainable Future, iEMSs 2016

作者： Dalmau, Montse Monclús, Hèctor Espasa, Joan Atanasova, Natasa Poch, Manel Emiliano, Pere Capdevila, Oriol González, Santiago Valero, Fernando Institute of the Environment University of Girona Girona CataloniaE-17003 Spain Logic and Programming Research Group Department of Computer Science Applied Mathematics and Statistics University of Girona Girona CataloniaE-17003 Spain ATLL-Concessionària de la Generalitat de Catalunya Sant Martí de l'Erm 30 Sant Joan Despí Barcelona CataloniaE08970 Spain

ISBN: (纸本)9788890357459

The development of an environmental decision support system (EDSS) by means of two different aims to support the operators' decisions in the drinking water treatment plant (DWTP), equipped with the biggest electrodialysis reversal (EDR) in the world. A fuzzy artificial neural network (ANN) modelling and adaptive network-based fuzzy inference system (ANFIS) have been compared for optimizing the decision: how to manage water blending ratios from EDR and conventional treatment of the drinking water plant, evaluating Llobregat River characteristics (inlet DWTP), current operating conditions of DWTP, weather conditions and distribution requirements on-line. This tool has been tested among 4,5 months in the facility, showing better tendencies regarding the ANFIS model in comparison to the ANN model. A further application of the ANN and ANFIS process models, tested and validated, will be integrated into a process-controlled architecture of the EDSS. © 2016 Environmental Modelling and Software for Supporting a Sustainable Future, Proceedings - 8th International Congress on Environmental Modelling and Software, iEMSs 2016. All rights reserved.

关键词： Fuzzy inference

来源：评论

学校读者我要写书评

暂无评论

Tracing shifts in emotions in streaming social network data 22nd

Tracing shifts in emotions in streaming social network data

引用

22nd International Symposium on Methodologies for Intelligent Systems, ISMIS 2015

作者： Andreasen, Troels Christiansen, Henning Have, Christian Theil Programming Logic and Intelligent Systems Roskilde University Roskilde Denmark Department of Metabolic Genetics University of Copenhagen Copenhagen Denmark

ISBN: (纸本)9783319252513

Shifts in emotions towards given topics on social media are often related to momentous real world events, and for the researcher or journalist, such changes may be the first observable sign that something interesting is going on. Further research on why a topic t suddenly has become, say, more or less popular, may involve searching for topics t′ whose co-occurrence with t have increased significantly together with the change in emotion. We hypothesize that t′ and its increasing relationship to t′ may relate to a contributing cause why the attitude towards t is changing. A method and tool is presented that monitors a stream of messages, reporting topics with changing emotions and indicating explanations by means of related topics whose increasing occurrence are taken as possible clues of why the change did happen. © Springer International Publishing Switzerland 2015.

关键词： Media streaming

来源：评论

学校读者我要写书评

暂无评论

Are crossing dependencies really scarce?

arXiv

引用

arXiv 2017年

作者： Ferreri-Cancho, R. Gomez-Rodriguez, C. Esteban, J.L. Complexity Quantitative Linguistics Lab Larca Research Group Departament de Ciencies de la Computacio Universitat Politecnica de Catalunya Campus Nord Edici Omega Jordi Girona Salgado 1-3 Barcelona Catalonia08034 Spain Universidade da Coruna Fastparse Lab LyS Research Group Departamento de Computacion Facultade de Informatica Elvina Coruna15071 A Logic and Programming Logprog Research Group Departament de Ciencies de la Computacio Universitat Politecnica de Catalunya Campus Nord Edici Omega Jordi Girona Salgado 1-3 Barcelona Catalonia08034 Spain

The syntactic structure of a sentence can be modelled as a tree, where vertices correspond to words and edges indicate syntactic dependencies. It has been claimed recurrently that the number of edge crossings in real sentences is small. However, a baseline or null hypothesis has been lacking. Here we quantify the amount of crossings of real sentences and compare it to the predictions of a series of baselines. We conclude that crossings are really scarce in real sentences. Their scarcity is unexpected by the hubiness of the trees. Indeed, real sentences are close to linear trees, where the potential number of crossings is maximized. Copyright © 2017, The Authors. All rights reserved.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

Ontology-based roles association networks for visualizing trends in political debate 9th

Ontology-based roles association networks for visualizing tr...

引用

9th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015

作者： Andreasen, Troels Christiansen, Henning Eberholst, Mads Kæmsgaard Research Group PLIS: Programming Logic and Intelligent Systems Roskilde University Roskilde Denmark Department of Communication Business and Information Technologies Research Group: Communication Journalism and Social Change Roskilde University Roskilde Denmark

ISBN: (纸本)9783319255903

Online resources, large data repositories and streaming social network messages embed plenitudes of interesting knowledge, often of associative nature. A specific communicative context, such as the political debate in a given country, has groupings of actors, with changing attitudes and stances towards each other and external, real or invented, threats and opportunities. A new form of associative network is introduced, that integrate flexible ontologies for complex contexts of roles and hierarchies with a labelled association structure representing observed strengths and attitudes. Twitter messages from the political landscape in Denmark up to the general election 2015 are used as a both current and relevant illustrative case. © Springer International Publishing Switzerland 2015.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Bisimulations and logical characterizations on continuous-time markov decision processes

引用

15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014

作者： Song, Lei Zhang, Lijun Godskesen, Jens Chr. Max-Planck-Institut für Informatik Saarland University Saarbrücken Germany State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Programming Logic and Semantics Group IT University of Copenhagen Denmark

ISBN: (纸本)9783642540127

In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL). For strong bisimulation, it is well known that it is strictly finer than the CSL equivalence. In this paper we propose strong and weak bisimulations for CTMDPs and show that for a subclass of CTMDPs, strong and weak bisimulations are both sound and complete with respect to the equivalences induced by CSL and the sub-logic of CSL without next operator respectively. We then consider a standard extension of CSL, and show that it and its sub-logic without X can be fully characterized by strong and weak bisimulations respectively over arbitrary CTMDPs. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Querying sentiment development over time

Querying sentiment development over time

引用

10th International Conference on Flexible Query-Answering Systems, FQAS 2013

作者： Andreasen, Troels Christiansen, Henning Have, Christian Theil Research Group PLIS: Programming Logic and Intelligent Systems Dept. of Communication Business and Information Technologies Roskilde University Denmark

ISBN: (纸本)9783642407680

A new language is introduced for describing hypotheses about fluctuations of measurable properties in streams of timestamped data, and as prime example, we consider trends of emotions in the constantly flowing stream of Twitter messages. The language, called EmoEpisodes, has a precise semantics that measures how well a hypothesis characterizes a given time interval;the semantics is parameterized so it can be adjusted to different views of the data. EmoEpisodes is extended to a query language with variables standing for unknown topics and emotions, and the query-answering mechanism will return instantiations for topics and emotions as well as time intervals that provide the largest deflections in this measurement. Experiments are performed on a selection of Twitter data to demonstrates the usefulness of the approach. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

One small step and one short word: What neil Armstrong said, why we heard what we heard, and why it matters

One small step and one short word: What neil Armstrong said,...

引用

Conference on Digital Avionics Systems (DASC)

作者： Hugh Blair-Smith Down to the Metal: Programming and Logic Design

This article consists of a collection of slides from the author's conference presentation.

关键词： Metals TV programming logic design Aerospace electronics Australia Microwave integrated circuits

来源：评论

学校读者我要写书评

暂无评论

Hybrid-logical reasoning in false-belief tasks 14

Hybrid-logical reasoning in false-belief tasks

引用

14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013

作者： Braüner, Torben Programming Logic and Intelligent Systems Research Group Roskilde University P.O. Box 260 RoskildeDK-4000 Denmark

ISBN: (纸本)9780615747163

The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called falsebelief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. We also consider the Sally-Anne task, having a somewhat more complicated logical structure, presupposing a \principle of inertia" saying that a belief is preserved over time, unless there is belief to the contrary. Copyright 2013 by the authors.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

A declarative pipeline language for complex data analysis

A declarative pipeline language for complex data analysis

引用

22nd International Symposium on logic-Based Program Synthesis and Transformation, LOPSTR 2012

作者： Christiansen, Henning Theil Have, Christian Torp Lassen, Ole Petit, Matthieu Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O. Box 260 Roskilde 4000 Denmark

ISBN: (纸本)9783642381966

We introduce BANpipe - a logic-based scripting language designed to model complex compositions of time consuming analyses. Its declarative semantics is described together with alternative operational semantics facilitating goal directed execution, parallel execution, change propagation and type checking. A portable implementation is provided, which supports expressing complex pipelines that may integrate different Prolog systems and provide automatic management of files. © 2013 Springer-Verlag.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：