Остановите войну!
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 56 matches
- 2023
- Moslem Alimohammadlou, Sahar Sharifian:
Industry 4.0 implementation challenges in small- and medium-sized enterprises: an approach integrating interval type-2 fuzzy BWM and DEMATEL. Soft Comput. 27(1): 169-186 (2023) - 2022
- Masami Mori, Ayumu Noguchi, Yoshiteru Itagaki:
VOC Detections by p-Type Semiconducting Sensors Using Nano-Sized SmFeO3 Particles. Sensors 22(15): 5616 (2022) - 2021
- Alexis Ghyselen:
Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus. (Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul). University of Lyon, France, 2021 - Masanobu Matsuguchi, Tomoki Nakamae, Ryoya Fujisada, Shunsuke Shiba:
A Highly Sensitive Ammonia Gas Sensor Using Micrometer-Sized Core-Shell-Type Spherical Polyaniline Particles. Sensors 21(22): 7522 (2021) - Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi:
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. CONCUR 2021: 34:1-34:22 - Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi:
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. CoRR abs/2104.07293 (2021) - Jianfang Lin, Yan Yu, Huiwen Xue, Xinghui Zhong:
High order finite difference WENO methods with unequal-sized sub-stencils for the Degasperis-Procesi type equations. CoRR abs/2107.13910 (2021) - 2019
- Tetsuya Ojiro, Toshiyuki Tachibana, Hideki Honda, Hiroshi Hamamatsu, Kazuhiro Tsuruta, Tsuyoshi Hanamoto:
Consideration of Multi-Degree of Freedom Vibration on Large-Sized Gantry Type Linear Motor Slider. J. Robotics Mechatronics 31(2): 240-250 (2019) - Sunghoon Joo, Yoonkey Nam:
Slow-Wave Recordings From Micro-Sized Neural Clusters Using Multiwell Type Microelectrode Arrays. IEEE Trans. Biomed. Eng. 66(2): 403-410 (2019) - Matthew Amy:
Sized Types for Low-Level Quantum Metaprogramming. RC 2019: 87-107 - Niccolò Veltri, Niels van der Weide:
Guarded Recursion in Agda via Sized Types. FSCD 2019: 32:1-32:19 - Matthew Amy:
Sized Types for low-level Quantum Metaprogramming. CoRR abs/1908.02644 (2019) - 2018
- Juan Manuel Berbel-Pineda, Beatriz Palacios-Florencio, Luna Santos-Roldán, José M. Ramírez Hurtado:
Relation of Country-of-Origin Effect, Culture, and Type of Product with the Consumer's Shopping Intention: An Analysis for Small- and Medium-Sized Enterprises. Complex. 2018: 8571530:1-8571530:12 (2018) - Nils Anders Danielsson:
Up-to techniques using sized types. Proc. ACM Program. Lang. 2(POPL): 43:1-43:28 (2018) - 2017
- Andreas Abel, Andrea Vezzosi, Théo Winterhalter:
Normalization by evaluation for sized dependent types. Proc. ACM Program. Lang. 1(ICFP): 33:1-33:30 (2017) - Martin Avanzini, Ugo Dal Lago:
Automating sized-type inference for complexity analysis. Proc. ACM Program. Lang. 1(ICFP): 43:1-43:29 (2017) - Yasunori Endo, Sachiko Ishida, Naohiko Kinoshita, Yukihiro Hamasuna:
On various types of controlled-sized clustering based on optimization. FUZZ-IEEE 2017: 1-6 - Martin Avanzini, Ugo Dal Lago:
Automated Sized-Type Inference and Complexity Analysis. DICE-FOPARA@ETAPS 2017: 7-16 - Martin Avanzini, Ugo Dal Lago:
Automating Sized Type Inference for Complexity Analysis (Technical Report). CoRR abs/1706.09169 (2017) - 2016
- Andreas Abel, Brigitte Pientka:
Well-founded recursion with copatterns and sized types. J. Funct. Program. 26: e2 (2016) - Andreas Abel:
Compositional Coinduction with Sized Types. CMCS 2016: 5-10 - Masataka Yoneda, Tetsuya Akagi, Shujiro Dohta, Wataru Kobayashi, Yoshinori Moriwake, Feifei Cho:
Development of Flow Rate Control Type Quasi-Servo Valve Using Small-Sized On/Off Valves. ICMSSP 2016: 80-84 - Yasunori Endo, Tsubasa Hirano, Naohiko Kinoshita, Yukihiro Hamasuna:
On Various Types of Even-Sized Clustering Based on Optimization. MDAI 2016: 165-177 - 2014
- Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo:
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory Pract. Log. Program. 14(4-5): 739-754 (2014) - Jorge Luis Sacchini:
Linear Sized Types in the Calculus of Constructions. FLOPS 2014: 169-185 - Andreas Abel:
Programming and Reasoning with Infinite Structures Using Copatterns and Sized Types. Software Engineering (Workshops) 2014: 148-150 - Andreas Abel, James Chapman:
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. MSFP 2014: 51-67 - Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo:
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. CoRR abs/1405.4256 (2014) - 2013
- Derek T. Steinmoeller, Marek Stastna, K. G. Lamb:
Pseudospectral methods for Boussinesq-type equations in an annular domain with applications to mid-sized lakes. J. Comput. Sci. 4(1-2): 3-11 (2013) - Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo:
Sized Type Analysis for Logic Programs. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013)
skipping 26 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 01:46 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