![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
1,791 Result(s)
-
Chapter and Conference Paper
Correction to: A Survey of Control Flow Graph Recovery for Binary Code
-
Chapter and Conference Paper
Kauffman Model with Spatially Separated Ligation and Cleavage Reactions
One of the open questions regarding the origin of life is the problem how macromolecules could be created. One possible answer is the existence of autocatalytic sets in which some macromolecules mutually catal...
-
Chapter and Conference Paper
Percolation Breakdown in Binary and Ternary Monodisperse and Polydisperse Systems of Spherical Particles
We perform computer simulations of an agglomeration process for monodisperse and polydisperse systems of spherical particles in a cylindrical container, using a simplified stochastic-hydrodynamic model. We con...
-
Chapter and Conference Paper
Correction to: Recognizing Cognitive Load by a Hybrid Spatio-Temporal Causal Model from Multivariate Physiological Data
-
Chapter
Correction to: Intelligent Robot
-
Chapter and Conference Paper
Correction to: College Students’ Perceptions and Preferences Regarding Intelligent Advisory Systems in Multi-device Learning Environments
-
Chapter and Conference Paper
Computational Investigation of the Clustering of Droplets in Widening Pipe Geometries
Experimentally, periodically released droplets in systems of widening pipes show clustering. This is surprising, as purely hydrodynamic interactions are repulsive so that agglomeration should be prevented. In ...
-
Chapter and Conference Paper
Artificial Chemistry Performed in an Agglomeration of Droplets with Restricted Molecule Transfer
Within the scope of the European Horizon 2020 project ACDC – Artificial Cells with Distributed Cores to Decipher Protein Function, we aim at the development of a chemical compiler governing the three-dimensional ...
-
Chapter
Textual Paraphrase Dataset for Deep Language Modelling
The Turku Paraphrase Corpus is a dataset of over 100,000 Finnish paraphrase pairs. During the corpus creation, we strived to gather challenging paraphrase pairs, more suitable to test the capabilities of natur...
-
Chapter and Conference Paper
Dynamic Multi-View Fusion Mechanism for Chinese Relation Extraction
Recently, many studies incorporate external knowledge into character-level feature based models to improve the performance of Chinese relation extraction. However, these methods tend to ignore the internal inf...
-
Chapter
Conclusion
As the core infrastructure, data center provides a strong platform support for cloud computing, and so on. Nevertheless, the rapid growth of its network scale leads to great challenges in network optimization.
-
Chapter and Conference Paper
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints
There is a pressing need for learning controllers to endow systems with properties of safety and goal-reaching, which are crucial for many safety-critical systems. Reinforcement learning (RL) has been deployed...
-
Chapter and Conference Paper
Local Search for Solving Satisfiability of Polynomial Formulas
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) for short, concerns the satisfiability of polynomial formulas, which are quantifier-free Boolean combinations of polynomial equations and in...
-
Chapter and Conference Paper
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios
We present the Verse library with the aim of making hybrid system verification more usable for multi-agent scenarios. In Verse, decision making agents move in a map and interact with each other through senso...
-
Chapter and Conference Paper
Multi-Augmentation Contrastive Learning as Multi-Objective Optimization for Graph Neural Networks
Recently self-supervised learning is gaining popularity for Graph Neural Networks (GNN) by leveraging unlabeled data. Augmentation plays a key role in self-supervision. While there is a common set of image aug...
-
Chapter and Conference Paper
The Effect of Misinformation Intervention: Evidence from Trump’s Tweets and the 2020 Election
In this study, we examine the effect of actions of misinformation mitigation. We use three datasets that contain a wide range of misinformation stories during the 2020 election, and we use synthetic controls t...
-
Chapter and Conference Paper
Network Creation During Agglomeration Processes of Polydisperse and Monodisperse Systems of Droplets
We simulate the movement and agglomeration of oil droplets in water under constraints, using a simplified stochastic-hydrodynamic model. We analyze both local and global properties of the networks formed by th...
-
Chapter and Conference Paper
Complete Multiparty Session Type Projection with Automata
Multiparty session types (MSTs) are a type-based approach to verifying communication protocols. Central to MSTs is a projection operator: a partial function that maps protocols represented as global types to corr...
-
Chapter and Conference Paper
Searching for i-Good Lemmas to Accelerate Safety Model Checking
IC3/PDR and its variants have been the prominent approaches to safety model checking in recent years. Compared to the previous model-checking algorithms like BMC (Bounded Model Checking) and IMC (Interpolation Mo...
-
Chapter and Conference Paper
Certifying the Fairness of KNN in the Presence of Dataset Bias
We propose a method for certifying the fairness of the classification result of a widely used supervised learning algorithm, the k-nearest neighbors (KNN), under the assumption that the training data may have his...