Search results for "fragment"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Alia Algurashi, Wenjia Wang	Hybrid Feature Selection Method for Improving File Fragment Classification.	SGAI Conf.	2019	DBLP DOI BibTeX RDF
13	Daniel Kostrzewa, Pawel Benecki, Lukasz Jenczmyk	Enhancing the Resolution of Satellite Images Using the Best Matching Image Fragment.	ACIIDS (1)	2019	DBLP DOI BibTeX RDF
13	Yves Wautelet, Sara Shafiee, Samedi Heng	Revisiting the Product Configuration Systems Development Procedure for Scrum Compliance: An i* Driven Process Fragment.	PROFES	2019	DBLP DOI BibTeX RDF
13	Bokai Cheng, Cheng Hang, Yunfei Hu, Shixin Liu, Jiaoliang Yu, Yutong Wang, Jianhua Shen	Routing and Spectrum Assignment Algorithm based on Spectrum Fragment Assessment of Arriving Services.	WOCC	2019	DBLP DOI BibTeX RDF
13	Muhammad Haseeb, Fahad Saeed	Efficient Shared Peak Counting in Database Peptide Search Using Compact Data Structure for Fragment-Ion Index.	BIBM	2019	DBLP DOI BibTeX RDF
13	Shunichi Kasahara, Satoru Higa, Akihiro Komori	Fragment shadow: generating fragmented shadows with multi-projectors geometry and color calibration.	SIGGRAPH Studio	2019	DBLP DOI BibTeX RDF
13	Quentin Peyras, Julien Brunel, David Chemouil	A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic.	TIME	2019	DBLP DOI BibTeX RDF
13	Jad Abbass, Jean-Christophe Nebel	SCOP-Aided Fragment Assembly Protein Structure Prediction.	ACTEA	2019	DBLP DOI BibTeX RDF
13	Eka Gunarti Ningsih, Muhammad Fauzi Hidayat, Usman Sumo Friend Tambunan	Fragment-Based Drug Design to Discover Novel Inhibitor of Dipeptidyl Peptidase-4 (DPP-4) as a Potential Drug for Type 2 Diabetes Therapy.	IWBBIO (1)	2019	DBLP DOI BibTeX RDF
13	Yulianti, Agustinus Corona Boraelis Kantale, Usman Sumo Friend Tambunan	Discovery of Novel Alpha-Amylase Inhibitors for Type II Diabetes Mellitus Through the Fragment-Based Drug Design.	IWBBIO (1)	2019	DBLP DOI BibTeX RDF
13	Daniel Danielski, Emanuel Kieronski	Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract).	Description Logics	2019	DBLP BibTeX RDF
13	Ling Zhu, Xuanye Wei, Ruoming Shi	Fragment Polygon Removal in Incremental Land Cover Map Updating.	IGARSS	2019	DBLP DOI BibTeX RDF
13	Martine S. Lenders, Thomas C. Schmidt, Matthias Wählisch	A Lesson in Scaling 6LoWPAN - Minimal Fragment Forwarding in Lossy Networks.	LCN	2019	DBLP DOI BibTeX RDF
13	Huang-Chia Shih, Chang-Hsian Ma, Chien-Liang Lu	An Efficient Fragment Reconstruction Using RANSAC Algorithm.	GCCE	2019	DBLP DOI BibTeX RDF
13	Sean K. Lachhander, John Ziegler, Shoham Das, Paulo Salazar, Nana Mensah, Ivelise Rijo, Lissette Fernandez, Lin Dong, Daniela Elezovic, Ahmet Zehir, Maria Arcila	MPath Non-NGS: Software for Analysis of Clinical Fragment and Qualitative Polymerase Chain Reaction (PCR) Assays.	AMIA	2019	DBLP BibTeX RDF
13	Naima Saidi, Abdesslem Layeb	A hybrid Chemical Reaction Optimisation Algorithm For Solving The DNA Fragment Assembly Problem.	CITSC	2019	DBLP BibTeX RDF
13	Nico Potyka	A Polynomial-time Fragment of Epistemic Probabilistic Argumentation.	AAMAS	2019	DBLP BibTeX RDF
13	Stefan Halfpap	Efficient Scale-Out Using Query-Driven Workload Distribution and Fragment Allocation.	PhD@VLDB	2019	DBLP BibTeX RDF
13	Alexander Seitz	Methods to improve short fragment NGS analysis - with a focus on ancient DNA		2019	RDF
13	Wessam Elhefnawy	Highly Accurate Fragment Library for Protein Fold Recognition.		2019	RDF
13	Mohcin Allaoui, Belaïd Ahiod, Mohamed El Yafrani	A hybrid crow search algorithm for solving the DNA fragment assembly problem.	Expert Syst. Appl.	2018	DBLP DOI BibTeX RDF
13	Akhan Akbulut, Gözde Karatas	Automated testing for distributed databases with fuzzy fragment reallocation.	Turkish J. Electr. Eng. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Swati Chowdhuri, Pranab Banerjee, Sheli Sinha Chaudhury	Fragment-based transmission using minimum power consumed routing (FBTMPCR) algorithm of a MIMO integrated MANET.	Turkish J. Electr. Eng. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Jianhua Jiang, Xing Tao, Keqin Li 0001	DFC: Density Fragment Clustering without Peaks.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
13	Yoriyuki Yamagata	Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
13	Emanuel Kieronski, Lidia Tendera	Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants.	ACM Trans. Comput. Log.	2018	DBLP DOI BibTeX RDF
13	Takeshi Ishikawa, Kota Sakakura, Yuji Mochizuki	RI-MP3 calculations of biomolecules based on the fragment molecular orbital method.	J. Comput. Chem.	2018	DBLP DOI BibTeX RDF
13	Yaqian Wang, Jinfeng Liu 0004, Jinjin Li, Xiao He 0004	Fragment-based quantum mechanical calculation of protein-protein binding affinities.	J. Comput. Chem.	2018	DBLP DOI BibTeX RDF
13	Hiroya Nakata, Dmitri G. Fedorov	Analytic second derivatives for the efficient electrostatic embedding in the fragment molecular orbital method.	J. Comput. Chem.	2018	DBLP DOI BibTeX RDF
13	Pablo Vidal, Ana Carolina Olivera	Solving the DNA fragment assembly problem with a parallel discrete firefly algorithm implemented on GPU.	Comput. Sci. Inf. Syst.	2018	DBLP DOI BibTeX RDF
13	Waseem G. Shadid, Andrew R. Willis	Bone fragment segmentation from 3D CT imagery.	Comput. Medical Imaging Graph.	2018	DBLP DOI BibTeX RDF
13	Jing-Fang Yang, Fan Wang, Wen Jiang, Guangyou Zhou, Cheng-Zhang Li, Xiao-Lei Zhu, Ge-Fei Hao, Guangfu Yang	PADFrag: A Database Built for the Exploration of Bioactive Fragment Space for Drug Discovery.	J. Chem. Inf. Model.	2018	DBLP DOI BibTeX RDF
13	Gerard Martínez-Rosell, Matt J. Harvey, Gianni De Fabritiis	Molecular-Simulation-Driven Fragment Screening for the Discovery of New CXCL12 Inhibitors.	J. Chem. Inf. Model.	2018	DBLP DOI BibTeX RDF
13	Sangwon Hyun, Hyoungshick Kim	Secure and DoS-Resilient Fragment Authentication in CCN-Based Vehicular Networks.	Wirel. Commun. Mob. Comput.	2018	DBLP DOI BibTeX RDF
13	Jiangjin Yin, Bo Ou, Xuan Liu 0001, Fei Peng	Mosaic secret-fragment-visible data hiding for secure image transmission based on two-step energy matching.	Digit. Signal Process.	2018	DBLP DOI BibTeX RDF
13	André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho	Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫.	Int. J. Softw. Tools Technol. Transf.	2018	DBLP DOI BibTeX RDF
13	Saulo Henrique Pires de Oliveira, Charlotte M. Deane	Combining co-evolution and secondary structure prediction to improve fragment library generation.	Bioinform.	2018	DBLP DOI BibTeX RDF
13	Saulo Henrique Pires de Oliveira, Eleanor C. Law, Jiye Shi, Charlotte M. Deane	Sequential search leads to faster, more efficient fragment-based de novo protein structure prediction.	Bioinform.	2018	DBLP DOI BibTeX RDF
13	Min Chen, Rui Li, LiJun Yang	Optimized Context Weighting for the Compression of the Un-repetitive Genome Sequence Fragment.	Wirel. Pers. Commun.	2018	DBLP DOI BibTeX RDF
13	Nico Potyka	A Polynomial-time Fragment of Epistemic Probabilistic Argumentation (Technical Report).	CoRR	2018	DBLP BibTeX RDF
13	Martin Lück	On the Complexity of Team Logic and its Two-Variable Fragment.	CoRR	2018	DBLP BibTeX RDF
13	Daniel Danielski, Emanuel Kieronski	Finite Satisfiability of Unary Negation Fragment with Transitivity.	CoRR	2018	DBLP BibTeX RDF
13	Daniel Danielski, Emanuel Kieronski	Unary negation fragment with equivalence relations has the finite model property.	CoRR	2018	DBLP BibTeX RDF
13	Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera	Quine's Fluted Fragment Revisited.	CoRR	2018	DBLP BibTeX RDF
13	André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.	CoRR	2018	DBLP BibTeX RDF
13	Emmanuel Jeandel	The rational fragment of the ZX-calculus.	CoRR	2018	DBLP BibTeX RDF
13	Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini	On a Convex Logic Fragment for Learning and Reasoning.	CoRR	2018	DBLP BibTeX RDF
13	Alexis Bès, Christian Choffrut	Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals.	CoRR	2018	DBLP BibTeX RDF
13	Rob Arthan, Paulo Oliva	A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic.	CoRR	2018	DBLP BibTeX RDF
13	Keisuke Yanagisawa, Shunta Komine, Rikuto Kubota, Masahito Ohue, Yutaka Akiyama	Optimization of memory use of fragment extension-based protein-ligand docking with an original fast minimum cost flow algorithm.	Comput. Biol. Chem.	2018	DBLP DOI BibTeX RDF
13	Viktor A. Vedeshenkov	Fragment Method of Restoring the Operation of Digital Systems with the Structure of a Minimal Quasicomplete Graph with Two Paths between Two Users.	Autom. Remote. Control.	2018	DBLP DOI BibTeX RDF
13	Nadia Creignou, Reinhard Pichler, Stefan Woltran	Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Mateusz Banach, Leszek Konieczny, Zdzislaw Wisniowski, Irena Roterman	Fragment Aβ(18-41) presented within the CDR3 loop region of a shark immunoglobulin new antigen receptor single-variable domain antibody analyzed based on the fuzzy oil drop model.	Bio Algorithms Med Syst.	2018	DBLP DOI BibTeX RDF
13	Felix Wang, Tu-Thach Quach, Jason Wheeler, James B. Aimone, Conrad D. James	Sparse Coding for N-Gram Feature Extraction and Training for File Fragment Classification.	IEEE Trans. Inf. Forensics Secur.	2018	DBLP DOI BibTeX RDF
13	Francisca Pérez 0001, Raúl Lapeña, Jaime Font 0001, Carlos Cetina	Fragment retrieval on models for model maintenance: Applying a multi-objective perspective to an industrial case study.	Inf. Softw. Technol.	2018	DBLP DOI BibTeX RDF
13	Karina van den Broek, Hubert Kuhn, Achim Zielesny	Jdpd: an open java simulation kernel for molecular fragment dissipative particle dynamics.	J. Cheminformatics	2018	DBLP DOI BibTeX RDF
13	El-Amine Zemali, Abdelmadjid Boukra	CS-ABC: a cooperative system based on artificial bee colony to resolve the DNA fragment assembly problem.	Int. J. Data Min. Bioinform.	2018	DBLP DOI BibTeX RDF
13	Wa Kong, Da-Wei Ding 0004, Jing Xia, Xiao-Dong Ding, Lixia Yang	Optimization design of fragment-type microstrip filter using boundary-based filtering operator.	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
13	Jia Chen, Ge Han, Shanqing Guo, Wenrui Diao	FragDroid: Automated User Interface Interaction with Activity and Fragment Analysis in Android Applications.	DSN	2018	DBLP DOI BibTeX RDF
13	Matthias Baaz, Anela Lolic	Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic.	LPAR	2018	DBLP DOI BibTeX RDF
13	Sebastian Rudolph, Mantas Simkus	The Triguarded Fragment of First-Order Logic.	LPAR	2018	DBLP DOI BibTeX RDF
13	Lars Heling, Maribel Acosta	teepee - A Triple Pattern Fragment Profiler Visualization Tool.	ISWC (P&D/Industry/BlueSky)	2018	DBLP BibTeX RDF
13	Daniel Danielski, Emanuel Kieronski	Unary negation fragment with equivalence relations has the finite model property.	LICS	2018	DBLP DOI BibTeX RDF
13	Keerthi Adabala, Rüdiger Ehlers	A Fragment of Linear Temporal Logic for Universal Very Weak Automata.	ATVA	2018	DBLP DOI BibTeX RDF
13	Bernd Finkbeiner, Christopher Hahn, Tobias Hans	MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^\forall ^ ∃ ∗ ∀ ∗ Fragment.	ATVA	2018	DBLP DOI BibTeX RDF
13	Parosh Aziz Abdulla, Bengt Jonsson 0001, Cong Quy Trinh	Fragment Abstraction for Concurrent Shape Analysis.	ESOP	2018	DBLP DOI BibTeX RDF
13	Martin Lück	On the Complexity of Team Logic and Its Two-Variable Fragment.	MFCS	2018	DBLP DOI BibTeX RDF
13	Reza Haghighi, Mahdi Rasouli, Syeda Mariam Ahmed, Kim Pong Tan, Abdullah Al Mamun 0002, Chee-Meng Chew	Depth-based Object Detection using Hierarchical Fragment Matching Method.	CASE	2018	DBLP DOI BibTeX RDF
13	Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini	Characterization of the Convex Łukasiewicz Fragment for Learning From Constraints.	AAAI	2018	DBLP DOI BibTeX RDF
13	Homa B. Hashemi, Rebecca Hwa	Jointly Parse and Fragment Ungrammatical Sentences.	AAAI	2018	DBLP DOI BibTeX RDF
13	Johan Garcia 0001	Duplications and Misattributions of File Fragment Hashes in Image and Compressed Files.	NTMS	2018	DBLP DOI BibTeX RDF
13	Johan Garcia 0001	A Fragment Hashing Approach for Scalable and Cloud-Aware Network File Detection.	NTMS	2018	DBLP DOI BibTeX RDF
13	Satya Anindita, Atika Marnolia, Hersal Hermana Putra, Muhammad Chandra Haikal, Usman Sumo Friend Tambunan	Novel Inhibitors of T315I Mutant BCR-ABL1 Tyrosine Kinase for Chronic Myeloid Leukemia Disease Through Fragment-Based Drug Design.	ISBRA	2018	DBLP DOI BibTeX RDF
13	Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002	Querying the Unary Negation Fragment with Regular Path Expressions.	ICDT	2018	DBLP DOI BibTeX RDF
13	Manuel Ballarín, Ana Cristina Marcén, Vicente Pelechano, Carlos Cetina	Measures to report the Location Problem of Model Fragment Location.	MoDELS	2018	DBLP DOI BibTeX RDF
13	Przemyslaw Andrzej Walega	Computational Complexity of a Core Fragment of Halpern-Shoham Logic.	TIME	2018	DBLP DOI BibTeX RDF
13	Congli Yin, Mingquan Zhou, Yachun Fan, Wuyang Shui	Template-Guided 3D Fragment Reassembly Using GDS.	IGTA	2018	DBLP DOI BibTeX RDF
13	Yongjun Li 0004, Xiujuan Chai, Xilin Chen 0001	ScoringNet: Learning Key Fragment for Action Quality Assessment with Ranking Loss in Skilled Sports.	ACCV (6)	2018	DBLP DOI BibTeX RDF
13	Lev D. Beklemishev	A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇.	LFCS	2018	DBLP DOI BibTeX RDF
13	Qian Chen 0028, Qing Liao 0001, Zoe Lin Jiang, Junbin Fang, Siu-Ming Yiu, Guikai Xi, Rong Li, Zhengzhong Yi, Xuan Wang 0002, Lucas C. K. Hui, Dong Liu, En Zhang	File Fragment Classification Using Grayscale Image Conversion and Deep Learning in Digital Forensics.	IEEE Symposium on Security and Privacy Workshops	2018	DBLP DOI BibTeX RDF
13	P. Madhusudan, Umang Mathur 0001, Shambwaditya Saha, Mahesh Viswanathan 0001	A Decidable Fragment of Second Order Logic With Applications to Synthesis.	CSL	2018	DBLP DOI BibTeX RDF
13	Sebastian Rudolph, Mantas Simkus	Satisfiability in the Triguarded Fragment of First-Order Logic.	Description Logics	2018	DBLP BibTeX RDF
13	Piero A. Bonatti	Fast Compliance Checking in an OWL2 Fragment.	IJCAI	2018	DBLP DOI BibTeX RDF
13	Lavindra de Silva, Felipe Meneguzzi, Brian Logan 0001	An Operational Semantics for a Fragment of PRS.	IJCAI	2018	DBLP DOI BibTeX RDF
13	Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran	Belief Update in the Horn Fragment.	IJCAI	2018	DBLP DOI BibTeX RDF
13	Ayse Siddika Aydogdu Erozan	File fragment type detection by neural network.	SIU	2018	DBLP DOI BibTeX RDF
13	Janey Capers Newland, Emmett Baumgarten, De'sean Markley, Jeffrey Rein, Brienna Dipietro, Anna Sylvester, Brandon Elmy, Summey Hedden	A Comprehensive Image-Based Digital Edition Using CEX: A fragment of the Gospel of Matthew.	DH	2018	DBLP BibTeX RDF
13	Jad Abbass	Secondary structure-based template selection for fragment-assembly protein structure prediction.		2018	RDF
13	Weile Jia, Jue Wang 0013, Xuebin Chi, Lin-Wang Wang	GPU implementation of the linear scaling three dimensional fragment method for large scale electronic structure calculations.	Comput. Phys. Commun.	2017	DBLP DOI BibTeX RDF
13	Francisco Sans, Rhadamés Carmona	A Comparison between GPU-based Volume Ray Casting Implementations: Fragment Shader, Compute Shader, OpenCL, and CUDA.	CLEI Electron. J.	2017	DBLP DOI BibTeX RDF
13	Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo	Herbrand-satisfiability of a Quantified Set-theoretic Fragment.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
13	Adrian Haret, Stefan Rümmele, Stefan Woltran	Merging in the Horn Fragment.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
13	Datong Liu, Jingyue Pang, Ge Song, Wei Xie, Yu Peng, Xiyuan Peng	Fragment Anomaly Detection With Prediction and Statistical Analysis for Satellite Telemetry.	IEEE Access	2017	DBLP DOI BibTeX RDF
13	Jurgens Hendrik de Lange, Ignacy Cukrowski	Toward deformation densities for intramolecular interactions without radical reference states using the fragment, atom, localized, delocalized, and interatomic (FALDI) charge density decomposition scheme.	J. Comput. Chem.	2017	DBLP DOI BibTeX RDF
13	Yoshio Nishimoto, Dmitri G. Fedorov	Three-body expansion of the fragment molecular orbital method combined with density-functional tight-binding.	J. Comput. Chem.	2017	DBLP DOI BibTeX RDF
13	Iñaki Morao, Dmitri G. Fedorov, Roger Robinson, Michelle Southey, Andrea Townsend-Nicholson, Michael J. Bodkin, Alexander Heifetz	Rapid and accurate assessment of GPCR-ligand interactions Using the fragment molecular orbital-based density-functional tight-binding method.	J. Comput. Chem.	2017	DBLP DOI BibTeX RDF
13	Francois Berenger, David Simoncini, Arnout R. D. Voet, Rojan Shrestha, Kam Y. J. Zhang	Fragger: a protein fragment picker for structural queries.	F1000Research	2017	DBLP DOI BibTeX RDF
13	Wiktoria Jedwabny, Joanna Panecka-Hofman, Edyta Dyguda-Kazimierowicz, Rebecca C. Wade, W. Andrzej Sokalski	Application of a simple quantum chemical approach to ligand fragment scoring for Trypanosoma brucei pteridine reductase 1 inhibition.	J. Comput. Aided Mol. Des.	2017	DBLP DOI BibTeX RDF
13	Jochen Ismer, Alexander S. Rose, Johanna K. S. Tiemann, Peter W. Hildebrand	A fragment based method for modeling of protein segments into cryo-EM density maps.	BMC Bioinform.	2017	DBLP DOI BibTeX RDF
13	Pei Huang 0001, Chin-Jung Liu 0001, Xi Yang 0016, Li Xiao 0001	SFAB: Spectrum Fragment Agile Broadcast in Cognitive Radio Networks.	IEEE Trans. Cogn. Commun. Netw.	2017	DBLP DOI BibTeX RDF