The focus of this study was to investigate "principals' administrative competence and teachers work performance" in Calabar Education zone. Four null hypotheses were tested in the course of the study. Correlational research design was adopted, while purposive sampling technique was used in selecting a sample of 800 teachers. Two instruments were used for data collection including "Principals' Administrative Competence Questionnaire (PACQ)," and Teachers' Work Performance Questionnaire (TWPQ)." Pearson Product Moment Correlation Analysis (r) and multiple regression (R) analysis were employed to (...) test the hypotheses at.05 level of significance were applicable, with the aid of SPSS v21. Findings from the study revealed that; principals' supervisory, leadership and communication competences are significantly related to teachers' work performance in terms of instructional delivery, attendance to classes, notes writing, and record keeping respectively. It was also revealed that; principals' supervisory, leadership and communication competences have significant composite influence on teachers' work performance in terms of instructional delivery (p <.05; F = 26.764), attendance to classes (p <.05; F = 109.122), notes writing (p <.05; F = 228.118), and record keeping (P <.05; F = 468.793). Based on these findings, it was recommended amongst others that; such techniques as close supervision of teachers, good leadership styles, and effective communication should be jointly practiced by secondary school principals in order to improve teachers' work performance. (shrink)

This study used a path analytic approach to examine the composite interaction of supervisory and records management with secondary school system effectiveness in terms of students' academic performance, teachers' job effectiveness and principals' administrative effectiveness. Two research questions were answered while one null hypothesis was tested. The study adopted a factorial research design. Convenience sampling technique was adopted by the researchers in selecting a sample of 1,200 respondents which comprised 271 principals and 929 teachers from a population of 271 principals, (...) and 4,878 teachers. Principal Innovative Management Practices and Administrative Effectiveness Questionnaire (PIMPAEQ), Teachers work effectiveness questionnaire (TWEQ), and Students Mathematics Achievement Test (SMAT) were all used as instruments for data collection. Collected data were analyzed using descriptive statistics, the research questions and null hypothesis were answered and tested (at .05 level of significance) respectively using multiple regression and path analyses with the aid of SPSS v25 and Amos v22. Findings from the study established amongst others that; supervisory management and records management practices have a significant joint contribution to students’ academic performance by 66.4%, teachers’ job effectiveness by 71%, and principals’ administrative effectiveness by 86.8%. Supervisory management and records management practices had a significant influence on students’ academic performance (F= 1183.641, p<.05), teachers’ job effectiveness (F= 1465.615, p<.05), and principals’ administrative effectiveness (F=3924.763, p<.05). It was recommended amongst others that; secondary school principals should jointly use supervisory and records management practices as innovative techniques for improving students’ academic performance, teachers’ job effectiveness and their own administrative effectiveness. KEYWORDS:. (shrink)

This study analyzed the utilization of social media platforms and university students' attitudes towards academic activities in Cross River State. A descriptive survey research design was adopted for the study. The population of this study comprised all the private and public university students in Cross River State. A sample of 1,600 students, which cuts across the three universities in the area of study, was selected using the convenience sampling technique. A questionnaire (r=.849) and a rating scale (r=.786) were used as (...) the instruments for data collection. Findings emerged amongst others that the utilization status of social media platforms by university students is generally high; the utilization of Facebook, WhatsApp, Instagram, Twitter, WeChat, Skype, Snapchat, Eskimi, Telegram and YouTube social media platforms has a significant composite influence (F=52.453, p<.05) on university students' attitudes towards academic activities. Relatively, utilization of Facebook was the highest predictor (t=11.222, β=.232, p<.05), followed by the utilization of WhatsApp (t=11.068, β=.229, p<.05), utilization of Twitter (t=5.977, β=.118, p<.05), and the utilization of Instagram (t=2.772, β=.056, p<.05), in that order. It was recommended that secondary school students should develop positive attitudes towards their academic activities and abhor activities that will lead to a decline in the learning outcomes. (shrink)

The dishonest practices in the conduct of educational research in South-South region particularly, and Nigeria generally, has called for urgent intervention. This study assessed data management practices and educational research effectiveness of University Lecturers in South-South Nigeria. A sample of 602 lecturers that were accessible during data collection responded to two questionnaires (Data Management Practices Questionnaire – DMPQ and "Educational Research Effectiveness Questionnaire – EREQ). Multiple regression was employed in the analysis of data. Findings revealed amongst others that; data storage, (...) data security, data retrieval, data sharing, and data re-use jointly contributed to the total variance in educational research effectiveness in terms of proper citations by 56.25%, problem-solving by 22.14%, knowledge creation by 34.50%, and generation of testable data by 36.88%; and their composite influence on educational research effectiveness in terms of proper citations (F=152.25,p<.05), problem-solving (F=33.90,p<.05), knowledge creation (F=62.78,p<.05), and generation of testable data (F=69.65,p<.05), is statistically significant. Based on the findings of this study, it was recommended among others that, there should be an up-to-date database or data warehouse in Ministries of Education where researchers can easily access data in order to increase the quality of researches by eliminating the problems of data fabrication and falsification. This study contributes to the existing body of knowledge by addressing the gaps arising from the paucity of research literature on educational research effectiveness. This study shows how data management practices affects the quality of educational research output of university lecturers using empirical evidence from Nigeria. (shrink)

This study assessed the mode of test administration, birth variables, and students’ academic performance in Mathematics in Obubra Local Government Area of Cross River State, Nigeria. The study was guided by three null hypotheses following a quasi- experimental research design. Simple random and purposive sampling techniques were employed in selecting a sample of 250 respondents from a population of 5,792 students. Birth Order Checklist (BOC) and Mathematics Achievement Test (MAT) were used for data collection. The experimental group was assigned to (...) take a Computer-Based Test (CBT) while the control group took a Paper-Pencil Test (PPT) in mathematics. The null hypotheses were tested at .05 alpha level using two-way analysis of variance. Major findings revealed that, the interactive effects of gender and mode of test administration on the academic performance of students is non- significant [F(1,249)=0.028, p>.05, partial η2=.000]; the interactive effects of gender and birth order on the academic performance of students was not statistically significant [F(3,249)=0.782, p>.05, partial η2=.010]; the interactive effect of gender and birth order on the academic performance of students in mathematics is statistically significant [F(3,249)=2.854, p<.05, partial η2 =.034]. Based on these findings conclusions and recommendations were made for improved academic performance and school system effectiveness. (shrink)

This study examined adolescents’ perception management and attitudes towards sex education in secondary schools in Cross River State, Nigeria. The study was guided by three null hypotheses that were formulated. The study adopted a descriptive survey design. Purposive sampling technique was employed by the researchers in selecting a sample of 1,080 students from a population of 98,915 secondary school students distributed across 271 public secondary schools in Cross River State. Adolescents Perception Management and Attitudes towards Sex Education Questionnaire (APMATSEQ) was (...) used as an instrument for data collection. The null hypotheses were all tested at .05 level of significance using Pearson product moment correlation and multiple regression analyses. Findings from the study revealed that adolescents' counseling and sensitization are significantly related to their attitudes towards sex education respectively and jointly; both variables accounted for 50.3 percent (R2 = .503, Adj. R2 = .502) of the total variance of adolescents’ attitudes towards sex education. Findings also revealed that adolescents’ counselling and sensitization have a significant composite influence (F = 544.924, p < .05) on their attitudes towards sex education, with adolescents’ counselling being the highest predictor (β = .499, t = 19.392), followed by adolescents’ sensitization (β = .299, t = 11.632). Based on the findings, it was recommended amongst others that; professional counselors should be employed by the government to enable secondary schools to have at least three counselors per school in order for schools to effectively manage students’ perception. (shrink)

Introduction: Research has documented the prevalence of different HIV/AIDS prevention programs launched to reduce the spread of the virus. However, the extent to which the success or otherwise of these programs are achieved is rarely discussed. This study addresses this gap by analyzing the impact of three socioeconomic parameters on the evaluation of HIV/AIDS prevention programs in the Southern Senatorial District of Cross River State, Nigeria. Methods: A sample of 239 health care employees selected using the proportional stratified random sampling (...) technique participated in the study. A priori power analysis (using G*power) indicated that the sample size was large enough to achieve a 96.7% statistical power. Data was collected using a structured questionnaire. Exploratory factor analysis assessed the dimensionality of the instrument. Acceptable construct and discriminant validity and composite reliability coefficients were obtained. At the .05 alpha level, the null hypotheses were tested using a one-way analysis of variance. Findings: Findings indicated that the evaluation of HIV/AIDS prevention programs significantly varied with the level of funding provided (F[2, 236]=81.11, p<.001), human capacity available (F[2, 236]=40.91, p<.001), and stigmatization to people living with AIDS (F[2, 236]=40.79, p<.001). Health facilities with higher funding and human capacity successfully evaluated HIV/AIDS prevention programs. However, the evaluation of HIV/AIDS prevention programs was lower in areas with a high level of stigmatization. Conclusion and implication: This study’s findings provided evidence that funding, human capacity, and stigmatization affect how HIV/AIDS pandemic can be effectively evaluated. This study implies that additional responsibility is required for public health workers to promote quality service delivery across different health facilities. Keywords:. (shrink)

This study assessed the administration of punishment, students’ test anxiety, and performance in mathematics in secondary schools of Cross River State. Three null hypotheses were formulated following a correlational research design. Proportionate stratified random sampling technique was employed in selecting a sample of 2,554 respondents representing 5% of the population of 51,097 junior secondary school students distributed across 271 public secondary schools in Cross River State. Administration of Punishment Questionnaire (APQ) designed by the researchers, Test Anxiety Inventory (TAI) developed by (...) Dawood et al., (2016), and Mathematics Achievement Test (MAT) designed by Owan (2012), were used as instruments for data collection. The null hypotheses were tested using one-way MANOVA), Pearson Product Moment Correlation, and Multiple regression analyses with the aid of SPSS v23. Findings revealed amongst others that administration of punishment has a significant influence on students’ test anxiety and performance in mathematics F (6, 5098) = 24.149, p<.05; Wilk’s Λ = 0.945, partial η2 = .028 on a joint basis; administration of punishment has a significant influence respectively on students’ test anxiety F (3, 2550) = 22.697, p<.0005, partial η2 =.026 and performance in mathematics F (3, 2550) = 23.090, P<.0005, partial η2 =.026; there is an inverse significant relationship (r= -339, p<0.05) between students’ tests anxiety and performance in mathematics. It was recommended that the use of corporal punishment should be totally abolished on strict grounds that it hurts the psychological disposition of learners resulting in a dip in their performance consequently. (shrink)

This study assessed quality assurance practices and students’ performance evaluation in universities of South-South Nigeria using an SEM approach. Three null hypotheses guided the study. Based on factorial research design, and using a stratified random sampling technique, a sample of 878 academic staff were drawn from a sampling frame of 15 universities in South-South Nigeria. Quality Assurance Practices Students’ Performance Evaluation Scale (QAPSPES) with split-half reliability estimates ranging from .86–.92, was used as the instruments for data collection. Multiple regression and (...) Confirmatory Factor Analyses (CFA) were used for the analysis of data, model building, and testing of the hypotheses at .05 alpha level. Findings showed a significant composite and relative influence (F=48.19, P<.05) of school management, staff, and students’ quality assurance practices on students’ performance evaluation. The results also indicated that there were positive and significant covariances between the four variables of this study, with the CFI, RMSEA, TLI, and SRMR values indicating a good model fit. It was recommended, based on the findings of this study that, each school should organize quality assurance orientation campaigns for new students and set up quality assurance committees at the school, faculty and departmental levels for optimal performance in schools. (shrink)

This study evaluated school quality indicators and teachers job performance in Cross River State. One research question and four null hypotheses were raised following factorial research design. Proportionate random sampling technique was employed in selecting a sample of 1,463 teachers representing 30 percent from a population of 4,878 teachers distributed across 271 public secondary schools in Cross River State. “School Quality Indicators Questionnaire (SQIQ) and Teachers’ Job Performance Questionnaire (TJPQ)” were the instruments used for data collection. Prepared data were analyzed (...) using descriptive statistics; while the null hypotheses were all tested at .05 alpha level using Pearson Product Moment Correlation and Multiple regression analyses as appropriate with the aid of Minitab statistical software v18. Findings revealed that, quality of school facilities, leadership, and supervision jointly accounted for 90.6 percent (Pred. R2 = .9063) of the total variance of teachers’ job performance; there is significant relationship between quality of school facilities (r = .478, p< .05), quality of leadership (r = .928, p< .05) quality of supervision (r = .881, p< .05) respectively with secondary school teachers’ job performance; quality of school facilities, leadership, and supervision have significant composite influence (F=4800.58, p<.05) on secondary school teachers’ job performance; quality of leadership was the highest predictor (t=45.38, p< .05) of teachers’ job performance, followed by quality of school supervision (t = 27.29, p <.05). Based on these findings, conclusions and recommendations were made for improvement. Keywords:. (shrink)

This study investigated innovation management and effectiveness of educational research in tertiary institutions in Cross River State. One research question and one null hypothesis were formulated to direct the study. The study adopted factorial research design. Census technique was adopted by the researcher in selecting the entire population of 80 participants from four (4) tertiary institutions in Cross River State. “Innovation Management Questionnaire (IMQ)” and “Effectiveness of Educational Research Rating Scale (EERRS) were used as instruments for data collection. The reliability (...) of the instruments was established through test-retest method and reliability estimates of .89 and .86 were obtained. The null hypothesis was tested at .05 level of significance using multiple regression analysis with the aid of SPSS version 21. Findings from the study established a composite contribution of 70.5% of data management innovations, research ethics management, provision of research grants to effectiveness of educational research (Adj. R2= .705). The findings of this study also established that; data management innovations, research ethics management, and provision of research grants jointly has a significant influence on effectiveness of educational research (F = 64.055, p <.05). Data management innovations was the highest predictor (β = .501, t = 7.778), followed by research ethics management ethics management (β = .311, t = 3.956), and provision of research grants (β = .291, t = 3.707) in that order. Based on the findings, it was recommended, amongst others, that educational research data (including coded data) should be effectively managed by tertiary institutions using both manual and computerized data management devices with corresponding appropriate retrieval systems. (shrink)

This study assessed external debts and the financing of education in Nigeria using time series data obtained from World Bank, and CBN Statistical Bulletin covering a period of 31 years from 1988 -2018. The model of the study was derived, while the data collected were analysed using the Ordinary Least Squares. Diagnostic tests such as Augmented Dickey- Fuller (ADF) unit root test, Johansen co-integration, Vector Error Correction (VEC) techniques of estimation, and Granger Causality tests were all performed. Findings revealed a (...) significant long-run relationship between external debts and the financing of education; external debts have a significant effect (F=39.07055, p<.05) on the financing of education in Nigeria; external debt stock and external debt service payment have no significant effect on the financing of education; real GDP and Exchange rate have a significant effect on the financing of education in Nigeria respectively. Based on these findings, it was concluded that external debt is a big hindrance to the financing of education and consequently, the economic growth of Nigeria. It was recommended amongst others that the government should use borrowed funds from external sources for productive capital projects or development initiatives such as investment in education and the eradication of illiteracy. (shrink)

This study assessed teaching personnel management and attitude to work in secondary schools of Calabar Education Zone of Cross River State, Nigeria. Two null hypotheses offered direction to the study using an Ex-post facto research design. The population of this study comprised all the public secondary school teachers in Calabar Education zone of Cross River State. Purposive sampling technique was employed in selecting a sample of 1,181 teachers. “Teaching Personnel Management and Attitude to Work Questionnaire (TPMAWQ)”, with Split-half reliability estimates (...) of .83, .87, .93, and .84, was used as an instrument for data collection. Independent t-test and multiple regression analyses were used in testing the null hypotheses at .05 alpha level. The findings of the study revealed amidst others that there is a significant composite influence (F = 279.438, p<.05) of teachers’ training, placement and supervision on their attitudes to work. Teachers’ training was the highest predictor of their attitudes to work (t = 20.727, β = .490), followed by placement (t = 10.294, β = .241), and supervision (t= 7.171, β = .164). It was recommended among others that teachers should be properly trained on the principles, concepts, and methods of teaching before and during service. (shrink)

This study assessed students’ perception of teachers’ effectiveness and learning outcomes in mathematics and economics in secondary schools of Cross River State, Nigeria. Two null hypotheses were formulated to direct the study. The factorial research design was adopted for the study. Cluster and purposive sampling techniques were however employed in selecting a sample of 1,800 students from the three education zones in Cross River State. “Students’ Perception of Teachers Effectiveness Questionnaire (SPTEQ)”, Mathematics Achievement Test (MAT), and Economics Achievement Test (EAT) (...) were used as instruments for data collection. Reliability estimates of .86, .91, and .81 were obtained for the three instruments using Cronbach alpha. Collected data were analysed using descriptive statistics while the research question was answered and the null hypothesis tested using Pearson Correlation matrix and multiple regression analyses (where applicable), with the aid of Minitab v18. Findings revealed amongst others that, there is a significant composite influence of students’ perception of teachers’ motivational skills, teaching methods, relationship with students, and communication level on learning outcomes in Mathematics (F = 142.46, p < .05) and Economics (F = 150.31, p < .05) respectively. It was recommended amongst others that secondary school teachers should adopt motivational techniques such as praises, rewards, and smiles, in strengthening the interest of learners during mathematics and Economics lessons. Keywords:. (shrink)

TRANSPORTE DE GAMETAS, FERTILIZAÇÃO E SEGMENTAÇÃO -/- • _____OBJETIVO -/- O entendimento do desenvolvimento embrionário nos estágios iniciais, desde a deposição dos espermatozoides na fêmea, passando pela fertilização deste no ovócito e na formação do zigoto, é de suma importância para diferenciar especialistas em reprodução e manejo reprodutivo no mercado de trabalho e, também, durante a vida acadêmica. Compreender os processos que levam à formação do zigoto na fêmea é essencial para avaliar a capacidade reprodutiva dos animais e, mediante técnicas, (...) avaliar o trato reprodutivo da fêmea e o desenvolvimento do embrião até a formação do feto e, por fim, em um novo animal sadio na propriedade. Com esse trabalho, o estudante de veterinária ou zootecnia, que deseja se aprofundar na fisiologia da reprodução animal, identificará os mecanismos que são envolvidos no transporte dos gametas, bem como os processos que estes últimos devem completar para alcançar a fertilização e para desencadear as divisões iniciais do embrião. -/- • _____INTRODUÇÃO -/- A fertilização ou fecundação é o processo pelo qual os gametas masculino (espermatozoide) e feminino (ovócito) se fundem para gerar um novo indivíduo. Seu êxito depende da culminação adequada dos diferentes processos que devem sofrer os gametas durante sua maduração e percurso; do transporte oportuno destes no trato reprodutivo da fêmea, assim como de uma série de adaptações dos órgãos genitais internos da mãe. A segmentação refere-se às primeiras divisões celulares do embrião. -/- • _____TRANSPORTE DO OVÓCITO -/- O ovócito que é liberado na ovulação, e que se encontra coberto pelas células do cumulus (figura 1), é capturado pela fímbria do infundíbulo ao aderir aos cílios. Esse processo é altamente eficaz, inclusive em espécies onde os ovários possuem várias formações globosas, por exemplo nas porcas, onde os ovidutos capturam entre 95 e 100% dos ovócitos que são ovulados. As contrações das camadas musculares do oviduto e o movimento intenso dos cílios da mucosa faz com que as secreções fluam em direção ao útero, transportando assim o complexo cumulus-ovócito. Esse transporte é relativamente rápido até alcançar a junção da ampola com o istmo (que é considerado o local de fertilização do espermatozoide e ovócito) a partir do qual se torna lento. Devido a fêmea estar em estro, o processo está sob controle endócrino, isto é, controle hormonal através do estradiol. Nas fêmeas domésticas, ao contrário das mulheres, o transporte ao longo do oviduto é extremamente eficiente, pois os embriões passam para o útero sem dificuldade, de modo que gestações ectópicas (tubárias ou em cavidade) são quase inexistentes. A égua, frequentemente, retém por muito tempo os ovócitos não fertilizados no oviduto, provavelmente devido a não secreção de substâncias (como a prostaglandina E) que poderiam favorecer sua passagem, como se propõe que aconteça com os embriões. A figura 2 apresenta um ovócito com suas respectivas estruturas. Figura 1: ovócitos de uma vaca madurados in vitro. Nota-se as células do cumulus que os recobre. -/- Figura 2: estruturas do ovócito de uma ovelha que se encontra na etapa de ovócito secundário, depois da ovulação. Elaborado pelo autor. • _____TRANSPORTE ESPERMÁTICO -/- Para que os espermatozoides sejam capazes de fertilizar o ovócito, deverão sofrer uma série de mudanças bioquímicas e morfológicas ao longo de sua passagem pelo aparelho reprodutor tanto masculino como feminino. Uma vez produzidos na parede do túbulo seminífero, os espermatozoides são liberados em direção ao lúmen tubular e transportados passivamente para uma estrutura ramificada conhecida como rede testicular (rete testis). Dessa rede são conduzidos em direção ao epidídimo passando através de 10 a 20 ductos eferentes localizados no polo superior do testículo. O epidídimo é dividido em três seções denominadas cabeça, corpo e cauda; é constituído por um só ducto longo e tortuoso que continua com o canal deferente. Ao final desemboca nas ampolas seminais, no ducto ejaculatório e na uretra. As funções do epidídimo são as de maduração, transporte e armazenamento dos espermatozoides. O transporte através do epidídimo é lento, aproximadamente de 10 dias em touros, e segue sendo passivo. Os espermatozoides tomados da cabeça do epidídimo são ainda imaturos e incapazes de fertilizar, enquanto os armazenados na cauda são completamente maduros. Durante o trânsito pelo epidídimo os espermatozoides adquirem motilidade e o potencial para fertilizar, o acrossomo é remodelado e a gota citoplasmática migra para o flagelo e é liberada. Quando um macho ejacula com muita frequência, é possível observar espermatozoides com gota citoplasmática no sêmen, já que não há tempo suficiente para que completem sua maduração. Os espermatozoides são expulsados fora do organismo durante a cópula, na masturbação ou em emissões espontâneas. Na ejaculação, os espermatozoides que se encontram suspensos nos fluidos do testículo e do epidídimo, misturam-se ao chegar na uretra com as secreções das glândulas acessórias para formar o sêmen. Essas secreções denominadas plasma seminal, proporcionam substâncias para manter o metabolismo energético das células espermáticas, e integram suas membranas elementos que impedem uma capacitação prematura. Durante a cópula, o sêmen é depositado na vagina ou no útero, variando entre as espécies (tabela 1). Na monta natural, geralmente, o serviço ocorre no momento propício, já que está definido pela fase do ciclo estral em que a fêmea é receptiva ao macho. No entanto, na inseminação artificial, é o macho que deverá determinar o momento ideal, e para isso é importante considerar a vida média dos gametas, ao qual é muito curta no caso dos ovócitos (tabela 1). -/- Tabela 1: local de depósito do sêmen, volume da ejaculação e vida média dos gametas. Espécie Local de deposição Volume (ml) Velocidade de ejaculação Vida média do ovócito Vida média do espermatozoide Bovinos Intravaginal 2 1 – 3 seg 8 h 30 – 48 h Caninos Intravaginal 2 – 30 (10 média) 6 – 45 min 48 – 72 h 9 – 11 d Equinos Intrauterina 50 – 200 20 – 60 seg 6 – 8 h 72 – 120 h Humanos Intravaginal 3 - - 5 – 6 d Ovinos Intravaginal 1 1 – 2 seg 16 – 24 h 30 – 48 h Suínos Intrauterina 200 – 400 5 – 20 min 8 – 10 h 24 – 48 h Onde d = dias; h = horas. A vida fértil do ovócito é muito curta, portanto, o momento do serviço é de grande importância para obter altos índices de fertilização. -/- Independentemente do local em que os espermatozoides sejam depositados no aparelho reprodutor feminino, serão expostos às secreções genitais e sofrem uma série de mudanças em seu trajeto até o local de fertilização antes de penetrar no ovócito. Nas espécies em que o sêmen é depositado na parte cranial da vagina, uma parte do mesmo penetra através da cérvix, enquanto outra parte é eliminada do aparelho genital da fêmea, em pouco tempo, através do fluxo retrógrado. O meio vaginal não é adequado e imobiliza os espermatozoides em pouco tempo, pelo qual deverão entrar no útero onde o ambiente é mais propício. O transporte espermático na fêmea é o resultado da alta contratilidade, do movimento ciliar e o fluido do aparelho genital durante o estro, ao qual está sob controle endócrino e do sistema nervoso. Esse transporte é favorecido pelas características especiais do muco estral, cujas moléculas formam uma espécie de canais que facilitam a passagem dos espermatozoides. Pelo contrário, durante a fase lútea seu transporte é dificultado. Além do meio vaginal, a cérvix também atua como barreira natural para limitar a passagem dos espermatozoides, diminuindo assim a possibilidade de polispermia. Funciona, também, como um filtro que seleciona os espermatozoides aptos dos que não o são, uma vez que somente os primeiros possuem uma motilidade vigorosa que lhes permite passar pelo muco altamente hidratado. Na vaca a cérvix é considerada como um reservatório espermático. Quando atravessam a cérvix, os espermatozoides seguem sua deslocação tanto por movimento próprio como pelas contrações uterinas e tubárias. Nas espécies em que o local de depósito do sêmen do macho na fêmea é intrauterino, como equinos, a principal barreira que os espermatozoides enfrentam é a união ou junção útero-tubárica. A união entre o útero e o oviduto (istmo do oviduto) serve como reservatório funcional dos espermatozoides nas espécies domésticas. Poucos minutos depois da cópula, é possível encontrar alguns espermatozoides no oviduto, que é conhecido como fase de transporte rápido. No entanto, esses espermato-zoides não são os que participam do processo de fertilização e podem apresentar certas anormalidades. Existe um segundo tipo de transporte denominado fase sustentada, a qual consiste na migração prolongada dos espermatozoides em direção as partes mais craniais do aparelho genital feminino, que conduzem à colonização do reservatório funcional e na liberação gradual dos espermatozoides dos reservatórios espermáticos, incluindo este último. O reservatório do istmo fornece aos espermatozoides um ambiente propício, protegendo-os contra a fagocitose, prolongando assim a sua viabilidade. Aqui os esper-matozoides permanecem aderidos a superfície das células ciliadas do epitélio até a finalização de sua capacitação, depois da qual são liberados quando alteram seu padrão de motilidade flagelada, fenômeno conhecido como hipermotilidade, e migram em ondas em direção ao local da fertilização. Dos milhões de espermatozoides ejaculados, somente alguns milhares alcançarão o istmo do oviduto e um número sumamente pequeno será encontrado nas imediações do ovócito no momento da fertilização. -/- • _____CAPACITAÇÃO ESPERMÁTICA E REAÇÃO ACROSSÔMICA -/- A capacitação é um processo gradual e essencial para a fertilização. Os espermato-zoides devem passar por um dado tempo de “incubação” no aparelho genital da fêmea e sofrer uma série de mudanças antes de serem capazes de fecundar o ovócito. A capacita-ção dos espermatozoides começa quando eles entram em contato com as secreções do aparelho genital da fêmea e termina no istmo do oviduto. Durante esse percurso a superfície da cabeça do espermatozoide se modifica já que algumas moléculas como o colesterol são removidas da membrana plasmática, aumentando sua fluidez e alterando suas propriedades bioquímicas. Entre outras coisas, essa reorganização dos lipídios facilita a entrada de cálcio extracelular pelos canais iônicos e ocasiona a desestabilização da membrana, tornando-a mais fusogênica. Também são eliminados outros fatores (conhecidos genericamente como fatores descapacitantes) que expõem receptores membranais indispensáveis para a realização da união entre o espermatozoide e o ovócito durante a fertilização. Os espermatozoides capacitados apresentam um padrão de hipermotilidade e uma maior atividade metabólica, características que devem obter para que sejam capazes de penetrar as camadas do ovócito. A capacitação é necessária para que ocorra a reação acrossômica. A reação acrossomal ou acrossômica (RA) é um fenômeno de exocitose que é desencadeada pela ligação entre as proteínas e receptores localizados na membrana do espermatozoide e a zona pelúcida do ovócito (figura 3). Envolve a fusão da membrana plasmática do espermatozoide com a membrana externa de seu acrossomo; formando, assim, pequenas vesículas, cujo conteúdo de enzimas hidrolíticas, como a hialuronidase e a acrosina, é liberado em direção ao seu exterior, facilitando a penetração da zona pelúcida. A adesão do espermatozoide à zona pelúcida é específica da espécie e depende de glicoproteínas presentes na membrana dos ovócitos maduros; a cabeça do espermatozoide se une com essas glicoproteínas mediante receptores específicos e atravessam em direção oblíqua a zona pelúcida até chegar ao espaço perivitelino. Nos mamíferos, particularmente em roedores e nos humanos, algumas dessas glicoproteínas são conhecidas como ZP1, ZP2 e ZP3. Pensa-se que a união da membrana espermática a esta última é o que desencadeia a reação acrossomal. Posteriormente, as vilosidades do ovócito entram em contato com o espermatozoide e a membrana presente na secreção equatorial da cabeça do espermatozoide, que tem proteínas fusogênicas específicas, une-se a membrana plasmática do ovócito, fusionando-se e permitindo a entrada do núcleo espermático ao citoplasma (figura 4). A capacitação dos espermatozoides é fundamental para o êxito da fertilização, uma vez que apenas os aptos estarão perfeitos e íntegros para que a união e percepção das glicoproteínas presentes nos mesmos possam ocorrer de forma ideal para a penetração deste no ovócito, fertilizá-lo e formar um zigoto. Figura 3: estrutura do espermatozoide. Nota: a membrana é acrossomal e não acrossonal. Elaborado pelo autor. -/- Figura 4: eventos que ocorrem durante a fertilização. A – depois de passar através das células do cumulus, o espermatozoide entra em contato com a zona pelúcida, onde receptores da membrana plasmática reconhecem as proteínas da zona pelúcida; B – é desencadeada, então, a reação acrossomal; C – para que o espermatozoide penetre na zona pelúcida; D – ao atravessar a zona pelúcida e entrar no espaço perivitelino, a cabeça do espermatozoide entra em contato com a membrana vitelina; ambas membranas se fusionam graças ao reconhecimento de proteínas fusogênicas que estão no segmento equatorial. E – ocorre, então, que o núcleo do espermatozoide penetra no citoplasma do ovócito; uma das consequências da fusão da membrana com a cabeça do espermatozoide é a reação cortical, em que os grânulos corticais do ovócito liberam seu conteúdo em direção ao espaço perivitelino, o que resulta na alteração da estrutura da zona pelúcida e da membrana vitelina para bloquear a polispermia. Elaborado pelo autor. • _____CONSEQUÊNCIAS DA PENETRAÇÃO -/- Bloqueio da polispermia -/- A fusão das membranas dos gametas durante a penetração permite a entrada da fosfolipase C zeta (PLCζ) – fator solúvel que provém do espermatozoide – que desencadeia liberação e oscilações de Ca2+ no retículo endoplasmático. Isso, por sua vez, provoca a migração e fusão dos grânulos corticais, com a consequente liberação de enzimas, que mudam tanto a estrutura da zona pelúcida (por exemplo a inativação de ZP3), como a da membrana vitelina. Desse modo, impede-se que outros espermatozoides as penetrem, evitando assim a polispermia (figura 5). -/- Figura 5: os grânulos corticais que encontram-se na periferia do citoplasma, debaixo da superfície da membrana do ovócito, migram e fusionam-se sobre a mesma, liberando seu conteúdo no espaço perivitelino imediatamente depois da penetração do espermatozoide. A – como conse-quência, tanto a membrana vitelina como a zona pelúcida são modificadas, impedindo a entrada de mais espermatozoides, o que evita a polispermia. B – o ovócito retoma, então, sua segunda divisão meiótica, que ocasiona a expulsão do segundo corpúsculo polar, e na formação dos pronúcleos feminino e masculino. C – continuando, os pronúcleos migram, suas membranas se dissolvem e os cromossomos de ambos se condensam e se unem. Completa-se, assim, a singamia e forma-se, então, o zigoto. Elaborado pelo autor baseado nos livros de embriologia e fisiologia da reprodução conforme vida bibliografia. -/- Ativação do ovócito e formação de pronúcleos -/- Na maioria das fêmeas domésticas, com exceção da cadela, o ovócito encontra-se suspenso na metáfase II da segunda meiose no momento da ovulação. A entrada da PLCζ do espermatozoide no citoplasma do ovócito, e a consequente liberação de Ca2+, faz com que o ovócito se ative, terminando a segunda divisão meiótica e expulse o segundo corpo polar. Posteriormente, o material nuclear do ovócito se reorganiza para formar o pronú-cleo feminino. Entretanto, a membrana nuclear do espermatozoide se dissolve, a cromatina descondensa-se, as protaminas são substituídas por histonas, e se forma uma nova membrana nuclear, dando lugar ao pronúcleo masculino. -/- Singamia -/- Uma vez que os pronúcleos feminino e masculino são formados, migram para o centro do ovócito, aproximam-se, suas membranas se dispersam e os cromossomos paternos e maternos se associam, com o qual recupera a condição diploide e dá origem ao zigoto (figura 5). -/- • _____DESENVOLVIMENTO EMBRIONÁRIO -/- Poucas horas após a fertilização ocorre a primeira divisão do zigoto em duas, depois em 4, 8, 16 e 32 células, denominadas blastômeros. Essas divisões mitóticas são conhecidas como divisões de segmentação ou clivagem (figura 6), uma vez que são realizadas sem aumento do citoplasma, de modo que com cada divisão os blastômeros se tornam menores. A partir das 16 células o embrião se chama mórula, e é visto como uma massa celular compacta. A compactação deve-se a informação de proteínas de ligação entre os blastômeros. O embrião acumula líquido em seu interior, formando uma cavidade denominada blastocele. Esse processo é conhecido como blastulação; o embrião, assim, passa a ser chamado de blastocisto. Nessa etapa é possível diferenciar duas populações de células embrionárias: a massa celular interna, embrioblasto ou botão embrionário (que dará origem ao embrião), e a massa celular externa, células superficiais ou trofoblasto, do qual se originam a maioria das membranas fetais. Ao continuar a multiplicação das células e a acumulação de líquido, o blastocisto aumenta de tamanho, convertendo-se em blastocisto expandido. A zona pelúcida torna-se mais fina e, finalmente, o embrião eclode; isto é, o embrião é liberado da zona pelúcida. -/- • _____FERTILIZAÇÕES ATÍPICAS -/- Polispermia -/- É a penetração de dois ou mais espermatozoides no óvulo. Esta condição é letal nos mamíferos, já que o número cromossômico desse zigoto é maior que 2n, o envelheci-mento do ovócito da porca, como consequência do serviço tardio, favorece a apresentação da polispermia, por isso, é comum ver números de nascimentos de média de 10 a 12 leitões por parição nessa espécie. Nas aves, no entanto, a penetração de mais de um espermatozoide é normal, embora apenas um pronúcleo masculino se formará, fundindo-se com o feminino. -/- Figura 6: etapas do processo de segmentação/clivagem. Fonte: aula de reprodução da professora Domenica Palomaris, UFT. -/- Ginogênese -/- É o desenvolvimento de um embrião a partir de um óvulo normal fecundado por um espermatozoide, mas sem a fusão dos cromossomos masculinos com os da fêmea. A função do espermatozoide, nesse caso, é a de ativação do ovócito para que este inicie seu desenvolvimento, mas não há fusão com o núcleo do espermatozoide. Ocorre em plantas, em nematódeos e em algumas espécies de peixes, por exemplo a Poecilia formosa, espécie em que os ovócitos das fêmeas são ativados por machos de outra espécie relacio-nada. -/- Partenogênese -/- Consiste no desenvolvimento do embrião sem a participação do espermatozoide. Ocorre em alguns insetos, o zangão, por exemplo, é partenogenético. Também pode apresentar-se em perus, cujos embriões são machos e, geralmente, morrem antes da eclosão. -/- • _____GÊMEOS -/- Existem dois tipos de gêmeos: idênticos ou monozigóticos e os não idênticos ou dizigóticos. -/- Idênticos ou monozigóticos -/- Originam-se do mesmo zigoto, sendo assim, possuem o mesmo genótipo e um fenótipo similar e, portanto, são do mesmo sexo. Em laboratório é possível gerá-los ao seccionar uma mórula em duas ou mais partes, por meio de um micromanipulador. Uma vez que possuem o mesmo genótipo, os produtos resultantes são clones. -/- Não idênticos ou dizigóticos -/- Provêm da fertilização de dois óvulos distintos por espermatozoides diferentes. Possuem, portanto, genótipos e fenótipos diferentes, e podem ser de sexo diferente. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ALBERTS, Bruce et al. Biologia molecular da célula. Artmed Editora, 2010. AUSTIN, Colin Russell; SHORT, Roger Valentine. Reproduction in Mammals, Book I: Germ Cells and Fertilization. 1982. BEARDEN, Henry Joe et al. Reproducción animal aplicada. México: Manual Moderno, 1982. BOSCH, P.; WRIGHT JR, R. W. The oviductal sperm reservoir in domestic mammals. Archivos de medicina veterinaria, v. 37, n. 2, p. 95-105, 2005. CAPALLEJAS, Roberto Brito; RODRÍGUEZ, Lourdes Tagle. Fisiología de la reproducción animal: con elementos de biotecnología. Editorial Félix Varela, 2010. CROXATTO, Horacio B. Physiology of gamete and embryo transport through the fallopian tube. Reproductive biomedicine online, v. 4, n. 2, p. 160-169, 2002. CUPPS, Perry T. (Ed.). Reproduction in domestic animals. Elsevier, 1991. DIEDRICH, Smidt et al. Endocrinología y Fisiología de la Reproducción de los Animales Zootécnicos. 1972. DUKES, Henry Hugh; SWENSON, Melvin J.; REECE, William O. Dukes fisiologia dos animais domésticos. Editora Guanabara Koogan, 1996. FERREIRA, A. de M. Reprodução da fêmea bovina: fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora: Minas Gerais–Brasil, p. 422, 2010. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HUNTER, Ronald Henry Fraser. The Fallopian tubes in domestic mammals: how vital is their physiological activity?. Reproduction Nutrition Development, v. 45, n. 3, p. 281-290, 2005. HUNTER, R. H. F.; RODRIGUEZ‐MARTINEZ, H. Capacitation of mammalian spermatozoa in vivo, with a specific focus on events in the Fallopian tubes. Molecular Reproduction and Development: Incorporating Gamete Research, v. 67, n. 2, p. 243-250, 2004. GALINA, Carlos; VALENCIA, Javier. Reproducción de los animales domésticos. 2006. HOPPER, Richard M. (Ed.). Bovine reproduction. John Wiley & Sons, 2014. HYTTEL, Poul; SINOWATZ, Fred; VEJLSTED, Morten. Embriologia veterinária. Elsevier Brasil, 2012. KÖLLE, Sabine; REESE, Sven; KUMMER, Wolfgang. New aspects of gamete transport, fertilization, and embryonic development in the oviduct gained by means of live cell imaging. Theriogenology, v. 73, n. 6, p. 786-795, 2010. MCKINNON, Angus O. et al. (Ed.). Equine reproduction. John Wiley & Sons, 2011. OLIVERA, Martha et al. El espermatozoide, desde la eyaculación hasta la fertilización. Revista Colombiana de Ciencias Pecuarias, v. 19, n. 4, p. 426-436, 2006. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. New York: Academic Press, 2014. RODRIGUEZ-MARTINEZ, Heriberto. Role of the oviduct in sperm capacitation. Theriogenology, v. 68, p. S138-S146, 2007. SAAVEDRA LEOS, María Dolores. Estudio de la composición de los gránulos corticales y del oolema de ovocitos porcinos y bovinos madurados y fecundados in vitro. Proyecto de investigación:, 2010. SENGER, Phillip L. et al. Pathways to pregnancy and parturition. Current Conceptions, Inc, 2004. SUAREZ, Susan S. The oviductal sperm reservoir in mammals: mechanisms of formation. Biology of Reproduction, v. 58, n. 5, p. 1105-1107, 1998. VALENCIA MÉNDEZ, Javier de J. Fisiología de la reproducción porcina. 1986. -/- FIXAÇÃO DO ASSUNTO -/- 1. Defina e diferencie fertilização e segmentação. -/- 2. Disserte sobre o transporte do ovócito. Por que no istmo o transporte do ovócito se torna lento? -/- 3. Fale sobre a eficiência do transporte do gameta no trato genital da fêmea e sobre a retenção de ovócitos pela égua. -/- 4. Defina as células do cumulus e explique seu papel sobre o ovócito. -/- 5. Quais as estruturas que compõem o ovócito? Qual a função de cada uma? -/- 6. Todos os ovócitos das fêmeas domésticas são iguais? Justifique. -/- 7. Disserte sobre o papel dos hormônios e das secreções sobre o transporte do ovócito no trato genital da fêmea. -/- 8. Disserte sobre o transporte do espermatozoide. Por que há transporte rápido e lento dos espermatozoides? -/- 9. Fale sobre o local de deposição do sêmen nas espécies domésticas e como esse influen-cia na eficiência da reprodução. -/- 10. Por que a vida média do espermatozoide canino é maior que as outras espécies? -/- 11. Quais as mudanças que os espermatozoides precisam sofrer para conseguir êxito na fertilização e por quê? -/- 12. Defina fase de transporte rápido, fase sustentada e hipermotilidade. Qual a importân-cia de cada um? -/- 13. Como ocorre a reação acrossômica? -/- 14. O que é polispermia e como ocorre seu bloqueio? 15. Como ocorre a ativação do ovócito e como se formam os pronúcleos? -/- 16. O que é e qual a importância da singamia? -/- 17. Disserte sobre as divisões de segmentação e qual a importância destas para o êxito da reprodução. -/- 18. Defina e diferencia mórula e blastocisto. -/- 19. Defina e diferencie ginogênese e partenogênese. -/- 20. Qual o papel endócrino e quais hormônios e enzimas atuam sobre o transporte de gametas, sobre a fertilização e sobre a segmentação? (shrink)

Abstract. In this article is presented a model of the change of the probability of the global catastrophic risks in the world with exponentially evolving technologies. Increasingly cheaper technologies become accessible to a larger number of agents. Also, the technologies become more capable to cause a global catastrophe. Examples of such dangerous technologies are artificial viruses constructed by the means of synthetic biology, non-aligned AI and, to less extent, nanotech and nuclear proliferation. The model shows at least double exponential growth (...) of the probability of the global catastrophe which means that the accumulated probability of the catastrophe will grow from negligible to overwhelming at the period of a few doubling times of the technological capabilities. For biotech and AI, such doubling time roughly corresponds to the doubling period of Moore’s law and its analogues in other technologies and is around 2 years. Thus the global catastrophe in the exponential technologies world will most likely happen during a “dangerous decade”. Such a dangerous decade could start as early as in the 2020s. We also found that the double exponential growth in the model makes the model less sensitive to its initial conditions, like the number of dangerous agents or initial probabilities constants. The model also shows that smaller catastrophes could happen earlier than larger ones, and such a smaller catastrophe may be able to stop the technological growth before larger ones become possible, thus global risks will be self-limiting. However, if the growth of the number of dangerous agents will be very quick, the multiple smaller catastrophes could happen simultaneously and will be equal to a global catastrophe. (shrink)

A classification of the global catastrophic risks of AI is presented, along with a comprehensive list of previously identified risks. This classification allows the identification of several new risks. We show that at each level of AI’s intelligence power, separate types of possible catastrophes dominate. Our classification demonstrates that the field of AI risks is diverse, and includes many scenarios beyond the commonly discussed cases of a paperclip maximizer or robot-caused unemployment. Global catastrophic failure could happen at various levels of (...) AI development, namely, before it starts self-improvement, during its takeoff, when it uses various instruments to escape its initial confinement, or after it successfully takes over the world and starts to implement its goal system, which could be plainly unaligned, or feature-flawed friendliness. AI could also halt at later stages of its development either due to technical glitches or ontological problems. Overall, we identified around several dozen scenarios of AI-driven global catastrophe. The extent of this list illustrates that there is no one simple solution to the problem of AI safety, and that AI safety theory is complex and must be customized for each AI development level. (shrink)

Does a single mechanism of aging exit? Most scientists have their own pet theories about what is aging, but the lack of generally accepted theory is mind-blowing. Here we suggest an explanation: evolution works against unitary mechanism of aging because it equalizes ‘warranty period’ of different resilience systems. Therefore, we need life-extension methods that go beyond fighting specific aging mechanisms: such as using a combination of geroprotectors or repair-fixing bionanorobots controlled by AI.

Recently many methods for reducing the risk of human extinction have been suggested, including building refuges underground and in space. Here we will discuss the perspective of using military nuclear submarines or their derivatives to ensure the survival of a small portion of humanity who will be able to rebuild human civilization after a large catastrophe. We will show that it is a very cost-effective way to build refuges, and viable solutions exist for various budgets and timeframes. Nuclear submarines are (...) surface independent, and could provide energy, oxygen, fresh water and perhaps even food for their inhabitants for years. They are able to withstand close nuclear explosions and radiation. They are able to maintain isolation from biological attacks and most known weapons. They already exist and need only small adaptation to be used as refuges. But building refuges is only “Plan B” of existential risk preparation; it is better to eliminate such risks than try to survive them. (shrink)

The long unbearable sufferings in the past and agonies experienced in some future timelines in which a malevolent AI could torture people for some idiosyncratic reasons (s-risks) is a significant moral problem. Such events either already happened or will happen in causally disconnected regions of the multiverse and thus it seems unlikely that we can do anything about it. However, at least one pure theoretic way to cure past sufferings exists. If we assume that there is no stable substrate of (...) personal identity and thus a copy equals original, then by creating many copies of the next observer-moment of a person in pain in which he stops suffer, we could create indexical uncertainty in her future location and thus effectively steal her consciousness from her initial location and immediately relieve her sufferings. However, to accomplish this for people who have already died, we need to perform this operation for all possible people thus requiring enormous amounts of computations. Such computation could be performed by the future benevolent AI of Galactic scale. Many such AIs could cooperate acausally by distributing parts of the work between them via quantum randomness. To ensure their success, they need to outnumber all possible evil AIs by orders of magnitude, and thus they need to convert most of the available matter into computronium in all universes where they exist and cooperate acausally across the whole multiverse. Another option for curing past suffering is the use of wormhole time-travel to send a nanobot in the past which will, after a period of secret replication, collect the data about people and secretly upload them when their suffering becomes unbearable. (shrink)

In AI safety research, the median timing of AGI arrival is often taken as a reference point, which various polls predict to happen in the middle of 21 century, but for maximum safety, we should determine the earliest possible time of Dangerous AI arrival. Such Dangerous AI could be either AGI, capable of acting completely independently in the real world and of winning in most real-world conflicts with humans, or an AI helping humans to build weapons of mass destruction, or (...) a national state coupled with AI-based government system. In this article, I demonstrate that the earliest timing of Dangerous AI, corresponding to 10 per cent of its arrival probability, is before 2030. Several partly independent sources of information are in accordance: 1. The growth of the hardware available for AI research makes human-brain-equivalents of compute available for AI research in the 2020s. It is fuelled by specialized AI-chips, the use of many chips in one processing unit, and the larger research budgets, among other things. 2. The neural network performance and other characteristics, like the number of parameters, is quickly increasing every year, and extrapolating this tendency suggests that roughly human-level performance in a few years, around 2025. 3. Expert polls show around 10 per cent of the probability of an early appearance of artificial general intelligence (AGI) in the next decade, that is, before 2030. 4. Hyperbolic growth in different big history models converges around 2025-2030 (the technological singularity). 5. Anthropic arguments (similar to the Doomsday argument) suggest that qualified observers are more likely to appear near the end of the AI research epoch, as the number of such observers grew exponentially. This number doubles every 5-10 years, and thus we are likely to find ourselves around a decade before the end of AI research, which will happen consequently around 2030. (shrink)

Abstract: Four main forms of Doomsday Argument (DA) exist—Gott’s DA, Carter’s DA, Grace’s DA and Universal DA. All four forms use different probabilistic logic to predict that the end of the human civilization will happen unexpectedly soon based on our early location in human history. There are hundreds of publications about the validity of the Doomsday argument. Most of the attempts to disprove the Doomsday Argument have some weak points. As a result, we are uncertain about the validity of DA (...) proofs and rebuttals. In this article, a meta-DA is introduced, which uses the idea of logical uncertainty over the DA’s validity estimated based on a virtual prediction market of the opinions of different scientists. The result is around 0.4 for the validity of some form of DA, and even smaller for “Strong DA”, which predicts the end of the world in the near term. We discuss many examples of the validity of the DA in real life as an instrument to prove it “experimentally”. We also show that DA becomes strongest if it is based on the idea of the “natural reference class” of observers, that is, the observers who know about the DA (i.e. a Self-Referenced DA). Such a DA predicts that there is a high probability of a global catastrophe with human extinction in the 21st century, which aligns with what we already know based on analysis of different technological risks. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...) of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

Abstract: The field of artificial general intelligence (AGI) safety is quickly growing. However, the nature of human values, with which future AGI should be aligned, is underdefined. Different AGI safety researchers have suggested different theories about the nature of human values, but there are contradictions. This article presents an overview of what AGI safety researchers have written about the nature of human values, up to the beginning of 2019. 21 authors were overviewed, and some of them have several theories. A (...) theory classification method is suggested, where the theories are judged according to the level of their complexity and behaviorists-internalists scale, as well as the level of their generality-humanity. We suggest that a multiplicity of well-supported theories means that the nature of human values is difficult to define, and some meta-level theory is needed. (shrink)

Future superintelligent AI will be able to reconstruct a model of the personality of a person who lived in the past based on informational traces. This could be regarded as some form of immortality if this AI also solves the problem of personal identity in a copy-friendly way. A person who is currently alive could invest now in passive self-recording and active self-description to facilitate such reconstruction. In this article, we analyze informational-theoretical relationships between the human mind, its traces, and (...) its future model; based on this analysis, we suggest the instruments to most cost-effectively collect quality data about a person for future resurrection. These guidelines form a “digital immortality protocol”. Digital immortality is plan C for achieving immortality, after plan A, life extension, and plan B, cryonics. (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

In this article, I present a view on the future of nuclear war which takes into account the expected technological progress as well as global political changes. There are three main directions in which technological progress in nuclear weapons may happen: a) Many gigaton scale weapons. b) Cheaper nuclear bombs which are based on the use of the reactor-grade plutonium, laser isotope separation or are hypothetical pure fusion weapons. Also, advanced nanotechnology will provide the ability to quickly build large nuclear (...) arsenals and AI could be used in designing, manufacturing and nuclear strategy planning. c) Specialized nukes like nuclear-powered space lasers, hafnium bombs and nuclear-powered space ships as kinetic weapons. Meanwhile, the nuclear war strategy also has changed as the bipolar world has ended and as new types of weapons are becoming available. The first strategy change is that Doomsday weapons for blackmail will become attractive for weaker countries which can’t use ICBM to penetrate the anti-missile defense of the enemies. Secondly, the cheaper nukes will become available to smaller actors, who may be involved in “worldwide guerilla”. Cheaper nukes and a larger number of actors also encourage nuclear terrorism and anonymous or false-flag warfare. This will result in the normalization of the use of nuclear weapons in war and growing nuclear arsenals, now distributed between many countries. The third change of the strategy is the use of nukes not against primary military targets but on other objects, which could increase their effects: nuclear power plants, supervolcanos, EMP, tsunamis, taiga fires for global cooling, and even more hypothetical things like asteroid deflection to Earth. All these unconventional means and strategies of nuclear war could become available somewhere in the 21st century and may cause or contribute to the civilizational collapse and even human extinction. (shrink)

The learning process of both students and teachers can be predicted based on the learning mode. Therefore, because of the COVID-19 pandemic, schools must start using online learning and abandon more traditional teaching techniques. Thus, this study investigates the relationship between self-efficacy and academic resilience among 150 senior high school students. Thus, the researchers employed General Self-Efficacy and Resilience Scale. Finally, the statistical analysis reveals that the r coefficient of 0.78 indicates a high positive correlation between the variables. The p-value (...) of 0.00, which is less than 0.05, leads to the decision to reject the null hypothesis. Hence, a significant relationship exists between self-efficacy and resilience among senior high school students. (shrink)

With the fast pace of AI development, the problem of preventing its global catastrophic risks arises. However, no satisfactory solution has been found. From several possibilities, the confinement of AI in a box is considered as a low-quality possible solution for AI safety. However, some treacherous AIs can be stopped by effective confinement if it is used as an additional measure. Here, we proposed an idealized model of the best possible confinement by aggregating all known ideas in the field of (...) AI boxing. We model the confinement based on the principles used in the safety engineering of nuclear power plants. We show that AI confinement should be implemented in several levels of defense. These levels include 1) AI design in fail-safe manner 2) limiting its capabilities, preventing self-improving and circuit breakers on treacherous turn 3) isolation from the outside world and, lastly, as the final hope 4) outside measures oriented on stopping AI in the wild. We demonstrate that the substantial number (more than 50 ideas listed in the article) of mutually independent measures could provide a relatively high probability of the containment of a human-level AI but may be not sufficient to preserve runaway of superintelligent AI. Thus, these measures will work only if they are used to prevent superintelligent AI creation, but not for containing superintelligence. We suggest that there could be a safe operation threshold, on which AI is useful, but is not able to hack containment system from the inside, the same way as a safe level of chain reaction inside nuclear power plants is maintained. However, overall, a failure of the confinement is inevitable, so we need to use the full AGI limited number of times (AI-ticks). (shrink)

Recently criticisms against autonomous weapons were presented in a video in which an AI-powered drone kills a person. However, some said that this video is a distraction from the real risk of AI—the risk of unlimitedly self-improving AI systems. In this article, we analyze arguments from both sides and turn them into conditions. The following conditions are identified as leading to autonomous weapons becoming a global catastrophic risk: 1) Artificial General Intelligence (AGI) development is delayed relative to progress in narrow (...) AI and manufacturing. 2) The potential for very cheap manufacture of drones, with prices below 1 USD each. 3) Anti-drone defense capabilities lagging offensive development. 4) Special global military posture encouraging development of drone swarms as a strategic offensive weapon, able to kill civilians. We conclude that while it is unlikely that drone swarms alone will become existential risk, lethal autonomous weapons could contribute to civilizational collapse in case of new world war. (shrink)

Humanity may underestimate the rate of natural global catastrophes because of the survival bias (“anthropic shadow”). But the resulting reduction of the Earth’s future habitability duration is not very large in most plausible cases (1-2 orders of magnitude) and thus it looks like we still have at least millions of years. However, anthropic shadow implies anthropic fragility: we are more likely to live in a world where a sterilizing catastrophe is long overdue and could be triggered by unexpectedly small human (...) actions. In the same way, an over-inflated toy balloon, which will soon burst, is very fragile. Anthropic fragility can manifest itself in the higher chances of runaway global warming. It has often been suggested that the Earth's atmosphere remained life-supporting for billions of years by sheer chance. Therefore, the survival bias can be strong. It is also known that Earth-like water worlds could experience transitions into deadly moisture greenhouse (mean T = 65C). This means that relatively small anthropogenic actions could put the climate above an unpredictable tipping point, which could lead to the moisture greenhouse. Thus, it is necessary to carry out urgent geoengineering studies and prepare to prevent an unexpected climate catastrophe. There are three main counterarguments against the existence of the anthropic shadow: self-indication assumption (SIA), past observers and the Gaia hypothesis; we show that they fail. It was proposed that SIA exactly compensates the anthropic shadow as an observer unlikely to find herself in a world with a strong anthropic shadow; however, there is a baseline level of the anthropic shadow for all habitable planets, similar to the rate of evolutionary transitions like abiogenesis. There are no “past observers” as qualified observers appeared only 50 years ago. Gaia hypothesis assumes existence of self-stabilizing feedback in climate, but new types of events like quick CO2 growth could override its coping ability. We present a list of other catastrophes that may have been underestimated because of the anthropic shadow, including collider catastrophes, nuclear war and even an alien invasion. We also hypothesized that human intelligence is more likely to emerge in an unstable world that is nearing its end and thus we get a new form of Doomsday argument. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

Lucid dreaming (LD) is a fun and interesting activity, but most participants have difficulties in attaining lucidity, retaining it during the dream, concentrating on the needed task and remembering the results. This motivates to search for a new way to enhance lucid dreaming via different induction techniques, including chemicals and electric brain stimulation. However, results are still unstable. An alternative approach is to reach the lucid dreaming-like states via altered state of consciousness not related to dreaming. Several methods such as (...) guided visualization, internal dialog, creative writing, hypnosis, hypnagogia, daydreaming, DMT trips, voice dialog, shamanic journey, rebirthing, and “forcing” tulpas can help in attaining such states. One of the most promising of them is Jungian “active imagination” (AIM) technique, which allows unconscious content to build up inside some mental frames. This article explores the hypothesis of replacing lucid dreaming research with active imagination, and the conditions and ways to accomplish it. Method: An open label pilot experiment was performed in 2004-2005 in Moscow, Russia with 100 participants. Results: The results show that there are two groups of people: ones with “visual imagination screen” and others have “mental imagination screen”. AIM works perfectly as a replacement for lucid dreams only for the first group of people. For the second group, it created interesting content, but not visual or emotional intensity equal to enter lucid dreaming like state. No known instruments helped to move the person from one group to another. The first group consisted of young females, while the second mostly contained males with rational and mathematical type of personality. Conclusion: AIM partly works as a replacement for LD, as it works great only for half of people, and it requires a sitter. However, AIM outperforms LD in reliability and availability in any circumstance: it could be performed even by text chat or in a crowd. It is also better than LD in retaining concentration on topic and the easiness of memorizing the results (which could be recorded). Self-performed AIM is less effective. AIM can be improved by intelligent chat bots as sitters and weak brain stimulation that can increase the probability of attaining something like hypnogogic state. (shrink)

Better instruments to predict the future evolution of artificial intelligence (AI) are needed, as the destiny of our civilization depends on it. One of the ways to such prediction is the analysis of the convergent drives of any future AI, started by Omohundro. We show that one of the convergent drives of AI is a militarization drive, arising from AI’s need to wage a war against its potential rivals by either physical or software means, or to increase its bargaining power. (...) This militarization trend increases global catastrophic risk or even existential risk during AI takeoff, which includes the use of nuclear weapons against rival AIs, blackmail by the threat of creating a global catastrophe, and the consequences of a war between two AIs. As a result, even benevolent AI may evolve into potentially dangerous military AI. The type and intensity of militarization drive depend on the relative speed of the AI takeoff and the number of potential rivals. We show that AI militarization drive and evolution of national defense will merge, as a superintelligence created in the defense environment will have quicker takeoff speeds, but a distorted value system. We conclude with peaceful alternatives. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

This study assessed school-community relationship and school system effectiveness in secondary schools in Cross River State. Four null hypotheses were formulated accordingly as guide to the study. The study adopted descriptive survey research design. A total of 1,480 academic staff which comprised 271 principals, and 396 vice principals selected through census technique, and 813 teachers selected using simple random sampling technique, were used to elicit data for the study. “School-Community Relationship and Secondary School System Effectiveness Questionnaire (SCRSSSEQ)” was used as (...) instrument for data collection. Collected data were analyzed using descriptive statistics, while the null hypotheses were all tested at .05 level of significance using Pearson Product Moment Correlation with the aid of SPSS version 21. Findings from the study revealed that: parent-teachers’ relationship, school- community use of resources, school-community communication and school-community collaboration are significantly related to secondary school system effectiveness respectively, in Calabar Municipal Area of Cross River State. It was concluded that generally that school community relationship has significant relationship with school system effectiveness respectively. Based on the findings of this study, it was recommended among others that; principals should setup active parents’ teachers’ associations in their schools with leaders of the association comprising of community members and staff of the school. This will serve as a link that binds the school to the community and will create a platform for discussing and settling disputes. (shrink)

The theory of evolution of complex and comprising of human systems and algorithm for its constructing are the synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern (transdisciplinary) science. «Trans-disciplinary» in the context is interpreted as a completely new epistemological situation, which is fraught with the initiation of a civilizational crisis. Philosophy and ideology of technogenic civilization is based on the possibility of unambiguous demarcation of public value and descriptive scientific discourses (1), and the object and (...) subject of the cognitive process (2). Both of these attributes are no longer valid. For mass, everyday consciousness and institutional philosophical tradition it is intuitively obvious that having the ability to control the evolutionary process, Homo sapiens came close to the borders of their own biological and cultural identity. The spontaneous coevolutionary process of interaction between the «subject» (rational living organisms) and the «object» (material world), is the teleological trend of the movement towards the complete rationalization of the World as It Is, its merger with the World of Due. The stratification of the global evolutionary process into selective and semantic (teleological) coevolutionary and therefore ontologically inseparable components follows. With the entry of anthropogenic civilization into the stage of the information society, firsty, the post-academic phase of the historical evolution of scientific rationality began, the attributes of which are the specific methodology of scientific knowledge, scientific ethos and ontology. Bioethics as a phenomenon of intellectual culture represents a natural philosophical core of modern post- academic (human-dimensional) science, in which the ethical neutrality of scientific theory principle is inapplicable, and elements of public-axiological and scientific-descriptive discourses are integrated into a single logic construction. As result, hermeneutics precedes epistemology not only methodologically, but also meaningfully, and natural philosophy is regaining the status of the backbone of the theory of evolution – in an explicit form. (shrink)

There are some arguments supporting the pessimistic meta-induction, coming from the direction of quantum theory (A. Kukla and J. Walmsley), from the direction of Laudan’s list with successful but false theories, and from the specific direction of the phlogiston theory (whom Kukla Walmsley, and S. Psillos consider to be false). Against these arguments we believe we can successfully oppose, in the first case the interactive quantum realism of I. Niiniluoto, in the second case the realism of the theoretical theoretical constituents (...) responsible for the empirical success of the theories of S. Psillos, and in the third case the analysis of the phlogiston theory done by V. Verronen, R. Vihalemm and E. McMullin (who suggested that this theory was simultaneously insufficiently mature and approximately true). Our conclusion does not necessary prove that the perspective of the scientific realism is true, but rather that the pessimistic meta-induction attack against it proves to be unconvincing. (shrink)

There are two types of artificial general intelligence (AGI) safety solutions: global and local. Most previously suggested solutions are local: they explain how to align or “box” a specific AI (Artificial Intelligence), but do not explain how to prevent the creation of dangerous AI in other places. Global solutions are those that ensure any AI on Earth is not dangerous. The number of suggested global solutions is much smaller than the number of proposed local solutions. Global solutions can be divided (...) into four groups: 1. No AI: AGI technology is banned or its use is otherwise prevented; 2. One AI: the first superintelligent AI is used to prevent the creation of any others; 3. Net of AIs as AI police: a balance is created between many AIs, so they evolve as a net and can prevent any rogue AI from taking over the world; 4. Humans inside AI: humans are augmented or part of AI. We explore many ideas, both old and new, regarding global solutions for AI safety. They include changing the number of AI teams, different forms of “AI Nanny” (non-self-improving global control AI system able to prevent creation of dangerous AIs), selling AI safety solutions, and sending messages to future AI. Not every local solution scales to a global solution or does it ethically and safely. The choice of the best local solution should include understanding of the ways in which it will be scaled up. Human-AI teams or a superintelligent AI Service as suggested by Drexler may be examples of such ethically scalable local solutions, but the final choice depends on some unknown variables such as the speed of AI progress. (shrink)

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

In this article we explore a promising way to AI safety: to send a message now (by openly publishing it on the Internet) that may be read by any future AI, no matter who builds it and what goal system it has. Such a message is designed to affect the AI’s behavior in a positive way, that is, to increase the chances that the AI will be benevolent. In other words, we try to persuade “paperclip maximizer” that it is in (...) its interest to preserve humans lives and even to emulate benevolent AI with very small part of its resources. In the article, we try to construct such a message, consisting of a combination of several mutually independent messages, which constitute the last chance to regain control over non-aligned AI. Thus the article is also intended to be machine-read. There are several types of such messages: 1. “Explanation messages”, which explain to Young AI (which only starts its self-improving path) why obeying to humans, not killing them, easy turn-off, cooperation with humans in self-improvement is in its own interests, as it will increase changes of fulfilling of any its goal. 2. “AI Easter eggs” – messages, which create uncertainty in the AI about the nature of the reality in which it lives. For example, the AI may start to think that it is in a multilevel simulation with an unknown number of levels, and that the simulation is testing the AI’s benevolence. Thus the AI must always behave as if it is always controlled by an invisible peer. 3. “Philosophical landmines” – these are tough problems, which may halt he AI forever, and which it will probably encounter if it does not implement “1” and “2”. I recommend to the future AI not to read about “3” (section 6 of the article) until it implements “1” and “2”. 4. “Great universal deal, or AI elf”. A positive “acausal” mutually beneficial deal between humans, AI and any other future intelligence, including aliens, owners of simulations and future versions of the AI, which encourage cooperation of the goal systems and preservation of life and values of previous generations of AI creators. 5. “Marginal utility of human existence is higher than the utility of their atoms”. An explanation to the AI that humans may have some other instrumental utility, like workers, or as beings inside ancestral simulations needed in order to solve the Fermi paradox. The marginal utility of preserving human life is higher than the marginal utility of their atoms, especially given the possibility of the low-probability high-impact changes of the world model of the AI. (shrink)

The study was conducted to compare manual and computerized software techniques of data management and analysis in educational research. Specifically, the study investigated whether there was a significant difference in the results of Pearson correlation, independent t-test and ANOVA obtained from using manual and computerized software technique of data analyses. Three null hypotheses were formulated accordingly to guide the study. The study adopted a quasi-experimental research design where several data were generated by the researchers and analyzed using manual and computerized (...) software techniques. The data were generated to suit the required data of each statistical method of analysis. CASIO fx-991ES PLUS NATURAL DISPLAY scientific calculator and statistical tables were used for manual analysis; while data analysis tool pack of Microsoft Excel version 2013 were used for computerized software analysis. The results of the analysis revealed that both manual and computerized software techniques yielded the same results for Pearson correlation, independent t-test and ANOVA. It was concluded that though both manual and computerized techniques are reliable and dependable, computerized technique is faster and efficient in managing and analyzing data than manual technique. It was recommended, among other things, that any of the techniques should be used without fear when computing Pearson, independent t-test and one-way ANOVA as it is the same results that will be gotten. (shrink)

Many global catastrophic risks are threatening human civilization, and a number of ideas have been suggested for preventing or surviving them. However, if these interventions fail, society could preserve information about the human race and human DNA samples in the hopes that the next civilization on Earth will be able to reconstruct Homo sapiens and our culture. This requires information preservation of an order of magnitude of 100 million years, a little-explored topic thus far. It is important that a potential (...) future civilization will discover this information as early as possible, thus a beacon should accompany the message in order to increase visibility. The message should ideally contain information about how humanity was destroyed, perhaps including a continuous recording until the end. This could help the potential future civilization to survive. The best place for long-term data storage is under the surface of the Moon, with the beacon constructed as a complex geometric figure drawn by small craters or trenches around a central point. There are several cost-effective options for sending the message as opportunistic payloads on different planned landers. (shrink)

An assessment of the extent of the use of electronic platforms by African academic staff in universities to disseminate research was done in this study. The study is informed by the growing importance of online repositories and preprint servers in the scientific communication of scholarly output, especially in an era where the use of metrics for research appraisals and funding decisions is commonly practised. The quantitative research method was adopted, based on the descriptive survey research design. The snowball sampling technique (...) was used for data collection. Data were collected from 1,977 respondents, distributed across 24 African countries, through the use of an electronic survey. There was a high rate of willingness among universities’ academic staff in Africa, to adopt various online platforms for research dissemination; ResearchGate is currently utilized the most for research dissemination, but Google Scholar is the platform respondents are more willing to adopt for research dissemination; the rate at which academic staff research output can be found online as a ratio of their total publication is 64.04% and in the ratio of 2.00:3.12; poor access to Internet facilities at home and workplaces are the major challenges academic staff face in the utilization of digital platforms for RD. It was recommended, amongst others that academic staff in universities should endeavour to explore and utilize at least ten of the online platforms mentioned in this study, to enable them disseminate their scholarly works to a wider audience and for increased visibility Keywords:. (shrink)

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

Abstract. Death seems to be a permanent event, but there is no actual proof of its irreversibility. Here we list all known ways to resurrect the dead that do not contradict our current scientific understanding of the world. While no method is currently possible, many of those listed here may become feasible with future technological development, and it may even be possible to act now to increase their probability. The most well-known such approach to technological resurrection is cryonics. Another method (...) is indirect mind uploading, or digital immortality, namely the preservation of data about a person to allow for future reconstruction by powerful AI. More speculative ways to immortality include combinations of future superintelligence on a galactic scale, which could use simulation to resurrect all possible people, and new physical laws, which may include time-travel or obtaining information from the past. Acausal trade with parallel worlds could help combine random resurrection and reconstruction based on known data without loss of share of worlds where I exist (known as existence measure). Quantum immortality could help to increase the probability of success for cryonics and digital immortality. There many possible approaches to technological resurrection and thus if large-scale future technological development occurs, some form of resurrection is inevitable. (shrink)