Browse ORBilu by Open Access
- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?
ORBilu is a project developed by
Showing results 81 to 100 of 176
   GPU-accelerated steady-state analysis of probabilistic Boolean networksMizera, Andrzej  ; Pang, Jun ; Yuan, Qixia Poster (2016) Detailed reference viewed: 82 (7 UL)Fast simulation of probabilistic Boolean networks.Mizera, Andrzej ; Pang, Jun ; Yuan, Qixia in Proceedings of 14th International Conference on Computational Methods in Systems Biology (2016) Detailed reference viewed: 137 (5 UL)Editorial (ICFEM 14 special issue, part I); Pang, Jun ; in Formal Aspects of Computing (2016), 28(3), 343-344 Detailed reference viewed: 57 (4 UL)Editorial (ICFEM 14 special issue, part II); Pang, Jun ; in Formal Aspects of Computing (2016), 28(5), 723-724 Detailed reference viewed: 49 (3 UL)ASSA-PBN 2.0: A software tool for probabilistic Boolean networks.Mizera, Andrzej ; Pang, Jun ; Yuan, Qixia in Proceedings of 14th International Conference on Computational Methods in Systems Biology (2016) Detailed reference viewed: 199 (10 UL)A novel approach to parameterized verification of cache coherence protocols; ; et al in Proceedings of the 34th IEEE International Conference on Computer Design (2016) Detailed reference viewed: 334 (2 UL)Modeling city locations as complex networks: An initial studyZhou, Lu ; ; Pang, Jun et alin Proceedings of the 5th International Workshop on Complex Networks and their Applications (2016) Detailed reference viewed: 173 (17 UL)On impact of weather on human mobility in citiesPang, Jun ; ; in Proceedings of the 17th International Conference on Web Information System Engineering (2016) Detailed reference viewed: 126 (4 UL)An Empirical Study on User Access Control in Online Social Networks; Zhang, Yang ; et alin Proceedings of the 21st ACM Symposium on Access Control Models and Technologies (SACMAT'16) (2016) Detailed reference viewed: 126 (5 UL)ASSA-PBN: An approximate steady-state analyser for probabilistic Boolean networksMizera, Andrzej ; Pang, Jun ; Yuan, Qixia in Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15) (2015) Detailed reference viewed: 157 (10 UL)Improving BDD-based attractor detection for synchronous Boolean networks; Yuan, Qixia ; Pang, Jun et alin Proceedings of the 7th Asia-Pacific Symposium on Internetware (2015) Boolean networks are an important formalism for modelling biological systems and have attracted much attention in recent years. An important direction in Boolean networks is to exhaustively find ... [more ▼] Boolean networks are an important formalism for modelling biological systems and have attracted much attention in recent years. An important direction in Boolean networks is to exhaustively find attractors, which represent steady states when a biological network evolves for a long term. In this paper, we propose a new approach to improve the efficiency of BDD-based attractor detection. Our approach includes a monolithic algorithm for small networks, an enumerative strategy to deal with large networks, and two heuristics on ordering BDD variables. We demonstrate the performance of our approach on a number of examples, and compare it with one existing technique in the literature. [less ▲] Detailed reference viewed: 134 (6 UL) Community-Driven Social Influence Analysis and ApplicationsZhang, Yang ; Pang, Jun in Proceedings of the 15th International Conference on Web Engineering (2015) Detailed reference viewed: 131 (1 UL)A new access control scheme for Facebook-style social networksPang, Jun ; Zhang, Yang in Computers and Security (2015), 54 Detailed reference viewed: 124 (7 UL)Proceedings 4th International Workshop on Engineering Safety and Security SystemsPang, Jun ; ; Mauw, Sjouke Book published by EPTCS - 184 (2015) Detailed reference viewed: 124 (4 UL)Cryptographic protocols for enforcing relationship-based access control policiesPang, Jun ; Zhang, Yang in Proceedings of the 39th Annual IEEE Computers, Software & Applications Conference (COMPSAC'15) (2015) Detailed reference viewed: 137 (9 UL)Inferring friendship from check-in data of location-based social networks; Pang, Jun ; Zhang, Yang in Proceedings of the 7th International Conference on Advances in Social Networks Analysis and Mining (ASONAM'15) (2015) Detailed reference viewed: 230 (7 UL)A logical approach to restricting access in online social networksCramer, Marcos ; Pang, Jun ; Zhang, Yang in Proceedings of the 20th ACM Symposium on Access Control Models and Technologies (2015) Detailed reference viewed: 167 (9 UL)Location prediction: Communities speak louder than friendsPang, Jun ; Zhang, Yang in Proceedings of the 3rd ACM Conference on Online Social Networks (COSN'15) (2015) Detailed reference viewed: 100 (2 UL)Formalizing provable anonymity in Isabelle/HOL; Pang, Jun in Formal Aspects of Computing (2015), 27(2), 255-282 Detailed reference viewed: 133 (2 UL)Activity tracking: A new attack on location privacy; Mizera, Andrzej ; Pang, Jun in Proceedings of the 3rd IEEE Conference on Communications and Network Security (CNS'15) (2015) Detailed reference viewed: 145 (11 UL) |
||
