Výsledky vyhledávání - "COMPUTER circuits"

Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits.

Autoři: Limaye, Nutan Srinivasan, Srikanth Tavenas, Sébastien

Zdroj: Journal of the ACM; Aug2025, Vol. 72 Issue 4, p1-35, 35p

Témata: COMPUTATIONAL complexity, CIRCUIT complexity, POLYNOMIALS, COMPUTER circuits, MATHEMATICAL bounds

A Practical PCB-based Framework for Spiking Neural Networks with a Half-Adder Example

Autoři: Cikikci, Sevde Vuslat Orek, Eren Aysoy, Ayhan a další

Zdroj: 2025 21st International Conference on Synthesis, Modeling, Analysis and Simulation Methods, and Applications to Circuits Design (SMACD). :1-4

Témata: Neurons, Spiking Neural Network (SNN), Systems Analysis, Computer Circuits, Neural Networks, Half-Adder, Transistors, Leaky Integrate-and-Fire, Complex Networks, Leaky Integrate-and-Fire Model, Integrate-and-Fire, Leaky Integrate-and-Fire (LIF), Biomimetics, Circuit, PCB-Based, XOR, Lithium Compounds, Spiking Neural Network, NMOS, Adders, PMOS

Přístupová URL adresa: https://hdl.handle.net/20.500.11779/3085
https://doi.org/10.1109/SMACD65553.2025.11092008

Sulphur-Doped Quantum/Graphene-Oxide (SGQD/GO) Composite Material based organic digital circuits using dual gate-OTFT.

Autoři: Goswami, Vidhi Yadav, Richa Kumar, Brijesh

Zdroj: Main Group Chemistry; Nov2025, Vol. 24 Issue 4, p217-225, 9p

Témata: ORGANIC semiconductors, ORGANIC field-effect transistors, GRAPHENE oxide, COMPUTER circuits, FLIP-flop circuits

Photonics for sustainable AI.

Autoři: Fayza, Farbin Demirkiran, Cansu Papa Rao, Satyavolu a další

Zdroj: Communications Physics; 10/14/2025, Vol. 8 Issue 1, p1-8, 8p

Témata: PHOTONICS, CARBON emissions, OPTICAL computing, COMPUTER circuits, INFORMATION & communication technologies

Timed causal fanin analysis for symbolic simulation.

Autoři: Kaivola, Roope Kama, Neta Bar

Zdroj: Formal Methods in System Design; Oct2025, Vol. 67 Issue 1, p3-26, 24p

Témata: INTEL microprocessors, FORMAL methods (Computer science), COMPUTER circuits

Korporace: INTEL Corp.

Computing with Time: Microarchitectural Weird Machines.

Autoři: Benjamin, Thomas S. Eitel, Jeffery A. Elwell, Jesse a další

Zdroj: Communications of the ACM; Dec2024, Vol. 67 Issue 12, p87-95, 9p

Témata: MOTHERBOARDS, COMPUTER software, COMPUTER programming, COMPUTER security, GATEWAYS (Computer networks), COMPUTER circuits, COMPUTER storage devices

Reactive and Risk-Aware Control for Signal Temporal Logic

Autoři: Lindemann, L. Pappas, G. J. Dimarogonas, Dimos V.

Zdroj: IEEE Transactions on Automatic Control. 67(10):5262-5277

Témata: Automata, Control systems, Formal Methods, Planning, Random variables, Reactive Control, Reactive power, Riskaware Control, Semantics, Signal Temporal Logic, Timed Automata, Transducers, Automata theory, Computer circuits, Model checking, Risk assessment, Value engineering, Automaton, Interval temporal logic, Planning and control, Risk aware, Risk signals, Temporal logic specifications, Temporal logic

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-312950
https://doi.org/10.1109/TAC.2021.3120681

How do business models for prosumers in the district energy sector capture flexibility?

Autoři: Selvakkumaran, Sujeetha Eriksson, Lina Svensson, Inger-Lise

Zdroj: Energy Reports. 7:203-212

Témata: Business model, District energy, Flexibility, Marginal cost pricing, Prosumers, Computation theory, Computer circuits, Decision making, Energy policy, Investments, Business models, Energy, Energy grids, Energy sector, Marginal costs, Marginal-cost pricing, Prosumer, Costs

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-58291
https://doi.org/10.1016/j.egyr.2021.08.154

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks

Autoři: Lindemann, Lars Nowak, Jakub Schonbachler, Lukas a další

Zdroj: IEEE Transactions on Control Systems Technology. 29(2):858-865

Témata: Autonomous mobile robots, Collision avoidance, Couplings, decentralized robotic networks, Feedback control, formal methods-based control synthesis, linear temporal logic (LTL), Mobile robots, Multi-agent systems, signal temporal logic (STL)., Task analysis, Computer circuits, Continuous time systems, Mobile agents, Multi agent systems, Multipurpose robots, Actuation capability, Continuous-time, Digital implementation, Feedback control law, Input saturation, Linear temporal logic, Multi-robot systems, Practical issues, Temporal logic

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-285460
https://kth.diva-portal.org/smash/get/diva2:1500717/FULLTEXT01.pdf

Alarm Signal Prioritization of Intrusion Detection Sensors on Nuclear Vital Areas.

Autoři: Wadoud, Amir A. Adly, Ahmed R. Tolba, Mohamed A.

Zdroj: Journal of Radiation & Nuclear Applications; Sep2025, Vol. 10 Issue 3, p261-268, 8p

Témata: INTRUSION detection systems (Computer security), ELECTRONIC alarm systems, EMERGENCY management, SIGNAL classification, COMPUTER circuits, SAFETY, NUCLEAR energy safety measures, AUTOMATION software

Emission driver circuit based on metal-oxide thin-film transistors capable of leakage current suppression for output stability.

Autoři: Jung, Eun Kyo Im, Hwarim Kim, Yong-Sang

Zdroj: Journal of Information Display; Sep2025, Vol. 26 Issue 3, p301-308, 8p

Témata: THIN film transistors, COMPUTER circuits, STRAY currents

A Very Compact Eleven-State Bandpass Filter with Split-Ring Resonators.

Autoři: Ninić, Marko Jokanović, Branka Potrebić Ivaniš, Milka

Zdroj: Electronics (2079-9292); Sep2025, Vol. 14 Issue 17, p3348, 18p

Témata: MICROWAVE filters, MEMRISTORS, BANDPASS filters, COMPUTER circuits, RESONATOR filters

Computational identification of small molecules for increased gene expression by synthetic circuits in mammalian cells.

Autoři: Pisani, M. Calandra, F. Rinaldi, A. a další

Zdroj: Nature Communications; 8/4/2025, Vol. 16 Issue 1, p1-14, 14p

Témata: GENE expression, BIOTECHNOLOGY, COMPUTATIONAL biology, SMALL molecules, DRUG discovery, RNA sequencing, EUKARYOTIC cells, COMPUTER circuits

Reliability enhancement of EM-based tuning of microwave components using regularized operating band scanning.

Autoři: Koziel, Slawomir Pietrenko-Dabrowska, Anna

Zdroj: Scientific Reports; 8/5/2025, Vol. 15 Issue 1, p1-15, 15p

Témata: MATHEMATICAL optimization, GLOBAL optimization, COMPUTER circuits, HEURISTIC, MICROWAVE materials, EXPECTATION-maximization algorithms

HERIC 型软开关逆变器谐振机理及抑制方法研究. (Chinese)

Alternate Title: Research on resonance mechanism and suppression method of HERIC soft-switching inverter. (English)

Autoři: 韩 宇 李 倩 汪英杰 a další

Zdroj: Journal of Electric Power Science & Technology; Jul2025, Vol. 40 Issue 4, p247-255, 9p

Témata: RESONANCE, ZERO voltage switching, OVERVOLTAGE, COMPUTER circuits, EMPIRICAL research, CLAMPS (Engineering)

Moore's Law: What Comes Next?

Autoři: Edwards, Chris¹

Zdroj: Communications of the ACM. Feb2021, Vol. 64 Issue 2, p12-14. 3p. 1 Color Photograph.

Témata: *COMPUTER architecture, *COMPUTERS, MOORE'S law, COMPUTER circuits, COMPUTER engineering

A hybrid forward/reverse converter in reversible logic to reduce hardware complexity of residual number system.

Autoři: Asadpour, Ailin Sabbagh, Amir Emrani, Azadeh

Zdroj: Majlesi Journal of Electrical Engineering. Jun2024, Vol. 18 Issue 2, p1-15. 15p.

Témata: *COMPUTER arithmetic, *COMPUTER circuits, *REVERSIBLE computing, *TECHNOLOGICAL innovations, *NUMBER systems

An evidence-based neuro-symbolic framework for ambiguous image scene classification

Autoři: Murtas, Giulia Boeva, Veselka, Professor Tsiporkova, Elena

Zdroj: Proceedings of Machine Learning Research Proceedings of Machine Learning Research (PMLR).

Témata: Computer Vision, Evidence Theory, Image Scene Classification, Modal Logic, Multi-valued Mapping, Classification (of information), Computer circuits, Deep learning, Image classification, Mapping, Condition, Evidence theories, Evidence-based, Labeled images, Learning models, Logic theory, Multivalued mappings, Rule based

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-28865
https://bth.diva-portal.org/smash/get/diva2:2012151/FULLTEXT01.pdf

Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning: Extended Abstract

Autoři: Eiter, T. Hadl, J. Higuera, N. a další

Zdroj: CEUR Workshop Proceedings.

Témata: Graph theory, Graphic methods, Knowledge graph, Logic programming, Question answering, Answer set programming, Based reasonings, Extended abstracts, Knowledge graphs, Language model, Neuro-symbolic system, Real-world image, Scene-graphs, Vision model, Computer circuits

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-70101
https://ceur-ws.org/Vol-4064/kgnesy-paper2.pdf

Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework

Autoři: Mahmood, Y. Meier, A. Schmidt, Johannes

Zdroj: ACM Transactions on Computational Logic. 24(3)

Témata: logic-based argumentation, Parameterized complexity, Schaefer's framework, Computer circuits, Knowledge based systems, Complexity class, Computational task, Consistent subset, Internal structure, Logic-based argumentations, Polynomial hierarchies, Schaefe framework, Second level, Two-dimensional, Parameterization

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-62183
https://doi.org/10.1145/3582499