نتایج جستجو برای: following optimization, following

تعداد نتایج: 958518  

2016
Luis Marco-Giménez Miguel Arevalillo-Herráez Francesc J. Ferri Salvador Moreno-Picot Jesus Boticario Olga C. Santos Sergio Salmeron-Majadas Mar Saneiro Raul Uria-Rivas David Arnau José Antonio González-Calero Aladdin Ayesh Raúl Cabestrero Pilar Quirós Pablo Arnau-González Naeem Ramzan

Adaptive Intelligent Tutoring Systems (ITS) aim at helping students going through the resolution of a given problem in a principled way according to the desired outcomes, the intrinsic capabilities of the student, and the particular context in which the exercise takes place. These systems should be capable of acting according to mistakes, boredness, distractions, etc. Several works propose diff...

2006
Simson L. Garfinkel David J. Malan Karl-Alexander Dubec Christopher C. Stevens Cecile Pham

These days randomized-based population optimization algorithms are in wide use in different branches of science such as bioinformatics, chemical physics andpower engineering. An important group of these algorithms is inspired by physical processes or entities’ behavior. A new approach of applying optimization-based social relationships among the members of a community is investigated in this pa...

Journal: :Digital Investigation 2015
Jonathan Grier Golden G. Richard

We present a new approach to digital forensic evidence acquisition and disk imaging called sifting collectors that images only those regions of a disk with expected forensic value. Sifting collectors produce a sector-by-sector, bit-identical AFF v3 image of selected disk regions that can be mounted and is fully compatible with existing forensic tools and methods. In our test cases, they have ac...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بوعلی سینا - دانشکده علوم پایه 1391

abstract: in this thesis, we focus to class of convex optimization problem whose objective function is given as a linear function and a convex function of a linear transformation of the decision variables and whose feasible region is a polytope. we show that there exists an optimal solution to this class of problems on a face of the constraint polytope of feasible region. based on this, we dev...

2008
Manny Rayner Pierrette Bouillon Beth Ann Hockey Yukie Nakao

We introduce a novel semantic representation formalism, Almost Flat Functional semantics (AFF), which is designed as an intelligent compromise between linguistically motivated predicate/argument semantics and ad hoc engineering solutions based on flat feature/value lists; the central idea is to tag each semantic element with the functional marking which most closely surrounds it. We argue that ...

2014
Inna Tzoran Manolis Papadakis Pierpaolo Di Micco Manuel Monreal

The Registro Informatizado de Enfermedad TromboEmbólica (RIETE Registry) is an ongoing, international, prospective registry of consecutive patients with acute venous thromboembolism (VTE) designed to gather and analyze data on treatment patterns and outcomes in patients with acute VTE. It started in Spain in 2001, and 6 years later the database was translated into English with the aim to expand...

Journal: :Circulation. Cardiovascular quality and outcomes 2011
Karen P Alexander Tracy Y Wang Shuang Li Barbara L Lytle Lara E Slattery Sarah Calhoun Jennifer Poteat Matthew T Roe John S Rumsfeld Christopher P Cannon Eric D Peterson

BACKGROUND Efforts to improve quality of care for patients with acute myocardial infarction (AMI) are a national priority. To date, there have been few studies that have prospectively evaluated hospital quality improvement (QI) interventions. METHODS AND RESULTS Using hospitals in the National Cardiovascular Data Registry (NCDR) ACTION Registry-GWTG, a cluster randomized trial of the effectiv...

2009
David J. Malan Karl-Alexander Dubec Christopher C. Stevens Sujeet Shenoi C. Pham

This paper describes the Advanced Forensic Format (AFF), which is designed as an alternative to current proprietary disk image formats. AFF offers two significant benefits. First, it is more flexible because it allows extensive metadata to be stored with images. Second, AFF images consume less disk space than images in other formats (e.g., EnCase images). This paper also describes the Advanced ...

2011
Pierre Marquis

We study the existential closures of several propositional languages L considered recently as target languages for knowledge compilation (KC), namely the incomplete fragments KROM-C, HORN-C, K/H-C, renH-C, AFF, and the corresponding disjunction closures KROM-C[∨], HORN-C[∨], K/H-C[∨], renH-C[∨], and AFF[∨]. We analyze the queries, transformations, expressiveness and succinctness of the resultin...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید