Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Resoluci n de SAT). Showing records 1 – 30 of 389117 total matches.

[1] [2] [3] [4] [5] … [12971]

Search Limiters

Last 2 Years | English Only

Levels

Languages

Country

▼ Search Limiters


Universidad de Chile

1. Carmi Jara, Víctor Andrés. Consultas eficientes sobre bases de datos de grafo incompletas .

Degree: 2013, Universidad de Chile

 El principal objetivo de esta tesis es encontrar casos tratables y buenas técnicas para computar Certain Answers sobre bases de datos de grafos incompletas, en… (more)

Subjects/Keywords: Bases de datos; Certain Answers; 3-SAT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Carmi Jara, V. A. (2013). Consultas eficientes sobre bases de datos de grafo incompletas . (Thesis). Universidad de Chile. Retrieved from http://www.repositorio.uchile.cl/handle/2250/115697

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Carmi Jara, Víctor Andrés. “Consultas eficientes sobre bases de datos de grafo incompletas .” 2013. Thesis, Universidad de Chile. Accessed November 13, 2019. http://www.repositorio.uchile.cl/handle/2250/115697.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Carmi Jara, Víctor Andrés. “Consultas eficientes sobre bases de datos de grafo incompletas .” 2013. Web. 13 Nov 2019.

Vancouver:

Carmi Jara VA. Consultas eficientes sobre bases de datos de grafo incompletas . [Internet] [Thesis]. Universidad de Chile; 2013. [cited 2019 Nov 13]. Available from: http://www.repositorio.uchile.cl/handle/2250/115697.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Carmi Jara VA. Consultas eficientes sobre bases de datos de grafo incompletas . [Thesis]. Universidad de Chile; 2013. Available from: http://www.repositorio.uchile.cl/handle/2250/115697

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Szczepanski, Nicolas. SAT en Parallèle : Parallel SAT solving.

Degree: Docteur es, Informatique, 2017, Université d'Artois

La thèse porte sur la résolution des problèmes de satisfaisabilité booléenne (SAT) dans un cadre massivement parallèle. Le problème SAT est largement utilisé pour résoudre… (more)

Subjects/Keywords: SAT; Colonies d'abeilles; Solveurs SAT; Parallèle; Calcul distribué; Modèles de programmation hybride; SAT; SAT solvers; Parallel; Distributed computing; Hybrid programming models; 006.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Szczepanski, N. (2017). SAT en Parallèle : Parallel SAT solving. (Doctoral Dissertation). Université d'Artois. Retrieved from http://www.theses.fr/2017ARTO0403

Chicago Manual of Style (16th Edition):

Szczepanski, Nicolas. “SAT en Parallèle : Parallel SAT solving.” 2017. Doctoral Dissertation, Université d'Artois. Accessed November 13, 2019. http://www.theses.fr/2017ARTO0403.

MLA Handbook (7th Edition):

Szczepanski, Nicolas. “SAT en Parallèle : Parallel SAT solving.” 2017. Web. 13 Nov 2019.

Vancouver:

Szczepanski N. SAT en Parallèle : Parallel SAT solving. [Internet] [Doctoral dissertation]. Université d'Artois; 2017. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2017ARTO0403.

Council of Science Editors:

Szczepanski N. SAT en Parallèle : Parallel SAT solving. [Doctoral Dissertation]. Université d'Artois; 2017. Available from: http://www.theses.fr/2017ARTO0403


Universitat Autònoma de Barcelona

3. Giráldez Crú, Jesús. Beyond the Structure of SAT Formulas.

Degree: Departament de Ciències de la Computació, 2016, Universitat Autònoma de Barcelona

 Nowadays, many real-world problems are encoded into SAT instances and efficiently solved by modern SAT solvers. These solvers, usually known as Conflict-Driven Clause Learning (CDCL)… (more)

Subjects/Keywords: Resolució de SAT; Resolución de SAT; SAT solving; Xarxes complexes; Redes complejas; Complex networks; Estructura de problemes reals; Estructura de problemas reales; Structure of real-word problems; Tecnologies; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Giráldez Crú, J. (2016). Beyond the Structure of SAT Formulas. (Thesis). Universitat Autònoma de Barcelona. Retrieved from http://hdl.handle.net/10803/386422

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Giráldez Crú, Jesús. “Beyond the Structure of SAT Formulas.” 2016. Thesis, Universitat Autònoma de Barcelona. Accessed November 13, 2019. http://hdl.handle.net/10803/386422.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Giráldez Crú, Jesús. “Beyond the Structure of SAT Formulas.” 2016. Web. 13 Nov 2019.

Vancouver:

Giráldez Crú J. Beyond the Structure of SAT Formulas. [Internet] [Thesis]. Universitat Autònoma de Barcelona; 2016. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/10803/386422.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Giráldez Crú J. Beyond the Structure of SAT Formulas. [Thesis]. Universitat Autònoma de Barcelona; 2016. Available from: http://hdl.handle.net/10803/386422

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

4. Lonlac Konlac, Jerry Garvin. Contributions à la résolution du problème de la Satisfiabilité Propositionnelle : Contributions to solving the propositional satisfiability problem.

Degree: Docteur es, Informatique, 2014, Université d'Artois

Dans cette thèse, nous nous intéressons à la résolution du problème de la satisfiabilité propositionnelle (SAT). Ce problème fondamental en théorie de la complexité est… (more)

Subjects/Keywords: Satisfiabilité propositionnelle (SAT); Solveurs SAT; Fonctions booléennes; Apprentissage de clauses; Lauses bi-assertives; Propositional satisfiability (SAT); Boolean functions; Clauses learning; Bi-asserting clauses; 006.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lonlac Konlac, J. G. (2014). Contributions à la résolution du problème de la Satisfiabilité Propositionnelle : Contributions to solving the propositional satisfiability problem. (Doctoral Dissertation). Université d'Artois. Retrieved from http://www.theses.fr/2014ARTO0404

Chicago Manual of Style (16th Edition):

Lonlac Konlac, Jerry Garvin. “Contributions à la résolution du problème de la Satisfiabilité Propositionnelle : Contributions to solving the propositional satisfiability problem.” 2014. Doctoral Dissertation, Université d'Artois. Accessed November 13, 2019. http://www.theses.fr/2014ARTO0404.

MLA Handbook (7th Edition):

Lonlac Konlac, Jerry Garvin. “Contributions à la résolution du problème de la Satisfiabilité Propositionnelle : Contributions to solving the propositional satisfiability problem.” 2014. Web. 13 Nov 2019.

Vancouver:

Lonlac Konlac JG. Contributions à la résolution du problème de la Satisfiabilité Propositionnelle : Contributions to solving the propositional satisfiability problem. [Internet] [Doctoral dissertation]. Université d'Artois; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014ARTO0404.

Council of Science Editors:

Lonlac Konlac JG. Contributions à la résolution du problème de la Satisfiabilité Propositionnelle : Contributions to solving the propositional satisfiability problem. [Doctoral Dissertation]. Université d'Artois; 2014. Available from: http://www.theses.fr/2014ARTO0404

5. Hiramoto, Shinya. A novel hardware SAT solver using non-chronological backtracking and clause recording : Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ; Non-chronological バック トラッキング オヨビ clause レコーディング オ モチイル ハードウェア SAT ソルバ.

Degree: Nara Institute of Science and Technology / 奈良先端科学技術大学院大学

Subjects/Keywords: SAT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hiramoto, S. (n.d.). A novel hardware SAT solver using non-chronological backtracking and clause recording : Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ; Non-chronological バック トラッキング オヨビ clause レコーディング オ モチイル ハードウェア SAT ソルバ. (Thesis). Nara Institute of Science and Technology / 奈良先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10061/4298

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hiramoto, Shinya. “A novel hardware SAT solver using non-chronological backtracking and clause recording : Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ; Non-chronological バック トラッキング オヨビ clause レコーディング オ モチイル ハードウェア SAT ソルバ.” Thesis, Nara Institute of Science and Technology / 奈良先端科学技術大学院大学. Accessed November 13, 2019. http://hdl.handle.net/10061/4298.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hiramoto, Shinya. “A novel hardware SAT solver using non-chronological backtracking and clause recording : Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ; Non-chronological バック トラッキング オヨビ clause レコーディング オ モチイル ハードウェア SAT ソルバ.” Web. 13 Nov 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Hiramoto S. A novel hardware SAT solver using non-chronological backtracking and clause recording : Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ; Non-chronological バック トラッキング オヨビ clause レコーディング オ モチイル ハードウェア SAT ソルバ. [Internet] [Thesis]. Nara Institute of Science and Technology / 奈良先端科学技術大学院大学; [cited 2019 Nov 13]. Available from: http://hdl.handle.net/10061/4298.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

Hiramoto S. A novel hardware SAT solver using non-chronological backtracking and clause recording : Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ; Non-chronological バック トラッキング オヨビ clause レコーディング オ モチイル ハードウェア SAT ソルバ. [Thesis]. Nara Institute of Science and Technology / 奈良先端科学技術大学院大学; Available from: http://hdl.handle.net/10061/4298

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.


University of Debrecen

6. Bécsi, Zoltán József. Intervallumokon végzett számítások .

Degree: DE – TEK – Informatikai Kar, 2009, University of Debrecen

Intervallum alapú logika, intervallumokkal végzett műveletek, SAT probléma megoldása intervallumokkal lineáris időben Advisors/Committee Members: Nagy, Benedek (advisor).

Subjects/Keywords: Intervallum; SAT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bécsi, Z. J. (2009). Intervallumokon végzett számítások . (Thesis). University of Debrecen. Retrieved from http://hdl.handle.net/2437/86287

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bécsi, Zoltán József. “Intervallumokon végzett számítások .” 2009. Thesis, University of Debrecen. Accessed November 13, 2019. http://hdl.handle.net/2437/86287.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bécsi, Zoltán József. “Intervallumokon végzett számítások .” 2009. Web. 13 Nov 2019.

Vancouver:

Bécsi ZJ. Intervallumokon végzett számítások . [Internet] [Thesis]. University of Debrecen; 2009. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/2437/86287.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bécsi ZJ. Intervallumokon végzett számítások . [Thesis]. University of Debrecen; 2009. Available from: http://hdl.handle.net/2437/86287

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Gabàs Masip, Joel. SAT-based approaches for constraint optimization.

Degree: Departament d'Informàtica i Enginyeria Industrial, 2016, Universitat de Lleida

 Constraint optimization has been successfully used to solve problems in many real world (industrial) domains. This PhD thesis is focused on logic-based approaches, in particular,… (more)

Subjects/Keywords: MaxSAT; SAT; Optimització; Optimización; Optimization; Ciència de la computació i intel·ligència artificial; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gabàs Masip, J. (2016). SAT-based approaches for constraint optimization. (Thesis). Universitat de Lleida. Retrieved from http://hdl.handle.net/10803/396610

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Gabàs Masip, Joel. “SAT-based approaches for constraint optimization.” 2016. Thesis, Universitat de Lleida. Accessed November 13, 2019. http://hdl.handle.net/10803/396610.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Gabàs Masip, Joel. “SAT-based approaches for constraint optimization.” 2016. Web. 13 Nov 2019.

Vancouver:

Gabàs Masip J. SAT-based approaches for constraint optimization. [Internet] [Thesis]. Universitat de Lleida; 2016. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/10803/396610.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gabàs Masip J. SAT-based approaches for constraint optimization. [Thesis]. Universitat de Lleida; 2016. Available from: http://hdl.handle.net/10803/396610

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

8. Fouany, Jamil. Nouvelles architectures d’antennes à éléments parasites pour la polarisation circulaire : Application à la conception d’une antenne en bande X pour nanosatellite : New architectures of antennas with parasitic elemen ts for circular polarization : Application for the design of an X-band antenna for Nano-Satellite.

Degree: Docteur es, Electronique des Hautes Fréquences, Photonique et Systèmes, 2015, Limoges

Les investigations présentées dans ce mémoire de doctorat portent sur la synthèse d’antennes à éléments parasites à polarisation circulaire. Une stratégie de conception rapide et… (more)

Subjects/Keywords: Antenne à éléments parasites; Polarisat ion circulaire; Méthode de synthèse; Cube- sat; Nano-satellite; Isoflux; Antenna with parasitic elements; Circular polarization; Synthesis method; Cube-sat; Nano-satellite; Isoflux; 621.382 5

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fouany, J. (2015). Nouvelles architectures d’antennes à éléments parasites pour la polarisation circulaire : Application à la conception d’une antenne en bande X pour nanosatellite : New architectures of antennas with parasitic elemen ts for circular polarization : Application for the design of an X-band antenna for Nano-Satellite. (Doctoral Dissertation). Limoges. Retrieved from http://www.theses.fr/2015LIMO0125

Chicago Manual of Style (16th Edition):

Fouany, Jamil. “Nouvelles architectures d’antennes à éléments parasites pour la polarisation circulaire : Application à la conception d’une antenne en bande X pour nanosatellite : New architectures of antennas with parasitic elemen ts for circular polarization : Application for the design of an X-band antenna for Nano-Satellite.” 2015. Doctoral Dissertation, Limoges. Accessed November 13, 2019. http://www.theses.fr/2015LIMO0125.

MLA Handbook (7th Edition):

Fouany, Jamil. “Nouvelles architectures d’antennes à éléments parasites pour la polarisation circulaire : Application à la conception d’une antenne en bande X pour nanosatellite : New architectures of antennas with parasitic elemen ts for circular polarization : Application for the design of an X-band antenna for Nano-Satellite.” 2015. Web. 13 Nov 2019.

Vancouver:

Fouany J. Nouvelles architectures d’antennes à éléments parasites pour la polarisation circulaire : Application à la conception d’une antenne en bande X pour nanosatellite : New architectures of antennas with parasitic elemen ts for circular polarization : Application for the design of an X-band antenna for Nano-Satellite. [Internet] [Doctoral dissertation]. Limoges; 2015. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2015LIMO0125.

Council of Science Editors:

Fouany J. Nouvelles architectures d’antennes à éléments parasites pour la polarisation circulaire : Application à la conception d’une antenne en bande X pour nanosatellite : New architectures of antennas with parasitic elemen ts for circular polarization : Application for the design of an X-band antenna for Nano-Satellite. [Doctoral Dissertation]. Limoges; 2015. Available from: http://www.theses.fr/2015LIMO0125

9. Malinowski, Janusz. Algorithmes pour la synthèse et le model checking : Exclusion is a total fact : A contemporary analysis of subjectivity.

Degree: Docteur es, Informatique, 2012, Aix Marseille Université

Nous avons étudié dans cette thèse une approche discrète de la synthèse de contrôleurs pour les systèmes hybrides permettant la manipulation de dynamiques non-linéaires :… (more)

Subjects/Keywords: Synthèse de contrôleur; Hiérarchie; Systèmes EDO; Stabilisation; Ordres partiels; Réduction SAT; Automates temporisés; Controler synthesis; Hierarchy; EDO systems; Stabilisation; Partial orders; SAT reduction; Timed automata

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Malinowski, J. (2012). Algorithmes pour la synthèse et le model checking : Exclusion is a total fact : A contemporary analysis of subjectivity. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2012AIXM4780

Chicago Manual of Style (16th Edition):

Malinowski, Janusz. “Algorithmes pour la synthèse et le model checking : Exclusion is a total fact : A contemporary analysis of subjectivity.” 2012. Doctoral Dissertation, Aix Marseille Université. Accessed November 13, 2019. http://www.theses.fr/2012AIXM4780.

MLA Handbook (7th Edition):

Malinowski, Janusz. “Algorithmes pour la synthèse et le model checking : Exclusion is a total fact : A contemporary analysis of subjectivity.” 2012. Web. 13 Nov 2019.

Vancouver:

Malinowski J. Algorithmes pour la synthèse et le model checking : Exclusion is a total fact : A contemporary analysis of subjectivity. [Internet] [Doctoral dissertation]. Aix Marseille Université 2012. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2012AIXM4780.

Council of Science Editors:

Malinowski J. Algorithmes pour la synthèse et le model checking : Exclusion is a total fact : A contemporary analysis of subjectivity. [Doctoral Dissertation]. Aix Marseille Université 2012. Available from: http://www.theses.fr/2012AIXM4780

10. Champion, Adrien. Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition : Collaboration of formal techniques for the verification of safety properties over transition systems.

Degree: Docteur es, Sûreté de logiciel et calcul de haute performance, 2014, Toulouse, ISAE

Ce travail porte sur la vérification de composants logiciels dans les systèmes embarqués critiques avioniques. Les conséquences d’une erreur dans de tels systèmes pouvant s'avérer… (more)

Subjects/Keywords: Smt; Sat; K-induction; Interprétation abstraite; Élimination de quantificateurs; Méthodes formelles; Smt; Sat; K-induction; Abstract interpretation; Quandtifier elimination; Formal methods; 621.39

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Champion, A. (2014). Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition : Collaboration of formal techniques for the verification of safety properties over transition systems. (Doctoral Dissertation). Toulouse, ISAE. Retrieved from http://www.theses.fr/2014ESAE0001

Chicago Manual of Style (16th Edition):

Champion, Adrien. “Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition : Collaboration of formal techniques for the verification of safety properties over transition systems.” 2014. Doctoral Dissertation, Toulouse, ISAE. Accessed November 13, 2019. http://www.theses.fr/2014ESAE0001.

MLA Handbook (7th Edition):

Champion, Adrien. “Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition : Collaboration of formal techniques for the verification of safety properties over transition systems.” 2014. Web. 13 Nov 2019.

Vancouver:

Champion A. Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition : Collaboration of formal techniques for the verification of safety properties over transition systems. [Internet] [Doctoral dissertation]. Toulouse, ISAE; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014ESAE0001.

Council of Science Editors:

Champion A. Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition : Collaboration of formal techniques for the verification of safety properties over transition systems. [Doctoral Dissertation]. Toulouse, ISAE; 2014. Available from: http://www.theses.fr/2014ESAE0001


Georgia Southern University

11. Al-Khalil, Kareem. Test Anxiety, Working Memory and Verbal SAT Performance.

Degree: MSin Experimental Psychology (M.S.), Department of Psychology, 2010, Georgia Southern University

 The present study examined the relationship between test anxiety, working memory, and verbal SAT performance. Test anxiety negatively affects performance because it decreases working memory… (more)

Subjects/Keywords: ETD; Test anxiety; Working memory; Reading span; Verbal SAT; Reading comprehension; Sentence completion; Test anxiety; SAT (Educational test); Educational tests and measurements; Jack N. Averitt College of Graduate Studies, Electronic Theses & Dissertations, ETDs, Student Research

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Al-Khalil, K. (2010). Test Anxiety, Working Memory and Verbal SAT Performance. (Masters Thesis). Georgia Southern University. Retrieved from https://digitalcommons.georgiasouthern.edu/etd/437

Chicago Manual of Style (16th Edition):

Al-Khalil, Kareem. “Test Anxiety, Working Memory and Verbal SAT Performance.” 2010. Masters Thesis, Georgia Southern University. Accessed November 13, 2019. https://digitalcommons.georgiasouthern.edu/etd/437.

MLA Handbook (7th Edition):

Al-Khalil, Kareem. “Test Anxiety, Working Memory and Verbal SAT Performance.” 2010. Web. 13 Nov 2019.

Vancouver:

Al-Khalil K. Test Anxiety, Working Memory and Verbal SAT Performance. [Internet] [Masters thesis]. Georgia Southern University; 2010. [cited 2019 Nov 13]. Available from: https://digitalcommons.georgiasouthern.edu/etd/437.

Council of Science Editors:

Al-Khalil K. Test Anxiety, Working Memory and Verbal SAT Performance. [Masters Thesis]. Georgia Southern University; 2010. Available from: https://digitalcommons.georgiasouthern.edu/etd/437

12. Mateu Piñol, Carles. CSP problems as algorithmic benchmarks: measures, methods and models.

Degree: Departament d'Informàtica i Enginyeria Industrial, 2009, Universitat de Lleida

 On Computer Science research, traditionally, most efforts have been devoted to research hardness for the worst case of problems (proving NP completeness and comparing and… (more)

Subjects/Keywords: CSP; SAT; problemes de satisfacció de restriccions; algorismes; Ciència de la Computació i Intel. Artificial; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mateu Piñol, C. (2009). CSP problems as algorithmic benchmarks: measures, methods and models. (Thesis). Universitat de Lleida. Retrieved from http://hdl.handle.net/10803/8122

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mateu Piñol, Carles. “CSP problems as algorithmic benchmarks: measures, methods and models.” 2009. Thesis, Universitat de Lleida. Accessed November 13, 2019. http://hdl.handle.net/10803/8122.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mateu Piñol, Carles. “CSP problems as algorithmic benchmarks: measures, methods and models.” 2009. Web. 13 Nov 2019.

Vancouver:

Mateu Piñol C. CSP problems as algorithmic benchmarks: measures, methods and models. [Internet] [Thesis]. Universitat de Lleida; 2009. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/10803/8122.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mateu Piñol C. CSP problems as algorithmic benchmarks: measures, methods and models. [Thesis]. Universitat de Lleida; 2009. Available from: http://hdl.handle.net/10803/8122

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

13. Al Rammahi, Raheem T. Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT.

Degree: MS, Computer Science, 2016, U of Denver

  Most of the companies in Iraq spend significant amounts of time and money when transferring employees between home and work. In this thesis, we… (more)

Subjects/Keywords: CSP; MAX-SAT; Optimization; SAT; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Al Rammahi, R. T. (2016). Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT. (Thesis). U of Denver. Retrieved from https://digitalcommons.du.edu/etd/1110

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Al Rammahi, Raheem T. “Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT.” 2016. Thesis, U of Denver. Accessed November 13, 2019. https://digitalcommons.du.edu/etd/1110.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Al Rammahi, Raheem T. “Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT.” 2016. Web. 13 Nov 2019.

Vancouver:

Al Rammahi RT. Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT. [Internet] [Thesis]. U of Denver; 2016. [cited 2019 Nov 13]. Available from: https://digitalcommons.du.edu/etd/1110.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Al Rammahi RT. Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT. [Thesis]. U of Denver; 2016. Available from: https://digitalcommons.du.edu/etd/1110

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Wesleyan University

14. Chavez, Olivia. Diversity, Inequality and Predictive Power: Why Do Colleges Go SAT Optional?.

Degree: Psychology, 2016, Wesleyan University

  Standardized testing is a controversial topic that has gained national attention from the press. Testing is an issue that impacts students from the moment… (more)

Subjects/Keywords: Diversity; College; SAT; SAT Optional; Test Optional

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chavez, O. (2016). Diversity, Inequality and Predictive Power: Why Do Colleges Go SAT Optional?. (Masters Thesis). Wesleyan University. Retrieved from https://wesscholar.wesleyan.edu/etd_mas_theses/126

Chicago Manual of Style (16th Edition):

Chavez, Olivia. “Diversity, Inequality and Predictive Power: Why Do Colleges Go SAT Optional?.” 2016. Masters Thesis, Wesleyan University. Accessed November 13, 2019. https://wesscholar.wesleyan.edu/etd_mas_theses/126.

MLA Handbook (7th Edition):

Chavez, Olivia. “Diversity, Inequality and Predictive Power: Why Do Colleges Go SAT Optional?.” 2016. Web. 13 Nov 2019.

Vancouver:

Chavez O. Diversity, Inequality and Predictive Power: Why Do Colleges Go SAT Optional?. [Internet] [Masters thesis]. Wesleyan University; 2016. [cited 2019 Nov 13]. Available from: https://wesscholar.wesleyan.edu/etd_mas_theses/126.

Council of Science Editors:

Chavez O. Diversity, Inequality and Predictive Power: Why Do Colleges Go SAT Optional?. [Masters Thesis]. Wesleyan University; 2016. Available from: https://wesscholar.wesleyan.edu/etd_mas_theses/126


Université Paris-Sud – Paris XI

15. Arbelaez Rodriguez, Alejandro. Learning during search : Apprendre durant la recherche combinatoire.

Degree: Docteur es, Informatique, 2011, Université Paris-Sud – Paris XI

La recherche autonome est un nouveau domaine d'intérêt de la programmation par contraintes, motivé par l'importance reconnue de l'utilisation de l'apprentissage automatique pour le problème… (more)

Subjects/Keywords: Portfolio d'algorithmes; Apprentissage Automatique; Apprentissage Supervisée; Problèmes de satisfaction de contraintes; Problèmes d'optimisation de combinatoire; SAT; Recherche locale; Portfolio Algorithms; Machine Learning; Supervised Learning; Constraint Satisfaction Problems; Constraint Optimization Problems; SAT; Local Search

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arbelaez Rodriguez, A. (2011). Learning during search : Apprendre durant la recherche combinatoire. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2011PA112063

Chicago Manual of Style (16th Edition):

Arbelaez Rodriguez, Alejandro. “Learning during search : Apprendre durant la recherche combinatoire.” 2011. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed November 13, 2019. http://www.theses.fr/2011PA112063.

MLA Handbook (7th Edition):

Arbelaez Rodriguez, Alejandro. “Learning during search : Apprendre durant la recherche combinatoire.” 2011. Web. 13 Nov 2019.

Vancouver:

Arbelaez Rodriguez A. Learning during search : Apprendre durant la recherche combinatoire. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2011. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2011PA112063.

Council of Science Editors:

Arbelaez Rodriguez A. Learning during search : Apprendre durant la recherche combinatoire. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2011. Available from: http://www.theses.fr/2011PA112063


Université de Grenoble

16. Henry, Julien. Static analysis of program by Abstract Interpretation and Decision Procedures : Analyse statique par interprétation abstraite et procédures de décision.

Degree: Docteur es, Informatique, 2014, Université de Grenoble

L'analyse statique de programme a pour but de prouver automatiquement qu'un programme vérifie certaines propriétés. L'interprétation abstraite est un cadre théorique permettant de calculer des… (more)

Subjects/Keywords: Analyse statique; Vérification de programme; Interprétation Abstraite; Procédure de décision; SAT/SMT; Temps d'exécution pire cas; Static Analysis; Program Verification; Abstract Interpretation; Decision procedures; SAT/SMT; Worst Case Execution Time; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Henry, J. (2014). Static analysis of program by Abstract Interpretation and Decision Procedures : Analyse statique par interprétation abstraite et procédures de décision. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2014GRENM037

Chicago Manual of Style (16th Edition):

Henry, Julien. “Static analysis of program by Abstract Interpretation and Decision Procedures : Analyse statique par interprétation abstraite et procédures de décision.” 2014. Doctoral Dissertation, Université de Grenoble. Accessed November 13, 2019. http://www.theses.fr/2014GRENM037.

MLA Handbook (7th Edition):

Henry, Julien. “Static analysis of program by Abstract Interpretation and Decision Procedures : Analyse statique par interprétation abstraite et procédures de décision.” 2014. Web. 13 Nov 2019.

Vancouver:

Henry J. Static analysis of program by Abstract Interpretation and Decision Procedures : Analyse statique par interprétation abstraite et procédures de décision. [Internet] [Doctoral dissertation]. Université de Grenoble; 2014. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2014GRENM037.

Council of Science Editors:

Henry J. Static analysis of program by Abstract Interpretation and Decision Procedures : Analyse statique par interprétation abstraite et procédures de décision. [Doctoral Dissertation]. Université de Grenoble; 2014. Available from: http://www.theses.fr/2014GRENM037


Universidade Federal de Viçosa

17. Frederico Cotta Rena. Manejo de plantas espontâneas e fertilização nitrogenada em présemeadura do milho em plantio direto.

Degree: 2013, Universidade Federal de Viçosa

 The fractioned Nitrogen fertilization is a management strategy in which the largest fraction of the dosage is applied in topdressing. In Tillage System (TS), topdressing… (more)

Subjects/Keywords: Imobilização do N; Mineralização do N; Volatilização de Amônia; CIENCIA DO SOLO; Immobilization of N; Mineralization of N; Ammonia volatilization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rena, F. C. (2013). Manejo de plantas espontâneas e fertilização nitrogenada em présemeadura do milho em plantio direto. (Thesis). Universidade Federal de Viçosa. Retrieved from http://www.tede.ufv.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=5321

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Rena, Frederico Cotta. “Manejo de plantas espontâneas e fertilização nitrogenada em présemeadura do milho em plantio direto.” 2013. Thesis, Universidade Federal de Viçosa. Accessed November 13, 2019. http://www.tede.ufv.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=5321.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Rena, Frederico Cotta. “Manejo de plantas espontâneas e fertilização nitrogenada em présemeadura do milho em plantio direto.” 2013. Web. 13 Nov 2019.

Vancouver:

Rena FC. Manejo de plantas espontâneas e fertilização nitrogenada em présemeadura do milho em plantio direto. [Internet] [Thesis]. Universidade Federal de Viçosa; 2013. [cited 2019 Nov 13]. Available from: http://www.tede.ufv.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=5321.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rena FC. Manejo de plantas espontâneas e fertilização nitrogenada em présemeadura do milho em plantio direto. [Thesis]. Universidade Federal de Viçosa; 2013. Available from: http://www.tede.ufv.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=5321

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade de Lisboa

18. Pereira, Filipe Inácio da Costa. Explainable artificial intelligence - learning decision sets with sat.

Degree: 2018, Universidade de Lisboa

Tese de mestrado, Engenharia Informática (Interação e Conhecimento) Universidade de Lisboa, Faculdade de Ciências, 2018

Artificial Intelligence is a core research topic with key significance… (more)

Subjects/Keywords: Inteligência artificial explicável; Modelos interpretáveis; Interpretação e justificação de predição; Conjunto de decisão; Solucionadores SAT; Teses de mestrado - 2018; Departamento de Informática

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pereira, F. I. d. C. (2018). Explainable artificial intelligence - learning decision sets with sat. (Thesis). Universidade de Lisboa. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/34903

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pereira, Filipe Inácio da Costa. “Explainable artificial intelligence - learning decision sets with sat.” 2018. Thesis, Universidade de Lisboa. Accessed November 13, 2019. https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/34903.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pereira, Filipe Inácio da Costa. “Explainable artificial intelligence - learning decision sets with sat.” 2018. Web. 13 Nov 2019.

Vancouver:

Pereira FIdC. Explainable artificial intelligence - learning decision sets with sat. [Internet] [Thesis]. Universidade de Lisboa; 2018. [cited 2019 Nov 13]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/34903.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pereira FIdC. Explainable artificial intelligence - learning decision sets with sat. [Thesis]. Universidade de Lisboa; 2018. Available from: https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/34903

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

19. Rogério Pontes Xavier. Contribuição da fixação biológica de nitrogênio na produção sustentável da cultura de cana-de-açúcar.

Degree: 2006, Universidade Federal Rural do Rio de Janeiro

Apesar dos esforços da pesquisa em FBN na cultura de cana-de-açúcar, que vem sendo desenvolvida no Brasil, as soqueiras da maioria das variedades de cana-de-açúcar… (more)

Subjects/Keywords: balanço de N; quantificação da FBN; FITOTECNIA; quantifying BNF; N balance.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Xavier, R. P. (2006). Contribuição da fixação biológica de nitrogênio na produção sustentável da cultura de cana-de-açúcar. (Thesis). Universidade Federal Rural do Rio de Janeiro. Retrieved from http://bdtd.ufrrj.br//tde_busca/arquivo.php?codArquivo=493

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Xavier, Rogério Pontes. “Contribuição da fixação biológica de nitrogênio na produção sustentável da cultura de cana-de-açúcar.” 2006. Thesis, Universidade Federal Rural do Rio de Janeiro. Accessed November 13, 2019. http://bdtd.ufrrj.br//tde_busca/arquivo.php?codArquivo=493.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Xavier, Rogério Pontes. “Contribuição da fixação biológica de nitrogênio na produção sustentável da cultura de cana-de-açúcar.” 2006. Web. 13 Nov 2019.

Vancouver:

Xavier RP. Contribuição da fixação biológica de nitrogênio na produção sustentável da cultura de cana-de-açúcar. [Internet] [Thesis]. Universidade Federal Rural do Rio de Janeiro; 2006. [cited 2019 Nov 13]. Available from: http://bdtd.ufrrj.br//tde_busca/arquivo.php?codArquivo=493.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Xavier RP. Contribuição da fixação biológica de nitrogênio na produção sustentável da cultura de cana-de-açúcar. [Thesis]. Universidade Federal Rural do Rio de Janeiro; 2006. Available from: http://bdtd.ufrrj.br//tde_busca/arquivo.php?codArquivo=493

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

20. Roumanos, Rayya. Les modalités de configuration télévisuelle d’une identité régionale à travers une émission de télé-réalité : Arabité, hybridité et libanité sur la LBC-Sat : Setting up a regional identity through a reality show : Arabism, Libanism, and hybridity on LBC-Sat.

Degree: Docteur es, Information et de la communication, 2013, Université Lumière – Lyon II

 Cette thèse étudie la configuration télévisuelle de l’identité arabe moderne à travers un des programmes phares de la chaine satellitaire libanaise LBC-Sat : la Star… (more)

Subjects/Keywords: Télévisions satellitaires arabes; LBC-Sat; Star Academy Middle East; Représentations télévisuelles; Configuration de l’identité arabe; Modernité; Arabité; Libanité; Arab Television Industry; Transnational Channels; LBC-Sat; Star Academy Middle East; Modernity; Arab Identities; Hybridity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Roumanos, R. (2013). Les modalités de configuration télévisuelle d’une identité régionale à travers une émission de télé-réalité : Arabité, hybridité et libanité sur la LBC-Sat : Setting up a regional identity through a reality show : Arabism, Libanism, and hybridity on LBC-Sat. (Doctoral Dissertation). Université Lumière – Lyon II. Retrieved from http://www.theses.fr/2013LYO20044

Chicago Manual of Style (16th Edition):

Roumanos, Rayya. “Les modalités de configuration télévisuelle d’une identité régionale à travers une émission de télé-réalité : Arabité, hybridité et libanité sur la LBC-Sat : Setting up a regional identity through a reality show : Arabism, Libanism, and hybridity on LBC-Sat.” 2013. Doctoral Dissertation, Université Lumière – Lyon II. Accessed November 13, 2019. http://www.theses.fr/2013LYO20044.

MLA Handbook (7th Edition):

Roumanos, Rayya. “Les modalités de configuration télévisuelle d’une identité régionale à travers une émission de télé-réalité : Arabité, hybridité et libanité sur la LBC-Sat : Setting up a regional identity through a reality show : Arabism, Libanism, and hybridity on LBC-Sat.” 2013. Web. 13 Nov 2019.

Vancouver:

Roumanos R. Les modalités de configuration télévisuelle d’une identité régionale à travers une émission de télé-réalité : Arabité, hybridité et libanité sur la LBC-Sat : Setting up a regional identity through a reality show : Arabism, Libanism, and hybridity on LBC-Sat. [Internet] [Doctoral dissertation]. Université Lumière – Lyon II; 2013. [cited 2019 Nov 13]. Available from: http://www.theses.fr/2013LYO20044.

Council of Science Editors:

Roumanos R. Les modalités de configuration télévisuelle d’une identité régionale à travers une émission de télé-réalité : Arabité, hybridité et libanité sur la LBC-Sat : Setting up a regional identity through a reality show : Arabism, Libanism, and hybridity on LBC-Sat. [Doctoral Dissertation]. Université Lumière – Lyon II; 2013. Available from: http://www.theses.fr/2013LYO20044

21. Bahceci, Ertin. Numerical simulation of the linearised Korteweg-de Vries equation : Diploma work (15 HP) Uppsala University Division of scientific computing.

Degree: Engineering Sciences, 2014, Uppsala University

  The first main focus in the present project was to analyse the boundary treatment of the linearised Korteweg-de Vries equation. The second main focus… (more)

Subjects/Keywords: SBP; SAT; SBP-SAT; Korteweg; de; Vries; linearised; numerical; approximation; simulation

…method will be used to time advance the semi-discrete SBP-SAT model and numerically derive a… …study The accuracy and stability of the SBP-SAT approximation will be measured and later… …energy estimate in the continuous case the SBP-SAT method will be used and in this semi… …since −αu2 |0 < dt dt 0 (1) is also stable. The norm u 2.5 2 The SBP-SAT method… …The SAT terms in the SBP-SAT method[8][9] impose boundary conditions… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bahceci, E. (2014). Numerical simulation of the linearised Korteweg-de Vries equation : Diploma work (15 HP) Uppsala University Division of scientific computing. (Thesis). Uppsala University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-229330

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bahceci, Ertin. “Numerical simulation of the linearised Korteweg-de Vries equation : Diploma work (15 HP) Uppsala University Division of scientific computing.” 2014. Thesis, Uppsala University. Accessed November 13, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-229330.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bahceci, Ertin. “Numerical simulation of the linearised Korteweg-de Vries equation : Diploma work (15 HP) Uppsala University Division of scientific computing.” 2014. Web. 13 Nov 2019.

Vancouver:

Bahceci E. Numerical simulation of the linearised Korteweg-de Vries equation : Diploma work (15 HP) Uppsala University Division of scientific computing. [Internet] [Thesis]. Uppsala University; 2014. [cited 2019 Nov 13]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-229330.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bahceci E. Numerical simulation of the linearised Korteweg-de Vries equation : Diploma work (15 HP) Uppsala University Division of scientific computing. [Thesis]. Uppsala University; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-229330

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. Reis, Poliana Magalhães. Análise da distribuição do número de operações de resolvedores SAT.

Degree: Mestrado, Ciência da Computação, 2012, University of São Paulo

No estudo da complexidade de problemas computacionais destacam-se duas classes conhecidas como P e NP. A questao P=NP e um dos maiores problemas nao resolvidos… (more)

Subjects/Keywords: Chaff; Chaff; NP-complete; NP-completo; P=NP; P=NP; SAT; SAT; SAT Solvers; SAT Solvers; zChaff.; zChaff.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Reis, P. M. (2012). Análise da distribuição do número de operações de resolvedores SAT. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012013-220441/ ;

Chicago Manual of Style (16th Edition):

Reis, Poliana Magalhães. “Análise da distribuição do número de operações de resolvedores SAT.” 2012. Masters Thesis, University of São Paulo. Accessed November 13, 2019. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012013-220441/ ;.

MLA Handbook (7th Edition):

Reis, Poliana Magalhães. “Análise da distribuição do número de operações de resolvedores SAT.” 2012. Web. 13 Nov 2019.

Vancouver:

Reis PM. Análise da distribuição do número de operações de resolvedores SAT. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2019 Nov 13]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012013-220441/ ;.

Council of Science Editors:

Reis PM. Análise da distribuição do número de operações de resolvedores SAT. [Masters Thesis]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012013-220441/ ;


Texas A&M University

23. Bian, Kun. Efficient Path Delay Test Generation with Boolean Satisfiability.

Degree: 2013, Texas A&M University

 This dissertation focuses on improving the accuracy and efficiency of path delay test generation using a Boolean satisfiability (SAT) solver. As part of this research,… (more)

Subjects/Keywords: Delay Test; ATPG; SAT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bian, K. (2013). Efficient Path Delay Test Generation with Boolean Satisfiability. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/151900

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bian, Kun. “Efficient Path Delay Test Generation with Boolean Satisfiability.” 2013. Thesis, Texas A&M University. Accessed November 13, 2019. http://hdl.handle.net/1969.1/151900.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bian, Kun. “Efficient Path Delay Test Generation with Boolean Satisfiability.” 2013. Web. 13 Nov 2019.

Vancouver:

Bian K. Efficient Path Delay Test Generation with Boolean Satisfiability. [Internet] [Thesis]. Texas A&M University; 2013. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/1969.1/151900.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bian K. Efficient Path Delay Test Generation with Boolean Satisfiability. [Thesis]. Texas A&M University; 2013. Available from: http://hdl.handle.net/1969.1/151900

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université du Québec à Montréal

24. Monnet, Anthony Jean-Luc. Améliorer l'efficacité de l'algorithme CDCL : décompositions arborescentes de grandes instances, CDCL sans saut arrière et CDCL à ordre partiel.

Degree: 2013, Université du Québec à Montréal

 Cette thèse s'intéresse à l'amélioration des performances pratiques de l'algorithme CDCL (Conftict-Driven Clause Learning) pour la résolution du problème de satisfaisabilité des formules propositionnelles, ou… (more)

Subjects/Keywords: Algorithme CDCL; Problème SAT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Monnet, A. J. (2013). Améliorer l'efficacité de l'algorithme CDCL : décompositions arborescentes de grandes instances, CDCL sans saut arrière et CDCL à ordre partiel. (Thesis). Université du Québec à Montréal. Retrieved from http://archipel.uqam.ca/5863/1/D2535.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Monnet, Anthony Jean-Luc. “Améliorer l'efficacité de l'algorithme CDCL : décompositions arborescentes de grandes instances, CDCL sans saut arrière et CDCL à ordre partiel.” 2013. Thesis, Université du Québec à Montréal. Accessed November 13, 2019. http://archipel.uqam.ca/5863/1/D2535.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Monnet, Anthony Jean-Luc. “Améliorer l'efficacité de l'algorithme CDCL : décompositions arborescentes de grandes instances, CDCL sans saut arrière et CDCL à ordre partiel.” 2013. Web. 13 Nov 2019.

Vancouver:

Monnet AJ. Améliorer l'efficacité de l'algorithme CDCL : décompositions arborescentes de grandes instances, CDCL sans saut arrière et CDCL à ordre partiel. [Internet] [Thesis]. Université du Québec à Montréal; 2013. [cited 2019 Nov 13]. Available from: http://archipel.uqam.ca/5863/1/D2535.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Monnet AJ. Améliorer l'efficacité de l'algorithme CDCL : décompositions arborescentes de grandes instances, CDCL sans saut arrière et CDCL à ordre partiel. [Thesis]. Université du Québec à Montréal; 2013. Available from: http://archipel.uqam.ca/5863/1/D2535.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

25. -5591-465X. Using a statistical model to predict student success in Texas Woman's University mathematics program.

Degree: MS, Mathematics, 2018, Texas Woman's University

 Admission applications from high school students are received yearly by colleges but majority of the students that are being admitted eventually do not graduate. Colleges… (more)

Subjects/Keywords: Predict; Mathematics; Graduation; SAT mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

-5591-465X. (2018). Using a statistical model to predict student success in Texas Woman's University mathematics program. (Masters Thesis). Texas Woman's University. Retrieved from http://hdl.handle.net/11274/10741

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-5591-465X. “Using a statistical model to predict student success in Texas Woman's University mathematics program.” 2018. Masters Thesis, Texas Woman's University. Accessed November 13, 2019. http://hdl.handle.net/11274/10741.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-5591-465X. “Using a statistical model to predict student success in Texas Woman's University mathematics program.” 2018. Web. 13 Nov 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-5591-465X. Using a statistical model to predict student success in Texas Woman's University mathematics program. [Internet] [Masters thesis]. Texas Woman's University; 2018. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/11274/10741.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-5591-465X. Using a statistical model to predict student success in Texas Woman's University mathematics program. [Masters Thesis]. Texas Woman's University; 2018. Available from: http://hdl.handle.net/11274/10741

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


University of Toronto

26. Liu, Feiyuan. Indenpendent Transcription of a Functional Lucerne Transient Streak Virus Satellite RNA and its Packaging Requirement(s).

Degree: 2014, University of Toronto

The satellite RNA of Lucerne Transient Streak Virus (LTSV) is a 322-nucleotide, single-stranded circular RNA. To investigate whether interactions between genomic and satellite RNA are… (more)

Subjects/Keywords: functional; packaging; sat RNA; 0720

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, F. (2014). Indenpendent Transcription of a Functional Lucerne Transient Streak Virus Satellite RNA and its Packaging Requirement(s). (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/68863

Chicago Manual of Style (16th Edition):

Liu, Feiyuan. “Indenpendent Transcription of a Functional Lucerne Transient Streak Virus Satellite RNA and its Packaging Requirement(s).” 2014. Masters Thesis, University of Toronto. Accessed November 13, 2019. http://hdl.handle.net/1807/68863.

MLA Handbook (7th Edition):

Liu, Feiyuan. “Indenpendent Transcription of a Functional Lucerne Transient Streak Virus Satellite RNA and its Packaging Requirement(s).” 2014. Web. 13 Nov 2019.

Vancouver:

Liu F. Indenpendent Transcription of a Functional Lucerne Transient Streak Virus Satellite RNA and its Packaging Requirement(s). [Internet] [Masters thesis]. University of Toronto; 2014. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/1807/68863.

Council of Science Editors:

Liu F. Indenpendent Transcription of a Functional Lucerne Transient Streak Virus Satellite RNA and its Packaging Requirement(s). [Masters Thesis]. University of Toronto; 2014. Available from: http://hdl.handle.net/1807/68863


Colorado State University

27. Chen, Wenxiang. Discovering and harnessing structures in solving application satisfiability instances.

Degree: PhD, Computer Science, 2018, Colorado State University

 Boolean satisfiability (SAT) is the first problem proven to be NP-Complete. It has become a fundamental problem for computational complexity theory, and many real-world problems… (more)

Subjects/Keywords: MAXSAT; SAT; Optimization; Local Search

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, W. (2018). Discovering and harnessing structures in solving application satisfiability instances. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/189292

Chicago Manual of Style (16th Edition):

Chen, Wenxiang. “Discovering and harnessing structures in solving application satisfiability instances.” 2018. Doctoral Dissertation, Colorado State University. Accessed November 13, 2019. http://hdl.handle.net/10217/189292.

MLA Handbook (7th Edition):

Chen, Wenxiang. “Discovering and harnessing structures in solving application satisfiability instances.” 2018. Web. 13 Nov 2019.

Vancouver:

Chen W. Discovering and harnessing structures in solving application satisfiability instances. [Internet] [Doctoral dissertation]. Colorado State University; 2018. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/10217/189292.

Council of Science Editors:

Chen W. Discovering and harnessing structures in solving application satisfiability instances. [Doctoral Dissertation]. Colorado State University; 2018. Available from: http://hdl.handle.net/10217/189292


ITESO – Universidad Jesuita de Guadalajara

28. Arias-Rivas, Felipe J. Las facultades de gestión del Servicio de Administración Tributaria a la luz del derecho humano a la seguridad jurídica en México .

Degree: 2018, ITESO – Universidad Jesuita de Guadalajara

Subjects/Keywords: Seguridad Jurídica; Servicio de Administración Tributaria SAT; Facultades de Gestión; Derechos Humanos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arias-Rivas, F. J. (2018). Las facultades de gestión del Servicio de Administración Tributaria a la luz del derecho humano a la seguridad jurídica en México . (Thesis). ITESO – Universidad Jesuita de Guadalajara. Retrieved from http://hdl.handle.net/11117/5237

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Arias-Rivas, Felipe J. “Las facultades de gestión del Servicio de Administración Tributaria a la luz del derecho humano a la seguridad jurídica en México .” 2018. Thesis, ITESO – Universidad Jesuita de Guadalajara. Accessed November 13, 2019. http://hdl.handle.net/11117/5237.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Arias-Rivas, Felipe J. “Las facultades de gestión del Servicio de Administración Tributaria a la luz del derecho humano a la seguridad jurídica en México .” 2018. Web. 13 Nov 2019.

Vancouver:

Arias-Rivas FJ. Las facultades de gestión del Servicio de Administración Tributaria a la luz del derecho humano a la seguridad jurídica en México . [Internet] [Thesis]. ITESO – Universidad Jesuita de Guadalajara; 2018. [cited 2019 Nov 13]. Available from: http://hdl.handle.net/11117/5237.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Arias-Rivas FJ. Las facultades de gestión del Servicio de Administración Tributaria a la luz del derecho humano a la seguridad jurídica en México . [Thesis]. ITESO – Universidad Jesuita de Guadalajara; 2018. Available from: http://hdl.handle.net/11117/5237

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

29. BOTELHO, Sandra Paula Sarinho. Planejamento, síntese e análise in silico de novos N-heterociclos .

Degree: 2014, Universidade Federal de Pernambuco

 A síntese de fármacos é uma das áreas da Química Medicinal responsável pelo desenvolvimento de novas moléculas com propriedades bioativas que podem ser utilizadas como… (more)

Subjects/Keywords: N-heterociclos; Síntese de fármacos; Olanzapina; Piridobenzodiazepinas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

BOTELHO, S. P. S. (2014). Planejamento, síntese e análise in silico de novos N-heterociclos . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/14010

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

BOTELHO, Sandra Paula Sarinho. “Planejamento, síntese e análise in silico de novos N-heterociclos .” 2014. Thesis, Universidade Federal de Pernambuco. Accessed November 13, 2019. http://repositorio.ufpe.br/handle/123456789/14010.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

BOTELHO, Sandra Paula Sarinho. “Planejamento, síntese e análise in silico de novos N-heterociclos .” 2014. Web. 13 Nov 2019.

Vancouver:

BOTELHO SPS. Planejamento, síntese e análise in silico de novos N-heterociclos . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2014. [cited 2019 Nov 13]. Available from: http://repositorio.ufpe.br/handle/123456789/14010.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

BOTELHO SPS. Planejamento, síntese e análise in silico de novos N-heterociclos . [Thesis]. Universidade Federal de Pernambuco; 2014. Available from: http://repositorio.ufpe.br/handle/123456789/14010

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

30. Izabel Freire de Souza, Marcia. Síntese de novos derivados da Nitrofurantoína e avaliação de suas atividades biológicas .

Degree: 2011, Universidade Federal de Pernambuco

 Endêmica em 21 países da América Latina, a doença de Chagas mata, todos os anos, mais pessoas na região do que qualquer outra doença parasitária,… (more)

Subjects/Keywords: Doença de chagas; Nitrocompostos; Nitrofurantoína; N-Alquilação

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Izabel Freire de Souza, M. (2011). Síntese de novos derivados da Nitrofurantoína e avaliação de suas atividades biológicas . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/3661

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Izabel Freire de Souza, Marcia. “Síntese de novos derivados da Nitrofurantoína e avaliação de suas atividades biológicas .” 2011. Thesis, Universidade Federal de Pernambuco. Accessed November 13, 2019. http://repositorio.ufpe.br/handle/123456789/3661.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Izabel Freire de Souza, Marcia. “Síntese de novos derivados da Nitrofurantoína e avaliação de suas atividades biológicas .” 2011. Web. 13 Nov 2019.

Vancouver:

Izabel Freire de Souza M. Síntese de novos derivados da Nitrofurantoína e avaliação de suas atividades biológicas . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2011. [cited 2019 Nov 13]. Available from: http://repositorio.ufpe.br/handle/123456789/3661.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Izabel Freire de Souza M. Síntese de novos derivados da Nitrofurantoína e avaliação de suas atividades biológicas . [Thesis]. Universidade Federal de Pernambuco; 2011. Available from: http://repositorio.ufpe.br/handle/123456789/3661

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4] [5] … [12971]

.