137 research outputs found
Programming by Example Made Easy
Programming by example (PBE) is an emerging programming paradigm that
automatically synthesizes programs specified by user-provided input-output
examples. Despite the convenience for end-users, implementing PBE tools often
requires strong expertise in programming language and synthesis algorithms.
Such a level of knowledge is uncommon among software developers. It greatly
limits the broad adoption of PBE by the industry. To facilitate the adoption of
PBE techniques, we propose a PBE framework called Bee, which leverages an
"entity-action" model based on relational tables to ease PBE development for a
wide but restrained range of domains. Implementing PBE tools with Bee only
requires adapting domain-specific data entities and user actions to tables,
with no need to design a domain-specific language or an efficient synthesis
algorithm. The synthesis algorithm of Bee exploits bidirectional searching and
constraint-solving techniques to address the challenge of value computation
nested in table transformation. We evaluated Bee's effectiveness on 64 PBE
tasks from three different domains and usability with a human study of 12
participants. Evaluation results show that Bee is easier to learn and use than
the state-of-the-art PBE framework, and the bidirectional algorithm achieves
comparable performance to domain-specifically optimized synthesizers.Comment: Accepted by ACM Transactions on Software Engineering and Methodolog
The Moderating Effect of Different Types of Internet Use on the Relationship between Transitional Aging Changes and Self-esteem of Older Adults
This study investigates the moderating effect of different types of Internet use regarding the relationship between three transitional aging changes and self-esteem of older adults. The current paper is still in progress; this is a research-in-progress paper. An aging population increases government expenditures and family responsibilities, thus drawing more attention from the academic community. Recent research posits that self-esteem tends to decline in individuals from the ages around 50-65 due to role loss, social loss, and dissatisfaction resulting from unaccomplished life goals. To address this issue, previous studies considered that the general use of the Internet may help to enhance self-esteem among older adults. To fill this research gap, the present study proposes that the cultural use of the Internet could moderate role loss of older adults, while social use of the Internet could mitigate social loss. Furthermore, economic use could moderate the dissatisfaction of unfulfilled life goals. Regarding various theoretical contributions, this is the first study to apply different types of Internet use, so as to investigate its moderating effect concerning the relationship between transitional aging changes and self-esteem. Findings of the present study can also help shed light on interventions for the caregiver in both community centers and the domestic environment to moderate the decline of self-esteem among older adults. The data will be collected through surveys distributed to District Elderly Community Centers (DECCs) in Hong Kong. Multiple regression analysis will then be utilized to test the moderating effect of each type of Internet use
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks
Data confidentiality, integrity and authentication are security properties which are often enforced with the generation of secure channels, such as Virtual Private Networks, over unreliable network infrastructures. Traditionally, the configuration of the systems responsible of encryption operations is performed manually. However, the advent of software-based paradigms, such as Software-Defined Networking and Network Functions Virtualization, has introduced new arms races. In particular, even though network management has become more flexible, the increased complexity of virtual networks is making manual operations unfeasible and leading to errors which open the path to a large number of cyber attacks. A possible solution consists in reaching a trade-off between flexibility and complexity, by automatizing the configuration of the channel protection systems through policy refinement. In view of these considerations, this paper proposes a preliminary study for an innovative methodology to automatically allocate and configure channel protection systems in virtualized networks. The proposed approach would be based on the formulation of a MaxSMT problem and it would be the first to combine automation, formal verification and optimality in a single technique
Robust estimation of bacterial cell count from optical density
Optical density (OD) is widely used to estimate the density of cells in liquid culture, but cannot be compared between instruments without a standardized calibration protocol and is challenging to relate to actual cell count. We address this with an interlaboratory study comparing three simple, low-cost, and highly accessible OD calibration protocols across 244 laboratories, applied to eight strains of constitutive GFP-expressing E. coli. Based on our results, we recommend calibrating OD to estimated cell count using serial dilution of silica microspheres, which produces highly precise calibration (95.5% of residuals <1.2-fold), is easily assessed for quality control, also assesses instrument effective linear range, and can be combined with fluorescence calibration to obtain units of Molecules of Equivalent Fluorescein (MEFL) per cell, allowing direct comparison and data fusion with flow cytometry measurements: in our study, fluorescence per cell measurements showed only a 1.07-fold mean difference between plate reader and flow cytometry data
Discutindo a educação ambiental no cotidiano escolar: desenvolvimento de projetos na escola formação inicial e continuada de professores
A presente pesquisa buscou discutir como a Educação Ambiental (EA) vem sendo trabalhada, no Ensino Fundamental e como os docentes desta escola compreendem e vem inserindo a EA no cotidiano escolar., em uma escola estadual do município de Tangará da Serra/MT, Brasil. Para tanto, realizou-se entrevistas com os professores que fazem parte de um projeto interdisciplinar de EA na escola pesquisada. Verificou-se que o projeto da escola não vem conseguindo alcançar os objetivos propostos por: desconhecimento do mesmo, pelos professores; formação deficiente dos professores, não entendimento da EA como processo de ensino-aprendizagem, falta de recursos didáticos, planejamento inadequado das atividades. A partir dessa constatação, procurou-se debater a impossibilidade de tratar do tema fora do trabalho interdisciplinar, bem como, e principalmente, a importância de um estudo mais aprofundado de EA, vinculando teoria e prática, tanto na formação docente, como em projetos escolares, a fim de fugir do tradicional vínculo “EA e ecologia, lixo e horta”.Facultad de Humanidades y Ciencias de la Educació
Analysis and Optimization of the Robotic Mobile Fulfillment Systems Considering Congestion
With the development of the social economy and the improvement of the consumption concept, a new business model combining offline and online has been promoted. The warehousing system is one of the important links of commodity production and circulation, which involves storage, sorting, and distribution. It has a significant impact on the operation cost and the efficiency of the whole logistics system. The progress of robot technology, the Internet of things, and artificial intelligence technology promotes the automation and intelligence of storage systems. The Robotic Mobile Fulfillment Systems (RMFS), which takes the automatic guided vehicles (AGVs) as the way of handling and picking, greatly improves the space utilization, operation efficiency, and flexibility of the system. This paper studies the RMFS with fixed shelves and establishes the performance evaluation model of the picking system considering the AGVs congestion by establishing the queuing network. The effectiveness of the model is verified by simulation, and the optimization of system parameter configuration is further discussed according to the experimental data
Exploring molecular complexity by N-heterocyclic carbene organocatalysis: new activation and reaction diversity
The development of catalytic synthetic approaches towards molecular complexity from simple materials continues to be an ultimate goal in synthetic chemistry. Over the past decades, N-heterocyclic carbene (NHC) organocatalysis has been extensively investigated to provide opportunities for a vast number of novel chemical transformations. Various activation modes and reactive intermediates enabled by NHC small-molecule catalysts, such as Breslow intermediates, (homo)enolates, acyl azoliums and their derived unsaturated azoliums exhibit great potential in the construction of complicated skeletons. This personal account will summarize our group's recent work in the exploration of new activation modes of NHC catalysis towards molecular complexity with a focus on the development and applications of NHC to achieve diversity and enantioselectivity in the preparation of functional molecules.Ministry of Education (MOE)Nanyang Technological UniversityNational Research Foundation (NRF)We acknowledge financial support from the National Natural Science Foundation of China (21772029, 21801051, 21961006, 22001173), National Natural Science Fund for Excellent Young Scientists Fund Program (Overseas), The 10 Talent Plan (Shicengci) of Guizhou Province ([2016]5649), the Science and Technology Department of Guizhou Province ([2019]1020, Qianke‐hejichu‐ZK[2021]Key033), the starting grant of Guizhou University [(2022)47)], Frontiers Science Center for Asymmetric Synthesis and Medicinal Molecules, Department of Education, Guizhou Province [Qianjiaohe KY (2020)004], the Basic and Applied Research Foundation of Guangdong Province (2019A1515110906), the Guizhou Province First‐Class Disci‐plines Project [(Yiliu Xueke Jianshe Xiangmu)‐GNYL(2017)008], Guizhou University of Traditional Chinese Medicine, and Guizhou University (China). Singapore National Research Foundation under its NRF Investigatorship (NRF‐NRFI2016‐06) and Competitive Research Program (NRF‐CRP22‐2019‐0002); the Ministry of Education, Singapore, under its MOE AcRF Tier 1 Award (RG7/20, RG5/19), MOE AcRF Tier 2 (MOE2019‐T2‐2‐117), MOE AcRF Tier 3 Award (MOE2018‐T3‐1‐003); Nanyang Research Award Grant, Chair Professorship Grant, Nanyang Technological University
Control of IL-17 receptor signaling and tissue inflammation by the p38α–MKP-1 signaling axis in a mouse model of multiple sclerosis
- …