IGPL逻辑杂志,第24卷
2016年2月第24卷第1期
阿尔瓦罗·埃雷罗 , 布鲁诺·巴鲁克 , 阿吉斯·亚伯拉罕 , 安德烈·卡洛斯·蓬斯·德莱昂·费雷拉·德卡瓦略 , 巴勃罗·加西亚·布林加斯 , 赫克特·昆廷 , 埃米利奥·科尔查多 :
编辑:特刊CISIS13-IGPL。 1-3
阿尔贝托·佩纳多 , 安德烈斯·奥尔蒂斯 , 吉列尔莫·科特里娜 :
使用稀疏特征和SOM轨迹进行基于内容的图像认证。 4-15 阿尔贝托·富恩特斯·罗德里格斯 , 路易斯·埃尔南德斯·恩西纳斯 , 阿古斯汀·马丁·穆尼奥斯 , 贝尔纳多·阿拉尔科斯·阿尔卡扎尔 :
DPA工具箱输入模块的设计和优化。 16-28 杰萨贝尔·莫里纳·吉尔 , Pino Caballero-Gil公司 , Cándido Caballero-Gil公司 , Amparo Fuster消减器 :
在iOS和Android平台上实现SNOW 3G Generator的软件。 29-41 Patxi Galán-García公司 , 普埃尔塔的何塞·加维里亚 , 卡洛斯·拉奥尔登·戈麦斯 , 伊戈尔·桑托斯 , 巴勃罗·加西亚·布林加斯 :
监督机器学习用于检测推特社交网络中的巨魔档案:应用于真实的网络欺凌案例。 42-53 恩里科·坎比亚索 , 吉安卢卡·帕帕里奥 , 乔瓦尼·奇奥拉 , 毛里齐奥·艾略 :
移动执行慢速DoS攻击。 54-67 拉斐尔·阿尔瓦雷斯 , 安东尼奥·萨莫拉 :
密钥衍生s盒的随机性分析和生成。 68-79 丹妮拉·文图拉 , 艾托·戈麦斯 , 文森佐·卡塔尼亚 , 迭戈·洛佩斯·德伊皮尼亚 , J.A.M.纳兰霍 , 利奥卡迪奥·卡萨多 :
硬件约束无线网络服务面向组的用户访问控制的安全分析和资源需求。 80-91 Camelia-Mihaela品茶 , 彼得里卡·波普 , Ioana Zelina公司 :
使用敏感代理对无线传感器网络进行拒绝干扰攻击。 92-103 西尔维娅·冈萨雷斯 , 阿尔瓦罗·埃雷罗 , 哈维尔·塞达诺 , Urko Zurutuza公司 , 埃米利奥·科尔查多 :
检测SSH异常连接的不同方法。 104-114
第24卷第2期,2016年4月
吉列尔莫·巴迪亚 :
具有荒谬性的有限命题弱蕴涵语言的Lindström型定理。 115-137 乔治·沃萨达基斯 :
范畴抽象代数逻辑:半格系统中的天空观察。 138-155 克莱萨菲斯·哈托纳斯 :
非分配命题逻辑的模态和时间扩展。 156-185 Dov M.Gabbay公司 , 迈克尔·加巴伊 :
选言攻击理论,第一部分。 186-218
第24卷第3期,2016年6月
马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
具有有限模型性质的中间逻辑中的Skolemization。 224-237 利博·贝霍内克 , 彼得·辛图拉 , 克里斯·弗缪勒 , 托马斯·克罗帕 :
用多值逻辑表示战略博弈及其均衡。 238-267 Katalin Bimbó :
从关系语义学的角度看关联逻辑。 268-287 马塞洛·科尼格里奥 , 弗朗西斯科·埃斯特瓦 , 路易斯·戈多 :
关于真理和保度逻辑之间的中间逻辑集。 288-320 皮拉尔·德尔隆德 , 天使加西亚·塞尔达尼亚 , 卡莱斯·诺格拉 :
非经典一阶代数化逻辑的Löwenheim-Skolem定理。 321-345 纳丘姆·德肖维茨 , Evgenia Falkovich-Derzhavetz公司 :
关于并行计算论文。 346-374 罗曼·库兹涅茨 , 比约恩·勒尔曼 :
将超序列嫁接到嵌套序列上。 375-423 罗曼·库兹涅茨 , 托马斯·斯图德 :
证明逻辑的弱算术解释。 424-440 Revantha Ramanayake公司 :
非交换的经典算术序列计算是直观的。 441-452
第24卷第4期,2016年8月
约翰·伍兹 :
将主题从A改为B真的能加深对A的理解吗? 456-480 V.米歇尔·阿布鲁西 :
逻辑上的分析和综合。 481-493 格哈德·舒尔茨 :
共同原因诱因:科学中理论概念和模型的形成。 494-509 阿里·萨普塔维贾亚 , 路易斯·莫尼兹·佩雷拉 :
道德建模的逻辑编程。 510-525 恰基·萨卡马 , 井上胜美 :
人类对话中的诱拐、会话含义和误导。 526-541 古斯塔沃·塞瓦拉尼 :
卡纳皮亚犬的真实相似性。 542-556 马可·朱蒂 , 西蒙·平纳 :
对于人类计算的动力学方法。 557-569 丹尼尔·波雷洛 :
偏好的单一峰值性和语义维度。 570-583 迈克尔·希佩斯 :
贝叶斯相干性和测量灵敏度问题。 584-599 山姆·卡特 :
关于指示性条件句的概率判断:情色理论。 600-611 赛琳·阿尔芬尼 , 洛伦佐·马格纳尼 :
认知性自身免疫:知识、无知和自我概念。 612-627 克劳迪娅·卡萨迪奥 :
认知领域中的逻辑推理。 628-638 洛伦佐·马格纳尼 :
使诱拐的逻辑自然化。 639-654
第24卷第5期,2016年10月
陈文娟 , 比扬·达瓦兹 :
几类拟伪MV-代数。 655 塞尔吉奥·马塞利诺 , 卡洛斯·卡莱罗 :
没有共享连接词的虚逻辑的可判定性和复杂性。 673-707 马里奥·皮亚扎 , 加布里埃尔·普尔奇尼 :
无割经典命题逻辑公理扩张的唯一性。 708-718 斯特凡诺·邦齐奥 , 伊万·查伊达 , 安东尼奥·莱达 :
将量子结构表示为近半环。 719-742 梅格达德·加里 :
Pavelka型模糊证明逻辑。 743-773 格里戈里·博科夫 :
关于不可判定超直觉命题演算中的变量数。 774-791 格里戈里·博科夫 :
含有蕴涵的命题演算的不可判定问题。 792-806 Dov M.Gabbay公司 , 迈克尔·加巴伊 :
攻击是直觉否定。 807-837 杰玛·罗伯斯 , 何塞·Méndez :
Brady的四值相关逻辑BN4的伴奏:蕴含E4的四值逻辑。 838-858
瓦莱丽亚·德佩瓦 , 劳伦斯·莫斯 , 丹尼尔·莱万特 , 鲁伊·J·G·B·德·奎罗斯 :
第22届逻辑、语言、信息和计算研讨会(WoLLIC 2015)。 859
第24卷第6期,2016年12月
巴勃罗·加西亚·布林加斯 , 豪尔赫·德拉佩尼亚·索尔多 , 普埃尔塔的何塞·加维里亚 , 阿尔瓦罗·埃雷罗 , 赫克特·昆廷 , 埃米利奥·科尔查多 :
编辑:特刊CISIS14-IGPL。 869-870
伊万·加西亚·费雷拉 , 卡洛斯·劳登 , 伊戈尔·桑托斯 , 巴勃罗·加西亚·布林加斯 :
静态分析:简要概述。 871-882 豪尔赫·德拉佩尼亚·索尔多 , 艾克·帕斯托尔·洛佩斯 , Xabier Ugarte-Pedero公司 , 伊戈尔·桑托斯 , 巴勃罗·加西亚·布林加斯 :
社交新闻网站中基于异常的用户评论检测,使用troll用户评论作为正常表示。 883-898 萨尔瓦·佩罗 , 曼努埃尔·穆尼奥斯 , 阿尔芬斯·克雷斯波 :
分析内核堆栈信息泄漏的影响和检测。 899-915 约阿昆·博雷戈·迪亚斯 , 安东尼娅·查韦斯·冈萨雷斯 , 何塞·路易斯·普罗马汀 , 弗吉尼亚·马托斯·拉纳 :
事件识别和解决报告的语义。 916-932 阿尔贝托·佩纳多 , 豪尔赫·穆尼拉 , Amparo Fuster消减器 :
基于DLFSR的伪随机序列发生器的最佳操作模式。 933-943 托马什·安德里西亚克 , 卢卡斯·萨加诺夫斯基 , 米查尔·乔拉斯 , 拉斐尔·科齐克 :
提出并比较了基于长记忆统计模型的网络异常检测。 944-956 毛里齐奥·艾略 , 毛里齐奥·蒙盖利 , 恩里科·坎比亚索 , 吉安卢卡·帕帕里奥 :
使用PCA和互信息分析DNS隧道攻击。 957-970 玛丽安·库内尔 , 乌尔里克·梅耶 :
将空间高效的黑名单应用于移动恶意软件。 971-981 阿莱西奥·梅洛 , 埃琳娜·斯帕达奇尼 , 毛罗·米利亚迪 :
基于IPS的网络能耗降低。 982-995 J.大卫·努涅兹·冈萨雷斯 , 博尔贾·艾尔迪 , 曼努埃尔·格拉尼亚 , 米查尔·沃兹尼亚克 :
社交网络中影响最大化的新启发式方法。 996-1014