Bibliografie tematiche / Binary input/output system

Letteratura scientifica selezionata sul tema "Binary input/output system"

Autore: Grafiati
Pubblicato: 13 aprile 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Binary input/output system".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Indice

  1. Articoli di riviste
  2. Tesi
  3. Libri
  4. Capitoli di libri
  5. Atti di convegni
  6. Rapporti di organizzazioni

Articoli di riviste sul tema "Binary input/output system":

1

Anashin, Vladimir. "Discreteness causes waves". Facta universitatis - series: Physics, Chemistry and Technology 14, n. 3 (2016): 143–96. http://dx.doi.org/10.2298/fupct1603143a.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
In the paper, we show that matter waves can be derived from discreteness and causality. Namely we show that matter waves can naturally be ascribed to finite discrete causal systems, the Mealy automata having binary input/output which are bit sequences. If assign real numerical values (?measured quantities?) to bit sequences, the waves arise as a correspondence between the numerical values of input sequences (?impacts?) and output sequences (?system-evoked responses?). We show that among all discrete causal systems with arbitrary (not necessarily binary) inputs/outputs, only the ones with binary input/output can be ascribed to matter waves ?(x,t) = ei(kx??t).
2

Gurevich, Yuri, e Saharon Shelah. "Time polynomial in input or output". Journal of Symbolic Logic 54, n. 3 (settembre 1989): 1083–88. http://dx.doi.org/10.2307/2274767.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
AbstractWe introduce the class PIO of functions computable in time that is polynomial in max {the length of input, the length of output}, observe that there is no notation system for total PIO functions but there are notation systems for partial PIO functions, and give an algebra of partial PIO functions from binary strings to binary strings.
3

Alderman, Phillip D. "Parallel gridded simulation framework for DSSAT-CSM (version 4.7.5.21) using MPI and NetCDF". Geoscientific Model Development 14, n. 10 (28 ottobre 2021): 6541–69. http://dx.doi.org/10.5194/gmd-14-6541-2021.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Abstract. The Decision Support System for Agrotechnology Transfer Cropping Systems Model (DSSAT-CSM) is a widely used crop modeling system that has been integrated into large-scale modeling frameworks. Existing frameworks generate spatially explicit simulated outputs at grid points through an inefficient process of translation from binary spatially referenced inputs to point-specific text input files, followed by translation and aggregation back from point-specific text output files to binary spatially referenced outputs. The main objective of this paper was to document the design and implementation of a parallel gridded simulation framework for DSSAT-CSM. A secondary objective was to provide preliminary analysis of execution time and scaling of the new parallel gridded framework. The parallel gridded framework includes improved code for model-internal data transfer, gridded input–output with the Network Common Data Form (NetCDF) library, and parallelization of simulations using the Message Passing Interface (MPI). Validation simulations with the DSSAT-CSM-CROPSIM-CERES-Wheat model revealed subtle discrepancies in simulated yield due to the rounding of soil parameters in the input routines of the standard DSSAT-CSM. Utilizing NetCDF for direct input–output produced a 3.7- to 4-fold reduction in execution time compared to R- and text-based input–output. Parallelization improved execution time for both versions with between 12.2- (standard version) and 13.4-fold (parallel gridded version) speed-up when comparing 1 to 16 compute cores. Estimates of parallelization of computation ranged between 99.2 % (standard version) and 97.3 % (parallel gridded version), indicating potential for scaling to higher numbers of compute cores.
4

Oualla, Hicham, Mathieu Pouliquen, Miloud Frikel e Said Safi. "Recursive identification of IIR system using binary input/output measurements". International Journal of Modelling, Identification and Control 40, n. 4 (2022): 327. http://dx.doi.org/10.1504/ijmic.2022.125549.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Safi, Said, Miloud Frikel, Hicham Oualla e Mathieu Pouliquen. "Recursive identification of IIR system using binary input/output measurements". International Journal of Modelling, Identification and Control 40, n. 4 (2022): 327. http://dx.doi.org/10.1504/ijmic.2022.10050542.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Yum, Bong-Jin, e Seong-Jun Kim. "On parameter design of binary-input-and-binary-output dynamic systems". Quality and Reliability Engineering International 9, n. 6 (novembre 1993): 471–76. http://dx.doi.org/10.1002/qre.4680090603.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Singh, Gajendra Pratap, e Sujit Kumar Singh. "Petri Net Recommender System for Generating of Perfect Binary Tree". International Journal of Knowledge and Systems Science 10, n. 2 (aprile 2019): 1–12. http://dx.doi.org/10.4018/ijkss.2019040101.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
In modeling a discrete event driven system, Petri net recommender systems can play a very important role in describing the structural and behavioral properties of complex and tricky networks. The finite and infinite perfect binary tree forms a predictive model which can map the input information to output information based on the inputs' attributes. A perfect binary tree can be used for three types of recommender systems such as: collaborative filtering, a content-based approach, and a hybrid approach. In this article, the authors show the existence of a Petri net whose reachability tree is a Perfect Infinite Binary Tree (PIBT).
8

Collins, R., J. Pemberton, S. J. D. Phoenix e J. A. D. Matthew. "Output velocity distribution of a Langevin system with random binary input". European Journal of Physics 9, n. 4 (1 ottobre 1988): 312–18. http://dx.doi.org/10.1088/0143-0807/9/4/013.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Zhao, Yujie, Zhanyong Tang, Guixin Ye, Xiaoqing Gong e Dingyi Fang. "Input-Output Example-Guided Data Deobfuscation on Binary". Security and Communication Networks 2021 (13 dicembre 2021): 1–16. http://dx.doi.org/10.1155/2021/4646048.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Data obfuscation is usually used by malicious software to avoid detection and reverse analysis. When analyzing the malware, such obfuscations have to be removed to restore the program into an easier understandable form (deobfuscation). The deobfuscation based on program synthesis provides a good solution for treating the target program as a black box. Thus, deobfuscation becomes a problem of finding the shortest instruction sequence to synthesize a program with the same input-output behavior as the target program. Existing work has two limitations: assuming that obfuscated code snippets in the target program are known and using a stochastic search algorithm resulting in low efficiency. In this paper, we propose fine-grained obfuscation detection for locating obfuscated code snippets by machine learning. Besides, we also combine the program synthesis and a heuristic search algorithm of Nested Monte Carlo Search. We have applied a prototype implementation of our ideas to data obfuscation in different tools, including OLLVM and Tigress. Our experimental results suggest that this approach is highly effective in locating and deobfuscating the binaries with data obfuscation, with an accuracy of at least 90.34%. Compared with the state-of-the-art deobfuscation technique, our approach’s efficiency has increased by 75%, with the success rate increasing by 5%.
10

Pouliquen, Mathieu, Eric Pigeon, Olivier Gehan, Abdelhak Goudjil e Romain Auber. "Impulse response identification from input/output binary measurements". Automatica 123 (gennaio 2021): 109307. http://dx.doi.org/10.1016/j.automatica.2020.109307.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti
Ti possono interessare anche gli elenchi estesi di opere sul tema "Binary input/output system":
Articoli di riviste Tesi Libri

Tesi sul tema "Binary input/output system":

1

Oualla, Hicham. "Contributions à l'identification en boucle ouverte/fermée des systèmes à base de données binaires". Electronic Thesis or Diss., Normandie, 2022. http://www.theses.fr/2022NORMC229.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Cette thèse est consacrée à l'identification des systèmes à base de données binaires. Dans un premier temps, une présentation succincte de l'ensemble des méthodes d'identification des systèmes basé sur l'utilisation des données binaires existant dans la littérature est donnée. Dans la suite nous nous sommes intéressé au problème d'identification en boucle ouverte des systèmes à sortie et entrée binaires. Nous proposons des méthodes permettant l'identification des systèmes RIF et plus complexes les RII ayant une entrée et sortie binaires. Ces méthodes sont analysées et testées par des exemples numériques. Dans le reste de ce travail, nous proposons des premières solutions aux problèmes d'identification en boucle fermée des systèmes à base de données binaires. Les premières solutions sont dédiées aux systèmes à sortie binaire, l'excitation de la boucle fermée est supposée être à haute résolution. Enfin, deux méthodes sont proposées pour les systèmes en boucle fermée à sortie et entrée binaires. Ces solutions sont testées sur des exemples numériques pour mesurer leurs performances
This thesis is devoted to the identification of systems based on binary data. First, a brief presentation of all the methods of identification of systems based on the use of binary data existing in the literature is given. In the following, we are interested in the problem of open loop identification of systems with binary output and input. We propose methods for the identification of FIR systems and more complex IIR systems with binary input and output. These methods are analyzed and tested by numerical examples. In the rest of this work, we propose first solutions to the problems of closed-loop identification of systems based on binary data. The first solutions are dedicated to binary output systems, the closed loop excitation is assumed to be high resolution. Finally, two methods are proposed for closed loop systems with binary output and input. These solutions are tested on numerical examples to quantify their performances
2

Shang, Feng. "INPUT-OUTPUT WATER QUALITY MODEL IN WATER DISTRIBUTION SYSTEM". University of Cincinnati / OhioLINK, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1028649564.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Hernańdez, Correa Evelio. "Control of nonlinear systems using input-output information". Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/11176.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Ozkan, Ugur. "Application of the constrained implicants set concept to the minimization of binary functions". Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA239470.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Thesis (M.S. in Electrical and Computer Engineering)--Naval Postgraduate School, September 1990.
Thesis Advisor(s): Yang, Chyan ; Butler, Jon T. "September 1990." Description based on title screen as viewed on March 22, 2010. Author(s) subject terms: Constrained Implicants Set Concept, Binary Minimization. Includes bibliographical references (p. 75-76). Also available in print.
5

Maeda, Ken. "Nonlinear control system of inverted pendulum based on input-output linearization". Diss., Online access via UMI:, 2006.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Ding, Minhua. "Multiple-input multiple-output wireless system designs with imperfect channel knowledge". Thesis, Kingston, Ont. : [s.n.], 2008. http://hdl.handle.net/1974/1335.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Morimoto, Mai. "Signal transformation at the input and output of the Drosophila visual system". Thesis, University of Cambridge, 2017. https://www.repository.cam.ac.uk/handle/1810/267911.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
A key function of the nervous system is to sample data from the external world, generate internal signals, and transform them into meaningful information that can be used to trigger behaviour. In order to gain insight into the underlying mechanism for signal transformation, the visual system has been extensively studied: partly owing to the stimulus being reliably presentable, and the anatomy being well described. The Drosophila visual system is one such system, with the added advantage of genetic tractability. In this thesis, I studied the filtering property of visual neurons at two levels, biophysical and circuit levels. The first study looks at signal transformation at the biophysical level, at the input of the visual system, in photoreceptors. Voltage-gated potassium channels counteract the depolarization caused by opening of light sensitive channels, and the heterogeneous properties of their kinetics can fine-tune the photoreceptor’s frequency response to fulfill the animal’s ecological requirements. Shaker (Kv1) and Shab (Kv2) have been identified as fast and slow inactivating components of the photoreceptor’s outward currents, however a current with intermediate kinetics (IKf) has not been molecularly identified, but had been postulated to be Shal (Kv4). I focused on characterizing this current using whole-cell patch clamp in wild type and mutants, and using antibodies for Shal. My results from whole-cell patch clamp indicated that IKf in adult R1-6 cells are not Shal, from their voltage dependence and insensitivity to a Kv4 blocker. This calls for alternative molecular basis for IKf, which is likely to be a slow inactivating component of Shaker, or a combination of its many splice variants. The second study looks at signal transformation at the circuit level, at the output end, in the third optic neuropil, lobula. Visual projection neurons project from the lobula to the central brain, and have been proposed to carry behaviourally relevant visual features to higher brain regions. It was recently shown that optogenetic activation of individual visual projection neuron types could induce distinct behaviours such as takeoff and backward walking, linking these visual neurons to specific behavioural programs downstream. Using in vivo two-photon calcium imaging, I recorded visually evoked calcium responses from three of these cell types. Cell types that showed induced takeoff and backward walking preferentially responded to dark looming stimuli or fragmented expanding local features, suggesting their role in behaviours triggered by object approach. To explore how this visual information is transformed in the downstream circuit, we identified several candidate neurons that receive input from this cell type by anatomical overlap, and then validated their connections using optogenetic activation and calcium imaging. One downstream cell-type that projects bilaterally had very similar response properties to its upstream partner, whereas another cell-type that projects ipsilaterally seemed to filter out some information from its upstream partner. This is one of the first studies that functionally characterizes lobula visual projection neurons and their downstream partners in Drosophila, and their response properties agree with the general idea that visual information becomes increasingly selective as it is sent to higher brain regions.
8

Jones, Catherine Linda. "Characterisation of input and output mechanisms in the zebra finch circadian system". Thesis, University of Birmingham, 2011. http://etheses.bham.ac.uk//id/eprint/3132/.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Circadian rhythms are biochemical, physiological, or behavioural over 24 hours. The avian circadian system is complex, involving numerous oscillators in the brain. I characterised two hypothalamic input mechanism (melatonin receptors and light) and one output mechanism (vasotocin) in the zebra finch. Melatonin receptors were cloned and expression levels investigated in the brain and in peripheral tissues. Receptors were found in all tissues, with some pronounced rhythmic mRNA expression. Tissue-specific differences in temporal distribution, peak expression and amplitude suggests melatonin have varied roles in different tissues and different receptors control/influence these roles. Effect of light in the hypothalamus was investigated by exposing light into the dark phase of an LD cycle and studying the difference in C-FOS expression. C-FOS was found in hypothalamic nuclei associated with photic transduction. C-FOS-IR cells were also found in the two known avian hypothalamic oscillators, the LHN and SCN. Arginine-Vasotocin is a neuropeptide involved in numerous bodily and nervous tissue functions, secreted within the hypothalamus and pituitary gland. Immunofluorescent experiments showed marked differences in expression, as different zeitgeber times and between species. This study has improved our understanding of avian circadian systems, providing new insights into the hypothalamic oscillator of a complex circadian organisation.
9

Velusamy, Vijay. "Adapting Remote Direct Memory Access based file system to parallel Input-/Output". Master's thesis, Mississippi State : Mississippi State University, 2003. http://library.msstate.edu/etd/show.asp?etd=etd-11112003-092209.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Hafeez, Muhammad. "An expandable input/output and graphics system for distributed memory parallel computers". Thesis, University of Bath, 1990. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235808.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Libri sul tema "Binary input/output system":

1

A, Reed Daniel, a cura di. Scalable input/output: Achieving system balance. Cambridge, Mass: MIT Press, 2004.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Haber, Robert, e László Keviczky. Nonlinear System Identification — Input-Output Modeling Approach. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-011-4481-0.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Haber, Robert. Nonlinear system identification: Input-output modeling approach. Dordrecht: Kluwer Academic Publishers, 1999.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Delchamps, David F. State Space and Input-Output Linear Systems. New York, NY: Springer New York, 1988.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Tran, Thanh T. High-Speed System and Analog Input/Output Design. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-04954-5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Geological Survey (U.S.), a cura di. Discriminator output to CUSP, RTP, and Motorola computer system inputs. [Denver, Colo.?]: The Survey, 1988.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Geological Survey (U.S.), a cura di. Discriminator output to CUSP, RTP, and Motorola computer system inputs. [Denver, Colo.?]: The Survey, 1988.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Geological Survey (U.S.), a cura di. Discriminator output to CUSP, RTP, and Motorola computer system inputs. [Denver, Colo.?]: The Survey, 1988.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Delchamps, David F. State space and input-output linear systems. New York: Springer-Verlag, 1988.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

United States. National Aeronautics and Space Administration., a cura di. Earth observing system.: Output data products and input requirements. [Greenbelt, MD]: Science Processing Support Office (SPSO), Goddard Space Flight Center, 1992.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Binary input/output system":

1

Babu, Hafiz Md Hasan. "Multiple-Valued Input Binary-Valued Output Functions". In VLSI Circuits and Embedded Systems, 107–20. Boca Raton: CRC Press, 2022. http://dx.doi.org/10.1201/9781003269182-11.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Kaiser, Mark J. "Input-Output System". In Offshore Service Industry and Logistics Modeling in the Gulf of Mexico, 253–65. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17013-8_11.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Dunsmuir, M. R. M., e G. J. Davies. "Input/Output Programming". In Programming the UNIXTM System, 47–79. London: Macmillan Education UK, 1985. http://dx.doi.org/10.1007/978-1-349-07371-9_4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Davies, A., e J. H. Williams. "System input/output monitoring". In Handbook of Condition Monitoring, 189–218. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-011-4924-2_8.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Dunsmuir, M. R. M., e G. J. Davies. "Buffered Input and Output". In Programming the UNIXTM System, 80–95. London: Macmillan Education UK, 1985. http://dx.doi.org/10.1007/978-1-349-07371-9_5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Balaji, V. "Input/Output and Postprocessing". In Earth System Modelling - Volume 4, 1–2. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36464-8_1.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Lin, Yi, Lucas M. Tabajara e Moshe Y. Vardi. "ZDD Boolean Synthesis". In Tools and Algorithms for the Construction and Analysis of Systems, 64–83. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
AbstractMotivated by applications in boolean-circuit design, boolean synthesis is the process of synthesizing a boolean function with multiple outputs, given a relation between its inputs and outputs. Previous work has attempted to solve boolean functional synthesis by converting a specification formula into a Binary Decision Diagram (BDD) and quantifying existentially the output variables. We make use of the fact that the specification is usually given in the form of a Conjunctive Normal Form (CNF) formula, and we can perform resolution on a symbolic representation of a CNF formula in the form of a Zero-suppressed Binary Decision Diagram (ZDD). We adapt the realizability test to the context of CNF and ZDD, and show that the Cross operation defined in earlier work can be used for witness construction. Experiments show that our approach is complementary to BDD-based Boolean synthesis.
8

Nyhus, Douglas. "The INFORUM—ERI international system of macroeconomic input—output models". In Input-Output Analysis, 391–410. Dordrecht: Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-009-2607-3_22.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Ünsalan, Cem, Hüseyin Deniz Gürhan e Mehmet Erkin Yücel. "Digital Input and Output". In Embedded System Design with ARM Cortex-M Microcontrollers, 53–80. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88439-0_4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Bromberger, Martin, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali e Christoph Weidenbach. "A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic". In Tools and Algorithms for the Construction and Analysis of Systems, 480–501. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_27.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
AbstractIn a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clause sets over a finite set of first-order constants. The translation preserves validity and satisfiability and it is still applicable if we extend our input with positive universally or existentially quantified verification conditions (conjectures). We call this translation a Datalog hammer. The combination of its implementation in SPASS-SPL with the Datalog reasoner VLog establishes an effective way of deciding verification conditions in the Horn fragment. We verify supervisor code for two examples: a lane change assistant in a car and an electronic control unit of a supercharged combustion engine.In this paper, we improve our Datalog hammer in several ways: we generalize it to mixed real-integer arithmetic and finite first-order sorts; we extend the class of acceptable inequalities beyond variable bounds and positively grounded inequalities; and we significantly reduce the size of the hammer output by a soft typing discipline. We call the result the sorted Datalog hammer. It not only allows us to handle more complex supervisor code and to model already considered supervisor code more concisely, but it also improves our performance on real world benchmark examples. Finally, we replace the before file-based interface between SPASS-SPL and VLog by a close coupling resulting in a single executable binary.

Atti di convegni sul tema "Binary input/output system":

1

Oualla, Hicham, Mathieu Pouliquen, Miloud Frikel, Said Safi e Tristan Bonargent. "Spectral Analysis for System Identification from Input/Output Binary Measurements". In 2020 European Control Conference (ECC). IEEE, 2020. http://dx.doi.org/10.23919/ecc51009.2020.9143871.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

You, Keyou, Erik Weyer e Girish Nair. "Identification of a gain system with binary input and output measurements". In 2015 54th IEEE Conference on Decision and Control (CDC). IEEE, 2015. http://dx.doi.org/10.1109/cdc.2015.7402576.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Moskowitz, Ira S., Paul Cotae e Pedro N. Safier. "Algebraic information theory and stochastic resonance for binary-input binary-output channels". In 2012 46th Annual Conference on Information Sciences and Systems (CISS). IEEE, 2012. http://dx.doi.org/10.1109/ciss.2012.6310786.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Kim, Myung Soo, e Clark C. Guest. "Opto-neural system for pattern classification". In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.mjj3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
An optoneural system, which is a combination of an optical processor and a neural network, is developed for pattern classification. The system takes advantages of the two-dimensional processing capability of optics and the mapping capability of neural networks. The optical processor consists of a binary phase-only filter, and the neural network consists of three nonlinear mapping layers: the input layer, a hidden layer, and the output layer. Correlation outputs of the optical processor are used as inputs to the neural network. Binary phase in the binary phase-only filter and weights of the neural network are simultaneously trained with a simulated annealing algorithm. Gray-tone texture patterns that are not easily classified with annealed binary phase-only filters are well classified with the trained optoneural system.
5

Leong, Alex S., Erik Weyer e Girish N. Nair. "On the identification of FIR systems with binary input and output observations". In 2016 IEEE 55th Conference on Decision and Control (CDC). IEEE, 2016. http://dx.doi.org/10.1109/cdc.2016.7798706.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Papadimitriou, Theophilos, e Konstantinos I. Diamantaras. "Channel Shortening of Multi-Input Multi-Output Convolutive Systems with Binary Sources". In 2006 IEEE Signal Processing Society Workshop. IEEE, 2006. http://dx.doi.org/10.1109/mlsp.2006.275560.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Oualla, Hicham, Mathieu Pouliquen, Miloud Frikel, Said Safi e Ali Mestrah. "Closed-loop system parametric identification based on binary measurement on the input and the output". In 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2022. http://dx.doi.org/10.1109/codit55151.2022.9803966.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Ahmed, Jamal U., e Abdul Ahad S. Awwal. "Polarization-encoded optical shadow-casting: arithmetic logic unit design: separate output generation". In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1991. http://dx.doi.org/10.1364/oam.1991.fdd6.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
A polarization-encoded optical shadow-casting (POSC) system1 processes 2-D coded input in parallel. Light emitting diodes (LEDs) shift and overlap the shadow of the overlapped input pattern from which a decoding mask spatially filters and detects the output. Our current work involves designing an arithmetic logic unit (ALU) which is the heart of general purpose computing. For an ALU, sixteen logical operations of two variables and addition/subtraction result of three binary variables need to be generated. To simplify the design process, the result of three binary variables need to be generated. To simplify the design process, the resulting ALU truth table with twenty-four entries, is partitioned2 into smaller sections, so that each section can be realized with smaller pixel inputs. In the sectional arrangement, inputs A and B are controlled by the third input pixel C to generate both arithmetic and logical output, separately, similar to a single instruction multiple data flow machine. The application of truth table partitioning results in a smaller pixel size, only two pixel subcells for each input. The input coding and source LED pattern are also provided.
9

Karim, M. A., A. A. S. Awwal e U. Dayton. "Programmable logic array design using polarization-encoded optical shadow-casting". In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1987. http://dx.doi.org/10.1364/oam.1987.thi6.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
An efficient optical computing system may involve the use of a programmable logic array (PLA) where only on outputs are stored in locations addressable by the inputs. The lensless optical shadow-casting (OSC) system1 using LEDs provides an easier and reliable means to generate logic operations. This scheme has been recently extended2,3 to include polarized sources, masks, and encoding codes, thus increasing the design flexibility. In an OSC, each LED produces a shadow of the input overlap pattern, which along with the other similarly produced shadows give an output overlap pattern which is subsequently decoded by means of decoding masks. The original1 and polarization-encoded2,3 optical shadow-casting systems explored so far are designed to generate only one output at a time. We report the design of a polarization-encoded PLA device where multiple outputs are generated simultaneously for all the input pixels without switching either LEDs or mask. The proposed algorithm is thereafter employed to design an optimal multiple-output binary multiplication unit.
10

Lohmann, Adolf W., e Jorge Ojeda Castaneda. "Trading one dimension for binary simplicity". In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1993. http://dx.doi.org/10.1364/oam.1993.wqq.1.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Binary input/output system":

1

Farhi, Edward, e Hartmut Neven. Classification with Quantum Neural Networks on Near Term Processors. Web of Open Science, dicembre 2020. http://dx.doi.org/10.37686/qrl.v1i2.80.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
We introduce a quantum neural network, QNN, that can represent labeled data, classical or quantum, and be trained by supervised learning. The quantum circuit consists of a sequence of parameter dependent unitary transformations which acts on an input quantum state. For binary classification a single Pauli operator is measured on a designated readout qubit. The measured output is the quantum neural network’s predictor of the binary label of the input state. We show through classical simulation that parameters can be found that allow the QNN to learn to correctly distinguish the two data sets. We then discuss presenting the data as quantum superpositions of computational basis states corresponding to different label values. Here we show through simulation that learning is possible. We consider using our QNN to learn the label of a general quantum state. By example we show that this can be done. Our work is exploratory and relies on the classical simulation of small quantum systems. The QNN proposed here was designed with near-term quantum processors in mind. Therefore it will be possible to run this QNN on a near term gate model quantum computer where its power can be explored beyond what can be explored with simulation.
2

Hurdle, Daniel J. Development of Stability/Robustness Considerations for Control System Design with Multiple Input/Multiple Output Plants. Fort Belvoir, VA: Defense Technical Information Center, giugno 1988. http://dx.doi.org/10.21236/ada200408.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Kraimer, M. R. Experimental physics and industrial control system (EPICS) input/output controller (IOC) application developer`s guide. Office of Scientific and Technical Information (OSTI), maggio 1994. http://dx.doi.org/10.2172/205865.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Carrico, Caitlyn, Erwin Corong e Dominique van der Mensbrugghe. The GTAP 10A Multi-Region Input Output (MRIO) Data Base. GTAP Research Memoranda, giugno 2020. http://dx.doi.org/10.21642/gtap.rm34.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
This memorandum describes the GTAP version 10A Multi-Region Input Output (GTAPMRIO) Data Base. GTAP-MRIO extends the standard GTAP Data Base (Aguiar et al., 2019) by additionally distinguishing bilateral trade and tariff flows by agents or so-called end-users,namely: firms, private household, government and investors. In constructing GTAP-MRIO,we employ the methodology in Carrico (2017) and update it in four ways. First, an updated concordance table is used—i.e., the United Nations Statistics Division (UNSD) 6-digit Harmonized System 2012 to Broad Economic Categories concordances revision 4 to System of National Accounts end-use framework (HStoBECtoSNA). Second, the International Trade Centre (ITC) Market Access Map (MAcMap) data is directly used in lieu of the TASTE utility (Horridge and Laborde, 2008) which is also based on MAcMap. Third, the optimization programs are updated to take advantage of grid facility in GAMS, thereby reducing MRIO data build time by 90 percent and easing MRIO data construction at the full dimensionality of GTAP data—i.e., 65-sectors and 141-regions for version 10A. Fourth, accompanying GTAPAgg2 (Horridge, 2019) and FlexAgg packages (Villoria and McDougall, 2012) are provided to aid researchers aggregate the GTAP-MRIO data.
5

Kraimer, M. R. EPICS : input / output controller (IOC) application developer's guide. EPICS release 3.12 specific documentation.[Experimental Physics and Industrial Control System]. Office of Scientific and Technical Information (OSTI), gennaio 2002. http://dx.doi.org/10.2172/793086.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Barker, S. Integrated Information Support System (IISS). Volume 7. Communications Subsystem. Part 6. File Input/Output Primitives (FIOPS) Unit Test Plan. Fort Belvoir, VA: Defense Technical Information Center, settembre 1990. http://dx.doi.org/10.21236/ada248915.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Sinclair, Samantha, e Sally Shoop. Automated detection of austere entry landing zones : a “GRAIL Tools” validation assessment. Engineer Research and Development Center (U.S.), agosto 2022. http://dx.doi.org/10.21079/11681/45265.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
The Geospatial Remote Assessment for Ingress Locations (GRAIL) Tools software is a geospatial product developed to locate austere entry landing zones (LZs) for military aircraft. Using spatial datasets like land classification and slope, along with predefined LZ geometry specifications, GRAIL Tools generates binary suitability filters that distinguish between suitable and unsuitable terrain. GRAIL Tools combines input suitability filters, searches for LZs at user‐defined orientations, and plots results. To refine GRAIL Tools, we: (a) verified software output; (b) conducted validation assessments using five unpaved LZ sites; and (c) assessed input dataset resolution on outcomes using 30 and 1‐m datasets. The software was verified and validated in California and the Baltics, and all five LZs were correctly identified in either the 30 or the 1‐m data. The 30‐m data provided numerous LZs for consideration, while the 1‐m data highlighted hazardous conditions undetected in the 30‐m data. Digital elevation model grid size affected results, as 1‐m data produced overestimated slope values. Resampling the data to 5 m resulted in more realistic slopes. Results indicate GRAIL Tools is an asset the military can use to rapidly assess terrain conditions.
8

Einarsson, Rasmus. Nitrogen in the food system. TABLE, febbraio 2024. http://dx.doi.org/10.56661/2fa45626.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Nitrogen (N) plays a dual role in the agri-food system: it is an essential nutrient for all life forms, yet also an environmental pollutant causing a range of environmental and human health impacts. As the plant nutrient needed in greatest quantities, and as a building block of proteins and other biomolecules, N is a necessary part of all life. In the last century, an enormous increase of N turnover in the agri-food system has enabled increasing per-capita food supply for a growing world population, but as an unintended side effect, N pollution has increased to levels widely agreed in science and policy to be far beyond sustainable limits. There is no such thing as perfectly circular N supply. Losses of N to the environment inevitably arise as N is transformed and used in the food system, for example in soil processes, in manure storage, and in fertilizer application. This lost N must be replaced by ‘new’ N, which is N converted to bioavailable forms from the vast atmospheric pool of unreactive dinitrogen (N2). New N comes mainly as synthetic N fertilizer and through a process known as biological N fixation (BNF). In addition, there is a large internal flow of recycled N in the food system, mainly in the form of livestock excreta. This recirculated N, however, is internal to the food system and cannot make up for the inevitable losses of N. The introduction of synthetic N fertilizer during the 20th century revolutionized the entire food system. The industrial production of synthetic N fertilizer was a revolution for agricultural systems because it removed the natural constraint of N scarcity. Given sufficient energy, synthetic N fertilizer can be produced in limitless quantities from atmospheric dinitrogen (N2). This has far-reaching consequences for the whole agri-food system. The annual input of synthetic N fertilizer today is more than twice the annual input of new N in pre-industrial agriculture. Since 1961, increased N input has enabled global output of both crop and livestock products to roughly triple. During the same time period, total food-system N emissions to the environment have also more than tripled. Livestock production is responsible for a large majority of agricultural N emissions. Livestock consume about three-quarters of global cropland N output and are thereby responsible for a similar share of cropland N emissions to air and water. In addition, N emissions from livestock housing and manure management systems contribute a substantial share of global N emissions to air. There is broad political agreement that global N emissions from agriculture should be reduced by about 50%. High-level policy targets of the EU and of the UN Convention on Biological Diversity are for a 50% reduction in N emissions. These targets are in line with a large body of research assessing what would be needed to stay within acceptable limits as regards ecosystem change and human health impacts. In the absence of dietary change towards less N-intensive diets, N emissions from food systems could be reduced by about 30%, compared to business-as-usual scenarios. This could be achieved by implementing a combination of technical measures, improved management practices, improved recycling of wasted N (including N from human excreta), and spatial optimization of agriculture. Human dietary change, especially in the most affluent countries, offers a huge potential for reducing N emissions from food systems. While many of the world’s poor would benefit nutritionally from increasing their consumption of nutrient-rich animal-source foods, many other people consume far more nutrients than is necessary and could reduce consumption of animal-source food by half without any nutritional issues. Research shows that global adoption of healthy but less N-polluting diets might plausibly cut future food-system N losses by 10–40% compared to business-as-usual scenarios. There is no single solution for solving the N challenge. Research shows that efficiency improvements and food waste reductions will almost certainly be insufficient to reach agreed environmental targets. To reach agreed targets, it seems necessary to also shift global average food consumption onto a trajectory with less animal-source food.
9

Hoch, Brendon, e Samantha Cook. A 10-Year monthly climatology of wind direction : case-study assessment. Engineer Research and Development Center (U.S.), aprile 2023. http://dx.doi.org/10.21079/11681/46912.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
A 10-year monthly climatology of wind direction in compass degrees is developed utilizing datasets from the National Oceanic Atmospheric Administration, Climate Forecast System. Data retrieval methodologies, numerical techniques, and scientific analysis packages to develop the climatology are explored. The report describes the transformation of input data in Gridded Binary format to the Geographic Tagged Image File Format to support geospatial analyses. The specific data sources, software tools, and data-verification techniques are outlined.
10

Jigjidsuren, Altantuya, e Bayar Oyun. Supporting Health-Care Financing Reform in Mongolia: Experiences, Lessons Learned, and Future Directions. Asian Development Bank, dicembre 2022. http://dx.doi.org/10.22617/wps220609-3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
This paper discusses Mongolia’s health-care financing system and highlights lessons from reforms. The reform of the health-care financing system in Mongolia has seen the establishment of health insurance as an additional source of funding, and the transition from an input-oriented financing model to an output-oriented model that is better suited to a market economy. The Asian Development Bank’s assistance in reforming health-care financing in Mongolia offers lessons that could be useful in supporting other countries across the region.

Vai alla bibliografia