Thematische Bibliographien / Linear encoders

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Linear encoders“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Linear encoders" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Linear encoders"

Yang, Fan, Xinji Lu, Artūras Kilikevičius, and Donatas Gurauskis. "Methods for Reducing Subdivision Error within One Signal Period of Single-Field Scanning Absolute Linear Encoder." Sensors 23, no. 2 (2023): 865. http://dx.doi.org/10.3390/s23020865.

Der volle Inhalt der Quelle

Annotation:

Optical encoders are widely used in accurate displacement measurement and motion-control technologies. Based on different measurement methods, optical encoders can be divided into absolute and incremental optical encoders. Absolute linear encoders are commonly used in advanced computer numerical control (CNC) machines. The subdivision error within one signal period (SDE) of the absolute linear encoder is vital to the positioning accuracy and low velocity control of CNC machines. In our paper, we study the working principle of the absolute linear encoder. We proposed two methods for reducing th

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Gurauskis, Donatas, Krzysztof Przystupa, Artūras Kilikevičius, et al. "Development and Experimental Research of Different Mechanical Designs of an Optical Linear Encoder’s Reading Head." Sensors 22, no. 8 (2022): 2977. http://dx.doi.org/10.3390/s22082977.

Der volle Inhalt der Quelle

Annotation:

Optical linear encoders are widely used in manufacturing. They are accurate and have a relatively high resolution and good repeatability. However, there are a lot of side effects, which have an inevitable impact on the performance of an encoder. In general, the majority of these effects could be minimized by the appropriate design of an encoder’s reading head. This paper discusses the working principle of and commonly occurring errors in optical linear encoders. Three different mechanical designs are developed and implemented in the experimental reading head of the linear encoder in order to e

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Paredes, Ferran, Cristian Herrojo, and Ferran Martín. "Position Sensors for Industrial Applications Based on Electromagnetic Encoders." Sensors 21, no. 8 (2021): 2738. http://dx.doi.org/10.3390/s21082738.

Der volle Inhalt der Quelle

Annotation:

Optical and magnetic linear/rotary encoders are well-known systems traditionally used in industry for the accurate measurement of linear/angular displacements and velocities. Recently, a different approach for the implementation of linear/rotary encoders has been proposed. Such an approach uses electromagnetic signals, and the working principle of these electromagnetic encoders is very similar to the one of optical encoders, i.e., pulse counting. Specifically, a transmission line based structure fed by a harmonic signal tuned to a certain frequency, the stator, is perturbed by encoder motion.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wesel, R. D., Xueting Liu, J. M. Cioffi, and C. Komninakis. "Constellation labeling for linear encoders." IEEE Transactions on Information Theory 47, no. 6 (2001): 2417–31. http://dx.doi.org/10.1109/18.945255.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Alejandre, I., and M. Artes. "Thermal non-linear behaviour in optical linear encoders." International Journal of Machine Tools and Manufacture 46, no. 12-13 (2006): 1319–25. http://dx.doi.org/10.1016/j.ijmachtools.2005.10.010.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Chen, Shuangshuang, and Wei Guo. "Auto-Encoders in Deep Learning—A Review with New Perspectives." Mathematics 11, no. 8 (2023): 1777. http://dx.doi.org/10.3390/math11081777.

Der volle Inhalt der Quelle

Annotation:

Deep learning, which is a subfield of machine learning, has opened a new era for the development of neural networks. The auto-encoder is a key component of deep structure, which can be used to realize transfer learning and plays an important role in both unsupervised learning and non-linear feature extraction. By highlighting the contributions and challenges of recent research papers, this work aims to review state-of-the-art auto-encoder algorithms. Firstly, we introduce the basic auto-encoder as well as its basic concept and structure. Secondly, we present a comprehensive summarization of di

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lu, Xinji, Fan Yang, and Artūras Kilikevičius. "A Method for Reducing Sub-Divisional Errors in Open-Type Optical Linear Encoders with Angle Shift Pattern Main Scale." Mathematics 12, no. 3 (2024): 474. http://dx.doi.org/10.3390/math12030474.

Der volle Inhalt der Quelle

Annotation:

In this research, a novel approach is presented to enhance the precision of open-type optical linear encoders, focusing on reducing subdivisional errors (SDEs). Optical linear encoders are crucial in high-precision machinery. The overall error in optical linear encoders encompasses baseline error, SDE, and position noise. This study concentrates on mitigating SDEs, which are recurrent errors within each pitch period and arise from various contributing factors. A novel method is introduced to improve the quality of sinusoidal signals in open-type optical linear encoders by incorporating special

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Yang, Shengtian, Thomas Honold, Yan Chen, Zhaoyang Zhang, and Peiliang Qiu. "Constructing Linear Encoders With Good Spectra." IEEE Transactions on Information Theory 60, no. 10 (2014): 5950–65. http://dx.doi.org/10.1109/tit.2014.2341560.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Geng, Liming, Guohua Cao, Chunmin Shang, and Hongchang Ding. "Absolute Photoelectric Encoder Based on Position-Sensitive Detector Sensor." Electronics 13, no. 8 (2024): 1446. http://dx.doi.org/10.3390/electronics13081446.

Der volle Inhalt der Quelle

Annotation:

In response to the engineering, miniaturization, and high measurement accuracy requirements of encoders, this paper proposes a new type of absolute photoelectric encoder based on a position-sensitive detector (PSD). It breaks the traditional encoder’s code track design and adopts a continuous and transparent code track design, which has the advantages of small volume, high angle measurement accuracy, and easy engineering. The research content of this article mainly includes the design of a new code disk, decoding circuit, linear light source, and calibration method. The experimental results sh

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Jovanović, Jelena, Dragan Denić, and Uglješa Jovanović. "An Improved Linearization Circuit Used for Optical Rotary Encoders." Measurement Science Review 17, no. 5 (2017): 241–49. http://dx.doi.org/10.1515/msr-2017-0029.

Der volle Inhalt der Quelle

Annotation:

Abstract Optical rotary encoders generate nonlinear sine and cosine signals in response to a change of angular position that is being measured. Due to the nonlinear shape of encoder output signals, encoder sensitivity to very small changes of angular position is low, causing a poor measurement accuracy level. To improve the optical encoder sensitivity and to increase its accuracy, an improved linearization circuit based on pseudo-linear signal generation and its further linearization with the two-stage piecewise linear analog-to-digital converter is presented in this paper. The proposed linear

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "Linear encoders"

Boyd, Phillip L. "Recovery of unknown constraint length and encoder polynomials for rate 1/2 linear convolutional encoders." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1999. http://handle.dtic.mil/100.2/ADA375935.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S. in Electrical Engineering) Naval Postgraduate School, December 1999.<br>"December 1999". Thesis advisor(s): Clark Robertson, Tri Ha, Ray Ramey. Includes bibliographical references (p. 79). Also available online.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Balák, Pavel. "Konstrukce otočného lineárně přesuvného stolu s pevnou boční upínací deskou pro stroj FGU RT." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2013. http://www.nusl.cz/ntk/nusl-230818.

Der volle Inhalt der Quelle

Annotation:

The aim of this diploma thesis is design of rotary-linear table with side clamping plate. Rotary-linear table is applicated to the profiled guideways used linear table. The work is focused on the design of the individuals nodes and their calculations.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Rosenfeld, Carl. "Automatiserad provrörskarusell : Elektronikkonstruktion och utvärdering." Thesis, Uppsala University, Signals and Systems Group, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-131153.

Der volle Inhalt der Quelle

Annotation:

<p>Den här rapporten beskriver arbetet med en automatiserad provrörsförflyttare. Det är ett examensarbete som har gjorts på företaget Q-linea AB. En karuselliknande konstruktion med en stegmotor användes för att flytta prover mellan ett antal positioner. En mikrokontroller som hanterar styrning och sensordata har programmerats i C. LabVIEW och en USB-kamera har använts som hjälp till att göra utvärderingar och tester av systemet. Målet var att konstruera en prototyp som uppfyllde de precisionskrav och tidskrav som ställdes, vilket också uppnåddes. Rapporten beskriver arbetsgången och avslutas

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lee, Kwan Yee. "Analysis-by-synthesis linear predictive coding." Thesis, University of Surrey, 1990. http://epubs.surrey.ac.uk/844188/.

Der volle Inhalt der Quelle

Annotation:

Applications such as satellite and digital mobile radio systems (DMR) have gained widespread acceptance in recent years, and efficient digital processing techniques are gradually replacing the older analogue systems. An important subsystem of these applications is voiceband communication, especially digital speech encoding. Digital encoding of speech has been a focus of speech processing research for many years, and recently this activity together with the rapid advances in digital hardware, has begun to produce realistic working algorithms. This is typified by the Pan-European DMR system whic

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Dostál, Martin. "Konstrukční návrh lineární osy pro multifunkční obráběcí centrum." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-443239.

Der volle Inhalt der Quelle

Annotation:

This diploma thesis is concerned with providing a construction proposal of a linear axis X for multifunctional machining center. Moreover, this work presents characterisations of machining centers, overview of manufacturers, list of main construction components used in the linear axis, their evaluation, assessment of various options for construction, which are then explained further. These detailed construction methods include calculations with the subsequent choice of feed system component. Ultimately, final evaluation of chosen option is provided as well. Another section of this thesis is al

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Guan, Jun [Verfasser], and Rainer [Akademischer Betreuer] Tutsch. "Interferometric Encoder for Linear Displacement Metrology / Jun Guan ; Betreuer: Rainer Tutsch." Braunschweig : Technische Universität Braunschweig, 2013. http://d-nb.info/1175822043/34.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Karpf, Sebastian. "A system for time-encoded non-linear spectroscopy and microscopy." Diss., Ludwig-Maximilians-Universität München, 2015. http://nbn-resolving.de/urn:nbn:de:bvb:19-183458.

Der volle Inhalt der Quelle

Annotation:

Raman scattering can be applied to biological imaging to identify molecules in a sample without the need for adding labels. Raman microscopy can be used to visualize functional areas at the cellular level by means of a molecular contrast and is thus a highly desired imaging tool to identify diseases in biomedical imaging. The underlying Raman scattering effect is an optical inelastic scattering effect, where energy is transferred to molecular excitations. Molecules can be identified by monitoring this energy loss of the pump light, which corresponds to a vibrational or rotational energy of the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Trnkócy, Tomáš. "Návrh a realizace testovacího zařízení manipulačního mechanismu vzorku pro elektronový mikroskop." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2013. http://www.nusl.cz/ntk/nusl-230625.

Der volle Inhalt der Quelle

Annotation:

Práce se zabývá návrhem a implementací testovacího zařízení pro manipulačnínmechanismus vzorku v elektronovém mikroskopu. Testovací zařízení a jeho software zajištuje meření několika parametrů mechanismu, jejich statistické vyhodnocení a porovnání se specifikací. Cílem je vytvořit komplexní testovací zařízení s jednoduchým uživatelským rozhraním, s požadavkem náhrady stávajícího nemodulárního a nestabilního řešení a jeho rozšíření o testování dalších parametrů.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Shirley, Matt, and n/a. "Characterisation of an 84 kb linear plasmid that encodes DDE cometabolism in Terrabacter sp. strain DDE-1." University of Otago. Department of Microbiology & Immunology, 2006. http://adt.otago.ac.nz./public/adt-NZDU20060804.094902.

Der volle Inhalt der Quelle

Annotation:

DDT, an extremely widely used organochlorine pesticide, was banned in most developed countries more than 30 years ago. However, DDT residues, including 1,1-dichloro-2,2-bis(4-chlorophenyl)ethylene (DDE), still persist in the environment and have been identified as priority pollutants due to their toxicity and their ability to bioaccumulate and biomagnify in the food chain. In particular, DDE was long believed to be &quotenon-biodegradable&quote, however some microorganisms have now been isolated that are able to metabolise DDE in pure culture. Terrabacter sp. strain DDE-1 was enriched from a D

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Oberhauser, Joseph Q. "Design, Construction, Control, and Analysis of Linear Delta Robot." Ohio University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1460045979.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Bücher zum Thema "Linear encoders"

Recovery of Unknown Constraint Length and Encoder Polynomials for Rate 1/2 Linear Convolutional Encoders. Storming Media, 1999.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Deruelle, Nathalie, and Jean-Philippe Uzan. The wave vector of light. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198786399.003.0022.

Der volle Inhalt der Quelle

Annotation:

This chapter shows how simple world lines of zero length can describe an undulatory aspect of light—namely, its frequency. It first encodes the information about the frequency of a monochromatic light wave in the zeroth component of its wave vector. An alternative method of taking into account the wave nature of light is based on the fact that the emission of successive light corpuscles by the source also defines the period of a light signal. To illustrate, the chapter provides the example of a light source and a receiver moving along the X axis of a frame S. Finally, this chapter illustrates

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Koch, Christof. Biophysics of Computation. Oxford University Press, 1998. http://dx.doi.org/10.1093/oso/9780195104912.001.0001.

Der volle Inhalt der Quelle

Annotation:

Neural network research often builds on the fiction that neurons are simple linear threshold units, completely neglecting the highly dynamic and complex nature of synapses, dendrites, and voltage-dependent ionic currents. Biophysics of Computation: Information Processing in Single Neurons challenges this notion, using richly detailed experimental and theoretical findings from cellular biophysics to explain the repertoire of computational functions available to single neurons. The author shows how individual nerve cells can multiply, integrate, or delay synaptic inputs and how information can b

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Menon, Deepa U. Autism and Intellectual Disabilities. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199937837.003.0053.

Der volle Inhalt der Quelle

Annotation:

PTEN (phosphatase and tensin homologue) on chromosome 10q23.3 is a tumor suppressor gene that encodes for a dual specificity phosphatase that regulates the phosphatidylinositol 3- kinase pathway and has an important role in brain development by affecting neuronal survival, neurite outgrowth, synaptic plasticity, and learning memory. Germline mutations of the PTEN gene have been implicated in a group of related tumor syndromes with autosomal dominant inheritance and variable expression and include the Cowden syndrome, Bannayan-Riley-Ruvalcaba syndrome, Proteus syndrome, and Juvenile Polyposis s

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Jackendoff, Ray. Constructions in the Parallel Architecture. Edited by Thomas Hoffmann and Graeme Trousdale. Oxford University Press, 2013. http://dx.doi.org/10.1093/oxfordhb/9780195396683.013.0005.

Der volle Inhalt der Quelle

Annotation:

This chapter discusses what the Parallel Architecture has taken from Construction Grammar and what it might contribute to Construction Grammar. After outlining the fundamentals of the architecture, it explains why rules of grammar should be formulated as lexical items encoded as pieces of structure: there is no hard line between words, constructions, and standard rules. The chapter also argues for a “heterogeneous” variety of Construction Grammar, which does not insist that every syntactic construction is invested with meaning. Finally, it discusses the crucial issue of semiproductivity, usual

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Duffley, Patrick. Linguistic Meaning Meets Linguistic Form. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198850700.001.0001.

Der volle Inhalt der Quelle

Annotation:

This book steers a middle course between two opposing conceptions that currently dominate the field of semantics, the logical and cognitive approaches. It brings to light the inadequacies of both frameworks, and argues along with the Columbia School that linguistic semantics must be grounded on the linguistic sign itself and the meaning it conveys across the full range of its uses. The book offers 12 case studies demonstrating the explanatory power of a sign-based semantics, dealing with topics such as complementation with aspectual and causative verbs, control and raising, wh- words, full-ver

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Voll, Reinhard E., and Barbara M. Bröker. Innate vs acquired immunity. Oxford University Press, 2013. http://dx.doi.org/10.1093/med/9780199642489.003.0048.

Der volle Inhalt der Quelle

Annotation:

The innate and the adaptive immune system efficiently cooperate to protect us from infections. The ancient innate immune system, dating back to the first multicellular organisms, utilizes phagocytic cells, soluble antimicrobial peptides, and the complement system for an immediate line of defence against pathogens. Using a limited number of germline-encoded pattern recognition receptors including the Toll-like, RIG-1-like, and NOD-like receptors, the innate immune system recognizes so-called pathogen-associated molecular patterns (PAMPs). PAMPs are specific for groups of related microorganisms

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Buchteile zum Thema "Linear encoders"

Qian, Yurui, Yu Wang, and Jingyang Lin. "Enhancing the Linear Probing Performance of Masked Auto-Encoders." In Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37660-3_20.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lomazzi, Luca, Francesco Cadini, and Marco Giglio. "Particle Filters and Auto-Encoders Combination for Damage Diagnosis on Hysteretic Non-Linear Structures Subject to Changing Environmental Conditions." In Conference Proceedings of the Society for Experimental Mechanics Series. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-77143-0_1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Ryckelynck, David, Fabien Casenave, and Nissrine Akkari. "Applications and Extensions: A Survey of Literature." In Manifold Learning. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-52764-7_6.

Der volle Inhalt der Quelle

Annotation:

AbstractThis chapter contains a literature survey of the work published by the authors in the timeframe of their collaboration, where the concepts presented in this book have been applied to real-life industrial settings, and new methodologies have been developed. The listed contributions are grouped into the following themes: linear manifold learning, nonlinear dimensionality reduction via auto-encoder, piecewise linear dimensionality reduction via dictionary-based ROMnets and manifold learning of physics problems assisted by black-box regressors.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Touir, Ameur, and Brigitte Kerhervé. "Pattern Translation in Images Encoded by Linear Quadtree." In Modeling in Computer Graphics. Springer Japan, 1991. http://dx.doi.org/10.1007/978-4-431-68147-2_15.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Zuo, W., Zhi Jing Feng, S. T. Huang, and G. M. Zhao. "Electronic Subdividing Method for Linear Encoder of High Speed Position Detection." In Advances in Machining & Manufacturing Technology VIII. Trans Tech Publications Ltd., 2006. http://dx.doi.org/10.4028/0-87849-999-7.230.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Schwabacher, Alan W., Christopher W. Johnson, and Peter Geissinger. "Linear Spatially Encoded Combinatorial Chemistry with Fourier Transform Library Analysis." In High-Throughput Analysis. Springer US, 2003. http://dx.doi.org/10.1007/978-1-4419-8989-5_6.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Witchel, Harry J., Christopher I. Jones, Carina E. I. Westling, Alessia Nicotra, Bruno Maag, and Hugo D. Critchley. "Spelling Errors and “Shouting” Capitalisation Implicitly Cause Linearly Additive Penalties to Trustworthiness Judgements of Online Health Information: Online Randomised Experiments with Laypersons." In Science Communication and Trust. Springer Nature Singapore, 2025. https://doi.org/10.1007/978-981-96-1289-5_23.

Der volle Inhalt der Quelle

Annotation:

Abstract How people make assessments of trustworthiness remains controversial, as several factors may inflect such assessments and subsequent decisions. This research programme aims to reveal implicit trustworthiness judgements specifically caused by spelling errors and online “shouting” (unnecessary capitalisation of whole words for emphasis). In a series of online experiments, participants were instructed to rate the trustworthiness of the content of nine short text excerpts about multiple sclerosis in the format of posts to an unmoderated health forum. In randomised, counterbalanced designs

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mazowiecki, Filip, Henry Sinclair-Banks, and Karol Węgrzycki. "Coverability in 2-VASS with One Unary Counter is in NP." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30829-1_10.

Der volle Inhalt der Quelle

Annotation:

AbstractCoverability in Petri nets finds applications in verification of safety properties of reactive systems. We study coverability in the equivalent model: Vector Addition Systems with States (VASS).A k-VASS can be seen as k counters and a finite automaton whose transitions are labelled with k integers. Counter values are updated by adding the respective transition labels. A configuration in this system consists of a state and k counter values. Importantly, the counters are never allowed to take negative values. The coverability problem asks whether one can traverse the k-VASS from the init

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Kaufmann, Daniela, and Jérémy Berthomieu. "Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-90643-5_19.

Der volle Inhalt der Quelle

Annotation:

Abstract Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded using polynomials that automatically generate a Gröbner basis with respect to a lexicographic term ordering. Correctness of the circuit is derived by computing the polynomial remainder of the specification. However, the main obstacle is the monomial blow-up during the reduction, as the degree can increase. In this paper, we investigate an orthogonal approach and focus the computational effort on rewriting the Gröbner ba

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Luo, Jiapeng, Lei Cao, and Jianhua Xu. "A Non-linear Label Compression Coding Method Based on Five-Layer Auto-Encoder for Multi-label Classification." In Neural Information Processing. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46675-0_45.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Linear encoders"

Bian, Xuefan, Liang Wu, Xuhan An, and Hanxu Zou. "A Small-Size Linear Encoder Based on Eddy Current Effect." In 2025 5th International Conference on Sensors and Information Technology (ICSI). IEEE, 2025. https://doi.org/10.1109/icsi64877.2025.11009920.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wirth-Singh, Anna, Jinlin Xiang, Minho Choi, et al. "Compressed Meta-Optical Encoder for Image Classification." In CLEO: Fundamental Science. Optica Publishing Group, 2024. http://dx.doi.org/10.1364/cleo_fs.2024.ff1j.1.

Der volle Inhalt der Quelle

Annotation:

For MNIST image classification, we compress a CNN to a single convolutional layer and linear electronic backend. We implement the convolution optically via engineering the PSF of meta-optics and demonstrate classification accuracy exceeding 93%.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lee, Jong-Moo, Woncheol Shin, Taewan Kim, and Yongsoo Hwang. "Entanglement of up to 6 photons on a silicon photonic quantum circuit." In Optical Fiber Communication Conference. Optica Publishing Group, 2025. https://doi.org/10.1364/ofc.2025.m4e.5.

Der volle Inhalt der Quelle

Annotation:

Six-photon entanglement is demonstrated on a silicon photonic circuit integrating spirals, spectral filters, and linear-optic gates for eight path-encoded qubits. The indistinguishability of photons is verified through a 97% Hong-Ou-Mandel visibility measurement.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Goel, Suraj, Saroch Leedumrongwatthanakun, Natalia Herrera Valencia, et al. "Programmable High-Dimensional Quantum Circuits in Space and Time." In Quantum 2.0. Optica Publishing Group, 2024. http://dx.doi.org/10.1364/quantum.2024.qth2b.7.

Der volle Inhalt der Quelle

Annotation:

We harness the complex mixing process inside a commercial multi-mode fibre to program high-dimensional linear optical circuits for photonic qudits encoded in transverse space and time-of-arrival, and demonstrate their use for high-dimensional entanglement certification.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Manzoor, Hufsa, and M. Arif Wani. "Linear B Cell Epitope Prediction using ProtVec based Encoder and Feed Forward Neural Network." In 2024 3rd Edition of IEEE Delhi Section Flagship Conference (DELCON). IEEE, 2024. https://doi.org/10.1109/delcon64804.2024.10866071.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Chen, Brian, and Jen-Yuan (James) Chang. "Mechatronic Integration of Magnetic Linear Encoding Medium Manufacturing." In ASME 2014 Conference on Information Storage and Processing Systems. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/isps2014-6936.

Der volle Inhalt der Quelle

Annotation:

Linear encoder has been widely used in various position controls in industries, especially in machinery industry. The purpose of using linear encoders is to give precise position control in dynamic applications. Furthermore, using linear encoders helps minimize errors caused by human or mechanical problems such as backlash and thermal expansion [2]. There are various types of linear encoders such as mechanical, optical, magnetic, etc. Nevertheless, magnetic encoders are able to withstand harsh environment such as oil, grease, and dust much effective than the rest. Magnetic encoders have severa

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Pulanco, William Michael, and Stephen Derby. "Design and Implementation of a Linear Testbed for Encoder Validation." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/cie-1438.

Der volle Inhalt der Quelle

Annotation:

Abstract It was desired to build a test station that would test the maximum operating speed and assist in the adjustment of the potentiometer during assembly of the linear encoders. A linear slide table provides the best linear motion to test encoders. It was also decided that a belt drive system would allow for the desired performance. The belt drive system is connected to a motor which needs some type of control. Many different options were considered for controlling the motor and some tried, but the final solution was to use a stand alone controller that would take input from a control pane

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hosszu, Eva, Christina Fragouli, and Janos Tapolcai. "Combinatorial error detection in linear encoders." In 2015 IEEE 16th International Conference on High-Performance Switching and Routing (HPSR). IEEE, 2015. http://dx.doi.org/10.1109/hpsr.2015.7483114.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Pradhan, Ian, and Siwei Lyu. "Understanding Linear Style Transfer Auto-Encoders." In 2021 IEEE 31st International Workshop on Machine Learning for Signal Processing (MLSP). IEEE, 2021. http://dx.doi.org/10.1109/mlsp52302.2021.9596412.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Ng, Kim-Gau, and Joey K. Parker. "A Two-Encoder Finger Position Sensing System for a Two-Degree-of-Freedom Robot Hand." In ASME 1991 Design Technical Conferences. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/detc1991-0171.

Der volle Inhalt der Quelle

Annotation:

Abstract As part of a robot hand with two independently controlled fingers each having one degree of freedom, a novel two-encoder position sensing system was designed for each of the fingers. In this system, a combination of a linear encoder and a rotary encoder is used to indicate finger position. The linear encoder provides coarse measurements while the rotary encoder provides fine measurements between two adjacent linear encoder counts. This two-encoder system permits more precise measurements than a system with only the linear encoder. The two encoders are connected to an IBM PC through an

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Linear encoders"

Kang, G. S., and L. J. Fransen. Low-Bit Rate Speech Encoders Based on Line-Spectrum Frequencies (LSFs). Defense Technical Information Center, 1985. http://dx.doi.org/10.21236/ada150518.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Yesha, Yaacov. Channel coding for code excited linear prediction (CELP) encoded speech in mobile radio applications. National Institute of Standards and Technology, 1994. http://dx.doi.org/10.6028/nist.ir.5503.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Shu, Deming. Development of a laser Doppler displacement encoder system with ultra-low-noise-level for linear displacement measurement with subnanometer resolution - Final CRADA Report. Office of Scientific and Technical Information (OSTI), 2016. http://dx.doi.org/10.2172/1334289.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Thost, Veronika, Jan Holste, and Özgür Özçep. On Implementing Temporal Query Answering in DL-Lite. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.218.

Der volle Inhalt der Quelle

Annotation:

Ontology-based data access augments classical query answering over fact bases by adopting the open-world assumption and by including domain knowledge provided by an ontology. We implemented temporal query answering w.r.t. ontologies formulated in the Description Logic DL-Lite. Focusing on temporal conjunctive queries (TCQs), which combine conjunctive queries via the operators of propositional linear temporal logic, we regard three approaches for answering them: an iterative algorithm that considers all data available; a window-based algorithm; and a rewriting approach, which translates the TCQ

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Horwitz, Benjamin, and Nicole M. Donofrio. Identifying unique and overlapping roles of reactive oxygen species in rice blast and Southern corn leaf blight. United States Department of Agriculture, 2017. http://dx.doi.org/10.32747/2017.7604290.bard.

Der volle Inhalt der Quelle

Annotation:

Plants and their fungal pathogens both produce reactive oxygen species (ROS). CytotoxicROS act both as stressors and signals in the plant-fungal interaction. In biotrophs, a compatible interaction generates little ROS, but is followed by disease. An incompatible interaction results in a strong oxidative burst by the host, limiting infection. Necrotrophs, in contrast, thrive on dead and dying cells in an oxidant-rich local environment. Rice blast, Magnaportheoryzae, a hemibiotroph, occurs worldwide on rice and related hosts and can decimate enough rice each year to feed sixty million people. Co

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Ostersetzer-Biran, Oren, and Jeffrey Mower. Novel strategies to induce male sterility and restore fertility in Brassicaceae crops. United States Department of Agriculture, 2016. http://dx.doi.org/10.32747/2016.7604267.bard.

Der volle Inhalt der Quelle

Annotation:

Abstract Mitochondria are the site of respiration and numerous other metabolic processes required for plant growth and development. Increased demands for metabolic energy are observed during different stages in the plants life cycle, but are particularly ample during germination and reproductive organ development. These activities are dependent upon the tight regulation of the expression and accumulation of various organellar proteins. Plant mitochondria contain their own genomes (mtDNA), which encode for rRNAs, tRNAs and some mitochondrial proteins. Although all mitochondria have probably evo

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Izhar, Shamay, Maureen Hanson, and Nurit Firon. Expression of the Mitochondrial Locus Associated with Cytoplasmic Male Sterility in Petunia. United States Department of Agriculture, 1996. http://dx.doi.org/10.32747/1996.7604933.bard.

Der volle Inhalt der Quelle

Annotation:

The main goal of the proposed research was to continue the mutual investigations into the molecular basis of CMS and male fertility restoration [MRF], with the ultimate goal of understanding these phenomena in higher plants. The experiments focused on: (1) dissecting apart the complex CMS - specific mitochondrial S-Pcf locus, in order to distinguish its essential parts which cause sterility from other parts and study its molecular evolution. (2) Studying the expression of the various regions of the S-Pcf locus in fertile and sterile lines and comparing the structure and ultrastructure of steri

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Levin, Ilan, John W. Scott, Moshe Lapidot, and Moshe Reuveni. Fine mapping, functional analysis and pyramiding of genes controlling begomovirus resistance in tomato. United States Department of Agriculture, 2014. http://dx.doi.org/10.32747/2014.7594406.bard.

Der volle Inhalt der Quelle

Annotation:

Abstract. Tomato yellow leaf curl virus (TYLCV), a monopartitebegomovirus, is one of the most devastating viruses of cultivated tomatoes and poses increasing threat to tomato production worldwide. Because all accessions of the cultivated tomato are susceptible to these viruses, wild tomato species have become a valuable resource of resistance genes. QTL controlling resistance to TYLCV and other begomoviruses (Ty loci) were introgressed from several wild tomato species and mapped to the tomato genome. Additionally, a non-isogenic F₁diallel study demonstrated that several of these resistance sou

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Davis, Eric L., Yuji Oka, Amit Gal-On, Todd Wehner, and Aaron Zelcer. Broad-spectrum Resistance to Root-Knot Nematodes in Transgenic Cucurbits. United States Department of Agriculture, 2013. http://dx.doi.org/10.32747/2013.7593389.bard.

Der volle Inhalt der Quelle

Annotation:

Root-knot nematodes (RKN), Meloidogyne spp., are extremely destructive pathogens of cucurbit crops grown in the United States and Israel. The safety and environmental concerns of toxic nematicides, and limited sources of natural cucurbit resistance to the four major species of Meloidogyne that threaten these crops in Israel and the U.S., have emphasized the use of biotechnology to develop cucurbits with novel RKN resistance. The U.S. scientists have identified over 40 unique RKN parasitism genes that encode nematode secretions involved in successful plant root infection by RKN, and they have d

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Levin, Ilan, John Thomas, Moshe Lapidot, Desmond McGrath, and Denis Persley. Resistance to Tomato yellow leaf curl virus (TYLCV) in tomato: molecular mapping and introgression of resistance to Australian genotypes. United States Department of Agriculture, 2010. http://dx.doi.org/10.32747/2010.7613888.bard.

Der volle Inhalt der Quelle

Annotation:

Tomato yellow leaf curl virus (TYLCV) is one of the most devastating viruses of cultivated tomatoes. Although first identified in the Mediterranean region, it is now distributed world-wide. Sequence analysis of the virus by the Australian group has shown that the virus is now present in Australia. Despite the importance of the disease and extensive research on the virus, very little is known about the resistance genes (loci) that determine host resistance and susceptibility to the virus. A symptom-less resistant line, TY-172, was developed at the Volcani Center which has shown the highest resi

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!