第12卷（2006年）

第1期内容内政部：10.3217/jucs-012-01
普及健康管理：健康信息学面临的新挑战	J.C.Augusto、N.D.Black、H.G.McAllister、P.J.McCullagh、C.D.Nugent	1
利用普及技术的普及健康管理和健康管理：协同作用和问题	J.罗伯茨	6
健康监测和协助支持就地老龄化	D.J.库克	15
一种用于实时心律失常远程阻抗和监测的新系统	H.Zhou、K.M.Hou、L.Gineste、C.De Vaulx、J.Ponsonaille	30
CAMMD：上下文软件移动医疗设备	T.O'Sullivan、J.O'Donoghue、J.Herbert、R.Studdert	45
行为监测技术对家庭医疗服务提供的影响	A.P.Glascock、D.M.Kutzik	59
协同生物医学研究系统	A.Taweel、A.Rector、J.Rogers	80
一种普及的多模式远程家庭医疗系统	Z.Miao、B.Yuan、M.Yu	99
基于Web的慢性病决策支持系统	C.-C.Chang、C.-S.Cheng、Y.-S.Huang	115

第2期内容内政部：10.3217/jucs-012-02
总编辑专栏	毛雷尔	126
多解释驱动的朴素贝叶斯分类器	A.阿尔莫纳耶斯	127
基于队列迁移的O（√n）分布式互斥算法	P.Chaudhuri，T.爱德华	140
POCA：具有集群的企业系统中的用户分布算法	P.-Y.Hsu、P.-H.Ting	160
网络的转型：新兴社区如何塑造我们消费的信息	J.Kolbitsch，毛雷尔	187
Petri网活性表征的结构因果关系	B.动物园	214

第3期内容内政部：10.3217/jucs-012-03
普适计算和环境智能：计算的新挑战	J.Bravo、X.Alamán、T.Riesgo	233
使用组件和方面开发环境智能应用程序	L.Fuentes、D.Jiménez、M.Pinto	236
普适医疗应用程序设计的隐私质量（QoP）	M.Tentori、J.Favela、V.M.González	252
会议环境下的可视化服务：RFID技术的一种方法	J.Bravo、R.Hervás、I.sánchez、G.Chavira、s.Nava	270
一种解决环境智能环境中冲突的机制	P.A.Haya、G.Montoro、A.Esquivel、M.GarcíA-Herranz、X.Alamán	284
EMI²let：实现AmI的反思框架	D.López de Ipiña、J.I.Vázquez、D.García、J.Fernández、I.García、D.Sainz、a.Almeida	297
基于移动自组织网络的环境智能环境的上下文软件QoS提供	F.J.Villanueva、D.Villa、F.Moya、J.Barba、F.Rincón、J.C.López	315
无线传感器网络节点的模块化体系结构	J.Portilla、A.de Castro、E.de la Torre、T.Riesgo	328
基于信任管理的自组织网络安全服务发现	C.Campo、F.Almenárez、D.Díaz、C.García-Rubio、a.M.López	340
OCP上下文信息管理系统的信息和混合体系结构模型	I.Nieto、J.A.BotíA、A.F.Gómez-Skarmeta	357

第4期内容内政部：10.3217/jucs-012-04
可演进硬件	N.内贾赫，L.de Macedo Mourelle	367
片上网络映射问题的多目标遗传算法	G.Ascia、V.Catania、M.Palesi	370
替代箱的帕累托最优硬件	N.内贾赫，L.de Macedo Mourelle	395
电子硬件故障监测的自动编程方法	A.Abraham、C.Grosan	408
电路设计问题的多目标进化算法和模式搜索方法	T.Biondi、A.Ciccazo、V.Cutello、S.D'Antona、G.Nicosia、S.Spinella	432
基于进化算法的DS/CDMA多用户检测	F.Ciriaco、T.Abráo、P.J.E.Jeszensky	450

第5期内容内政部：10.3217/jucs-012-05
总编辑专栏	毛雷尔	481
基于交替有限自动机的时间序列约束度量时序逻辑在线监测	D.德鲁辛斯基	482
可逆Karatsuba算法	L.A.B.Kowada、R.葡萄牙、C.M.Herrera de Figueiredo	499
关于瓷砖的算法方法{p、 q个}双曲平面的	M.Margenstern先生	512
布尔层次中的完备性：精确四着色性、最小图不着色性和精确有向数问题——综述	T.里奇，J.罗特	551

第6期内容内政部：10.3217/jucs-012-06
海量数据集的计算挑战和计算中的随机性 J.UCS第一届和第二届日德科学前沿研讨会特刊	J.罗特，H.Arimura	579
柏林脑机接口：基于机器学习的用户特定脑状态检测	B.Blankertz、G.Dornhege、S.Lemm、M.Krauledat、G.Curio、K.-R.Müller	581
序贯数据同化：数值模拟与大规模观测数据的信息融合	K.Nakamura、T.Higuchi、N.Hirose	608
从无监督表中发现有趣异常的数据挖掘方法	E.铃木	627
随机性与保密性——简介	J.Blómer先生	654
伪随机数生成：不可能和妥协	M.松本、M.斋藤、H.原本、T.西村	672
量子计算密码学研究进展	A.川崎，T.Koshiba	691
布尔函数隐式表示形式语言的隶属度测试	B.博利格	710
改进确定性和随机指数时间算法以解决可满足性、可着色性和Domatic数问题	T.里奇，J.罗特	725
随机算法与复杂性理论	H.亨佩尔	746

第7期内容
2006年SBLP精选论文：第十届巴西编程语言研讨会	M.A.Silva Bigonha，A.de Vasconsellos Garcia先生	762
逻辑程序设计语言优化编译器YAP的设计	A.F.da Silva，V.S.科斯塔	764
我们在Sun Java实时编译器中的优化经验	A.F.da Silva，V.S.科斯塔	788
检测AspectJ中的臭味	E.Kessler Piveta、M.Hecht、M.Soares Pimenta、R.T.Price	811
按计算进行程序切片	N.F.罗德里格斯，L.苏亚雷斯巴博萨	828
访问者设计模式的语言	M.Schordan先生	849
Mobile Haskell的强大移动性	A.Rauber Du Bois、P.Trinder、H.-W.Loidl	868
互操作系统的对象模型	A.Calsavara、A.Borges、L.Nunes、D.Variani、C.Kolb	885
表示Web服务的工作流模式：以PEWS为例	E.Potrich音乐硕士	903
泛型过程代数：编程挑战	P.R.Ribeiro，M.A.Barbosa，L.S.Barbosa	922
类型安全的版本化对象查询语言	R.Machado，阿拉斯加州。Freitas Moreira、R.de Matos Galante、M.Moura Moro	938
在UML行为图中定义原子组合	J.Pereira Machado、P.Blauth Menezes	958

第8期内容内政部：10.3217年7月012-08日
总编辑专栏	毛雷尔	980
匿名环Itai-Rodeh领导人选举的变异及其在PRISM中的分析	W.Fokkink，J.Pang	981
静态单分配中冗余连接集计算的消除	A.法语，J.N.Amaral	1007
广义隐逻辑中的行为制度与精化	马丁斯文学硕士	1020
剽窃——一项调查	毛雷尔、F.Kappe、B.Zaka	1050

第9期内容内政部：10.3217/jucs-012-09
高等教育信息学	A.佩思，D.西蒙	1085
模糊知识库的创建与评价	Á. Achs公司	1087
基于UML的面向数据的WEB应用建模	A.阿达姆科	1104
mobiDIáK教育门户	P.Antal、N.Bátfai、I.Fazekas、P.Jeszenszky	1118
基于枚举的服务的设计与实现	B.Benyó，M.F.Hatwágner，T.Heckenast，K.Kovács，Á。瓦尔加，N.Varjasi	1128
代理缓存服务器的性能建模	T.Bérczes，J.Sztrik	1139
植物改良精确质量和分类系统的开发	J.Berke、Z.Polgár、Z.Horváth、T.Nagy	1154
CQL在动态数据库上的扩展	A.布扎	1165
Japlo：基于Java的规则编程	M.Espák先生	1177
季节时间序列法分析儿童急性淋巴细胞白血病资料	M.法泽卡斯	1190
4M-作物种植系统建模和分析软件	N.Fodor公司	1196
基于地理位置的交互式Web门户客户端-服务器体系结构中的现代技术	P.Gocek、M.Hartmann、H.Schleusener	1208
模的数量n个多项式的根x个^v（v）—x个^v（v）和RSA	J.贡达	1215
“医学图像处理MEDIP-平台无关软件系统”项目	A.Hajdu、J.Kormos、Z.Lencse、L.Trón、M.Emri	1229
邻域序列在图像处理和数据库检索中的应用	A.Hajdu、J.Kormos、T.Tóth、K.Veréb	1240
基于学生档案的网络柔性高等教育课程建模	L.Horváth，I.Rudas	1254
内分泌系统的数学模型	I.科奥斯	1267
小波的构造及其应用	I.László，F.Schipp，S.P.Kozaitis公司	1278
无线网络拓扑的资源高效维护	T.Lukovszki、C.Schindelhauer、K.Volbert	1292
膜计算和图形操作系统	B.Nagy、L.Szegedi	1312
信息论方法中柯西分布的参数估计	F.纳吉	1332
人类视觉信息处理中的类相变变化	P.Nagy、I.Pintér、M.Bagány	1345
信息社会中的小学教师	R.辛卡	1358
Kudo-Mathuria时间释放协议的补充检查	P.塔克斯	1373
最优工作流结构的综合	J.Tick、Z.Kovacs、F.Friedler	1385
系统工程：工程教育中复杂IT技术系统的新途径	T.Tóth，F.Erdélyi	1393
计算机科学、逻辑、信息学教育	K.P.Varga，M.Várterész	1405

第10期内容内政部：10.3217/jucs-012-10
总编辑专栏	毛雷尔	1411
用术语观察证明行为规范的性质	N.Berregeb公司	1413
指纹增强的脊线方向估计与验证算法	L.Liu、T.-S.Dai	1426
传感器遥测数据压缩的容错神经预测器	R.洛吉斯瓦兰	1439
重新审视时变H系统	R.卢斯	1455

第11期内容内政部：10.3217/jucs-012-11
编程和语言	F.J.洛佩斯·弗拉瓜	1464
格域的区间约束分支方案	A.J.费尔南德斯，P.M.希尔	1466
基于约束的生物序列分析方法	M.Bavarian、V.Dahl	1500
作为全局互模拟的过程等价性	D.de Frutos Escrig，C.G.罗德里格斯	1521
验证tccp程序的实时属性	M.Alpunte、M.del Mar Gallardo、E.Pimentel、A.Villanueva	1551
函数逻辑程序设计中的构造性失败：从理论到实现	J.Sánchez-Hernández	1574
用重写逻辑验证CRWL程序	J.M.Cleva、I.Pita	1594
ITP工具简介：教程	M.Clavel、M.Palomino、A.Riesco	1618
XPath语言的魔术集	J.M.Almendros-Jiménez、A.Becerra-Terón、F.J.Enciso-Baños	1651
多伴随逻辑程序的操作/解释展开	P.Julián、G.Moreno、J.Penabad	1679

第12期内容内政部：10.3217/jucs-012-12
总编辑专栏	毛雷尔	1700
将继承建模为Kenzo系统中的强制	C.Domínguez、J.Rubio、F.Sergeraert	1701
限制浏览和连接点——网络搜索引擎垄断的危险	N.Kulathuramaiyer,W.-T.巴尔克	1731
基于符号转换系统和时序逻辑的形式化体系结构描述语言	P.Poizat、J.-C.Royer	1741
波斯语/阿拉伯语Baffletext CAPTCHA	M.H.Shirali-Shahreza、M.Shirali-Shahresa	1783