Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  13 results for ""Transducer""

Your Filters

Collection : Universite De Toulon
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

The Complexity of Transducer Synthesis from Multi-Sequential Specifications

Subjects: Transducers; Synthesis; Multi-SequentialityLiverpool; United Kingdom

  • Source: Leibniz International Proceedings in Informatics ; MFCS 2018 ; https://hal.science/hal-02134273 ; MFCS 2018, Aug 2018, Liverpool, United Kingdom. ⟨10.4230/LIPIcs.MFCS.2018.46⟩

Record details

Read More Add to Saved list
×
Conference

Church Synthesis on Register Automata over Linearly Ordered Data Domains

Subjects: Church Game; Register Automata; TransducersSaarbrücken; Germany

  • Source: 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)STACS 2021https://hal.science/hal-03409588STACS 2021, Mar 2021, Saarbrücken, Germany.

Record details

Read More Add to Saved list
×
Conference

On Computability of Data Word Functions Defined by Transducers

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Dublin; Ireland

  • Source: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,

Record details

Read More Add to Saved list
×
Conference

Sequentiality of String-to-Context Transducers

Subjects: Transducers; Sequentiality; Twinning PropertyPatras; Greece

  • Source: From Normal Functors to Logarithmic Space Queries ; 46th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-02436585 ; 46th International Colloquium on

Record details

Read More Add to Saved list
×
Academic Journal

Decision problems of tree transducers with origin

Subjects: top-down and MSO tree transducers; origin; decidability

  • Source: ISSN: 0890-5401.

Record details

Read More Add to Saved list
×
Conference

Enhancing CO₂ sensitivity of a polymer-based RF sensor through functionalization

Subjects: Radiofrequency sensor; polymer sensitive material; functionalizationGoa; India

  • Source: proceedings ; IEEE Applied Sensing Conference (APSCON) ; https://hal.science/hal-04612355 ; IEEE Applied Sensing Conference (APSCON), Jan 2024, Goa, India. pp.1-4,

Record details

Read More Add to Saved list
×
Academic Journal

Spatial variation in mechanical properties along the sciatic and tibial nerves: an ultrasound shear wave elastography study

Subjects: Ultrasound shear wave elastography; Nerve biomechanics; Non-invasive mechanics

  • Source: ISSN: 0021-9290.

Record details

Read More Add to Saved list
×
Academic Journal

Internet of Things: A Review on Theory Based Impedance Matching Techniques for Energy Efficient RF Systems

Subjects: Internet of things (IoT); RF circuit; RF integration

  • Source: ISSN: 2079-9268 ; Journal of Low Power Electronics and Applications ; https://hal.science/hal-03494713 ; Journal of Low Power Electronics and Applications, 2021, 11 (2), pp.16.

Record details

Read More Add to Saved list
×
Conference

Two-Way Parikh Automata with a Visibly Pushdown Stack

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Pragues; Czech Republic

  • Source: Foundations of Software Science and Computation Structures. FoSSaCS 2019 ; FOSSACS 2019 ; https://hal.science/hal-02162279 ; FOSSACS 2019, Apr 2019, Pragues, Czech Republic. pp.189-206,

Record details

Read More Add to Saved list
×
Conference

Sensors & Transducers Humidity Impact Reduction on WO 3 Gas Microsensor Response Using New Filters Based on Ionic Liquid

Subjects: Gas sensor; humidity removal; tungsten trioxideRome; Italy

  • Source: The Third International Conference on Advances in Sensors ; https://amu.hal.science/hal-02116757 ; The Third International Conference on Advances in Sensors, Mar 2018, Rome, Italy

Record details

Read More Add to Saved list
×
  • 1-10 of  13 results for ""Transducer""