Karen Villaverde

25 papers A 1B 7Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2018 — book
How Interval and Fuzzy Techniques Can Improve Teaching - Processing Educational Data: From Traditional Statistical Techniques to an Appropriate Combination of Probabilistic, Interval, and Fuzzy Approaches
Olga Kosheleva, Karen Villaverde
2014 — ch.
Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian Space-Time: Dvoretzky's Theorem Revisited.
Constraint Programming and Decision Making
Karen Villaverde, Olga Kosheleva, Martine Ceberio
2013 — conf
Back to the future: Advanced control techniques justify-on a new level-traditional education practices.
IFSA/NAFIPS
Olga Kosheleva, Karen Villaverde, Sergio D. Cabrera
2012 J jnl
Game development using Greenfoot: senior project.
J. Comput. Sci. Coll.
Karen Villaverde, Bretton Murphy
2012 B conf
How to make sure that students spend enough time studying: Fuzzy-motivated optimization approach to selecting a grading policy.
FUZZ-IEEE
Olga Kosheleva, Karen Villaverde
2012 B conf
Semi-heuristic poverty measures used by economists: Justification motivated by fuzzy techniques.
FUZZ-IEEE
Karen Villaverde, Nagwa Albehery, Tonghui Wang, Vladik Kreinovich
2011 J jnl
Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms.
Reliab. Comput.
Karen Villaverde, Gang Xiang
2011 — conf
How to Reconstruct the System's Dynamics by Differentiating Interval-Valued and Set-Valued Functions.
RSFDGrC
Karen Villaverde, Olga Kosheleva
2010 J jnl
Game design and development course taught with Alice.
J. Comput. Sci. Coll.
Karen Villaverde, Daniel Jaramillo
2010 B conf
Towards more detailed value-added teacher assessments.
FUZZ-IEEE
Karen Villaverde, Olga Kosheleva
2009 — conf
Uncertainty Can Decrease Privacy: an observation.
IFSA/EUSFLAT Conf.
Karen Villaverde, Olga Kosheleva
2008 B conf
Estimating variance under interval and fuzzy uncertainty: Parallel algorithms.
FUZZ-IEEE
Karen Villaverde, Gang Xiang
2007 J jnl
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.
Theory Pract. Log. Program.
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2006 A conf
A project in algorithms based on a primary historical source about catalan numbers.
SIGCSE
David Pengelley, Inna Pivkina, Desh Ranjan, Karen Villaverde
2006 J jnl
PALS: Efficient Or-Parallelism on Beowulf Clusters
CoRR
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2006 J jnl
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.
J. Parallel Distributed Comput.
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2005 J jnl
Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm.
Reliab. Comput.
Kavitha Tupelly, Vladik Kreinovich, Karen Villaverde
2005 B conf
Exact Bounds for Interval and Fuzzy Functions Under Monotonicity Constraints, with Potential Applications to Biostratigraphy.
FUZZ-IEEE
Emil Platon, Kavitha Tupelly, Vladik Kreinovich, Scott A. Starks, Karen Villaverde
2004 — conf
An Investigation of Scheduling in Distributed Constraint Logic Programming.
PDCS
Karen Villaverde, Enrico Pontelli
2003 — conf
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.
Euro-Par
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
2001 B conf
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.
ICPP
Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta
2001 B conf
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.
ICLP
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
1998 J jnl
Hyper-Spectral Satellite Images: Interval Methods May Be Helpful.
Reliab. Comput.
Erzsébet Merényi, Scott A. Starks, Karen Villaverde
1996 J jnl
A quadratic-time algorithm for smoothing interval functions.
Reliab. Comput.
Vladik Kreinovich, Karen Villaverde
1996 J jnl
Robust algorithms that locate local extrema of a function of one variable from interval measurement results: A remark.
Reliab. Comput.
Ch. Eick, Karen Villaverde
redb/extractors/macho_extractors/__init__.py
← Index redb/extractors/macho_extractors/__init__.py python 
# MachO extractors package

from .macho_features import MachOFeaturesExtractor
from .macho_segments import MachOSegmentExtractor
from .macho_imports import MachOImportExtractor
from .macho_exports import MachOExportExtractor
from .macho_dylibs import MachODylibExtractor
from .macho_signature import MachOSignatureExtractor
from .macho_similarity_hashes import MachOSimilarityHashExtractor
# MachOUniversalExtractor is deprecated - FAT binary relationships are now
# tracked via parent_sha256 column in redb_basic_properties
# from .macho_universal import MachOUniversalExtractor

__all__ = [
    'MachOFeaturesExtractor',
    'MachOSegmentExtractor',
    'MachOImportExtractor',
    'MachOExportExtractor',
    'MachODylibExtractor',
    'MachOSignatureExtractor',
    'MachOSimilarityHashExtractor',
    # 'MachOUniversalExtractor',  # Deprecated
]