|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 564 occurrences of 436 keywords
|
|
|
Results
Found 716 publication records. Showing 716 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | JaeWoong Chung, Chi Cao Minh, Austen McDonald, Travis Skare, Hassan Chafi, Brian D. Carlstrom, Christos Kozyrakis, Kunle Olukotun |
Tradeoffs in transactional memory virtualization. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
OS support, virtualization, transactional memory, chip multi-processor |
20 | Horst Samulowitz, Fahiem Bacchus |
Using SAT in QBF. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Mustafa H. Qureshi, Mansur H. Samadzadeh |
Determining the Complexity of XML Documents. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Markey |
Past is for free: on the complexity of verifying linear temporal properties with past. |
Acta Informatica |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Enric Rodríguez-Carbonell, Deepak Kapur |
Program Verification Using Automatic Generation of Invariants. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Ho-sik Cho, Eun Kyoung Paik, Yanghee Choi |
RBU+: Recursive Binding Update for End-to-End Route Optimization in Nested Mobile Networks. |
HSNMC |
2004 |
DBLP DOI BibTeX RDF |
pinball routing, NEMO, network mobility, route optimization |
20 | Ugur Dogrusöz, Erhan Giral, Ahmet Cetintas, Ali Civril, Emek Demir |
A Compound Graph Layout Algorithm for Biological Pathways. |
GD |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Sergio Antoy, Stephen Johnson |
Formalization and abstract implementation of rewriting with nested rules. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
term rewriting systems, non-determinism, narrowing, functional logic programming, block structured |
20 | Arend Rensink |
Representing First-Order Logic Using Graphs. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Nikolay V. Shilov 0002, Natalya Olegovna Garanina |
Polynomial Approximations for Model Checking. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
model checking, complexity, Calculus |
20 | Jixue Liu, Millist W. Vincent, Chengfei Liu |
Functional Dependencies, from Relational to XML. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
XML, normalization, functional dependency |
20 | Frédéric Gava, Frédéric Loulergue |
A Polymorphic Type System for Bulk Synchronous Parallel ML. |
PaCT |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Hyun Suk Lee, Hyeog Man Kwon, Young Ik Eom |
Reliable Cascaded Delegation Scheme for Mobile Agent Environments. |
WISA |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Chengfei Liu, Jixue Liu, Minyi Guo |
On Transformation to Redundancy Free XML Schema from Relational Database Schema. |
APWeb |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Antonín Kucera 0001, Jan Strejcek |
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Leonidas Fegaras, David Maier 0001 |
Optimizing object queries using an effective calculus. |
ACM Trans. Database Syst. |
2000 |
DBLP DOI BibTeX RDF |
query decorrelation, query optimization, object-oriented databases, nested relations |
20 | Leonidas Fegaras, Chandrasekhar Srinivasan, Arvind Rajendran, David Maier 0001 |
lambda-DB: An ODMG-Based Object-Oriented DBMS. |
SIGMOD Conference |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Ken Perlin, Jon Meyer |
Nested User Interface Components. |
ACM Symposium on User Interface Software and Technology |
1999 |
DBLP DOI BibTeX RDF |
control hierarchies, nested interfaces, property editing, widgets, zooming user interfaces |
20 | Leonidas Fegaras |
Query Unnesting in Object-Oriented Databases. |
SIGMOD Conference |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Khoi Hoang, Anantharai Nachimuthu |
Image processing techniques for leather hide ranking in the footwear industry. |
Mach. Vis. Appl. |
1996 |
DBLP DOI BibTeX RDF |
Leather hide ranking, Scanning process, Scanning algorithm, Footwear, Machine vision |
20 | Derick Wood |
Standard Generalized Markup Language: Mathematical and Philosophical Issues. |
Computer Science Today |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Grumbach, Tova Milo |
Towards Tractable Algebras for Bags. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Chee Chin Low, Hongjun Lu, Beng Chin Ooi, Jiawei Han 0001 |
Efficient Access Methods in Deductive and Object-Oriented Databases. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Giovanni Cantone, Aniello Cimitile, Lucio Sansone |
Complexity in Program Schemes: The Characteristic Polynomial. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
18 | Yongji Luo, Shoushuai Zhang, Haifeng Yan, Feng Xue |
Hybrid nesting control strategy for passenger railway with one-seat-one-ticket restriction. |
Int. Trans. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Xiajun Zheng, Jiacheng Rong, Zhiqin Zhang, Yan Yang, Wei Li, Ting Yuan |
Fruit growing direction recognition and nesting grasping strategies for tomato harvesting robots. |
J. Field Robotics |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Corentin Lallier, Guillaume Blin, Bruno Pinaud, Laurent Vézard |
Graph neural network comparison for 2D nesting efficiency estimation. |
J. Intell. Manuf. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Sahel Iqbal, Adrien Corenflos, Simo Särkkä, Hany Abdulsamad |
Nesting Particle Filters for Experimental Design in Dynamical Systems. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Seth Bernstein, Paul Denny 0001, Juho Leinonen 0001, Lauren Kan, Arto Hellas, Matt Littlefield, Sami Sarsa, Stephen MacNeil |
"Like a Nesting Doll": Analyzing Recursion Analogies Generated by CS Students using Large Language Models. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Evans Doe Ocansey, Carsten Schneider |
Representation of hypergeometric products of higher nesting depths in difference rings. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | André Kubagawa Sato, Leandro Resende Mundim, Thiago de Castro Martins, Marcos de Sales Guerra Tsuzuki |
A separation and compaction algorithm for the two-open dimension nesting problem using penetration-fit raster and obstruction map. |
Expert Syst. Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ehtesham Ahmed, Naeem Saddique, Firas Al Janabi, Klemens Barfus, Malik Rizwan Asghar, Abid Sarwar, Peter Krebs |
Flood Predictability of One-Way and Two-Way WRF Nesting Coupled Hydrometeorological Flow Simulations in a Transboundary Chenab River Basin, Pakistan. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Maneth, Helmut Seidl |
Deciding origin equivalence of weakly self-nesting macro tree transducers. |
Inf. Process. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yunan Han, Zhaohan Liu, Qiang Cui, Xianbo Qiu |
Shielding Effectiveness Evaluation of Enclosure on PCB by Nesting Cavities Test Method. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Nana Pu, Yifei Zhang, Wentao Ma |
A two-level nesting smoothed extended meshfree method for static and dynamic fracture mechanics analysis of orthotropic materials. |
Math. Comput. Simul. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yizhe Yang, Bingshan Liu, Haochen Li, Xin Li, Gong Wang, Shan Li |
A nesting optimization method based on digital contour similarity matching for additive manufacturing. |
J. Intell. Manuf. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Christopher Donnay |
3: 1 Nesting Rules in Redistricting. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Alois Pichler, Ruben Schlotter |
Risk-Averse Optimal Control in Continuous Time by Nesting Risk Measures. |
Math. Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Pawel Cyprys, Shlomi Dolev, Oded Margalit |
OWF Candidates Based on: Xors, Error Detection Codes, Permutations, Polynomials, Interaction and Nesting. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
18 | Shuai Niu, Yecui Hu, Mengwen Gao, Zelian Guo, Yuping Bai |
Construction and optimization of ecological networks in karst regions based on multi-scale nesting: A case study in Guangxi Hechi, China. |
Ecol. Informatics |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Pu Gao |
The number of perfect matchings, and the nesting properties, of random regular graphs. |
Random Struct. Algorithms |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tommaso Caiazzi, Mariano Scazzariello, Samuele Quinzi, Lorenzo Ariemma, Maurizio Patrignani, Giuseppe Di Battista |
Nesting Containers for Faithful Datacenters Emulations. |
NOMS |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tiantian Zhang, Hua Shu, Zhiri Tang, Kam-yiu Lam, Chi-Yin Chow, Xiaojun Chen 0003, Ao Li, Yuan-Yi Zheng |
Ultrasound Median Nerve Image Instance Segmentation via Nesting Attention and Boundary-guided Segmentation Mechanism. |
ICBET |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Rommel Hilot Maneja, Ace Vincent B. Flandez, Azher Hussain Syed, Meerja Humayun Baig, Surya Prakash Tiwari, Jinoy Gopalan, Muaadh Alnuwairah, Yasir Yahya Asiri, Omer Rehman Reshi, Ibrahim Ali Alzoghiby, Mariam Angari, Nourah Alwarthan, Jeffrey D. Miller |
Assessment of the Evolution of Nighttime Light Pollution Reaching Sea Turtle Nesting Sites Along the Eastern Coast of Saudi Arabia Using Remote Sensing and in-Situ Data. |
IGARSS |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ryszard Leniowski, Krzysztof Tomecki, Michal Wronski, Tomasz Szymanski |
Nesting Control Algorithm for the 3D/5D Printers, Based on the Virtual Forces and Collision Detection. |
PCC (2) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Petra Maria Bartmeyer, Larissa Tebaldi Oliveira, Aline Aparecida de Souza Leão, Franklina Maria Bragion Toledo |
An expert system to react to defective areas in nesting problems. |
Expert Syst. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Mark A. Barrett, Kristen Nelson Sella |
Modeling Artificial Light Exposure after Vegetation Trimming at a Marine Turtle Nesting Beach. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Zhe Peng, Yingtao Ding, Shiwei Ren, Haixia Wu, Weijiang Wang |
Coprime Nested Arrays for DOA Estimation: Exploiting the Nesting Property of Coprime Array. |
IEEE Signal Process. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jingyu Lei, Zhenzhou Lu, Lu Wang |
An efficient method by nesting adaptive Kriging into Importance Sampling for failure-probability-based global sensitivity analysis. |
Eng. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Cong Guo 0003, Yuxian Qiu, Jingwen Leng, Chen Zhang 0001, Ying Cao, Quanlu Zhang, Yunxin Liu, Fan Yang 0024, Minyi Guo |
Nesting Forward Automatic Differentiation for Memory-Efficient Deep Neural Network Training. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sahar Chehrazad, Dirk Roose, Tony Wauters |
A fast and scalable bottom-left-fill algorithm to solve nesting problems using a semi-discrete representation. |
Eur. J. Oper. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Christian Gahm, Aykut Uzunoglu, Stefan Wahl, Chantal Ganschinietz, Axel Tuma |
Applying machine learning for the anticipation of complex nesting solutions in hierarchical production planning. |
Eur. J. Oper. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Keivan Tafakkori, Reza Tavakkoli-Moghaddam, Ali Siadat |
Sustainable negotiation-based nesting and scheduling in additive manufacturing systems: A case study and multi-objective meta-heuristic algorithms. |
Eng. Appl. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sinchan Ghosh, Arnab Banerjee, Soumalya Mukhopadhyay, Sabyasachi Bhattacharya, Santanu Ray |
Predicting the probability of avian reproductive success and its components at a nesting site. |
Ecol. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Rajani Kanta Mishra, Subrat Naik, Sarmistha Mishra, Debashis Mahapatro, Mukunda Kesari Khadanga |
Mass nesting of sea turtles along the east coast of India: A sustainable environmental management approach. |
Ecol. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Hend Alrasheed, Austin Melton |
Measuring nesting. |
IET Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Rebecca E. Dean, Robert Neal Dean |
EC Sensor to Improve Sea Turtle Nesting Research. |
IEEE SENSORS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Cong Guo 0003, Yuxian Qiu, Jingwen Leng, Chen Zhang 0001, Ying Cao, Quanlu Zhang, Yunxin Liu, Fan Yang 0024, Minyi Guo |
Nesting Forward Automatic Differentiation for Memory-Efficient Deep Neural Network Training. |
ICCD |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Valentin Le Fèvre, Tetsuzo Usui, Marc Casas |
A Selective Nesting Approach for the Sparse Multi-threaded Cholesky Factorization. |
ESPM2@SC |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sabrina Fossette, Graham Loewenthal, Lauren R. Peel, Anna Vitenbergs, Melanie A. Hamel, Corrine Douglas, Anton D. Tucker, Florian Mayer, Scott D. Whiting |
Using Aerial Photogrammetry to Assess Stock-Wide Marine Turtle Nesting Distribution, Abundance and Cumulative Exposure to Industrial Activity. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Anton D. Tucker, Kellie Pendoley, Kathy Murray, Graham Loewenthal, Chris Barber, Jai Denda, Gina Lincoln, Dean Mathews, Daniel Oades, Scott D. Whiting, Miriuwung Rangers, Balanggarra Rangers, Wunambal Rangers, Dambimangari Rangers, Mayala Rangers, Bardi Rangers, Nyul Rangers, Yawuru Rangers, Karajarri Rangers, Nyangumarta Rangers, Ngarla Rangers |
Regional Ranking of Marine Turtle Nesting in Remote Western Australia by Integrating Traditional Ecological Knowledge and Remote Sensing. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Catherine E. Nemitz, Tanya Amert, Manish Goyal 0002, James H. Anderson |
Concurrency groups: a new way to look at real-time multiprocessor lock nesting. |
Real Time Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Kateryna Czerniachowska, Marcin Hernes |
A Heuristic Approach to Shelf Space Allocation Decision Support Including Facings, Capping, and Nesting. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Fei Peng, Bo Long, Min Long |
A General Region Nesting-Based Semi-Fragile Reversible Watermarking for Authenticating 3D Mesh Models. |
IEEE Trans. Circuits Syst. Video Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Fei Peng, Zi-Xing Lin, Xiang Zhang, Min Long |
A Semi-Fragile Reversible Watermarking for Authenticating 2D Engineering Graphics Based on Improved Region Nesting. |
IEEE Trans. Circuits Syst. Video Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Jiapeng Li, Ping Wei 0001, Nanning Zheng 0001 |
Nesting spatiotemporal attention networks for action recognition. |
Neurocomputing |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Jingbo Jiang, Xizi Chen, Chi-Ying Tsui |
A Reconfigurable Winograd CNN Accelerator with Nesting Decomposition Algorithm for Computing Convolution with Large Filters. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
18 | Sahar Chehrazad, Dirk Roose, Tony Wauters |
A fast and scalable algorithm to solve nesting problems using a semi-discrete representation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
18 | Deeam Najmadeen Hama Rashid, Tarik A. Rashid, Seyedali Mirjalili |
ANA: Ant Nesting Algorithm for Optimizing Real-World Problems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
18 | Tom Wulf, Matthias Pietsch |
Störungsanalyse von UAVs bei der Detektion von Nistplätzen des Großen Brachvogels (Numenius arquata) - Methode und erste Ergebnisse / Disturbance Analysis of UAVs During the Detection of Eurasian Curlew (Numenius arquata) Nesting Sites - Method and First Results. |
AGIT Journal Angew. Geoinformatik |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Vieira, M. Clara P. Amorim, Paulo J. Fonseca |
Vocal rhythms in nesting Lusitanian toadfish, Halobatrachus didactylus. |
Ecol. Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Wesley H. B. Nunes, Mayron C. O. Moreira, Marina Andretta |
A Genetic Algorithm for the Nesting Problem With Continuous Rotations. |
CEC |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman |
Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries. |
DISC |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman |
Using Nesting to Push the Limits of Transactional Data Structure Libraries. |
OPODIS |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Muhammad Abdullah 0002, Romeo Sommerfeld, Laurenz Seidel, Jonas Noack, Ran Zhang 0007, Thijs Roumen, Patrick Baudisch |
Roadkill: Nesting Laser-Cut Objects for Fast Assembly. |
UIST |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Rommel Hilot Maneja, Rejoice Thomas, Jeffrey D. Miller, Wenzhao Li, Hesham M. El-Askary, Ace Vincent B. Flandez, Joselito Francis A. Alcaria, Jinoy Gopalan, Abdulrahman Jukhdar, Abdullajid U. Basali, Sachi Perera, Perdana K. Prihartato, Ronald A. Loughland, Tyas I. Hikmawan, Ali Qasem, Mohamed A. Qurban, Daniele C. Struppa |
Marine Litter Survey at the Major Sea Turtle Nesting Islands in the Arabian Gulf Using In-Situ and Remote Sensing Methods. |
IGARSS |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Abdulaziz Alarifi, Ayed Alwadain |
Maximum-expectation integrated agglomerative nesting data mining model for cultural datasets. |
Pers. Ubiquitous Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | James Vandersteen, Salit Kark, Karina Sorrell, Noam Levin |
Quantifying the Impact of Light Pollution on Sea Turtle Nesting Using Ground-Based Imagery. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Sarah J. Biddiscombe, Elliott A. Smith, Lucy A. Hawkes |
A Global Analysis of Anthropogenic Development of Marine Turtle Nesting Beaches. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Calimanut-Ionut Cira, Ramón Alcarria, Miguel-Ángel Manso-Callejo, Francisco Serradilla |
A Framework Based on Nesting of Convolutional Neural Networks to Classify Secondary Roads in High Resolution Aerial Orthoimages. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Bo Li, Shi Wang |
Cutting and nesting system of cloud manufacturing based on SOA. |
Concurr. Comput. Pract. Exp. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Lamis R. Darwish, Mahmoud M. Farag, Mohamed Tarek I. El-Wakad |
Towards Reinforcing Healthcare 4.0: A Green Real-Time IIoT Scheduling and Nesting Architecture for COVID-19 Large-Scale 3D Printing Tasks. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Fabian Heimann |
Rabern's Semantics for Metaphysical and Epistemic Modalities and the Nesting Problem. |
J. Philos. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Matej Lexa, Pavel Jedlicka, Ivan Vanat, Michal Cervenanský, Eduard Kejnovský |
TE-greedy-nester: structure-based detection of LTR retrotransposons and their nesting. |
Bioinform. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Yingjie Wang, Kuanjiu Zhou, Jie Pan, Mingchu Li |
Interrupt nesting method based on time slice in embedded software. |
Int. J. Inf. Commun. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Evans Doe Ocansey, Carsten Schneider |
Representation of hypergeometric products of higher nesting depths in difference rings. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Aritra Sarkar |
Quines are the fittest programs: Nesting algorithmic probability converges to constructors. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman |
Using Nesting to Push the Limits of Transactional Data Structure Libraries. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Viktor Henriksson, Manfred Kufleitner |
Nesting negations in FO2 over infinite words. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Gábor Bakó, Zsolt Molnár, Zsófia Szilágyi, Csaba Biró, Edina Morvai, Örs Ábrám, András Molnár |
Accurate Non-Disturbance Population Survey Method of Nesting Colonies in the Reedbed with Georeferenced Aerial Imagery. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Yongji Luo, Haifeng Yan, Shoushuai Zhang |
Simulation-based integrated optimization of nesting policy and booking limits for revenue management. |
Comput. Ind. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Md Rakibul Islam 0002, Minhaz F. Zibran |
How bugs are fixed: exposing bug-fix patterns with edits and nesting levels. |
SAC |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Wayne M. Getz, Krti Tallam, Richard M. Salter |
Movement, Disease and Patch Exploitation in Nesting Agent Groups. |
SpringSim |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ibrahim Kucukkoc, Zixiang Li, Qiang Li |
2D Nesting and Scheduling in Metal Additive Manufacturing. |
ICPR-Americas (1) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan G. Escobar Flores, Sarahi Sandoval, Ingmar Sosa-Cornejo |
Image Analysis of a Sea Turtle Nesting Beach Using Unmanned Aerial Vehicles (UAVs). |
IGARSS |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman |
Nesting and composition in transactional data structure libraries. |
PPoPP |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Alexandre Romanelli, André Renato Sales Amaral |
A Solution Approach to The Problem of Nesting Rectangles with Arbitrary Rotations into Containers of Irregular Convex and Non-Convex Shapes. |
ICCL |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Mariana M. P. B. Fuentes, Matthew H. Godfrey, Donna Shaver, Simona Ceriani, Christian Gredzens, Ruth Boettcher, Dianne Ingram, Matthew Ware, Natalie Wildermann |
Exposure of Marine Turtle Nesting Grounds to Named Storms Along the Continental USA. |
Remote. Sens. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Lei Luo 0001, Jian Yang 0003, Yigong Zhang, Yong Xu 0001, Heng Huang |
Nesting-structured nuclear norm minimization for spatially correlated matrix variate. |
Pattern Recognit. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Rebecca Hanscam, Eric M. Shepard, Joan B. Broderick, Valérie Copié, Robert K. Szilagyi |
Secondary structure analysis of peptides with relevance to iron-sulfur cluster nesting. |
J. Comput. Chem. |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 716 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|