the proceedings contain 15 papers. the special focus in this conference is on Algorithms for Computational Biology. the topics include: Time Series Adjustment Enhancement of Hierarchical Modeling of Arabidopsis thalia...
ISBN:
(纸本)9783030422653
the proceedings contain 15 papers. the special focus in this conference is on Algorithms for Computational Biology. the topics include: Time Series Adjustment Enhancement of Hierarchical Modeling of Arabidopsis thaliana Gene Interactions;BESTox: A Convolutional Neural Network Regression Model Based on Binary-Encoded SMILES for Acute Oral Toxicity Prediction of Chemical Compounds;stratified Test Alleviates Batch Effects in Single-Cell Data;a Topological Data Analysis Approach on Predicting Phenotypes from Gene Expression Data;BOAssembler: A Bayesian Optimization Framework to Improve RNA-Seq Assembly Performance;a 3.5-Approximation Algorithm for Sorting by Intergenic Transpositions;heuristics for Reversal Distance Between Genomes with Duplicated Genes;extending Maximal Perfect Haplotype Blocks to the Realm of Pangenomics;gaps and Runs in Syntenic Alignments;Comparing Integer Linear programming to SAT-Solving for Hard Problems in Computational and Systems Biology;combining Networks Using Cherry Picking Sequences;linear Time Algorithm for Tree-Child Network Containment;PathOGiST: A Novel Method for Clustering Pathogen Isolates by Combining Multiple Genotyping Signals.
Can lambda calculus be transformed to an artistic expression and if so, what could it sound like? this paper discusses the CodeKlavier's Ckalculator: an arithmetic calculator for the piano following lambda calculu...
详细信息
ISBN:
(纸本)9781450368117
Can lambda calculus be transformed to an artistic expression and if so, what could it sound like? this paper discusses the CodeKlavier's Ckalculator: an arithmetic calculator for the piano following lambda calculus principles. the CodeKlavier is aspiring to become a performative programming language for the piano and the Ckalculator is the fourth sub-system in its development. As a well understood formalisation of computation, lambda calculus is utilised as the foundation of the Ckalculator in order to help us achieve a transition from a coding system to a computer programming language. Performing lambda calculus withthe piano adds a conceptual, creative and performative dimension to otherwise simple arithmetic operations. this paper gives a brief introduction to the project, discusses the motivation, the system, and its artistic application before reflecting on the project's future.
A substantial data volume growth will appear withthe start of the HL-LHC era. It is not well covered by the current LHC computing model, even taking into account the hardware evolution. the WLCG DOMA project was esta...
详细信息
Commuting is a natural occurrence for many Filipinos, students, and workers alike. However, this comes along with a string of burdens., as public transport has always been an issue in the country., along with heavy tr...
详细信息
this paper presents new evidence linking community characteristics and generalized trust, based on the most up to date national-level data from the Quality of Life Under the Sufficiency Economy Survey 2018 conducted b...
详细信息
Appropriate traffic coordination at intersections where multiple roads merge plays an important role in modern intelligent transportations systems. In this paper, we try to propose an efficient traffic coordination fr...
详细信息
ISBN:
(纸本)9789811365089;9789811365072
Appropriate traffic coordination at intersections where multiple roads merge plays an important role in modern intelligent transportations systems. In this paper, we try to propose an efficient traffic coordination framework using multiple collision sets. Aiming at the essentially non-convex problem, we try to reformulate the original problem into a mixed binary integer quadratic programming one by proper relaxations. Low complexity solutions are also given afterwards. Numeric results show that the traffic throughput at intersections can be significantly improved compared to the existing investigations.
In the context of intelligent manufacturing, traditional batch assembly line operations are difficult to meet the individualized and customized needs of customers. Aiming at the scheduling problem of flexible assembly...
详细信息
ISBN:
(纸本)9781665441506
In the context of intelligent manufacturing, traditional batch assembly line operations are difficult to meet the individualized and customized needs of customers. Aiming at the scheduling problem of flexible assembly workshop, this paper proposes a new assembly mode—assembly island mode, combined with multiple AGV systems, to meet the individual and customized needs of customers. Aiming at the uncertain characteristics of actual production, this paper proposes an online scheduling method for the assembly workshop of multiple AGV systems based on the static scheduling of the workshop, which is more suitable for the actual production process. In this paper, the online shop scheduling problem is decomposed into the assembly island allocation sub-problem and the AGV scheduling sub-problem to study. In the modeling of the assembly island allocation sub-problem, the AGV transportation system load is taken as part of the objective function to build the model. On the AGV scheduling sub-problem, the AGV system’s anti-deadlock strategy is set, and the AGV scheduling method based on the task benefit value is proposed to solve the AGV task allocation problem. Finally, through simulation experiments, the feasibility and efficiency of the online scheduling method are verified.
We present a model of jazz improvisation where short-term decision making by each performer is modeled as a function from contexts to music. Contexts can be shared, such as an agreed-upon chord progression, or they ca...
详细信息
ISBN:
(纸本)9781450368117
We present a model of jazz improvisation where short-term decision making by each performer is modeled as a function from contexts to music. Contexts can be shared, such as an agreed-upon chord progression, or they can also be private-a current state for each musician. We formalize this model in Haskell to generate potentially infinitely long jazz improvisations, and we have also used the same model in Python to support real-time human-computer interaction through jazz.
Computer Supported Collaborative Learning scripts define pedagogically effective practices for organizing collaborative activities. this paper presents a novel platform for defining CSCL scripts. this platform is comp...
详细信息
ISBN:
(纸本)9783030505059;9783030505066
Computer Supported Collaborative Learning scripts define pedagogically effective practices for organizing collaborative activities. this paper presents a novel platform for defining CSCL scripts. this platform is composed of the following components: a) a formal language named COSTLy for the specification of CSCL scripts based on logic and constraints, b) a visual environment that facilitates the authoring of scripts, based on the formal language, and c) a mechanism that translates the abstract definitions of scripts into constraint logic programs, thus implementing group formation and task distribution of actual scenario instances. the expressiveness of the proposed language was evaluated. Also the results of a usability evaluation of the proposed platform are reported in the paper. It was shown that university students were able to use the platform in order to describe CSCL scripts of high complexity.
the proceedings contain 15 papers. the topics discussed include: animated logic: correct functional conversion to conjunctive normal form;learning precedences from simple symbol features;layered clause selection for s...
the proceedings contain 15 papers. the topics discussed include: animated logic: correct functional conversion to conjunctive normal form;learning precedences from simple symbol features;layered clause selection for saturation-based theorem proving;simplifying casts and coercions;evaluation of axiom selection techniques;equality preprocessing in connection calculi;give reasoning a Trie;directed graph networks for logical reasoning;efficient implementation of large-scale watchlists;cutting down the TPTP language (and others);and Boolean reasoning in a higher-order superposition prover.
暂无评论