Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 735 matches
- 2024
- Sangjun Lee, Dongsu Kang:
Designing Simulation Logic of UAV Cyber Operation Using Cyber Security Framework. IEEE Access 12: 3488-3498 (2024) - Michael A. Forbes, Mitchell G. Harris, H. M. Jansen, Femke A. Van Der Schoot, Thomas Taimre:
Combining optimisation and simulation using logic-based Benders decomposition. Eur. J. Oper. Res. 312(3): 840-854 (2024) - Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Logics for Contravariant Simulations. CoRR abs/2402.00964 (2024) - Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. CoRR abs/2402.00973 (2024) - Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue:
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. CoRR abs/2403.16097 (2024) - 2023
- Hussein Zeaiter:
Modeling and simulation of radio signals in confined environments using a software defined radio. (Modélisation et simulation de signaux radioélectriques dans des environnements confinés à l'aide d'une radio logicielle). University of Burgundy - Franche-Comté, 2023 - Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri:
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Comput. J. 66(2): 295-317 (2023) - Guanguo Wen, Qiang Long, Xinlong Shi, Ying Wang, Feng Liu, Huiyong Hu, Jincheng Zhang:
Simulation study of lateral CEFT logic performance at 3 nm Node. Microelectron. J. 139: 105865 (2023) - Soo-Cheol Oh, Gyu-Il Cha:
Logical qubit behavior model and fast simulation for surface code. Quantum Inf. Process. 22(7): 287 (2023) - Konguvel Rajeswari Subramaniam, Chi-Tsun Cheng, Toh Yen Pang:
Fuzzy Logic Controlled Simulation in Regulating Thermal Comfort and Indoor Air Quality Using a Vehicle Heating, Ventilation, and Air-Conditioning System. Sensors 23(3): 1395 (2023) - Audun Stolpe, Ivar Rummelhoff, Jo Erskine Hannay:
A logic-based event controller for means-end reasoning in simulation environments. Simul. 99(8): 831-858 (2023) - Ian Horswill, Samuel Hill:
Fast, Declarative, Character Simulation Using Bottom-Up Logic Programming. EXAG@AIIDE 2023 - Zhenyi Gao, Yuyang Xie, Wenjian Yu:
Efficient and Effective Digital Waveform Compression for Large-scale Logic Simulation of Integrated Circuit. ACM Great Lakes Symposium on VLSI 2023: 373-377 - Jia-Hui Su, Chen-Hua Lu, Jenq-Kuen Lee, Andrea Coluccio, Fabrizio Riente, Marco Vacca, Marco Ottavi, Kuan-Hsun Chen:
Simulation Environment with Customized RISC-V Instructions for Logic-in-Memory Architectures. CoRR abs/2303.12128 (2023) - Weijie Fang, Yanggeng Fu, Jiaquan Gao, Longkun Guo, Gregory Z. Gutin, Xiaoyan Zhang:
Acceleration for Timing-Aware Gate-Level Logic Simulation with One-Pass GPU Parallelism. CoRR abs/2304.13398 (2023) - Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Vikas Rana, Sachin B. Patkar, Rolf Drechsler, Farhad Merchant:
MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory. CoRR abs/2309.04868 (2023) - 2022
- Sébastien Le Nours:
Contributions to system-level modelling and simulation of hardware-software architectures of embedded systems. (Contributions à la modélisation et la simulation de niveau système des architectures matérielles-logicielles des systèmes embarqués). University of Nantes, France, 2022 - Daniel Mantilla-García:
Validation process, clinical impact and potential uses of a software for virtual simulation for the endovascular treatment of intracranial aneurysms. (Processus de validation, impact clinique et utilisations potentielles d'un logiciel de simulation virtuelle pour le traitement endovasculaire des anévrismes intracrâniens). University of Montpellier, France, 2022 - Hernán Humberto Álvarez-Valera:
An energy saving perspective for distributed environments : Deployment, scheduling and simulation with multidimensional entities for Software and Hardware. (Une perspective d'économie d'énergie pour les environnements distribués : Déploiement, planification et simulation avec des entités multidimensionnelles pour les logiciels et le matériel). University of Pau and Pays de l'Adour, France, 2022 - Linh Anh Nguyen, Ngoc-Thanh Nguyen:
Logical Characterizations of Fuzzy Simulations. Cybern. Syst. 53(5): 482-499 (2022) - Sasan Zahmatkesh, Jirí Jaromír Klemes, Awais Bokhari, Yousof Rezakhani, Chongqing Wang, Mika A. Sillanpää, Kassian T. T. Amesho, Wasan Saad Ahmed:
Reducing chemical oxygen demand from low strength wastewater: A novel application of fuzzy logic based simulation in MATLAB. Comput. Chem. Eng. 166: 107944 (2022) - Fangfang Ding:
Supporting Adaptive English Learning With Fuzzy Logic-Based Personalized Learning. Int. J. Gaming Comput. Mediat. Simulations 14(2): 1-19 (2022) - Audun Stolpe, Jo Erskine Hannay:
Quantifying means-end reasoning skills in simulation-based training: a logic-based approach. Simul. 98(10): 933-957 (2022) - Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen:
Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw. Syst. Model. 21(2): 561-586 (2022) - Siang-Yun Lee, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli:
A Simulation-Guided Paradigm for Logic Synthesis and Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8): 2573-2586 (2022) - Ryota Higa, Shinji Nakadai:
High-level Reward Deep Reinforcement Learning Approach for a Novel Physical-Logical Hybrid Factory Line Robot Vehicle Simulation. CASE 2022: 1399-1404 - Ruben Purdy, R. D. Shawn Blanton:
Large-Scale Logic-Locking Attacks via Simulation. ISQED 2022: 1-6 - Nikolaos Chatzivangelis, Dimitris Valiantzas, Christos P. Sotiriou, Iordanis Lilitsis:
Simulation-Based Maximum Coverage Hazard Detection and Elimination Analysis, Supporting Combinational Logic Loops. VLSI-SoC 2022: 1-6 - Guodao Zhang, Shahab S. Band, Sina Ardabili, Kwok-Wing Chau, Amir Mosavi:
Integration of neural network and fuzzy logic decision making compared with bilayered neural network in the simulation of daily dew point temperature. CoRR abs/2202.12256 (2022) - Ian Seet, Thomas E. Ouldridge, Jonathan P. K. Doye:
Simulation of reversible molecular mechanical logic gates and circuits. CoRR abs/2205.01563 (2022)
skipping 705 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-25 22:48 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint