yusuke1997/dblp-id-title huggingface dataset:
Structural matching algorithms in molecular biology
The power of approximations in mechanism design (על כוחם של קירובים בתכנון מנגנונים.)
Algorithms for prediction of molecular interactions
From unsupervised to semi-supervised learning : algorithms and applications (מלמידה לא-מפוקחת ללמידה מפוקחת-למחצה.)
שאלות בשפה טבעית ממסדי נתונים בסביבה מרובת מסדי נתונים
Improved Bounds for Online Aggregation and Caching
Secure schemes for secret sharing and key distribution
Codes over Graphs
Non-Rigid Dense Correspondence Algorithm with Applications for Image Enhancement (כותר נוסף בעברית: התאמות לא-צפידות צפופות ויישומיהן לשיפור תמונות)
Matrix Factorization Methods for Massive Data Processing
Anonymity: theory and applications (אנונימיות-תיאוריה ומעשה.)
Dynamic structure from motion using uncalibrated cameras and unsegmented scenes (חישובי מבנה של סצנה דינאמית מתנועת מצלמה, עבור מצלמות לא ידועות וללא סגמנטציה נתונה.)
Algorithms for reinforcement learning
Formulae and Growth Rates of Animals on Cubical and Triangular Lattices
על מידת הסיבוך של מספר בעיות בתורת האוטומטים. (On the complexity of some problems in automata theory.)
Reconstructing phylogenetic trees from noisy metrics
Mathematical model of Ca2+ dynamics in dendritic spines (דגמים מתמטיים של דינמיקת +CA2 בספינים דנדריטים.)
Search problems, codes and edge coloring
Mathematical models in image processing and pattern recognition (מודלים מתמטיים בעבוד תמונות וזהוי צורות.)
Formalizing and Reasoning about Quality (שער נוסף בעברית: על הצרנה, הסקה, ואיכות.)
אלגוריתמים הסתברותיים מבזרים לבעיות בתורת הגרפים, תקשורת תאום ותזמון (Distributed probabilistic algorithms for problems in graph theory.)
משחקים שיתופיים והתורה של היווצרות קואליציות (Cooperative games and the theory of coalitions formation.)
FAst and Scalable Software Execution on Multicores/ Adam, Morrison
A Context-Sensitive Framework for Data Analysis
Neuronal correlations as memory templates in coupled cultured networks
פעולות של חבורות קרטן
Decision problems concerning equivalence of transductions on languages
Mathematical analysis of emergent behavior in multi-agent systems
Image compression using piecewise polynomials
Reasoning for Question Answering : Benchmarks and Methods
Distributed computing among unacqainted processors in the presence of Byzantine failures (חישוב מבוזר בין מעבדים חסרי היכרות מוקדמת במערכת עם נפילות ביזנטיות.)
On graphs of high girth (נוספו שער, תקציר ותכן בעברית: על גרפים בעלי מותן גבוה.)
Shape Correspondence using Spectral Methods and Deep Learning
Knowledge-based neurocomputing: a fuzzy logic approach
New techniques for cryptanalysis of cryptographic hash functions
Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair
בעיית הגרירה לתלויות בין נתונים במסדי נתונים יחסיים (The implication problem for data dependencies in relational databases.)
Data analysis in studies combining multiple high-throughput measurement technologies
Algebraic Techniques in Combinatorial and Computational Geometry
Thorough Analysis of Power and Performance Phenomena in Modern CPU Architectures
The common point set problem with applications to protein structure analysis
Language and proof support for superimpositions and aspects
Surface reconstruction techniques for imperfect raw data
On the power of random access machines
Security aspects of computer systems
Radon space dose optimization and change detection in repeat CT scans (כותר נוסף בעברית: שיטות במרחב רדון לאופטימיזציה של מינון הקרינה וזיהוי שינויים בסריקות CT נשנות)
Counting problems for geometric structures: rectangulations, floorplans, and quasi-planar graphs
Computational Methods for Genomic Data Analysis and Applications
Combinatorial problems in computational geometry
Multi Scale Dictionary Learning for Sparse Representation of Images
Sequences and Their Applications
Weighted automata and their applications to formal verification (עם תקציר בעברית ושער נוסף: אוטומטים ממושקלים והשימוש בהם בתחום האימות הפורמלי.)
Paradigms for very fast parallel algorithms
התפתחות של אי-יציבויות WHISTLER בפלסמה מחקר באמצעות נסויי מחשב
Designing Local Computation Algorithms and Mechanisms
Traffic engineering in IP and MPLS
התורה הארגודית של מרחבי מידה אינסופיים (התורה הארגודית של מרחבי מדה אינסופיים.; On the ergodic theory of infinite measure spaces.)
Big Data Methods for Efficient Network Monitoring
Scalable services for dynamic wide-area environments
Machine learning of natural concepts: an artificial intelligence approach (למידה של משגים טבעיים.)
Bayesian networks: model selection and applications
Equivalence, containment and rewriting of aggregate queries (שקילות, הכלה ושיכתוב של שאילתות עם פונקציות הקבצה.)
נקודות רציונליות של קבוצות אלגבריות מעל שדות אלגבריים גדולים (Rational points on algebraic varieties over large algebraic fields.)
Computational modeling and prediction of self assembling [beta]-sheet rich protein structures
The plan calculus as an internal representation for static analysis and transformations
Attacks and defenses for deep neural networks
אלגוריתמים לכפל פולינומים ומספרים שלמים (Algorithms for polynomial and integer multiplication.)
Competitive analysis problems in robotics and in distributed networks
The Design and Architecture of Permissionless Consensus Protocols (כותר נוסף בעברית: תכנון פרוטוקולים מבוזרים עבור מערכות ללא הרשאה)
שמוש בערכים של משחקים לא אטומיים במודלים כלכליים (Application of values of non-atomic games in economic models.)
Structure determination of macromolecular assemblies by data integration, application to the 26S proteasome
Theory and practice of transductive learning
A rigorous study of some satisfiability problems
Multiscale methods for image processing
Oblivious queries over data with irregular structure (שאילתות שאינן מודעות למבנה הנתונים.; שער נוסף בעברית: שאילתות שאינן מודעות למבנה הנתונים.)
Extrapolation and Synthesis for Relaxed Memory Models
Theoretical foundations of selective prediction
Probabilistic middleware services in wireless mobile ad-hoc networks
New results in stringology: Burrows-Wheeler compression and sorting by reversals
Discrete geometric algorithms for mesh processing
Flexible Resource Allocation for Network Problems
Additive combinatorics methods in computational complexity
קביעה אוטומטית של ערך מילוני לפי נטיות : פרק באיחזור מידע בשפה העברית באמצעות מחשב (Automatic determination of dictionary entries from inclined forms)
Searching protein functional surfaces
Applying concepts and models of Computer Science to describing learning processes (שער נוסף בעברית: יישום רעיונות ומודלים ממדעי המחשב לתיאור תהליכי למידה.; ישום רעיונות ומודלים ממדעי המחשב לתאור תהליכי למידה.)
On the geometry of random graphs (נוספו שער ותקציר בעברית: על הגיאומטריה של גרפים מקריים.)
Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification
Computing with low degree networks: shared memory implementation and dynamic Fault-Tolerance (חשוב מקבילי ברשתות דלילות.)
אפיון חוגים שמעליהם מודולים מסוימים הינם מעין פרויקטיביים. (Characterization of rings over which certain modules are Quasiprojective.)
Using structural information for managing very large software systems
Modular asynchronous switching networks
New Problems and Methods in Unsupervised Machine Learning
An arithmetic probabilistic logic for a continuous computer program correctness measure
על הקשר בתורת הקבוצות בין מונים גדולים לבין קיום קבוצות הומוגניות לפונקציות של סדרות בנות-מניה (On the connection, in set theory, between large cardinals and the existence of homogeneous sets for functions on countable sequences.)
Ant robotics: search, exploration and covering in multi-a(ge)nt systems
The dynamics of reputation and its origins in economic and social contexts (שער נוסף בעברית: הדינמיקה של מוניטין ומקורותיו בהקשרים כלכליים וחברתיים)
Data-Driven Modeling of Pitching and Plunging Wings in Singleand Tandem Configurations in Hovering Flight
Synchronized parallel computation
Shape constraint optimization for medical image segmentation and registration (עם תקציר בעברית ושער נוסף: שילוב מידע גיאומטרי בתהליכי אופטימיזציה לצורך סגמנטציה ורגיסטרציה של תמונות רפואיות.)
Translations among automata on infinite objects and their applications (עם תקציר בעברית ושער נוסף: תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.; תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.)
Simple Mechanisms for Limited Information Settings
Global Versus Local Modeling of Signals
Efficient algorithms for generally intractable graph problems restricted to specific classes of graphs
דליית ידע המומחה למערכות התומכות בפתרון בעיות המחייבות שיפוט סובייקטיבי
Non-deterministic multi-valued logics and their applications
Geometric uncertainty with dependencies (עם תקציר בעברית ושער נוסף: אי-ודאות גאומטרית עם תלויות.)
Non-VCG schemes and coalition resistant mechanisms (סכימות שאינן VCG ומכניזמים חסיניי קואליציות.)
Models and methods for advanced Web applications and social networks automation
Constructing radiation hybrid maps of the human genome
Numerical geometry of non-rigid objects: embedding problems
Resource Parameterized Metric Embedding (כותר נוסף בעברית: שיכונים מטריים בעלי משאבים מוגבלים)
Computational analysis of translation and proliferation determinants in normal and cancerous conditions in humans
Identifying and classifying recurrent evolutionary conserved units in proteins (נוספו שער, תקציר ותכן בעברית: זיהוי וסיווג יחידות שמורות אבולוציונית החוזרות בחלבונים.)
Multiple view geometry of algebraic curves and application to dynamic scenes. (גיאומטריה מרובת נקודות מבט לעקומות אלגבריות ויישום לסצינות דינמיות.)
Similarity in Binary Executables
Topics in sparse representation modeling and applications
סבוך העומק של נוסחאות (Depth complexity of formulas.)
Characterizing, Exploiting, Detecting and Preventing DMA Attacks in the Presence of an IOMMU
Indoor Exploration with a Robotic Vehicle Using a Single Camera and a Floorplan
Abstraction-refinement and modularity in μ-calculus model checking
Optimization methods in geometry and their applications to CAD (שיטות אופטימיזציה בגיאומטריה ושימושיהן לתיב"מ.)
Fluoroscopic X-ray image guidance for manual and robotic orthopedic surgery (הנחיה באמצעות תמונות X-RAY לניתוחים אורטופדיים המבוצעים ע"י מערכת רובוטית או מנתח.)
בעיות פירוק וכיסוי בתורת הגרפים (Decomposition and covering problems in graph theory.)
Leveraging the Power of Hardware Transactional Memory
Shape and position uncertainty in mechanical assemblies (עם תקציר בעברית, תכן ושער נוסף: אי ודאות של צורה ומיקום במערכות מכאניות.)
Optimizing XML processing
Topics in property testing over massively parameterized models
פנייה למשאבים גנריים בפתרון בעיות אלגוריתמיות
Mechanisms for stability and welfare: increasing cooperation among self-interested agents (עם תקציר בעברית ושער נוסף: מנגנונים ליציבות ורווחה : הגברת שיתוף פעולה בין סוכנים אנוכיים.)
גורמי ההצלחה של יחידות אסטרטגיות עסקיות בתעשיית האלקטרוניקה והמחשבים בישראל
Lazy Evaluation Methods for Complex Event Processing
Uncertainty Estimation and Its Applications in Deep Neural Networks
Submodular Maximization with Assignment Constraints and Parameterized Approximations
From gene expression to molecular pathways (מביטוי גנים למסלולים מולקולריים.)
Novel Methods for Improving Keyword Search on the Web
On the characterization of certain Banach spaces (אפיון מרחבי בנך מסוימים.)
On-line and off-line approximation algorithms for various resource allocation and scheduling problems and for the multiway cut problem
The Complexity of Relational Queries over Extractions from Text
Replication using group communication over a partitioned network (שכפול באמצעות תקשרת קבוצות מעל רשת דינמית.)
Novel methods for integrative analysis of heterogeneous large scale biomedical data
Gentzen-type Proof Systems for Non-classical Logics
העתקות ליפשיץ והעתקות רציפות במידה שוה במרחבי בנך (Lipschitz maps and uniformly continuous functions between Banach spaces.)
In support of gang scheduling (התמיכה בתזמון כנופיות.)
Aspects of Mechanism Design: Correlation, Coordination, Competition and Pricing
איזומורפיזם של עצי אהרונשין וכפיות ללא הנחת השערת הרצף (Isomorphism of Aronszajn trees and forcing without the generalized continuum hypothesis.)
Probabilistic models for the characterization of mutational processes in cancer
Integration of global information for features matching in stereo vision and for roads detection in satellite images (סכמת מידע כולל להתאמת תכוניות בראית סטראו ולהכרת כבישים בתמונות לוין.)
Fundamental problems in the theory of multi-agent robotics
Memory efficient network synchronization techniques
New algorithms for the reordering buffer management problem
Fast and approximate methods in computational photography (שער נוסף בעברית: על מספר שיטות מהירות ומקורבות לפתרון בעיות בצילום חישובי.)
Verifying atomicity of composed concurrent operations
Fusion of biased estimators using machine learning for time of flight estimation in the presence of outliers
Graph modification problems and their applications to genomic research
Developmental languages, the selective substitution grammar model: properties and applications (שפות התפתחות, מודל דקדוק הצבה סלקטיבית.)
Distributed execution of functional programs (הרצת תכניות פונקציונליות במערכת מבזרת.)
On the performance of distributed networks controlled by a simple synchronizer
Modeling Bacteria-Inspired Smart Swarms
Sensing and Acting Under Information Constraints in Human Interactions (כותר נוסף בעברית: חישה ופעולה תחת אילוצי אינפורמציה בבני אדם)
Acceleration Methods for Graph-Based Machine Learning
חבורות P סופיות עם הגבלות על מבנה הסדרה המרכזית היורדת (Finite P groups with conditions on the structure of the lower Central series.)
Entity-Relationship consistency for the relational model of databases
Exploiting syntactic structure for automatic verification
An architecture and programming model for extremely fine grain parallelization
Incorporating Time into Word Representations
אופרטורים מרקוביים במרחבי ריס (Markovian operators in Riesz spaces.)
Disperser graphs, deterministic amplification, and imperfect random sources (גרפים מפזרים, הגברה דטרמיניסטית ומקורות אקראים חלשים.)
Analysis and synthesis sparse modeling methods image processing
Binary positive representation and database methods for supporting discovery of patterns in structural bioinformatics
Improving Realism and Representativeness of Workloads to Achieve More Reliable Performance Evaluations (כותר נוסף בעברית: שיפור המציאותיות והייצוגיות של עומסי עבודה בכדי להשיג הערכות ביצועים אמינות יותר)
Extensions of propositional dynamic logic : propositional dynamic logic with local assignments; propositional probabilistic dynamic logic
Perspective shape-from-shading
Complexity of the calculation of predicates by finite automata
Computational inference of cancer metabolic alterations for early diagnosis and treatment
Exact Learning of Monotone Functions from Membership Queries
ערכים למשחקים עם רצף של שחקנים (Values of games with a continuum of players.; A non-diagonal value on a reproducing space.)
הצגה ספקטרלית של אופרטור שרדינגר עם פוטנציאל גדל כאשר רדיוס שואף לאינסוף (Spectral representation of Schrödinger operator with potential increasing when radius tends to infinity.)
Automatic analysis of vibro-acoustic heart signals: combining signal processing and computational learning techniques for non-invasive evaluation and monitoring of cardiac function
Some improved layouts for interconnection networks
Refining randomness (כיצד לזקק אקראיות גסה.)
Euclidean shortest paths on polyhedra in three dimensions
Parallel comparison sorting and searching
Numerical Optimization and Multigrid Computational Methods with Applications
Reduced-dose rigid registration in 3D Radon space for repeat CT procedures, and applications in interventional radiology (כותר נוסף בעברית: רגיסטרציה ריגידית מופחתת קרינה במרחב רדון תלת מימדי לסריקות CT נשנות, ויישומים ברדיולוגיה התערבותית)
Market Driven Multi-Resource Allocation
Classicality and quantumness in quantum information processing
Interactive and Intraoperative Algorithms for Image Guided Surgery
Positional games on graphs
Types and meanings in intensionality, selection and quantifier scope
On the Orchestration of Advanced Cellular Networks
A portable and efficient programming environment for multiprocessors
Trajectory formation and units of action, from two- to three dimensional motion (היווצרות מסלולי תנועה ויחידות תנועה, משניים לשלושה ממדים.)
Program Synthesis for Programmers
Polyspectral analysis of musical timbre (אנליזה פוליספקטרלית של גון הקולות.)
Fast and accurate algorithms with application for robotics systems
Precise specification of design patterns and tool support in their application
שיטת מומנטים לפתרון בעיות טרנספורט (A method of moments for solving transport problems.)
On the expressive power of query languages for complex object data models (כח בטוי של שפות שאילתה מעל מודל נתונים של עצמים מרכבים.)
Synthetic DNA libraries and their applications in data storage and biological assays
Advanced machine learning techniques for connectivity and real-time analysis of neural and social networks
Pseudorandomness and quantum information
אנליזה הרמונית המבוססת על חבורות התנועה (Harmonic analysis based on motion groups.)
Learning Intractable Graphical Models using Approximate Inference (שער נוסף בעברית: למידת מודלים גרפים ע"י שימוש בהסקה מקורבת.)
Designing competitive online algorithms via a primal-dual approach
Complexity of proofs and models in programming logics
Applied secure multi-party computation
The effect of translationese on statistical machine translation
Virtual path design in ATM networks
Applications and development of machine learning methods for biological signals arising from cognitive processes
Symbolic algorithms for synthesis of freeform spline-based geometry
Scalable routing in hierarchical ATM networks
Sensory based navigation motivated by biological systems
Applications of numerical methods in computer aided geometric design (ישום של שיטות נומריות בתכנון גיאומטרי באמצעות מחשב.)
Variants and extentions to Nash equilibria: coalitions, envy, and non-myopic agents
Reconstruction and Alignment of Biological Networks
Digital data compression in computer networks
A Bayesian network model of haplotype block variation : inference and application
הגזע של מרחבים ושל סיכויים (The genus of spaces and fibrations.)
Data mining in dynamically evolving systems via diffusion methodologies
On merging networks
Computational methods to quantify and model collective cell migration
Sparsity-Based Processing of Graph Structured Data
Wavelet frames (Framelets) and their potential application in unequal error protection of multimedia transmission
Information and estimation over sparse multipath channels in the wideband regime (עם תקציר בעברית ושער נוסף: אינפורמציה ושערוך מעל ערוצי החזרות דלילים ברוחב פס גבוה.)
Approximation algorithms for special cases of the maximum quadratic assignment problem
Cross species modeling of bacterial metabolism reveals new insights about their intra-community and inter-host interactions
אלגוריתמים במערכת מבוזרת לא אמינה (Algorithms in an unreliable distributed system.)
Computational comparative study of transcription regulation in eukaryotes (עם תקציר בעברית ושער נוסף: מחקר חישובי השוואתי של בקרת שעתוק באאוקריוטים.)
Lattices and codes
תת חבורות מענינות של חבורה סופית (Interesting subgroups of a finite group.)
New Methods for Signal Compression and Their Relations to Restoration Problems
Querying with Examples (שער נוסף בעברית: תשאול באמצעות דוגמאות.)
Interactive rendering of View-Dependent global lighting phenomena (תצוגה אינטראקטיבית של תופעות תאורה גלובליות.)
An operating system specification for dynamic code offloading to programmable devices (מערכת הפעלה אסימטרית התומכת בהרצת קוד על גבי רכיבים היקפיים מיתכנתים.)
Online Problems with Deadlines, Delay or Predictions
Characterization of Cellular Metabolism throughout the Cell Cycle in Cancer: An Integrated Experimental-Computational Approach
What Is Interesting: Studies on Interestingness in Knowledge Discovery
הפרדות של קבוצה סופית ב- RD על ידי על-מישורים נפרשים (Separation of a finite set in Rd by spanned hyperplanes.)
Hierarchical Modeling and Applications to Recognition Tasks (כותר נוסף: מידול היררכי ושימושו בבעיות זיהוי.)
Topics in shape optimization and exploration
Compositional verification of events and responses
Regret minimization in reinforcement learning
Online learning of complex categorical problems (למידה מקוונת של בעיות דירוג מורכבות.)
Geometric methods for analyzing and monitoring large distributed data
Approximation algorithms for NP-hard problems in combinatorial optimization
All uncountable cardinals can be singular (נוספו תקציר ושער: כל המונים הגדולים מ0א יכולים להיות סינגולריים.)
Statistical assessment of enrichment in ranked lists - algorithms and applications in motif search
Randomness Extractors and Space-Bounded Computation
Clustering and matching in graphs and hyper-graphs by tensor factorizations for computer vision and machine learning applications
Protocols for selfish agents
Debugging of parallel programs in parallel (נפוי תכניות מקביליות במקביל.)
Studies in algebraic and propositional proof complexity
Decomposition of databases with translation schemes
Design and analysis of some parallel algorithms
Laplacian mesh processing
משחקים בלי תשלומי צד עם אינסוף שחקנים (Games without side payments with infinitely many players.)
Design of VLSI circuits using Retiming
Topics in motion analysis
Theory and practice of active learning
Compilation of source code into object-oriented patterns
Promotion of computational thinking in life science through curricular development and bioinformatics research
Low-density parity-check codes: constructions and bounds
Decision problems for implementing distributed snapshots
Global learning of textual entailment graphs
Parallelism in Querying and Storage for Large XML and Graph Databases
Image Synthesis through Weak Supervision
Approximation Algorithms for Submodular Maximization and Network Design Problems
Learning in context: the usage of background and side information for vision and digital paleography /Noga, Levy
Understanding and improving a modern SAT solver
Scheduling algorithms for efficient delivery of synchronous traffic in wireless access networks
Design and analysis of computer experiments
High level formalisms for program flow analysis and their use in compiling
תורות יציבות ומושגים קשורים (Stable theories and related concepts.)
Gaussian belief propagation : theory and application (פעפוע אמונות גאוסייני.)
A novel approach to embedding of metric spaces (גישה חדשה לשיכונים של מרחבים מטריים.)
On the role of feature selection in machine learning (על בחירת תכוניות בלמידה חישובית.)
A numerical study of the flow around particles in rotating fluid
Privacy preserving data mining
Morphing piecewise linear shapes using convex representation
Rate based scheduling and smooth sequences
Querying monitoring and integrating web applications
Stability in multi-agent environments and approximation algorithms for NP-hard graph problems
Computing the Voronoi graph and the Voronoi diagram of a 3-D solid (חשוב גרף הוורונוי ודאגרמת הוורונוי של גוף תלת ממדי.)
On generic computational models
Learning evolutionary and genomic processes from massive nucleotide data
Solving optimization problems among selfish agents (פתרון בעיות אופטימיזציה בקרב סוכנים אנוכיים.)
Leveraging Multiple Drug Modalities for Drug Repurposing
Pattern-Based methods for Improved Lexical Semantics and Word Embeddings (שער נוסף בעברית: : שיטות מבוססות תבניות לשיפור סמנטיקה לקסיקלית ושיכוני מילים.)
Toward Explainable Data Science
Methods for global organization of the protein sequence space (ארגון על של רצפי חלבונים.)
Combinatorics, Symmetry and Randomness (כותר נוסף בעברית: קומבינטוריקה, סימטריה ואקראיות)
Approximation algorithms for optimization problems in future cellular networks
Weak epsilon-nets, Davenport-Schinzel sequences, and related problems
Multiple representation of the brain's neural activity by ECoG and fMRI signals
Efficient methods for learning and inference in structured output prediction (עם תקציר בעברית ושער נוסף: שיטות יעילות ללמידה והסקה בבעיות חיזוי מובנה.)
Optimal secrecy and resilience for asynchronous distributed computations (בטיחות ועמידות אופטימליים עבור חשובים מבזרים אסינכרוניים.)
A method for aiding requirements analysts in requirements elicitation for large software systems
תהליכי חשיבה המתפתחים בלימוד "חשיבה אלגוריתמית"