The Experts below are selected from a list of 110640 Experts worldwide ranked by ideXlab platform
Le Song - One of the best experts on this subject based on the ideXlab platform.
-
learning loop invariants for Program verification
Neural Information Processing Systems, 2018Co-Authors: Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le SongAbstract:A fundamental problem in Program verification concerns inferring loop invariants. The problem is undecidable and even practical instances are challenging. Inspired by how human experts construct loop invariants, we propose a reasoning framework Code2Inv that constructs the solution by multi-step decision making and querying an External Program graph memory block. By training with reinforcement learning, Code2Inv captures rich Program features and avoids the need for ground truth solutions as supervision. Compared to previous learning tasks in domains with graph-structured data, it addresses unique challenges, such as a binary objective function and an extremely sparse reward that is given by an automated theorem prover only after the complete loop invariant is proposed. We evaluate Code2Inv on a suite of 133 benchmark problems and compare it to three state-of-the-art systems. It solves 106 problems compared to 73 by a stochastic search-based system, 77 by a heuristic search-based system, and 100 by a decision tree learning-based system. Moreover, the strategy learned can be generalized to new Programs: compared to solving new instances from scratch, the pre-trained agent is more sample efficient in finding solutions.
Eric A Gehrie - One of the best experts on this subject based on the ideXlab platform.
-
a department sponsored hospital based pathology education symposium is a cost effective method to provide laboratory staff with highly rated continuing education experiences
Archives of Pathology & Laboratory Medicine, 2021Co-Authors: Lorraine Blagg, Ralph H Hruban, Eric A GehrieAbstract:CONTEXT.— Continuing education improves the quality of medical care and is a required part of most health care professions. Although a variety of educational modules are available online or at External conferences, completion of these activities can be expensive and time-consuming. In addition, Externally produced modules may have limited applicability to a local practice. OBJECTIVE.— To assess the ability of an economically efficient, locally produced, department-wide pathology educational seminar to efficiently meet education requirements for a large number of employees in a large health system. DESIGN.— A multiday continuing education symposium was produced annually from 2013 through 2019 at no cost to participants. Metrics related to attendance, number of educational sessions available for registration, and participant satisfaction were tabulated, trended, and compared with similar metrics tabulated from an External continuing education conference that was offered from 2011 through 2012. RESULTS.— The production of an internal, hospital-based educational symposium increased employee attendance (mean of 635 attendees per year versus 247 at the External Program; P < .001) while reducing mean annual cost per attendee ($51 versus $140, P < .001). The number of sessions produced for the internal symposium was 39 per year on average, compared with 12 per year at the External Program. Technical staff, residents, fellows, and faculty all contributed to internal educational Programming, helping to build a team culture in the department. Overall employee satisfaction was 96.2%. CONCLUSIONS.— An internal educational pathology symposium led to cost-efficient distribution of continuing education credits to a large number of technical staff, with a high degree of reported employee satisfaction.
Azlan Iqbal - One of the best experts on this subject based on the ideXlab platform.
-
an algorithm for automatically updating a forsyth edwards notation string without an array board representation
International Conference on Information Technology, 2020Co-Authors: Azlan IqbalAbstract:We present an algorithm that correctly updates the Forsyth-Edwards Notation (FEN) chessboard character string after any move is made without the need for an intermediary array representation of the board. In particular, this relates to software that have to do with chess, certain chess variants and possibly even similar board games with comparable position representation. Even when performance may be equal or inferior to using arrays, the algorithm still provides an accurate and viable alternative to accomplishing the same thing, or when there may be a need for additional or side processing in conjunction with arrays. Furthermore, the end result (i.e. an updated FEN string) is immediately ready for export to any other internal module or External Program, unlike with an intermediary array which needs to be first converted into a FEN string for export purposes. The algorithm is especially useful when there are no existing array-based modules to represent a visual board as it can do without them entirely. We provide examples that demonstrate the correctness of the algorithm given a variety of positions involving castling, en passant and pawn promotion.
Iqbal Azlan - One of the best experts on this subject based on the ideXlab platform.
-
An Algorithm for Automatically Updating a Forsyth-Edwards Notation String Without an Array Board Representation
2020Co-Authors: Iqbal AzlanAbstract:We present an algorithm that correctly updates the Forsyth-Edwards Notation (FEN) chessboard character string after any move is made without the need for an intermediary array representation of the board. In particular, this relates to software that have to do with chess, certain chess variants and possibly even similar board games with comparable position representation. Even when performance may be equal or inferior to using arrays, the algorithm still provides an accurate and viable alternative to accomplishing the same thing, or when there may be a need for additional or side processing in conjunction with arrays. Furthermore, the end result (i.e. an updated FEN string) is immediately ready for export to any other internal module or External Program, unlike with an intermediary array which needs to be first converted into a FEN string for export purposes. The algorithm is especially useful when there are no existing array-based modules to represent a visual board as it can do without them entirely. We provide examples that demonstrate the correctness of the algorithm given a variety of positions involving castling, en passant and pawn promotion.Comment: 6 pages, 6 figures, 4 tables, 1 appendix section; presented at the 8th International Conference on Information Technology and Multimedia on 24th August 2020 (final version published by IEEE Xplore
Satoshi Ohzahata - One of the best experts on this subject based on the ideXlab platform.
-
alternating primary subflow in mptcp by External Program without kernel modification
Computer Software and Applications Conference, 2018Co-Authors: Reido Horigome, Nariyoshi Yamai, Naoya Kitagawa, Satoshi OhzahataAbstract:When users's terminals with multiple wireless network interfaces such as Wi-Fi and LTE have access to the Internet, traffic congestion often occurs since many of them use the same Access Point (AP) of Wi-Fi network for example. To migigate this congestion, we consider a network configuration that can perform dynamic traffic shaing with special VPN servers communicating with users' terminal through Multipath TCP (MPTCP). These VPN servers have a function than can select a primary subflow for each terminal dynamically according to the current conditions of APS. However, implementation of this function into server Program reduces software maintainability and increases implementation cost. In this paper, we propose a subflow switching method using an External Program to solve these problems. With this Program, the VPN server can switch the primary subflows without modification.
