Relevant bibliographies by topics / Logical synthesis

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Logical synthesis'

Author: Grafiati
Published: 30 May 2022
Last updated: 19 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logical synthesis.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logical synthesis"

1

Hahanov, V., S. Chumachenko, Y. Litvinova, et al. "VECTOR-LOGICAL FAULT SIMULATION." Radio Electronics, Computer Science, Control, no. 2 (June 29, 2023): 37. http://dx.doi.org/10.15588/1607-3274-2023-2-5.

Full text
Abstract:
Context. The main idea is the creation of vector-logical in-memory computing (VLC), which uses only read-write transactions on the address memory for faults-as-addresses simulation. There is no traditional logic. VLC is free from processor commands and ALU for computing organization and is therefore focused on implementation in SoC and FPGA. A vector-logical method of deductive matrix synthesis for the transportation of input faults, which has a quadratic computational complexity, is proposed. An inmemory simulator-automata for vector-deductive faults-as-addresses simulation, which based on re
APA, Harvard, Vancouver, ISO, and other styles
2

Rengaswamy, Narayanan, Robert Calderbank, Swanand Kadhe, and Henry D. Pfister. "Logical Clifford Synthesis for Stabilizer Codes." IEEE Transactions on Quantum Engineering 1 (2020): 1–17. http://dx.doi.org/10.1109/tqe.2020.3023419.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sylvan, Richard. "Toward an Improved Cosmo-Logical Synthesis." Grazer Philosophische Studien 25 (1985): 135–79. http://dx.doi.org/10.5840/gps1985/8625/266.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sylvan, Richard. "Toward an Improved Cosmo-Logical Synthesis." Grazer Philosophische Studien 25, no. 1 (1986): 135–79. http://dx.doi.org/10.1163/18756735-02501007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dulatova, Zainep Asanalievna, Anna Ivanovna Kovyrshina, Elena Sergeevna Lapshina, and Nikolay Nikolaevich Shtykov. "Development of Synthesis as a General Logical Method of Cognition in the Process of Teaching Mathematics of Students and Future Teachers." Siberian Pedagogical Journal, no. 1 (February 26, 2024): 7–16. http://dx.doi.org/10.15293/1813-4718.2401.01.

Full text
Abstract:
General logical cognitive actions form the basis of almost all cognitive methods. This determines the necessity of their purposeful formation in the process of subject teaching. A special role in the development of cognitive methods belongs to mathematics, in the process of teaching which these actions manifest themselves in the most explicit form. In the article we consider the formation of synthesis as a basic general logical method. The purpose of our study is to develop approaches to the organization of subject-based teaching aimed at the formation and development of synthetic thinking of
APA, Harvard, Vancouver, ISO, and other styles
6

Zhang, Kuize. "Synthesis for observability of logical control networks." Automatica 144 (October 2022): 110481. http://dx.doi.org/10.1016/j.automatica.2022.110481.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

kizi, Asadova Shahlo Saidjon. ""LOGICAL FIVE MINUTES" AS A TOOL FOR THE DEVELOPMENT OF EDUCATIONAL AND LOGICAL SKILLS OF PRIMARY SCHOOL STUDENTS." European International Journal of Philological Sciences 4, no. 6 (2024): 25–28. http://dx.doi.org/10.55640/eijps-04-06-06.

Full text
Abstract:
The article presents the experience of developing the educational and logical skills of primary school students, in particular, the formation of a holistic view of analysis and synthesis as ways of cognition that serve to increase the effectiveness of educational and cognitive activities of students. The development is based on the use of "logical five minutes" by teachers.
APA, Harvard, Vancouver, ISO, and other styles
8

Opanasenko, V. M., and S. L. Kryvyi. "Synthesis multilevel structure with multiple output." PROBLEMS IN PROGRAMMING, no. 2-3 (June 2016): 048–62. http://dx.doi.org/10.15407/pp2016.02-03.048.

Full text
Abstract:
The method for solution of adaptation problem of the logical network with many outputs for the restoration of the input set of binary vectors when given only the lower values of this set and the values of the outputs is considered. The algorithm synthesis of the logical network is based on the description of its polynomial Zhegalkin.
APA, Harvard, Vancouver, ISO, and other styles
9

Benzaken, C. "From logical gates synthesis to chromatic bicritical clutters." Discrete Applied Mathematics 96-97 (October 1999): 259–305. http://dx.doi.org/10.1016/s0166-218x(99)00095-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kimura, Shigetomo, Atsushi Togashi, and Norio Shiratori. "Inductive Synthesis of Recursive Processes from Logical Properties." Information and Computation 163, no. 2 (2000): 257–84. http://dx.doi.org/10.1006/inco.2000.2883.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logical synthesis"

1

Yang, Ting. "Evaluating development projects : exploring a synthesis model of the logical framework approach and outcome mapping." Thesis, University of Sussex, 2018. http://sro.sussex.ac.uk/id/eprint/79800/.

Full text
Abstract:
Under the current results-driven development agenda, sound evaluation, and a corresponding evaluation toolkit, need to be in place to examine whether and to what extent development interventions have achieved their targeted objectives and results, and to generate lessons for further development learning and improvement. My review of the literature shows that innovative and appropriate evaluation approaches are needed to address key challenges in evaluation such as the tension between learning and accountability objectives, the need to unpack the mechanisms linking outputs and outcomes or goal,
APA, Harvard, Vancouver, ISO, and other styles
2

Fornari, François-Xavier. "Optimisation du controle et implantation en circuits de programmes esterel." Paris, ENMP, 1995. http://www.theses.fr/1995ENMP0531.

Full text
Abstract:
Cette these decrit l'application de techniques d'optimisation de circuits digitaux a l'optimisation du controle de programmes ecrits avec le langage synchrone esterel. Elle presente de plus une implantation de ces programmes en circuits. Le compilateur esterel v4 exprime le controle d'un programme esterel sous forme d'un jeu de registres et d'un systeme d'equations booleennes triees pilotant un ensemble d'actions. Sous certaines conditions, ce controle est considere comme un circuit digital. Il est alors ameliore en utilisant des methodes sophistiquees d'optimisations sequentielles presentes d
APA, Harvard, Vancouver, ISO, and other styles
3

Teslenko, Maxim. "All Around Logic Synthesis." Doctoral thesis, Stockholm : Mikroelektronik och informationsteknik, Kungliga Tekniska högskolan, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4700.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kozlowski, Tomasz. "Application of exclusive-OR logic in technology independent logic optimisation." Thesis, University of Bristol, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.296702.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Färm, Petra. "Advanced algorithms for logic synthesis." Licentiate thesis, KTH, Microelectronics and Information Technology, IMIT, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-1717.

Full text
Abstract:
<p>In this thesis, new algorithms for logic synthesis areexplored. Our work is motivated by two observations: (1)Traditional logic synthesis applies literal count as theprimary quality metric during the technology independentoptimization phase. Thissimplistic metric often leads to badcircuit structures as it cannot foresee the impact of earlychoices on the final area, delay, power consumption, etc. (2)Although powerful, global Boolean optimization is not robustand corresponding algorithms cannot be used in practice withoutartificially restricting the application window. Othertechniques, such a
APA, Harvard, Vancouver, ISO, and other styles
6

Hadjinicolaou, M. G. "Synthesis of programmable logic arrays." Thesis, Brunel University, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371168.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Pearce, Maureen. "Logic synthesis for programmable devices." Thesis, University of Bristol, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.357911.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Wang, Qi. "Logic synthesis for low power." Diss., The University of Arizona, 1998. http://hdl.handle.net/10150/288924.

Full text
Abstract:
The dissertation addresses several problems in the power optimization and power-delay tradeoffs in digital CMOS circuits. The work is organized according to the three main sources of power dissipation: Power dissipation due to switching (P(sc)), standby or leakage power (P(leak)) and short circuit power (P(sc)). First we present new, efficient and provably correct algorithms for minimizing the switching power in combinational and sequential CMOS logic circuits. The techniques are based on the addition and removal of redundancies at the logic level. The basic technique developed for combination
APA, Harvard, Vancouver, ISO, and other styles
9

Berrada, Fathi Wafâa. "Influence des architectures "materiel" et "logiciel" de systemes de synthese d'image sur l'efficacite d'algorithmes de visualisation." Université Louis Pasteur (Strasbourg) (1971-2008), 1988. http://www.theses.fr/1988STR13185.

Full text
Abstract:
Presentation sur le materiel existant, les logiciels de base disponibles, les normalisations operationnelles ainsi que les algorithmes diffuses actuellement. Il est montre comment ces trois parties interreagissent entre elles. Il est precise qu'elle parait etre l'architecture "materiel" et "logiciel" la plus adaptee a une exploitation avancee
APA, Harvard, Vancouver, ISO, and other styles
10

Димко, Єгор Павлович. "Моделі та методи оптимального керування індукційним дуплекс-процесом за умов невизначеності". Thesis, Національний технічний університет "Харківський політехнічний інститут", 2018. http://repository.kpi.kharkov.ua/handle/KhPI-Press/38635.

Full text
Abstract:
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.03 – системи та процеси керування. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018. Дисертація присвячена вирішенню актуальної науково-практичної задачі – розробці методів оптимального управління в умовах невизначеності. Показана можливість побудови адекватної математичної моделі індукційного дуплекс-процесу плавки як об'єкта управління в умовах неможливості реалізації плану активного експерименту в виробничих умовах. На основі цього запропоновано для опису кінцевого
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logical synthesis"

1

Lampert, Jay. Synthesis and backward reference in Husserl's Logical investigations. Kluwer Academic Publishers, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lampert, Jay. Synthesis and Backward Reference in Husserl’s Logical Investigations. Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-015-8443-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chikurov, Nikolay, and Nikolay Levizi. Construction of discrete-logical control systems for electroautomatics. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1852441.

Full text
Abstract:
The textbook discusses engineering methods of analysis and synthesis of discrete logic control systems of industrial mechanisms based on the apparatus of logic algebra and cyclograms of the operation of these mechanisms. New methods have been developed that make it possible to synthesize complex control systems on various element bases fairly quickly. Examples of designing control systems for machine-tool electrical automation devices are given. Students master the methodology of programming logic controllers in the instrumental programming environment of the ISaGRAF 6.5 ASP version using the
APA, Harvard, Vancouver, ISO, and other styles
4

Smarandache, Florentin. Neutrosophy: Neutrosophic probability, set, and logic : analytic synthesis & synthetic analysis. American Research Press, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Grodskiy, Vladimir. ECONOMICS: THE COMPLETION OF THE “DISPUTE OF TWO CAMBRIDGES”. Academus Publishing, 2021. http://dx.doi.org/10.31519/0024-2.

Full text
Abstract:
The monograph for the first time comprehensively investigates two main areas of modern economics - mainstream and ‘neo-Ricardianism’, which are in a state of the so-called ‘dispute of two Cambridges’. The theoretical advantages and disadvantages of the directions are shown, as well as specific proposals for their synthesis. The author’s interpretations of many issues of economic theory are presented, aimed at increasing its consistency, logical persistence and predictability of further development.&#x0D; Addressed to researchers, graduate students and teachers, specializing in the field of eco
APA, Harvard, Vancouver, ISO, and other styles
6

Grodskiy, Vladimir. Economics: The End of the "Two Cambridge Disput". Publishing Center RIOR, 2020. http://dx.doi.org/10.29039/02029-6.

Full text
Abstract:
The monograph for the first time comprehensively explores two main areas of modern economics - the mainstream and neoricardianism, which are in the state of the so-called "dispute between the two Cambridges". The theoretical advantages and disadvantages of the directions, as well as specific proposals for their synthesis are shown. The author’s interpretations of many issues of economic theory are presented, aimed at increasing its consistency, logical tenacity and predictability of further development.&#x0D; Addressed to scientists, graduate students and teachers who specialize in the field o
APA, Harvard, Vancouver, ISO, and other styles
7

Husserl, Edmund. Aktive Synthesen: Aus der Vorlesung "Transzendentale Logik" 1920/21 : Ergänzungsband zu "Analysen zur passiven Synthesis". Kluwer Academic Publishers, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Soha, Hassoun, and Sasao Tsutomu 1950-, eds. Logic synthesis and verification. Kluwer Academic Publishers, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Balikoev, Vladimir. Economic studies: history, theory, methodology. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1035827.

Full text
Abstract:
It analyzes methodological problems of contemporary economic theory and concrete economic disciplines. In a simple and accessible form set out in historical perspective theory and methodology of economic research in a variety of economic doctrines from mercantilism to contemporary neoliberalism. Much attention is paid to the national identity of economic theory in the methodological aspect.&#x0D; In detail and with specific examples, discusses the methodology of dialectics and dialectical materialism, the combination of historical &#x0D; and logical, analysis and synthesis, induction and deduc
APA, Harvard, Vancouver, ISO, and other styles
10

Sasao, Tsutomu. Switching theory for logic synthesis. Kluwer Academic Publishers, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logical synthesis"

1

Cheng, Kewei, and Yizhou Sun. "Logical Rule Learning." In Synthesis Lectures on Data, Semantics, and Knowledge. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-72008-6_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Coudert, Olivier. "Logical and Physical Design: A Flow Perspective." In Logic Synthesis and Verification. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-0817-5_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Costea, Andreea, Amy Zhu, Nadia Polikarpova, and Ilya Sergey. "Concise Read-Only Specifications for Better Synthesis of Programs with Pointers." In Programming Languages and Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_6.

Full text
Abstract:
AbstractIn program synthesis there is a well-known trade-off between concise and strong specifications: if a specification is too verbose, it might be harder to write than the program; if it is too weak, the synthesised program might not match the user’s intent. In this work we explore the use of annotations for restricting memory access permissions in program synthesis, and show that they can make specifications much stronger while remaining surprisingly concise. Specifically, we enhance Synthetic Separation Logic (SSL), a framework for synthesis of heap-manipulating programs, with the logical mechanism of read-only borrows.We observe that this minimalistic and conservative SSL extension benefits the synthesis in several ways, making it more (a) expressive (stronger correctness guarantees are achieved with a modest annotation overhead), (b) effective (it produces more concise and easier-to-read programs), (c) efficient (faster synthesis), and (d) robust (synthesis efficiency is less affected by the choice of the search heuristic). We explain the intuition and provide formal treatment for read-only borrows. We substantiate the claims (a)–(d) by describing our quantitative evaluation of the borrowing-aware synthesis implementation on a series of standard benchmark specifications for various heap-manipulating programs.
APA, Harvard, Vancouver, ISO, and other styles
4

Moody, Jonathan. "Logical Mobility and Locality Types." In Logic Based Program Synthesis and Transformation. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11506676_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Finkbeiner, Bernd, Niklas Metzger, Satya Prakash Nayak, and Anne-Kathrin Schmuck. "Synthesis of Universal Safety Controllers." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-90653-4_9.

Full text
Abstract:
Abstract The goal of logical controller synthesis is to automatically compute a control strategy that regulates the discrete, event-driven behavior of a given plant s.t. a temporal logic specification holds over all remaining traces. Standard approaches to this problem construct a two-player game by composing a given complete plant model and the logical specification and applying standard algorithmic techniques to extract a control strategy. However, due to the often enormous state space of a complete plant model, this process can become computationally infeasible. In this paper, we introduce a novel synthesis approach that constructs a universal controller derived solely from the game obtained by the standard translation of the logical specification. The universal controller’s moves are annotated with prophecies – predictions about the plant’s behavior that ensure the move is safe. By evaluating these prophecies, the universal controller can be adapted to any plant over which the synthesis problem is realizable. This approach offers several key benefits, including enhanced scalability with respect to the plant’s size, adaptability to changes in the plant, and improved explainability of the resulting control strategy. We also present encouraging experimental results obtained with our prototype tool, unicon.
APA, Harvard, Vancouver, ISO, and other styles
6

Bellot, Patrick, and Bernard Robinet. "Logical Synthesis of Imperative O.O. Programs." In Logic-Based Program Synthesis and Transformation. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48958-4_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kobayashi, Naoki, and Minchao Wu. "Neural Network-Guided Synthesis of Recursive List Functions." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30823-9_12.

Full text
Abstract:
AbstractKobayashi et al. have recently proposed NeuGuS, a framework of neural-network-guided synthesis of logical formulas or simple program fragments, where a neural network is first trained based on data, and then a logical formula over integers is constructed by using the weights and biases of the trained network as hints. The previous method was, however, restricted the class of formulas of quantifier-free linear integer arithmetic. In this paper, we propose a NeuGuS method for the synthesis of recursive predicates over lists definable by using the left fold function. To this end, we design and train a special-purpose recurrent neural network (RNN), and use the weights of the trained RNN to synthesize a recursive predicate. We have implemented the proposed method and conducted preliminary experiments to confirm the effectiveness of the method.
APA, Harvard, Vancouver, ISO, and other styles
8

Hozzová, Petra, Laura Kovács, Chase Norman, and Andrei Voronkov. "Program Synthesis in Saturation." In Automated Deduction – CADE 29. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38499-8_18.

Full text
Abstract:
AbstractWe present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional specification encoded as a first-order logical formula, we use a first-order theorem prover to both establish validity of this formula and discover program fragments satisfying the specification. As a result, when deriving a proof of program correctness, we also synthesize a program that is correct with respect to the given specification. We describe properties of the calculus that a saturation-based prover capable of synthesis should employ, and extend the superposition calculus in a corresponding way. We implemented our work in the first-order prover Vampire, extending the successful applicability of first-order proving to program synthesis.
APA, Harvard, Vancouver, ISO, and other styles
9

Johnson, Steven D. "Manipulating logical organization with system factorizations." In Hardware Specification, Verification and Synthesis: Mathematical Aspects. Springer New York, 1990. http://dx.doi.org/10.1007/0-387-97226-9_33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Raczynski, Stanislaw. "Miscellaneous: Linear IC Applications, Logical Gates." In Synthesis Lectures on Engineering, Science, and Technology. Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-77840-7_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logical synthesis"

1

Zhao, Ying. "LogicAL: Towards logical anomaly synthesis for unsupervised anomaly localization." In 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE, 2024. http://dx.doi.org/10.1109/cvprw63382.2024.00406.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Biletska, Maryna, Tatiana Pidvarko, Lina Kotova, and Karina Oleksenko. "THE CREATIVE HERITAGE OF DAVID OISTRAKH IN THE MUSICAL ART OF THE XX CENTURY." In 11th SWS International Scientific Conferences on ART and HUMANITIES - ISCAH 2024. SGEM WORLD SCIENCE, 2024. https://doi.org/10.35603/sws.iscah.2024/s08.21.

Full text
Abstract:
The creation of D. Oistrakh is one of the highest achievements in the native musical art of the 20th century. D. Oistrakh�s impressive performing skills, the philosophical depth and the scale of his interpretations, the sensitivity to everything new were combined with the inspiration of the pedagogical work, the special care about the transformation of his great creative experience to the new generation of the violinists. Studying the creative heritage of D. Oistrakh, we can confirm that he has created the original pedagogical system that synthesized the most progressive methods of the native
APA, Harvard, Vancouver, ISO, and other styles
3

Mykhailov, Volodymyr, Olena Isakova, Larysa Polyakova, Sergiy Pachev, and Natalia Shkoda. "PARTICIPATION OF PUBLIC ORGANIZATIONS IN THE IMPLEMENTATION OF THE EUROPEAN GREEN DEAL IN UKRAINE." In 24th SGEM International Multidisciplinary Scientific GeoConference 2024. STEF92 Technology, 2024. https://doi.org/10.5593/sgem2024/5.1/s20.24.

Full text
Abstract:
Ukraine actively participated in the implementation of the provisions of the European Green Deal (EGD), seeking to build a "green" economy and a prosperous society. The purpose of this study is to determine the forms and directions of activities of public associations in the implementation of the provisions of the EGD in Ukraine. Influential public organizations involved in the implementation of the European Green Deal are the Center for Environmental Initiatives "Ekodiya" (Kyiv), "Ekoclub" (Rivne), "Ecology. Right. Human", Information Center "Green Dossier", Ukrainian Climate Network, etc. To
APA, Harvard, Vancouver, ISO, and other styles
4

Biletska, Maryna, Tatiana Pidvarko, Lina Kotova, and Tetyana Stratan-Artyshkova. "METHODICAL APPROACHES TO THE STUDY OF STUDENTS` MUSICAL ABILITIES IN THE PROCESS OF PEDAGOGICAL COMMUNICATION." In 11th SWS International Scientific Conferences on SOCIAL SCIENCES - ISCSS 2024. SGEM WORLD SCIENCE, 2024. https://doi.org/10.35603/sws.iscss.2024/s08/59.

Full text
Abstract:
The purpose of the research is the improvement of the socio-perceptive skills of the teachers for the correlation of the study and understanding of students� musical abilities. For the achievement of the set of goal, the general scientific methodological approaches (systemic, competent) and the research methods as abstract-logical, analysis and synthesis have been used to study, to generalize and to systematize the obtained information with the purpose of the comparison of the different views of the scientists on the problems of the pedagogical communication and the teaching of students� music
APA, Harvard, Vancouver, ISO, and other styles
5

Jankova, Liga, and Andrejs Lazdins. "CUSTOMER RELATIONSHIP MANAGEMENT IN LATVIA." In 24th SGEM International Multidisciplinary Scientific GeoConference 2024. STEF92 Technology, 2024. https://doi.org/10.5593/sgem2024/5.1/s21.58.

Full text
Abstract:
Understanding the nature and role of customer relationship management (hereinafter CRM) is an important prerequisite for business success. A customer requires the company to adhere to certain quality standards as well as affects the performance and management of the company. Customer relationships could be managed and developed to attract new customers and increase business profitability and customer loyalty. The customer is the most valuable asset of a company that helps to achieve goals set by the company. In Latvia, the need to view customer relationships as important in business management
APA, Harvard, Vancouver, ISO, and other styles
6

Frieden, B. Roy. "The Possibility Image Transform and Logical Convolution." In Signal Recovery and Synthesis. Optica Publishing Group, 1986. http://dx.doi.org/10.1364/srs.1986.fc3.

Full text
Abstract:
It is now well-appreciated that an image represents a probability law on position for incoming photons.1,2 A recent mutation of probability theory is "possibility" theory.3 It departs from probability theory in the following basic ways: If A and B are two disjoint events, the probabilities P(A or B), P(A and B) obey while the corresponding possibilities obey Operation max (a,b) = the larger of a,b, while min (a,b) = the smaller of a,b.
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Jie, Hailong You, Zicheng Wang, Meihua Liu, Yu Su, and Yong Zhang. "Optimization of Redundant Logical Units in RTL Logic Synthesis." In 2023 International Symposium of Electronics Design Automation (ISEDA). IEEE, 2023. http://dx.doi.org/10.1109/iseda59274.2023.10218581.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hahanov, Vladimir, Mykhailo Liubarskyi, Wajeb Gharibi, Svetlana Chumachenko, Eugenia Litvinova, and Ivan Hahanov. "Test Synthesis for Logical X-functions." In 2018 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2018. http://dx.doi.org/10.1109/ewdts.2018.8524863.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Henderson, Tom, Chuck Hansen, and Bir Bhanu. "The Synthesis of Logical Sensor Specifications." In 1985 Cambridge Symposium, edited by David P. Casasent. SPIE, 1985. http://dx.doi.org/10.1117/12.950832.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

"Synthesis of Software from Logical Constraints." In 7th International Conference on Software Paradigm Trends. SciTePress - Science and and Technology Publications, 2012. http://dx.doi.org/10.5220/0004101903550358.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logical synthesis"

1

Saldanha, Alexander, and Viorica Simion. Combinational Logic Synthesis Research Report for Advanced Logic Synthesis for Low Power Mobile Applications Project. Defense Technical Information Center, 1997. http://dx.doi.org/10.21236/ada329387.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Conte, Ianina. Evidence Synthesis Programme (ESP) Logic Model. National Institute for Health and Care Research, 2023. http://dx.doi.org/10.3310/nihropenres.1115203.1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Devadas, Srinivas. Approaches to Multi-Level Sequential Logic Synthesis. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada208322.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rudell, Richard L. Multiple-Valued Logic Minimization for PLA Synthesis. Defense Technical Information Center, 1986. http://dx.doi.org/10.21236/ada606736.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lukac, Martin. Quantum Inductive Learning and Quantum Logic Synthesis. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.2316.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Devadas, Srinivas, Hi-Keung T. Ma, and A. R. Newton. Redundancies and Don't Cares in Sequential Logic Synthesis. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada211931.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sarabi, Andisheh. Logic Synthesis with High Testability for Cellular Arrays. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.6638.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Patino, Alberto. Reversible Logic Synthesis Using a Non-blocking Order Search. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.162.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chen, Bing C., Weiya Zhang, David Johnson, et al. Adaptable Structural Logic System Synthesis with Bistable Snap-Through Elements. Defense Technical Information Center, 2012. http://dx.doi.org/10.21236/ada574780.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

DUDLEY, PETER A. Synthetic Aperture Radar Image Formation in Reconfigurable Logic. Office of Scientific and Technical Information (OSTI), 2001. http://dx.doi.org/10.2172/782724.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logical synthesis' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography