Filters








1,113,726 Hits in 3.9 sec

Embeddings of Computable Structures

Asher M. Kach, Oscar Levin, Reed Solomon
2010 Notre Dame Journal of Formal Logic  
We study what the existence of a classical embedding between computable structures implies about the existence of computable embeddings.  ...  In particular, we consider the effect of fixing and varying the computable presentations of the computable structures.  ...  If S is a computably categorical structure, then the class of computable presentations of S has the strong embedding property.  ... 
doi:10.1215/00294527-2010-004 fatcat:b54b5jizm5dylkkvddclvvbw6a

Computable embeddings for pairs of linear orders [article]

Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev
2021 arXiv   pre-print
We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures.  ...  Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree structure.  ...  On the other hand, our results will show that computable embeddings induce a non-trivial degree structure for two-element classes consisting of computable structures.  ... 
arXiv:1901.01933v4 fatcat:bmfdibfalrfwbe3d3dsn6i23bu

Structure of Sensing Systems for Autonomous Greenhouses Using Embedded Computer

Takanori Matsuzaki, Yoshihiko Shigezumi, Kozo Horiuchi, Taiga Fujimura, Yuki Nakazato
2016 Innovative Computing Information and Control Express Letters, Part B: Applications  
Main components of the autonomous greenhouse are the normal (original) greenhouse, sensors, solar panels, a battery, and an embedded computer system.  ...  The embedded computer system controls air-conditioning systems, water pumps in the greenhouse, and monitoring of plants growing, since the system supports the day-to-day farm work.  ...  Evaluation of the embedded computer system diagram using the embedded computer system.  ... 
doi:10.24507/icicelb.07.12.2557 fatcat:pdykxn3kgzdrtki7g2h2nrpw2u

Design and Simulation of an Embedded Computer System for Fabric Structure

Yousif ElhadiElsideegAhmed, Ali Mohamed Abdelrahman Agoub, Fadl Elmoula Abdallah Idris
2013 International Journal of Computer Applications  
The ultimate goal of this research work is to provide a simulation test for a microcontroller based system to be embedded into weaving machine for Monitoring and controlling the design operation.  ...  The proposed embedded system aimed to read the design parameters entered by the designer using keypad, calculate the colors repeats insertions, generate the design in sequences of binary digits and apply  ...  [3] Industrial automation (IA) is the vast area of embedded computing devoted to industrial applications.  ... 
doi:10.5120/10647-5405 fatcat:nbs6h5jwfrbajo5rscxk2y2fay

EMBEDDED COMPUTER BASED ACTIVE VIBRATION CONTROL SYSTEM FOR VIBRATION REDUCTION OF FLEXIBLE STRUCTURES

Tatavolu
2013 Journal of Computer Science  
The main objective of this research work is to develop an embedded computer based real time AVCS for reducing low frequency tonal vibration response of a vibrating flexible cantilever beam by automatic  ...  A cantilever beam was considered as plant and embedded computer based AVCS was tested and evaluated using an experimental setup.  ...  DISCUSSION The embedded computer based active vibration control system for reducing sinusoidal vibration of a flexible cantilever beam structure is developed.  ... 
doi:10.3844/jcssp.2013.838.846 fatcat:esicmvzunrb4bj4plrrtvnl4gu

Optimization of dynamic data structures in multimedia embedded systems using evolutionary computation

David Atienza, Christos Baloukas, Lazaros Papadopoulos, Christophe Poucet, Stylianos Mamagkakis, Jose I. Hidalgo, Francky Catthoor, Dimitrios Soudris, Juan Lanchares
2007 Proceedingsof the 10th international workshop on Software & compilers for embedded systems - SCOPES '07  
Within these optimizations, the refinement of the Dynamically (de)allocated Data Type (or DDT) implementations is one of the most important and difficult parts for an efficient mapping onto low-power embedded  ...  Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago.  ...  Also, several transformations of data structures for compilers have simplified local loops in embedded programs [16] .  ... 
doi:10.1145/1269843.1269849 dblp:conf/scopes/AtienzaBPPMHCSL07 fatcat:aavjwdp5rfg7hf2uqcgbmsa3va

Lagrangian Visualization of Flow-Embedded Surface Structures

Christoph Garth, Alexander Wiebel, Xavier Tricoche, Ken Joy, Gerik Scheuermann
2008 Computer graphics forum (Print)  
We apply these concepts to enable the analysis of flows in the immediate vicinity of the boundaries of flow-embedded objects by limiting the Lagrangian analysis to surfaces closely neighboring these boundaries  ...  The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualization of complex technical  ...  Thanks also go to the FAnToM development group at the University of Leipzig.  ... 
doi:10.1111/j.1467-8659.2008.01236.x fatcat:s7hbfnbfyvctzli4x2td7f2oly

Graph of Words Embedding for Molecular Structure-Activity Relationship Analysis [chapter]

Jaume Gibert, Ernest Valveny, Horst Bunke
2010 Lecture Notes in Computer Science  
In this article we make use of a particular graph representation of molecules and propose a new graph embedding procedure to solve the problem of structure-activity relationship analysis.  ...  Structure-Activity relationship analysis aims at discovering chemical activity of molecular compounds based on their structure.  ...  Moreover, since the proposed embedding has a low computational complexity, the whole system is worth considering.  ... 
doi:10.1007/978-3-642-16687-7_9 fatcat:mwsh5zy6snc6xa6rjpcjqmdu7q

Prioritized Metric Structures and Embedding

Michael Elkin, Arnold Filtser, Ofer Neiman
2015 Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing - STOC '15  
In this paper we alleviate this limitation by devising a suit of prioritized metric data structures and embeddings.  ...  The worst-case performance of our metric data structures and embeddings is typically asymptotically no worse than of their non-prioritized counterparts.  ...  In this paper we alleviate this shortcoming and devise a suit of prioritized metric data structures and low-distortion embeddings.  ... 
doi:10.1145/2746539.2746623 dblp:conf/stoc/ElkinFN15 fatcat:bjqqfytgvjcahp52g7t6u3fpwq

Topology-preserving simplification of 2D nonmanifold meshes with embedded structures

Fabien Vivodtzev, Georges-Pierre Bonneau, Paul Le Texier
2005 The Visual Computer  
In this context embedded means that the edges of the polylines are also edges of the mesh.  ...  The paper introduces a robust test to detect if the collapse of an edge in the mesh modifies either the topology of the mesh or the topology of the embedded polylines.  ...  Conditions (i) and (ii) are illustrated in Topology Preserving Edge Collapse With Embedded Structures Let K be a 2-complex and E be a set of edges in K.  ... 
doi:10.1007/s00371-005-0334-y fatcat:3swds2xojjhdpcx4nwpte2x47a

AUTOMATIC IDENTIFICATION OF EMBEDDED STRUCTURE IN LARGE-SCALE OPTIMIZATION MODELS [chapter]

Gerald G. Brown, William G. Wright
1981 Computer-Assisted Analysis and Model Simplification  
Monterey , C a l i f o r n i a This paper discusses automatic detection and expZoitution of embedded structure i n Large-Scale Linear Programming (LPI models.  ...  We seek t o understand the modeling implications of these embedded s t m t m e s as weZZ as to exploit them dming actual optimization.  ...  For every i € E , compute a row penalty ( p . ) a s follows: Step 3: Row selection.  ... 
doi:10.1016/b978-0-12-299680-1.50026-4 fatcat:5xtnbskvzbajxnzjqc44diusxe

Boolean embedding from a partially ordered structure to a boolean algebra

Jinsei Yamaguchi
1999 International Journal of Computer Mathematics  
As the byproduct, we obtain an interesting insight that the set of all finite partially ordered structures can be classified to categories called Boolean complexity of the type (n,m) , where n and m are  ...  Especially, when , is finite, we give an algorithm called the Normal Separativization which realize the embedding .  ...  By using this algorithm, we can classify the set of all finite p.o.s.s to mathematically new concepts called Boolean Complexity of the type (n,m) where n and m are natural numbers.  ... 
doi:10.1080/00207169908804810 fatcat:u2x53ua2mjezzjvbvqjfny2pbq

User-Centered Awareness in Computer-Supported Cooperative Work-Systems: Structured Embedding of Findings from Social Sciences

Tom Gross, Chris Stary, Alex Totter
2005 International Journal of Human-Computer Interaction  
In this paper a structured embedding of findings in social sciences is proposed.  ...  An increasing number of Computer-Supported Cooperative Work (CSCW)-software systems try to provide users with awareness information-information about the presence, activities, and availability of members  ...  of the systems provide group-structural information.  ... 
doi:10.1207/s15327590ijhc1803_5 fatcat:ykvkbayj7naktiqlhhyhugm42u

Discriminant Neighborhood Structure Embedding Using Trace Ratio Criterion for Image Recognition

Jing Wang, Fang Chen, Quanxue Gao
2015 Journal of Computer and Communications  
In this paper, we propose a novel linear dimensionality reduction technique using trace ratio criterion, namely Discriminant Neighbourhood Structure Embedding Using Trace Ratio Criterion (TR-DNSE).  ...  TR-DNSE preserves the local intrinsic geometric structure, characterizing properties of similarity and diversity within each class, and enforces the separability between different classes by maximizing  ...  Explanation of Algorithm 1: With t λ from the t-th iteration in (are computed by maximizing the following trace different problem: Algorithm 1 . 1 symmetric.  ... 
doi:10.4236/jcc.2015.311011 fatcat:u6g2qtslbbehbgmqnpbatgypy4

Parallel and Distributed Optimization of Dynamic Data Structures for Multimedia Embedded Systems [chapter]

José L. Risco-Martín, David Atienza, J. Ignacio Hidalgo, Juan Lanchares
2010 Studies in Computational Intelligence  
In this work, we propose a method that uses parallel processing and evolutionary computation to explore DDTs in the design of embedded applications.  ...  Energy-efficient design of multimedia embedded systems demands optimizations in both hardware and software.  ...  array-based data structures in multimedia applications.  ... 
doi:10.1007/978-3-642-10675-0_12 fatcat:drjtcctg3jc3rnftrpgujw4fjq
« Previous Showing results 1 — 15 out of 1,113,726 results