-
Nonequilibrium hyperuniform states in active turbulence
Authors:
Rainer Backofen,
Abdelrahman Y. A. Altawil,
Marco Salvalaglio,
Axel Voigt
Abstract:
We demonstrate that the complex spatiotemporal structure in active fluids can feature characteristics of hyperuniformity. Using a hydrodynamic model, we show that the transition from hyperuniformity to non-hyperuniformity and anti-hyperuniformity depends on the strength of active forcing and can be related to features of active turbulence without and with scaling characteristics of inertial turbul…
▽ More
We demonstrate that the complex spatiotemporal structure in active fluids can feature characteristics of hyperuniformity. Using a hydrodynamic model, we show that the transition from hyperuniformity to non-hyperuniformity and anti-hyperuniformity depends on the strength of active forcing and can be related to features of active turbulence without and with scaling characteristics of inertial turbulence. Combined with identified signatures of Levy walks and non-universal diffusion in these systems, this allows for a biological interpretation and the speculation of non-equilibrium hyperuniform states in active fluids as optimal states with respect to robustness and strategies of evasion and foraging.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
-
Magnetically enhanced thin film coarsening by a magnetic XPFC model allowing to decouple magnetic anisotropy and magnetostriction
Authors:
Rainer Backofen,
Axel Voigt
Abstract:
External magnetic fields provide a macroscopic control mechanism to influence the microstructure of polycrystalline materials. We model the influence of strong magnetic fields on grain growth in thin films with a magnetic extended phase field crystal (XPFC) model. The magneto-structural effects are incorporated into the correlation function in reciprocal space. With this approach magnetic anisotro…
▽ More
External magnetic fields provide a macroscopic control mechanism to influence the microstructure of polycrystalline materials. We model the influence of strong magnetic fields on grain growth in thin films with a magnetic extended phase field crystal (XPFC) model. The magneto-structural effects are incorporated into the correlation function in reciprocal space. With this approach magnetic anisotropy, magnetostriction and mobility of grain boundary can be controlled and a variety of geometrical and topological properties consistent with experimental results can be determined.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Controlling magnetic anisotropy in amplitude expansion of phase field crystal model
Authors:
Rainer Backofen,
Marco Salvalaglio,
Axel Voigt
Abstract:
The amplitude expansion for a magnetic phase-field-crystal (magnetic APFC) model enables a convenient coarse-grained description of crystalline structures under the influence of magnetic fields. Considering higher-order magnetic coupling terms, we demonstrate the possibility of tuning the magnetic anisotropy in these models. This allows for reproducing the easy and hard direction of magnetization.…
▽ More
The amplitude expansion for a magnetic phase-field-crystal (magnetic APFC) model enables a convenient coarse-grained description of crystalline structures under the influence of magnetic fields. Considering higher-order magnetic coupling terms, we demonstrate the possibility of tuning the magnetic anisotropy in these models. This allows for reproducing the easy and hard direction of magnetization. Such a result can be achieved without increasing the computational cost, enabling simulations of the manipulation of dislocation networks and microstructures in ferromagnetic materials. As a demonstration, we report on the simulation of the shrinkage of a spherical grain with the magnetic anisotropy of Fe.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Magnetic APFC modeling and the influence of magneto-structural interactions on grain shrinkage
Authors:
Rainer Backofen,
Marco Salvalaglio,
Axel Voigt
Abstract:
We derive the amplitude expansion for a phase-field-crystal (APFC) model that captures the basic physics of magneto-structural interactions. The symmetry breaking due to magnetization is demonstrated, and the characterization of the magnetic anisotropy for a BCC crystal is provided. This model enables a convenient coarse-grained description of crystalline structures, in particular when considering…
▽ More
We derive the amplitude expansion for a phase-field-crystal (APFC) model that captures the basic physics of magneto-structural interactions. The symmetry breaking due to magnetization is demonstrated, and the characterization of the magnetic anisotropy for a BCC crystal is provided. This model enables a convenient coarse-grained description of crystalline structures, in particular when considering the features of the APFC model combined with numerical methods featuring inhomogeneous spatial resolution. This is shown by addressing the shrinkage of a spherical grain within a matrix, chosen as a prototypical system to demonstrate the influence of different magnetizations. These simulations serve as a proof of concept for the modeling of manipulation of dislocation networks and microstructures in ferromagnetic materials within the APFC model.
△ Less
Submitted 16 June, 2022; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Magnetically induced/enhanced coarsening in thin films
Authors:
Rainer Backofen,
Axel Voigt
Abstract:
External magnetic fields influence the microstructure of polycrystalline materials. We explore the influence of strong external magnetic fields on the long time scaling of grain size during coarsening in thin films with an extended phase-field-crystal model. Additionally, the change of various geometrical and topological properties is studied. In a situation which leads to stagnation, an applied e…
▽ More
External magnetic fields influence the microstructure of polycrystalline materials. We explore the influence of strong external magnetic fields on the long time scaling of grain size during coarsening in thin films with an extended phase-field-crystal model. Additionally, the change of various geometrical and topological properties is studied. In a situation which leads to stagnation, an applied external magnetic field can induce further grain growth. The induced driving force due to the magnetic anisotropy defines the magnetic influence of the external magnetic field. Different scaling regimes are identified dependent on the magnetization. At the beginning, the scaling exponent increases with the strength of the magnetization. Later, when the texture becomes dominated by grains preferably aligned with the external magnetic field, the scaling exponent becomes independent of the strength of the magnetization or stagnation occurs. We discuss how the magnetic influence change the effect of retarding or pinning forces, which are known to influence the scaling exponent. We further study the influence of the magnetic field on the grain size distribution (GSD), next neighbor distribution (NND) as well as grain shape and orientation. If possible, we compare our predictions with experimental findings.
△ Less
Submitted 2 March, 2020; v1 submitted 1 September, 2019;
originally announced September 2019.
-
Controlling grain boundaries by magnetic fields
Authors:
R. Backofen,
K. R. Elder,
A. Voigt
Abstract:
The ability to use external magnetic fields to influence the microstructure in polycrystalline materials has potential applications in microstructural engineering. To explore this potential and to understand the complex interactions between electromagnetic fields and solid-state matter transport we consider a phase-field-crystal (PFC) model. Together with efficient and scalable numerical algorithm…
▽ More
The ability to use external magnetic fields to influence the microstructure in polycrystalline materials has potential applications in microstructural engineering. To explore this potential and to understand the complex interactions between electromagnetic fields and solid-state matter transport we consider a phase-field-crystal (PFC) model. Together with efficient and scalable numerical algorithms this allows the examination of the role that external magnetic fields play on the evolution of defect structures and grain boundaries, on diffusive time scales. Examples for planar and circular grain boundaries explain the essential atomistic processes and large scale simulations in 2D are used to obtain statistical data on grain growth under the influence of external fields.
△ Less
Submitted 19 November, 2018;
originally announced November 2018.
-
Defects at grain boundaries: A coarse-grained, three-dimensional description by the amplitude expansion of the phase-field crystal model
Authors:
Marco Salvalaglio,
Rainer Backofen,
K. R. Elder,
Axel Voigt
Abstract:
We address a three-dimensional, coarse-grained description of dislocation networks at grain boundaries between rotated crystals. The so-called amplitude expansion of the phase-field crystal model is exploited with the aid of finite element method calculations. This approach allows for the description of microscopic features, such as dislocations, while simultaneously being able to describe length…
▽ More
We address a three-dimensional, coarse-grained description of dislocation networks at grain boundaries between rotated crystals. The so-called amplitude expansion of the phase-field crystal model is exploited with the aid of finite element method calculations. This approach allows for the description of microscopic features, such as dislocations, while simultaneously being able to describe length scales that are orders of magnitude larger than the lattice spacing. Moreover, it allows for the direct description of extended defects by means of a scalar order parameter. The versatility of this framework is shown by considering both fcc and bcc lattice symmetries and different rotation axes. First, the specific case of planar, twist grain boundaries is illustrated. The details of the method are reported and the consistency of the results with literature is discussed. Then, the dislocation networks forming at the interface between a spherical, rotated crystal embedded in an unrotated crystalline structure, are shown. Although explicitly accounting for dislocations which lead to an anisotropic shrinkage of the rotated grain, the extension of the spherical grain boundary is found to decrease linearly over time in agreement with the classical theory of grain growth and recent atomistic investigations. It is shown that the results obtained for a system with bcc symmetry agree very well with existing results, validating the methodology. Furthermore, fully original results are shown for fcc lattice symmetry, revealing the generality of the reported observations.
△ Less
Submitted 28 May, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
Convexity splitting in a phase field model for surface diffusion
Authors:
Rainer Backofen,
Steven M. Wise,
Marco Salvalaglio,
Axel Voigt
Abstract:
Convexity splitting like schemes with improved accuracy are proposed for a phase field model for surface diffusion. The schemes are developed to enable large scale simulations in three spatial dimensions describing experimentally observed solid state dewetting phenomena. We introduce a first and a second order unconditionally energy stable scheme and carefully elaborate the loss in accuracy associ…
▽ More
Convexity splitting like schemes with improved accuracy are proposed for a phase field model for surface diffusion. The schemes are developed to enable large scale simulations in three spatial dimensions describing experimentally observed solid state dewetting phenomena. We introduce a first and a second order unconditionally energy stable scheme and carefully elaborate the loss in accuracy associated with large time steps in such schemes. We then present a family of Rosenbrock convex splitting schemes. We show the existence of a maximal numerical timestep and demonstrate the increase of this maximal numerical time step by at least one order of magnitude using a Rosenbrock method. This scheme is used to study the effect of contact angle on solid state dewetting phenomena.
△ Less
Submitted 26 October, 2017;
originally announced October 2017.
-
Controlling the energy of defects and interfaces in the amplitude expansion of the phase-field crystal model
Authors:
Marco Salvalaglio,
Rainer Backofen,
Axel Voigt,
Ken R. Elder
Abstract:
One of the major difficulties in employing phase field crystal (PFC) modeling and the associated amplitude (APFC) formulation is the ability to tune model parameters to match experimental quantities. In this work we address the problem of tuning the defect core and interface energies in the APFC formulation. We show that the addition of a single term to the free energy functional can be used to in…
▽ More
One of the major difficulties in employing phase field crystal (PFC) modeling and the associated amplitude (APFC) formulation is the ability to tune model parameters to match experimental quantities. In this work we address the problem of tuning the defect core and interface energies in the APFC formulation. We show that the addition of a single term to the free energy functional can be used to increase the solid-liquid interface and defect energies in a well-controlled fashion, without any major change to other features. The influence of the newly added term is explored in two-dimensional triangular and honeycomb structures as well as bcc and fcc lattices in three dimensions. In addition, a finite element method (FEM) is developed for the model that incorporates a mesh refinement scheme. The combination of the FEM and mesh refinement to simulate amplitude expansion with a new energy term provides a method of controlling microscopic features such as defect and interface energies while simultaneously delivering a coarse-grained examination of the system.
△ Less
Submitted 26 July, 2017; v1 submitted 25 April, 2017;
originally announced April 2017.
-
AptaTRACE: Elucidating Sequence-Structure Binding Motifs by Uncovering Selection Trends in HT-SELEX Experiments
Authors:
Phuong Dao,
Jan Hoinka,
Yijie Wang,
Mayumi Takahashi,
Jiehua Zhou,
Fabrizio Costa,
John Rossi,
John Burnett,
Rolf Backofen,
Teresa M. Przytycka
Abstract:
Aptamers, short synthetic RNA/DNA molecules binding specific targets with high affinity and specificity, are utilized in an increasing spectrum of bio-medical applications. Aptamers are identified in vitro via the Systematic Evolution of Ligands by Exponential Enrichment (SELEX) protocol. SELEX selects binders through an iterative process that, starting from a pool of random ssDNA/RNA sequences, a…
▽ More
Aptamers, short synthetic RNA/DNA molecules binding specific targets with high affinity and specificity, are utilized in an increasing spectrum of bio-medical applications. Aptamers are identified in vitro via the Systematic Evolution of Ligands by Exponential Enrichment (SELEX) protocol. SELEX selects binders through an iterative process that, starting from a pool of random ssDNA/RNA sequences, amplifies target-affine species through a series of selection cycles. HT-SELEX, which combines SELEX with high throughput sequencing, has recently transformed aptamer development and has opened the field to even more applications. HT-SELEX is capable of generating over half a billion data points, challenging computational scientists with the task of identifying aptamer properties such as sequence structure motifs that determine binding. While currently available motif finding approaches suggest partial solutions to this question, none possess the generality or scalability required for HT-SELEX data, and they do not take advantage of important properties of the experimental procedure.
We present AptaTRACE, a novel approach for the identification of sequence-structure binding motifs in HT-SELEX derived aptamers. Our approach leverages the experimental design of the SELEX protocol and identifies sequence-structure motifs that show a signature of selection. Because of its unique approach, AptaTRACE can uncover motifs even when these are present in only a minuscule fraction of the pool. Due to these features, our method can help to reduce the number of selection cycles required to produce aptamers with the desired properties, thus reducing cost and time of this rather expensive procedure. The performance of the method on simulated and real data indicates that AptaTRACE can detect sequence-structure motifs even in highly challenging data.
△ Less
Submitted 5 April, 2016;
originally announced April 2016.
-
Relaxation of curvature induced elastic stress by the Asaro-Tiller-Grinfeld instability
Authors:
C. Köhler,
R. Backofen,
A. Voigt
Abstract:
A two-dimensional crystal on the surface of a sphere experiences elastic stress due to the incompatibility of the crystal axes and the curvature. A common mechanism to relax elastic stress is the Asaro-Tiller-Grinfeld (ATG) instability. With a combined numerical and analytical approach we demonstrate, that also curvature induced stress in surface crystals can be relaxed by the long wave length ATG…
▽ More
A two-dimensional crystal on the surface of a sphere experiences elastic stress due to the incompatibility of the crystal axes and the curvature. A common mechanism to relax elastic stress is the Asaro-Tiller-Grinfeld (ATG) instability. With a combined numerical and analytical approach we demonstrate, that also curvature induced stress in surface crystals can be relaxed by the long wave length ATG instability. The numerical results are obtained using a surface phase-field crystal (PFC) model, from which we determine the characteristic wave numbers of the ATG instability for various surface coverages corresponding to different curvature induced compressions. The results are compared with an analytic expression for the characteristic wave number, obtained from a continuum approach which accounts for hexagonal crystals and intrinsic PFC symmetries. We find our numerical results in accordance with the analytical predictions.
△ Less
Submitted 21 May, 2015;
originally announced May 2015.
-
Liquid crystalline growth within a phase-field crystal model
Authors:
Sai Tang,
Simon Praetorius,
Rainer Backofen,
Axel Voigt,
Yan-Mei Yu,
**cheng Wang
Abstract:
By using a phase-field crystal (PFC) model, the liquid-crystal growth of the plastic triangular phase is simulated with emphasis on crystal shape and topological defect formation. The equilibrium shape of a plastic triangular crystal (PTC) grown from a isotropic phase is compared with that grown from a columnar/smectic A (CSA) phase. While the shape of a PTC nucleus in the isotropic phase is almos…
▽ More
By using a phase-field crystal (PFC) model, the liquid-crystal growth of the plastic triangular phase is simulated with emphasis on crystal shape and topological defect formation. The equilibrium shape of a plastic triangular crystal (PTC) grown from a isotropic phase is compared with that grown from a columnar/smectic A (CSA) phase. While the shape of a PTC nucleus in the isotropic phase is almost identical to that of a classical PFC model, the shape of a PTC nucleus in CSA is affected by the orientation of stripes in the CSA phase, and irregular hexagonal, elliptical, octagonal, and rectangular shapes are obtained. Concerning the dynamics of the growth process we analyse the topological structure of the nematic-order, which starts from nucleation of $+\frac{1}{2}$ and $-\frac{1}{2}$ disclination pairs at the PTC growth front and evolves into hexagonal cells consisting of $+1$ vortices surrounded by six satellite $-\frac{1}{2}$ disclinations. It is found that the orientational and the positional order do not evolve simultaneously, the orientational order evolves behind the positional order, leading to a large transition zone, which can span over several lattice spacings.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.
-
Distribution of graph-distances in Boltzmann ensembles of RNA secondary structures
Authors:
Rolf Backofen,
Markus Fricke,
Manja Marz,
**g Qin,
Peter F. Stadler
Abstract:
Large RNA molecules often carry multiple functional domains whose spatial arrangement is an important determinant of their function. Pre-mRNA splicing, furthermore, relies on the spatial proximity of the splice junctions that can be separated by very long introns. Similar effects appear in the processing of RNA virus genomes. Albeit a crude measure, the distribution of spatial distances in thermod…
▽ More
Large RNA molecules often carry multiple functional domains whose spatial arrangement is an important determinant of their function. Pre-mRNA splicing, furthermore, relies on the spatial proximity of the splice junctions that can be separated by very long introns. Similar effects appear in the processing of RNA virus genomes. Albeit a crude measure, the distribution of spatial distances in thermodynamic equilibrium therefore provides useful information on the overall shape of the molecule can provide insights into the interplay of its functional domains. Spatial distance can be approximated by the graph-distance in RNA secondary structure. We show here that the equilibrium distribution of graph-distances between arbitrary nucleotides can be computed in polynomial time by means of dynamic programming. A naive implementation would yield recursions with a very high time complexity of O(n^11). Although we were able to reduce this to O(n^6) for many practical applications a further reduction seems difficult. We conclude, therefore, that sampling approaches, which are much easier to implement, are also theoretically favorable for most real-life applications, in particular since these primarily concern long-range interactions in very large RNA molecules.
△ Less
Submitted 30 July, 2013;
originally announced July 2013.
-
Grain growth beyond the Mullins model, capturing the complex physics behind universal grain size distributions
Authors:
Rainer Backofen,
Katayun Barmak,
Ken Elder,
Axel Voigt
Abstract:
Grain growth experiments on thin metallic films have shown the geometric and topological characteristics of the grain structure to be universal and independent of many experimental conditions. The universal size distribution, however, is found to differ both qualitatively and quantitatively from the standard Mullins curvature driven model of grain growth; with the experiments exhibiting an excess…
▽ More
Grain growth experiments on thin metallic films have shown the geometric and topological characteristics of the grain structure to be universal and independent of many experimental conditions. The universal size distribution, however, is found to differ both qualitatively and quantitatively from the standard Mullins curvature driven model of grain growth; with the experiments exhibiting an excess of small grains (termed an "ear") and an excess of very large grains (termed a "tail") compared with the model. While a plethora of extensions of the Mullins model have been proposed to explain these characteristics, none have been successful. In this work, large scale simulations of a model that resolves the atomic scale on diffusive time scales, the phase field crystal model, is used to examine the complex phenomena of grain growth. The results are in remarkable agreement with the experimental results, recovering the characteristic "ear" and "tail" features of the experimental grain size distribution. The simulations also indicate that while the geometric and topological characteristics are universal, the dynamic growth exponent is not.
△ Less
Submitted 15 April, 2013;
originally announced April 2013.
-
A phase-field-crystal approach to critical nuclei
Authors:
Rainer Backofen,
Axel Voigt
Abstract:
We investigate a phase-field-crystal model for homogeneous nucleation. Instead of solving the time evolution of a density field towards equilibrium we use a String Method to identify saddle points in phase space. The saddle points allow to obtain the nucleation barrier and the critical nucleus. The advantage of using the phase-field-crystal model for this task is its ability to resolve atomistic…
▽ More
We investigate a phase-field-crystal model for homogeneous nucleation. Instead of solving the time evolution of a density field towards equilibrium we use a String Method to identify saddle points in phase space. The saddle points allow to obtain the nucleation barrier and the critical nucleus. The advantage of using the phase-field-crystal model for this task is its ability to resolve atomistic effects. The obtained results indicate different properties of the critical nucleus compared with bulk crystals and show a detailed description of the nucleation process.
△ Less
Submitted 1 February, 2010;
originally announced February 2010.
-
Constraint-based Local Move Definitions for Lattice Protein Models Including Side Chains
Authors:
Martin Mann,
Mohamed Abou Hamra,
Kathleen Steinhöfel,
Rolf Backofen
Abstract:
The simulation of a protein's folding process is often done via stochastic local search, which requires a procedure to apply structural changes onto a given conformation. Here, we introduce a constraint-based approach to enumerate lattice protein structures according to k-local moves in arbitrary lattices. Our declarative description is much more flexible for extensions than standard operational…
▽ More
The simulation of a protein's folding process is often done via stochastic local search, which requires a procedure to apply structural changes onto a given conformation. Here, we introduce a constraint-based approach to enumerate lattice protein structures according to k-local moves in arbitrary lattices. Our declarative description is much more flexible for extensions than standard operational formulations. It enables a generic calculation of k-local neighbors in backbone-only and side chain models. We exemplify the procedure using a simple hierarchical folding scheme.
△ Less
Submitted 20 October, 2009;
originally announced October 2009.
-
Equivalence Classes of Optimal Structures in HP Protein Models Including Side Chains
Authors:
Martin Mann,
Rolf Backofen,
Sebastian Will
Abstract:
Lattice protein models, as the Hydrophobic-Polar (HP) model, are a common abstraction to enable exhaustive studies on structure, function, or evolution of proteins. A main issue is the high number of optimal structures, resulting from the hydrophobicity-based energy function applied. We introduce an equivalence relation on protein structures that correlates to the energy function. We discuss the…
▽ More
Lattice protein models, as the Hydrophobic-Polar (HP) model, are a common abstraction to enable exhaustive studies on structure, function, or evolution of proteins. A main issue is the high number of optimal structures, resulting from the hydrophobicity-based energy function applied. We introduce an equivalence relation on protein structures that correlates to the energy function. We discuss the efficient enumeration of optimal representatives of the corresponding equivalence classes and the application of the results.
△ Less
Submitted 20 October, 2009;
originally announced October 2009.
-
Particles on curved surfaces - a dynamic approach by a phase field crystal model
Authors:
Rainer Backofen,
Axel Voigt,
Thomas Witkowski
Abstract:
We present a dynamic model to study ordering of particles on arbitrary curved surfaces. Thereby the particles are represented as maxima in a density field and a surface partial differential equation for the density field is solved to the minimal energy configuration. We study annihilation of dislocations within the ordered sytem and premelting along grain boundary scars. The obtained minimal ene…
▽ More
We present a dynamic model to study ordering of particles on arbitrary curved surfaces. Thereby the particles are represented as maxima in a density field and a surface partial differential equation for the density field is solved to the minimal energy configuration. We study annihilation of dislocations within the ordered sytem and premelting along grain boundary scars. The obtained minimal energy configurations on a sphere are compared with existing results and scaling laws are computed for the number of excess dislocations as a function of system size.
△ Less
Submitted 2 March, 2010; v1 submitted 19 October, 2009;
originally announced October 2009.
-
Derivation of the phase field crystal model for colloidal solidification
Authors:
Sven van Teeffelen,
Rainer Backofen,
Axel Voigt,
Hartmut Löwen
Abstract:
The phase-field crystal model is by now widely used in order to predict crystal nucleation and growth. For colloidal solidification with completely overdamped individual particle motion, we show that the phase-field crystal dynamics can be derived from the microscopic Smoluchowski equation via dynamical density functional theory. The different underlying approximations are discussed. In particul…
▽ More
The phase-field crystal model is by now widely used in order to predict crystal nucleation and growth. For colloidal solidification with completely overdamped individual particle motion, we show that the phase-field crystal dynamics can be derived from the microscopic Smoluchowski equation via dynamical density functional theory. The different underlying approximations are discussed. In particular, a variant of the phase-field crystal model is proposed which involves less approximations than the standard phase-field crystal model. We finally test the validity of these phase-field crystal models against dynamical density functional theory. In particular, the velocities of a linear crystal front from the undercooled melt are compared as a function of the undercooling for a two-dimensional colloidal suspension of parallel dipoles. Good agreement is only obtained by a drastic scaling of the free energies in the phase-field crystal model in order to match the bulk freezing transition point.
△ Less
Submitted 28 May, 2009; v1 submitted 19 February, 2009;
originally announced February 2009.
-
Decomposition Techniques for Subgraph Matching
Authors:
Stephane Zampelli,
Martin Mann,
Yves Deville,
Rolf Backofen
Abstract:
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For such problems, we propose a hybrid approach of these techniques in the presence of global constraints. In particular, we solve the subgraph isomorphism problem. Further we design specific heuristics for this hard problem,…
▽ More
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For such problems, we propose a hybrid approach of these techniques in the presence of global constraints. In particular, we solve the subgraph isomorphism problem. Further we design specific heuristics for this hard problem, exploiting its special structure to achieve decomposition. The underlying idea is to precompute a static heuristic on a subset of its constraint network, to follow this static ordering until a first problem decomposition is available, and to switch afterwards to a fully propagated, dynamically decomposing search. Experimental results show that, for sparse graphs, our decomposition method solves more instances than dedicated, state-of-the-art matching algorithms or standard constraint programming approaches.
△ Less
Submitted 7 May, 2008;
originally announced May 2008.
-
An Information Extraction Core System for Real World German Text Processing
Authors:
G. Neumann,
R. Backofen,
J. Baur,
M. Becker,
C. Braun
Abstract:
This paper describes SMES, an information extraction core system for real world German text processing. The basic design criterion of the system is of providing a set of basic powerful, robust, and efficient natural language components and generic linguistic knowledge sources which can easily be customized for processing different tasks in a flexible manner.
This paper describes SMES, an information extraction core system for real world German text processing. The basic design criterion of the system is of providing a set of basic powerful, robust, and efficient natural language components and generic linguistic knowledge sources which can easily be customized for processing different tasks in a flexible manner.
△ Less
Submitted 18 June, 1997;
originally announced June 1997.
-
Controlling Functional Uncertainty
Authors:
Rolf Backofen
Abstract:
There have been two different methods for checking the satisfiability of feature descriptions that use the functional uncertainty device, namely~\cite{Kaplan:88CO} and \cite{Backofen:94JSC}. Although only the one in \cite{Backofen:94JSC} solves the satisfiability problem completely, both methods have their merits. But it may happen that in one single description, there are parts where the first…
▽ More
There have been two different methods for checking the satisfiability of feature descriptions that use the functional uncertainty device, namely~\cite{Kaplan:88CO} and \cite{Backofen:94JSC}. Although only the one in \cite{Backofen:94JSC} solves the satisfiability problem completely, both methods have their merits. But it may happen that in one single description, there are parts where the first method is more appropriate, and other parts where the second should be applied. In this paper, we present a common framework that allows one to combine both methods. This is done by presenting a set of rules for simplifying feature descriptions. The different methods are described as different controls on this rule set, where a control specifies in which order the different rules must be applied.
△ Less
Submitted 6 August, 1996;
originally announced August 1996.
-
DISCO---An HPSG-based NLP System and its Application for Appointment Scheduling (Project Note)
Authors:
Hans Uszkoreit,
Rolf Backofen,
Stephan Busemann,
Abdel Kader Diagne,
Elizabeth A. Hinkelman,
Walter Kasper,
Bernd Kiefer,
Hans-Ulrich Krieger,
Klaus Netter,
Guenter Neumann,
Stephan Oepen,
Stephen P. Spackman
Abstract:
The natural language system DISCO is described. It combines o a powerful and flexible grammar development system; o linguistic competence for German including morphology, syntax and semantics; o new methods for linguistic performance modelling on the basis of high-level competence grammars; o new methods for modelling multi-agent dialogue competence; o an interesting sample application for appoi…
▽ More
The natural language system DISCO is described. It combines o a powerful and flexible grammar development system; o linguistic competence for German including morphology, syntax and semantics; o new methods for linguistic performance modelling on the basis of high-level competence grammars; o new methods for modelling multi-agent dialogue competence; o an interesting sample application for appointment scheduling and calendar management.
△ Less
Submitted 30 June, 1994; v1 submitted 23 June, 1994;
originally announced June 1994.
-
A Complete and Recursive Feature Theory
Authors:
Rolf Backofen,
Gert Smolka
Abstract:
Various feature descriptions are being employed in logic programming languages and constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. The descriptions considered in this paper are the possibly quantified first-order formulae obtained from a signature of binary and unary predicates called features and sorts, respe…
▽ More
Various feature descriptions are being employed in logic programming languages and constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. The descriptions considered in this paper are the possibly quantified first-order formulae obtained from a signature of binary and unary predicates called features and sorts, respectively. We establish a first-order theory FT by means of three axiom schemes, show its completeness, and construct three elementarily equivalent models. One of the models consists of so-called feature graphs, a data structure common in computational linguistics. The other two models consist of so-called feature trees, a record-like data structure generalizing the trees corresponding to first-order terms. Our completeness proof exhibits a terminating simplification system deciding validity and satisfiability of possibly quantified feature descriptions.
△ Less
Submitted 17 June, 1994; v1 submitted 10 June, 1994;
originally announced June 1994.
