Artículos de revistas: "SAT"

1

Nieuwenhuis, Robert, Albert Oliveras y Cesare Tinelli. "Solving SAT and SAT Modulo Theories". Journal of the ACM 53, n.º 6 (noviembre de 2006): 937–77. http://dx.doi.org/10.1145/1217856.1217859.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Dal Palù, Alessandro, Agostino Dovier, Andrea Formisano y Enrico Pontelli. "CUD@SAT: SAT solving on GPUs". Journal of Experimental & Theoretical Artificial Intelligence 27, n.º 3 (5 de septiembre de 2014): 293–316. http://dx.doi.org/10.1080/0952813x.2014.954274.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Ganian, Robert y Stefan Szeider. "New width parameters for SAT and #SAT". Artificial Intelligence 295 (junio de 2021): 103460. http://dx.doi.org/10.1016/j.artint.2021.103460.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Magaji, Buhari, Nasiru Yahaya Pindiga y Ibrahim Mohammed Bida. "Synthesis of TiO\(_2\) Impregnated Ribes nigrum Stem Nanoactivated Carbon and their Application to Remove Heavy Metals". Asian Journal of Chemical Sciences 14, n.º 2 (26 de marzo de 2024): 149–60. http://dx.doi.org/10.9734/ajocs/2024/v14i2300.

Texto completo

Resumen

Nanoactivated carbons from Ribes nigrum (black currant) stem were prepared using two-step procedure with excellent yield and were characterized using different spectroscopic techniques. The FTIR spectroscopy revealed O-H, C=C, C=N, and C-O stretching. XRD analysis revealed the particle sizes as 29.57 nm for stem activated carbon (SAC) and 26.55 nm for stem activated carbon impregnated with titanium (SAT) while, the morphology of the SAC and SAT were revealed by SEM to be spherical, granular and porous. The prepared nanoactivated materials were used for removal of Pb2+ and Cd2+ from aqueous solution. The influences of initial metal ion concentration, agitation time, adsorbent dose, temperature and pH were studied in batch experiments at room temperature. The adsorption equilibriums were rapid at 60 min of agitation for Pb2+ and Cd2+ on SAT with appreciable %removal. The adsorption data for Pb2+ and Cd2+ on SAT fitted well into Freundlich isotherm than Langmuir given correlation coefficient (R2) very close to unity and appreciable maximum adsorption capacity KF > 1.00. The fitting into Freundlich indicates multilayer coverage on the adsorbents. The kinetic studies showed good correlation coefficient for a pseudo-second order kinetic model for the SAT. The enthalpies of the adsorption process are: +12.754 and +18.377 KJ mol-1 for Pb2+ and Cd2+ on SAT respectively. The entropies of the adsorption process were also evaluated and have been found to be +41.805 and +12.151 KJ mol-1 for Pb2+ and Cd2+ on SAT. The results showed that SAT has the potential to be applied as alternative low-cost nanoadsorbents in the remediation of metal contamination in water.

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Sugawa, Oka y I. Putu Suhada Agung. "Strategi Manajemen Acara Festival Sinema Akhir Tahun (SAT) Sebagai Jalur Ekshibisi Film Tahun 2019 - 2021". CandraRupa : Journal of Art, Design, and Media 3, n.º 1 (7 de marzo de 2024): 10–21. http://dx.doi.org/10.37802/candrarupa.v3i1.580.

Texto completo

Resumen

Sinema Akhir Tahun (SAT) merupakan festival film kampus yang diselenggarakan oleh mahasiswa Prodi Film dan Televisi (FTV) Institut Seni Indonesia (ISI) Surakarta. SAT diselenggarakan sebagai distribusi alternatif, supaya para pembuat film, komunitas independen dan mahasiswa dapat menayangkan karyanya. Penelitian ini berfokus pada analisis manajemen acara SAT pada tahun 2019, 2020, dan 2021. Pemilihan tiga tahun tersebut untuk mengetahui strategi manajemen acara SAT sebelum pandemi, saat pandemi dan setelah pandemi. Penelitian ini menggunakan metode penelitian deskriptif kualitatif. Data dikumpulkan dengan wawancara narasumber kunci, studi dokumentasi berupa arsip dan laporan kegiatan, serta triangulasi sumber data. Analisis data SWOT digunakan untuk mengetahui strategi dan aspek evaluatif pada konsep Management Event Joe Goldblatt yang terdiri dari research, design, planning, coordinating, dan evaluation. Hasil penelitian menunjukkan bahwa penyelenggaraan SAT 2019, 2020, dan 2021 terbukti mampu menjadi embrio festival film mahasiswa di Indonesia yang diinisiasi oleh kampus.

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Gregg, Kevin R. "Japan's SAT?" Science 260, n.º 5106 (16 de abril de 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.a.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

McLeod, Norman. "Japan's SAT?" Science 260, n.º 5106 (16 de abril de 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.b.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Carroll, John J. "Japan's SAT?" Science 260, n.º 5106 (16 de abril de 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.c.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Carroll, John J. "Japan's SAT?" Science 260, n.º 5106 (16 de abril de 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-c.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Obradović, Nadežda y Vida Ognjenović. "Stari sat". World Literature Today 72, n.º 1 (1998): 170. http://dx.doi.org/10.2307/40153662.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

Gregg, K. R. "Japan's SAT?" Science 260, n.º 5106 (16 de abril de 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

MCLeod, N. "Japan's SAT?" Science 260, n.º 5106 (16 de abril de 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-a.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

Carroll, J. J. "Japan's SAT?" Science 260, n.º 5106 (16 de abril de 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-b.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Kim, S. W. "Japan's SAT". Science 260, n.º 5106 (16 de abril de 1993): 278. http://dx.doi.org/10.1126/science.8469978.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Cartron, J. P. y Ph Rouger. "SAT 93′". Transfusion Clinique et Biologique 1, n.º 1 (enero de 1994): 8. http://dx.doi.org/10.1016/s1246-7820(05)80049-7.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Ruiz, Esmeralda. "Distributed SAT". Artificial Intelligence Review 35, n.º 3 (29 de diciembre de 2010): 265–85. http://dx.doi.org/10.1007/s10462-010-9194-6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Gocht, Stephan y Tomáš Balyo. "Accelerating SAT Based Planning with Incremental SAT Solving". Proceedings of the International Conference on Automated Planning and Scheduling 27 (5 de junio de 2017): 135–39. http://dx.doi.org/10.1609/icaps.v27i1.13798.

Texto completo

Resumen

One of the most successful approaches to automated planning is the translation to propositional satisfiability (SAT). We employ incremental SAT solving to increase the capabilities of several modern encodings for SAT based planning. Experiments based on benchmarks from the 2014 International Planning Competition show that an incremental approach significantly outperforms non incremental solving. Although we are using sequential scheduling of makespans, we can outperform the state-of-the-art SAT based planning system Madagascar in the number of solved instances.

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Xie, Yang y Ankur Srivastava. "Anti-SAT: Mitigating SAT Attack on Logic Locking". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 38, n.º 2 (febrero de 2019): 199–207. http://dx.doi.org/10.1109/tcad.2018.2801220.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Avidor, Adi y Uri Zwick. "Approximating MIN 2-SAT and MIN 3-SAT". Theory of Computing Systems 38, n.º 3 (14 de abril de 2005): 329–45. http://dx.doi.org/10.1007/s00224-005-1140-7.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Blašková, Martina, Dominika Tumová, Rudolf Blaško y Justyna Majchrzak-Lepczyk. "Spirals of Sustainable Academic Motivation, Creativity, and Trust of Higher Education Staff". Sustainability 13, n.º 13 (23 de junio de 2021): 7057. http://dx.doi.org/10.3390/su13137057.

Texto completo

Resumen

Sustainability has to penetrate more and more into higher education. It should not focus only on traditional elements. It should also enter new, but for future improvement, extremely important areas. Based on this premise, creativity and motivation, when additionally interconnected and supported by trust that is provided and achieved, decide on the progress and sustainability of universities. This connection is gaining importance especially from the point of view of building solid foundations and mechanisms that functionally preserve the potential effects of these elements in the future. For this reason and following the nature, importance, and content of sustainable academic motivation (SAM), the paper introduces two new concepts: sustainable academic creativity (SAC) and sustainable academic trust (SAT). For further original contributions, the paper hypothesizes the existence of mutual—spiral—relations of sustainable academic motivation (SAM), sustainable academic creativity (SAC), and sustainable academic trust (SAT). The empirical section tests the validity of this claim in the universities of two countries: the Slovak Republic and Poland. A survey performed on a sample of n=181 pedagogical, scientific, management, and administrative staff in higher education confirms the existence of these spirals. The results indicate the spiral effect of motivation when connected with creativity and trust and show that it is accented by the crucial principles of sustainability (responsibility, novelty, usefulness, progress, etc.). Therefore, the paper’s conclusion contains the explanations for the potential occurrence of three types of sustainably mutual systems and complexes. These are: (a) individual sustainable systems of SAM, SAC, and SAT; (b) group/sectional sustainable systems of SAM, SAC, and SAT; and (c) the global sustainable complex of SAM, SAC, and SAT in the university.

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Heeran, Aisling B., Jessica McCready, Margaret R. Dunne, Noel E. Donlon, Timothy S. Nugent, Anshul Bhardwaj, Kathleen A. J. Mitchelson et al. "Opposing Immune-Metabolic Signature in Visceral Versus Subcutaneous Adipose Tissue in Patients with Adenocarcinoma of the Oesophagus and the Oesophagogastric Junction". Metabolites 11, n.º 11 (10 de noviembre de 2021): 768. http://dx.doi.org/10.3390/metabo11110768.

Texto completo

Resumen

Oesophageal adenocarcinoma (OAC) is an exemplar model of obesity-associated cancer. Previous work in our group has demonstrated that overweight/obese OAC patients have better responses to neoadjuvant therapy, but the underlying mechanisms are unknown. Unravelling the immune–metabolic signatures of adipose tissue may provide insight for this observation. We hypothesised that different metabolic pathways predominate in visceral (VAT) and subcutaneous adipose tissue (SAT) and inflammatory secretions will differ between the fat depots. Real-time ex vivo metabolic profiles of VAT and SAT from 12 OAC patients were analysed. These samples were screened for the secretion of 54 inflammatory mediators, and data were correlated with patient body composition. Oxidative phosphorylation (OXPHOS) was significantly higher in VAT when compared to SAT. OXPHOS was significantly higher in the SAT of patients receiving neoadjuvant treatment. VEGF-A, VEGF-C, P1GF, Flt-1, bFGF, IL-15, IL-16, IL-17A, CRP, SAA, ICAM-1, VCAM-1, IL-2, IL-13, IFN-γ, and MIP-1β secretions were significantly higher from VAT than SAT. Higher levels of bFGF, Eotaxin-3, and TNF-α were secreted from the VAT of obese patients, while higher levels of IL-23 and TARC were secreted from the SAT of obese patients. The angiogenic factors, bFGF and VEGF-C, correlated with visceral fat area. Levels of OXPHOS are higher in VAT than SAT. Angiogenic, vascular injury and inflammatory cytokines are elevated in VAT versus SAT, indicating that VAT may promote inflammation, linked to regulating treatment response.

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Hannon, Brenda. "General and non-general intelligence factors simultaneously influence SAT, SAT-V, and SAT-M performance". Intelligence 59 (noviembre de 2016): 51–63. http://dx.doi.org/10.1016/j.intell.2016.07.002.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

GARPELLI, Lia Nogueira y Didier GASTMANS. "Potencial hidromineral dos aquíferos do estado de São Paulo". Pesquisas em Geociências 47, n.º 3 (17 de diciembre de 2020): e100458. http://dx.doi.org/10.22456/1807-9806.109987.

Texto completo

Resumen

O estado de São Paulo lidera a produção brasileira de água mineral. Devido ao seu complexo arcabouço hidrogeológico, composto por vários aquíferos sedimentares e fraturados, as águas minerais apresentam diferentes características hidrominerais. Assim, o principal objetivo foi avaliar o potencial hidromineral dos aquíferos paulistas, fundamentado pelo Código de Águas Minerais (CAM) e legislações internacionais correlatas, a partir de uma base de dados pública de laudos analíticos de 276 poços de águas subterrâneas da Companhia Ambiental do Estado de São Paulo (CETESB). Baseado nas concentrações de Sólidos Totais Dissolvidos (STD), observou-se que as águas subterrâneas possuem grau variável de mineralização, sendo as águas mais mineralizadas associadas aos sistemas aquíferos Serra Geral (SASG), Tubarão (SAT) e Bauru (SAB). Entretanto, apenas 8,7% das águas se enquadrariam como mínimo e baixo teores de STD pela legislação dos Estados Unidos. Similarmente, apenas duas amostras seriam enquadradas como muito pouco mineralizadas e 81,5% em pouco mineralizadas pela legislação europeia. Pelas classificações dispostas pelo CAM, as amostras foram caracterizadas pela temperatura, predominantemente, como frias e hipotermais, e uma pequena parcela como mesotermais e hipotermais. As águas mais frias prevaleceram no aquífero Cristalino (SAC), enquanto as águas de maiores temperaturas ocorreram no Guarani (SAG). Todo os aquíferos possuíram potencial hidromineral pela classificação química, pela concentração de flúor, seguido em ordem decrescente, pelo lítio no SAC, o vanádio no SASG, a alcalina bicarbonato no SAT, sulfato e selênio de forma mista no SAT e SASG.

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Kaplan, Jack. "The Effectiveness of SAT Coaching on Math SAT Scores". CHANCE 18, n.º 2 (marzo de 2005): 25–34. http://dx.doi.org/10.1080/09332480.2005.10722718.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Alyahya, Tasniem Nasser, Mohamed El Bachir Menai y Hassan Mathkour. "On the Structure of the Boolean Satisfiability Problem: A Survey". ACM Computing Surveys 55, n.º 3 (30 de abril de 2023): 1–34. http://dx.doi.org/10.1145/3491210.

Texto completo

Resumen

The Boolean satisfiability problem (SAT) is a fundamental NP-complete decision problem in automated reasoning and mathematical logic. As evidenced by the results of SAT competitions, the performance of SAT solvers varies substantially between different SAT categories (random, crafted, and industrial). A suggested explanation is that SAT solvers may exploit the underlying structure inherent to SAT instances. There have been attempts to define the structure of SAT in terms of structural measures such as phase transition, backbones, backdoors, small-world, scale-free, treewidth, centrality, community, self-similarity, and entropy. Still, the empirical evidence of structural measures for SAT has been provided for only some SAT categories. Furthermore, the evidence has not been theoretically proven. Also, the impact of structural measures on the behavior of SAT solvers has not been extensively examined. This work provides a comprehensive study on structural measures for SAT that have been presented in the literature. We provide an overview of the works on structural measures for SAT and their relatedness to the performance of SAT solvers. Accordingly, a taxonomy of structural measures for SAT is presented. We also review in detail important applications of structural measures for SAT, focusing mainly on enhancing SAT solvers, generating SAT instances, and classifying SAT instances.

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Hannon, Brenda. "Not All Factors Contribute Equally to European-American and Hispanic Students’ SAT Scores". Journal of Intelligence 7, n.º 3 (1 de agosto de 2019): 18. http://dx.doi.org/10.3390/jintelligence7030018.

Texto completo

Resumen

This exploratory study shows that the contributions of cognitive, metacognitive awareness, performance avoidance, test anxiety, and socioeconomic family background factors to SAT scores (i.e., overall SAT, SAT-V, SAT-M) may vary as a function of ethnicity (i.e., European-American, Hispanic). Four hundred and fifty-seven students, 282 European-American and 175 Hispanic, completed multiple measures of cognitive, metacognitive awareness, social/personality (i.e., test anxiety, performance avoidance, academic self-efficacy), and socioeconomic family background factors, which were used in regression analyses predicting overall SAT, SAT-V, and SAT-M scores. The results show that most factors contributed significantly to overall SAT, SAT-M, and SAT-V scores. In addition, the ethnicity X test anxiety interaction was significant for all three SAT measures, a finding that suggests ethnic differences in the contributions of test anxiety to overall SAT, SAT-M, and SAT-V scores. For European-American students, test anxiety had no influence on overall SAT and SAT-M scores, whereas for Hispanic students test anxiety had a negative influence on overall SAT and SAT-M scores. For SAT-V scores, interpreting the ethnicity X test anxiety interaction was more complicated because both the significant main effect of test anxiety and the ethnicity X test anxiety interaction must be interpreted together. Whereas test anxiety negatively influenced European-Americans’ SAT-V scores, this negative influence was less than the influence it had on Hispanic students’ SAT-V scores. Indeed, for Hispanic students with high test anxiety, this negative influence was profound. Taken as a whole, these results suggest that any theory explaining the SAT may need to take into account multiple predictors as well as the possibility that the contributions of these predictors may vary as a function of ethnicity.

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Rosales, José Carlos y María Ángeles Moreno-Frías. "The Covariety of Saturated Numerical Semigroups with Fixed Frobenius Number". Foundations 4, n.º 2 (3 de junio de 2024): 249–62. http://dx.doi.org/10.3390/foundations4020016.

Texto completo

Resumen

In this work, we show that if F is a positive integer, then Sat(F)={S∣S is a saturated numerical semigroup with Frobenius number F} is a covariety. As a consequence, we present two algorithms: one that computes Sat(F), and another which computes all the elements of Sat(F) with a fixed genus. If X⊆S\Δ(F) for some S∈Sat(F), then we see that there exists the least element of Sat(F) containing X. This element is denoted by Sat(F)[X]. If S∈Sat(F), then we define the Sat(F)-rank of S as the minimum of {cardinality(X)∣S=Sat(F)[X]}. In this paper, we present an algorithm to compute all the elements of Sat(F) with a given Sat(F)-rank.

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Heule, Marijn J. H., Matti Järvisalo y Martin Suda. "SAT Competition 2018". Journal on Satisfiability, Boolean Modeling and Computation 11, n.º 1 (1 de septiembre de 2019): 133–54. http://dx.doi.org/10.3233/sat190120.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Lyons, P. D. "She Sat Crying". Books Ireland, n.º 229 (2000): 75. http://dx.doi.org/10.2307/20632050.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Vigdor, Jacob L. y Charles T. Clotfelter. "Retaking the SAT". Journal of Human Resources XXXVIII, n.º 1 (2003): 1–33. http://dx.doi.org/10.3368/jhr.xxxviii.1.1.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Froleyks, Nils, Marijn Heule, Markus Iser, Matti Järvisalo y Martin Suda. "SAT Competition 2020". Artificial Intelligence 301 (diciembre de 2021): 103572. http://dx.doi.org/10.1016/j.artint.2021.103572.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Vigdor, Jacob L. y Charles T. Clotfelter. "Retaking the SAT". Journal of Human Resources 38, n.º 1 (2003): 1. http://dx.doi.org/10.2307/1558754.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Hannon, Brenda. "Hispanics’ SAT Scores". Hispanic Journal of Behavioral Sciences 37, n.º 2 (24 de marzo de 2015): 204–22. http://dx.doi.org/10.1177/0739986315573249.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Bracey, Gerald W. "The SAT Elite". Phi Delta Kappan 83, n.º 5 (enero de 2002): 351–420. http://dx.doi.org/10.1177/003172170208300506.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Scott, Helen y Christina Dusej. "The Sat Program". Australian Journal of Career Development 2, n.º 3 (septiembre de 1993): 10–11. http://dx.doi.org/10.1177/103841629300200305.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Conte, Gian Biagio. "Petronius, Sat. 141.4". Classical Quarterly 37, n.º 2 (diciembre de 1987): 529–32. http://dx.doi.org/10.1017/s0009838800030834.

Texto completo

Resumen

These are the very last words of Eumolpus' testament. The editors all print them thus, but I suspect a hidden corruption indevoverint. The text may seem to have an acceptable meaning, but only on a superficial reading inattentive to the whole context. A certain exegetical discomfort becomes noticeable if the translations are compared: Ernout renders ‘maudire mon âme’, Ehlers in Müller's second and third editions translates ‘sie meinen letzten Atemzug herbeiwünschten’ (thus givingspiritusa strained translation as though it were extremus orultimus spiritus), and Cesareo- Terzaghi's edition (under Pasquali's supervision) prefers to render with a nuance of the future ‘con quel cuore stesso con cui mi avranno maledetto l'anima’. Obviously,devovereis being understood as synonymous withexsecrari. This is an attested secondary meaning, ‘curse’, ‘execrate’, which developed from the technical religious one connected with the ritual ofdevotio. According to this interpretation, the captatores cursed the fact that Eumolpus, apparently a sick man on the verge of death, continued to live longer than they could reasonably have expected when they began to court him. But the expression does not seem adequate for conveying this meaning: instead, we would expect something likevitam meam devoverint or me et caput meum devoverintor, better,me ad mortem devoverint, or similarly explicit expressions.

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Schöning, Uwe. "Das SAT-Problem". Informatik-Spektrum 33, n.º 5 (28 de julio de 2010): 479–83. http://dx.doi.org/10.1007/s00287-010-0459-x.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Balyo, Tomáš, Armin Biere, Markus Iser y Carsten Sinz. "SAT Race 2015". Artificial Intelligence 241 (diciembre de 2016): 45–65. http://dx.doi.org/10.1016/j.artint.2016.08.007.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Griffiths, PD. "Sat-Nav virology". Reviews in Medical Virology 18, n.º 5 (septiembre de 2008): 291–92. http://dx.doi.org/10.1002/rmv.594.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Brockdorff, Neil. "SAT in Silence". Developmental Cell 16, n.º 4 (abril de 2009): 483–84. http://dx.doi.org/10.1016/j.devcel.2009.03.013.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Escoffier, Bruno y Vangelis Th Paschos. "Differential approximation of min sat, max sat and related problems". European Journal of Operational Research 181, n.º 2 (septiembre de 2007): 620–33. http://dx.doi.org/10.1016/j.ejor.2005.04.057.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Demri, Stéphane. "3-SAT = SAT for a class of normal modal logics". Information Processing Letters 54, n.º 5 (junio de 1995): 281–87. http://dx.doi.org/10.1016/0020-0190(95)00060-p.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Ganai, Malay K., Aarti Gupta, Zijiang Yang y Pranav Ashar. "Efficient distributed SAT and SAT-based distributed Bounded Model Checking". International Journal on Software Tools for Technology Transfer 8, n.º 4-5 (5 de abril de 2006): 387–96. http://dx.doi.org/10.1007/s10009-005-0203-z.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Lake, Jordan E., Carlee Moser, Liz Johnston, Clara Magyar, Scott D. Nelson, Kristine M. Erlandson, Todd T. Brown y Grace A. McComsey. "CT Fat Density Accurately Reflects Histologic Fat Quality in Adults With HIV On and Off Antiretroviral Therapy". Journal of Clinical Endocrinology & Metabolism 104, n.º 10 (11 de abril de 2019): 4857–64. http://dx.doi.org/10.1210/jc.2018-02785.

Texto completo

Resumen

Abstract Context Microscopic measurement of adipocyte size is the gold standard for determining adipose tissue (AT) quality. AT density on CT may also reflect adipocyte quality (lower density = poorer quality). Objective We used abdominal subcutaneous AT (SAT) specimens and CT scans to validate CT SAT density as a marker of SAT quality in adults living with HIV. Setting and Design Secondary data analysis from completed trial of antiretroviral therapy (ART) initiation (ACTG A5224s). CT abdominal SAT density was measured in HU. SAT specimens were digitally scanned for calculation of mean adipocyte area. Participants Participants had SAT biopsy and CT data at baseline (n = 54) and HIV-1 RNA <50 copies per milliliter on ART and biopsy or CT data at week 96 (n = 30). Outcome Measures Spearman correlations and linear regression models adjusting for participant characteristics examined associations between SAT density and adipocyte area. Results Baseline median age was 40 years, CD4+ T lymphocyte count 219 cells per cubic millimeter, and body mass index 26.0 kg/m2; 89% were male and 67% white. Median SAT area and density were 199 cm2 and −100 HU. Over 96 weeks, SAT area increased (+18%) and SAT density decreased (−3%). Mean SAT adipocyte area correlated with SAT density (P < 0.01) off and on ART after adjustment for SAT area, age, race, sex, CD4+ T lymphocyte count, and HIV-1 RNA. Conclusions CT SAT density correlates with biopsy-quantified SAT adipocyte size in adults with HIV on and off ART, suggesting that CT is a useful tool for noninvasive assessment of SAT quality.

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Uemura, Satoshi, Sayaka Yoshida, Fumi Shishido y Jin-ichi Inokuchi. "The Cytoplasmic Tail of GM3 Synthase Defines Its Subcellular Localization, Stability, and In Vivo Activity". Molecular Biology of the Cell 20, n.º 13 (julio de 2009): 3088–100. http://dx.doi.org/10.1091/mbc.e08-12-1219.

Texto completo

Resumen

GM3 synthase (SAT-I) is the primary glycosyltransferase responsible for the biosynthesis of ganglio-series gangliosides. In this study, we identify three isoforms of mouse SAT-I proteins, named M1-SAT-I, M2-SAT-I, and M3-SAT-I, which possess distinct lengths in their NH2-terminal cytoplasmic tails. These isoforms are produced by leaky scanning from mRNA variants of mSAT-Ia and mSAT-Ib. M2-SAT-I and M3-SAT-I were found to be localized in the Golgi apparatus, as expected, whereas M1-SAT-I was exclusively found in the endoplasmic reticulum (ER). Specific multiple arginines (R) arranged in an R-based motif, RRXXXXR necessary for ER targeting, were found in the cytoplasmic tail of M1-SAT-I, and in vivo GM3 biosynthesis by M1-SAT-I was very low because of restricted transport to the Golgi apparatus. In addition, M1-SAT-I and M3-SAT-I had a long half-life relative to M2-SAT-I. This is the first report demonstrating the presence of an ER-targeting R-based motif in the cytoplasmic tail of a protein in the mammalian glycosyltransferase family of enzymes. The system, which produces SAT-I isoforms having distinct characteristics, is likely to be of critical importance for the regulation of GM3 biosynthesis under various pathological and physiological conditions.

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

López-Cruces, Juan Luis. "Lucilius contre Amphion (Sat. I 1)". Hermes 148, n.º 4 (2020): 481. http://dx.doi.org/10.25162/hermes-2020-0033.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Кондратьев, В. С., А. А. Семенов y О. С. Заикин. "Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions". Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), n.º 1 (20 de enero de 2019): 54–66. http://dx.doi.org/10.26089/nummet.v20r106.

Texto completo

Resumen

Изучен феномен повторного порождения конфликтных ограничений SAT-решателями в процессе работы с трудными экземплярами задачи о булевой выполнимости. Данный феномен является следствием применения эвристических механизмов чистки конфликтных баз, которые реализованы во всех современных SAT-решателях, основанных на алгоритме CDCL (Conflict Driven Clause Learning). Описана новая техника, которая позволяет отслеживать повторно порождаемые дизъюнкты и запрещать их последующее удаление. На базе предложенных технических решений построен новый многопоточный SAT-решатель (SAT, SATisfiability), который на ряде SAT-задач, кодирующих обращение криптографических хеш-функций, существенно превзошел по эффективности многопоточные решатели, занимавшие в последние годы высокие места на специализированных соревнованиях. A phenomenon of conflict clauses generated repeatedly by SAT solvers is studied. Such clauses may appear during solving hard Boolean satisfiability problems (SAT). This phenomenon is caused by the fact that the modern SAT solvers are based on the CDCL algorithm that generates conflict clauses. A database of such clauses is periodically and partially cleaned. A new approach for practical SAT solving is proposed. According to this approach, the repeatedly generated conflict clauses are tracked, whereas their further generation is prohibited. Based on this approach, a multithreaded SAT solver was developed. This solver was compared with the best multithreaded SAT solvers awarded during the last SAT competitions. According to the experimental results, the developed solver greatly outperforms its competitors on several SAT instances encoding the inversion of some cryptographic hash functions.

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Hanssen, Jaap L. J., Robert J. P. van der Wal, Henrica M. J. van der Linden, Joffrey van Prehn, Henk Scheper y Mark G. J. de Boer. "Dosing and treatment duration of suppressive antimicrobial therapy in orthopedic implant infections: a cohort study". Journal of Bone and Joint Infection 9, n.º 3 (4 de junio de 2024): 149–59. http://dx.doi.org/10.5194/jbji-9-149-2024.

Texto completo

Resumen

Abstract. Introduction: Limited data inform about the optimal dosing and duration of suppressive antimicrobial therapy (SAT) for orthopedic implant infection (OII). We aimed to compare the effectiveness of low-dosage with standard-dosage SAT and evaluate the safety of stopping SAT. Methods: All patients with OII treated with SAT from 2011 to 2022 were retrospectively included. Data were extracted from electronic patient files. Low-dosage SAT was defined as antimicrobial therapy dosed lower than the standard dosage recommended for OII. The association of dosing strategy and other factors with failure-free survival were assessed by Kaplan–Meier and Cox proportional hazard models. Results: One-hundred-and-eight patients were included. The median follow-up time after SAT initiation was 21 months (interquartile range (IQR) 10–42 months). SAT was successful in 74 patients (69 %). Low-dosage SAT (n=82) was not associated with failure in univariate (hazard ratio (HR) 1.23, 95 % confidence interval (CI) 0.53–2.83) and multivariate analyses (HR 1.24, 95 % CI 0.54–2.90). In 25 patients (23 %), SAT was stopped after a median treatment duration of 26 months. In this group, one patient (4 %) developed a relapse. Conclusions: In this study, low-dosage SAT was as effective as standard dosage SAT. Moreover, stopping SAT after 2 to 3 years may be justified in patients with a good clinical course. These findings warrant further research on optimal dosing and duration of SAT and on the durability of in vivo biofilms.

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Hannon, Brenda. "Test anxiety and performance-avoidance goals explain gender differences in SAT-V, SAT-M, and overall SAT scores". Personality and Individual Differences 53, n.º 7 (noviembre de 2012): 816–20. http://dx.doi.org/10.1016/j.paid.2012.06.003.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Jarusutthirak, C., G. Amy y D. Foss. "Potable reuse of wastewater effluent through an integrated soil aquifer treatment (SAT) - membrane system". Water Supply 3, n.º 3 (1 de junio de 2003): 25–33. http://dx.doi.org/10.2166/ws.2003.0004.

Texto completo

Resumen

Soil aquifer treatment (SAT) has been shown to provide significant reductions of wastewater effluent organic matter (EfOM). While SAT can renovate wastewater effluent to levels commensurate with potable reuse, SAT represents only a single treatment barrier. Membrane filtration has been demonstrated to be an alternative treatment process for wastewater reclamation. However, the performance of membrane filtration is significantly constrained by membrane fouling, reducing membrane productivity in terms of flux decline. Soil aquifer treatment (SAT) is used as a primary barrier in the reclamation system to remove a complex suite of chemical and biological contaminants in wastewater. This study of membrane filtration of SAT-source waters is intended to determine the benefits of the SAT system in terms of membrane fouling reduction with membrane filtration providing a secondary barrier. Membrane treatment of SAT-recovered water provides a multiple barrier exhibiting additional organic matter removal. Moreover, the SAT system also provides for storage of reclaimed water. The synergy between SAT and membrane treatment has led to the concept of an integrated SAT-membrane system for potable reuse.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Artículos de revistas sobre el tema "SAT"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros