SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Duality for finite models: relating structure and power

The present project is positioned in the research area of logic and semantics of computation, combining a rich mathematical theory with concrete applications in computer science. Finite model theory (FMT) is the specialisation of model theory to the class of finite models, and has been called ``the logic of computer science'' because in the latter field the basic models of computation are finite. Most of the classical results of model theory fail when restricted to finite models, hence FMT is studied using different tools and methods. For this reason, FMT has developed mostly independently from model theory and the research communities, as well as the techniques, are almost disjoint. FMT exemplifies a strand in the field of logic in computer science focussing on expressiveness and complexity (``Power""), as opposed to the one focussing on semantics and compositionality (``Structure""). In this project we will apply Stone duality to bridge the gap between the semantics methods of model theory, and the combinatorial and complexity-theoretic methods of FMT, i.e., to relate Structure and Power.

In his Ph.D. thesis, the applicant has successfully applied Stone duality and topology to the study of formal languages and logic on finite words. The proposed project constitutes both a natural continuation of this research line, generalising from finite words to finite models, and a novel approach to FMT. The applicant will collaborate with the supervisor, who is a leading expert in the interactions between logic and computational models arising in computer science. 

An essential feature of this project is its high degree of interdisciplinarity, aiming to strengthen the connections between mathematics and computer science. The host institution, which is home to several experts in logic and foundations of computer science, will benefit from the applicant's experience in duality theory and topology, thus fostering cross-fertilisation within the European research community.
Anterior chamber contamination during phacoemulsification after povidone-iodine application.

To determine the rate of anterior chamber contamination during phacoemulsification after applying 5% povidone-iodine prior to surgery.One hundred eyes from 100 patients having phacoemulsification cataract surgery by a single surgeon at Ramathibodi Hospital between October 2010 and March 2011 were included in the present study. Povidone-iodine 5% solution eye drops were used in all patients at least three minutes before the operation. Anterior chamber fluid was aspirated at the end of the procedure for culture in chocolate agarAnterior chamber fluid cultures were positive in three eyes (Pseudomanas oryzihabitans in 1 eye, Klebsiella pneumoni in 1 eye, and yeast in 1 eye). These three patients had no exaggerated or prolonged postoperative intraocular inflammation compared to others. No patients in the present study developed endophthalmitis.Povidone-iodine 5% solution eye drops before operation may control microbial contamination during phacoemulsification.
Review of Use of Animation as a Supplementary Learning Material of Physiology Content in Four Academic Years.

Dynamic concepts are difficult to explain in traditional media such as still slides. Animations seem to offer the advantage of delivering better representations of these concepts. Compared with static images and text, animations can present procedural information (e.g. biochemical reaction steps, physiological activities) more explicitly as they show the steps in an orderly manner. Quite a few empirical studies showed promising results animations have on learning (e.g. Trevisan, Oki and Senger, 2009; Hays, 1996). There are, however, also limitations. Designing and developing quality animations for teaching and learning can be challenging sometimes (Morrison, Tversky and Betrancourt, 2000). Kesner and Linzey (2005) even found no improvement on students’ learning in using animations in their study. It thus occurs to the researchers that there are factors that govern successful use of animation in teaching and learning. Our study explored such factors in the context of physiology teaching. 913 students in twelve different classes (collected in two stages, four years in total) in the same physiology course learned complicated microscopic mechanisms with assistance from animations provided as supplementary materials primarily for self‑study. Surveys and group interviews were conducted that provided both qualitative and quantitative feedback. Results were mostly positive ‑ animations surely explain contents more explicitly to students (especially for the explanation of dynamic and complicated biological processes), make students more interested in the subjects taught; and there is a greater demand for similar learning tools from the students. It is strongly believed that animations are good supplementary learning materials for students particularly for learning complicated concepts. Important success factors we found included the detailed explanation of content, a good balance between clear presentation and beautiful interface, the speed of running/ loading of the animations, and the provision of more references, etc.
3D reloaded: novel algorithms for 3d shape inference and analysis

Despite their amazing success, we believe that computer vision algorithms have only scratched the surface of what can be done in terms of modeling and understanding our world from images. We believe that novel image analysis techniques will be a major enabler and driving force behind next-generation technologies, enhancing everyday life and opening up radically new possibilities. And we believe that the key to achieving this is to develop algorithms for reconstructing and analyzing the 3D structure of our world. 

In this project, we will focus on three lines of research:

A) We will develop algorithms for 3D reconstruction from standard color cameras and from RGB-D cameras. In particular, we will promote real-time-capable direct and dense methods. In contrast to the classical two-stage approach of sparse feature-point based motion estimation and subsequent dense reconstruction, these methods optimally exploit all color information to jointly estimate dense geometry and camera motion.

B) We will develop algorithms for 3D shape analysis, including rigid and non-rigid matching, decomposition and interpretation of 3D shapes. We will focus on algorithms which are optimal or near-optimal. One of the major computational challenges lies in generalizing existing 2D shape analysis techniques to shapes in 3D and 4D (temporal evolutions of 3D shape).

C) We will develop shape priors for 3D reconstruction. These can be learned from sample shapes or acquired during the reconstruction process. For example, when reconstructing a larger office algorithms may exploit the geometric self-similarity of the scene, storing a model of a chair and its multiple instances only once rather than multiple times. 

Advancing the state of the art in geometric reconstruction and geometric analysis will have a profound impact well beyond computer vision. We strongly believe that we have the necessary competence to pursue this project. Preliminary results have been well received by the community.
Affordable robots to democratize film and video motion control

Almost all moving shots we see on TV or in movies are performed by a camera mounted on some sort of motion control 
system to produce seamless, steady shots while following its subject. With the quality of digital cameras increasing as prices 
drop, there is growing demand for affordable, high-quality motion control systems. To achieve professional motion control 
quality in the TV/film/video production sector, professionals currently need to use heavy, labour-intensive equipment like 
dollies on rails, which can cost upwards of 100k€ and are operated by at least 2 specialized operators. For shots that need 
to be repeated precisely on each take, large studios use industrial robots that are much more expensive but can be 
controlled by a single expert operator, although they need to be moved and set up by several people. 
The SME production companies and independent professionals who make up the great majority of this sector can rent a 
dolly and hire operators, although they are costly, or even an industrial robot when a shoot calls for it, although they are 
generally used by large studios for big-budget productions.  
Ground Drone is a breakthrough motion control system consisting of a robotic platform equipped with a powerful processor 
that works with any type of camera, from heavy-duty studio cameras to smartphones. It uses our proprietary computer vision 
and artificial intelligence algorithms to calculate the motion trajectory and move the camera through the desired flow, while 
following the subject and taking into account its surroundings and other sensor data. 
Ground Drone will democratize high-quality motion control, the next frontier for budget production. We offer industrial robot 
precision with affordable but powerful technology that can adapt to diverse user scenarios. We will use this phase 1 project 
to test our value proposition and commercial hypotheses with potential clients, in order to maximize impact and reduce risk 
as we more forward.
The role of free extracellular dna in determining the environmental antibiotic resistome

Free extracellular DNA (FED) is DNA dissolved in waters and in soils, where it arrives after being excreted by living
organisms or following the disruption of living cells. FED can be the most prominent fraction of DNA in waters subjected to
strong disturbances, where the mortality rate of microorganisms is high, e.g. wastewater treatment plants effluents. FED are
composed by a variety of DNA fragments including resistance genes and mobile elements. There are early evidences than
FED can represent a very important, although neglected, source of antibiotic resistance genes (ARGs) in the environment,
where the bacterial community can access FED and incorporate extracellular DNA by horizontal gene transfer.
If this process will be confirmed and quantified by dedicated researches, our understanding of the cycle of antibiotic
resistances into the environment and back to human pathogens could change dramatically, calling for a whole rethinking of
the wastewater treatments nowadays applied. The Project REDTEAR will tackle the issue and will clarify the role of FED in
the spread and the persistence of ARGs in open waters in central Europe, offering a unique opportunity for a correct
management of this problem, already identified as one of the major challenges for human health in the next century.
Addressing the needs of students with learning disabilities during their interaction with the web

Purpose – The purpose of this study is to examine the effectiveness of instruction in information problem solving within the world wide web (the web) environment. The participants were 20 seventh and eighth grade students with a learning disability (LD) in reading. An experimental pretest‐posttest control group method was used to investigate the effects of intervention in which the treatment group was instructed in information problem solving with the Big6 Skills model. Both groups utilized an essay map organizer. The students researched science and social studies topics on the internet and the web and wrote reports over a three‐month period.Design/methodology/approach – Experimental pretest‐posttest control group study, with a repeated measures design, and a repeated measures ANOVA analysis.Findings – Both groups significantly improved in the quality of writing, text length, and navigation. The treatment group significantly outperformed the control group on the measure of text length and text organizatio...
European school on artificial leaf : electrodes  devices

Climate change resulting from accumulation of anthropogenic carbon dioxide in the atmosphere and the uncertainty in the
amount of recoverable fossil fuel reserves are driving forces for the development of renewable, carbon-neutral energy
technologies. Artificial photosynthesis appears to be an appealing approach for a sustainable energy generation as it
produces “solar fuels” or commodities for chemistry in a stable and storable chemical form, from solar energy, H2O & CO2.
The eSCALED project is a contribution to structure early-stage research training at the European level and strengthen
European innovation capacity to elaborate an artificial leaf. The ESR will be in charge of combining in a unique device a
solar cell and a bioinspired electrochemical stack where H2O oxidation and H+ or CO2 reduction are performed in microreactors.
The novelties in this project are at two levels: (1) Developing sustainable joint doctoral degree structure based on
inter/multidisciplinary aspects of biological/biochemical, condensed, inorganic & soft matter to device engineering and
innovation development. (2) Scientifically using, cheap and easy processes tandem organic solar cells, earth-abundant
materials for water splitting, new generation of catalysts and natural/artificial hydrogenase enzymes for hydrogen production,
formate dehydrogenases for catalytic carbon dioxide reduction, new proton-exchange fluorinated membranes and finally,
electrode micro porosity to mimic the chloroplasts of a plant. The eSCALED collaborative project brings together for the first
time, 12 internationally recognized academic and industrial research groups. The project has an interdisciplinary scientific
approach integrating the latest knowledge on catalysis, photovoltaic and polymer chemistry for self-structuration. Major
outcomes will include breakthroughs in the development of artificial photosynthetic leaf as a photoelectrochemical device,
highly trained researchers & new partners collaborations.
Management accounting and creativity: analysis of meanings

MACRAME project aims at discovering the meanings that inform management accounting practices in the Creative and Cultural Industries (CCIs). The CCIs are an increasingly relevant economic sector, with high potential of growth, innovation and social inclusion. The European Commission, especially through the Creative Europe framework programme, is investing to unlock such potential. MACRAME aims at contributing to the European strategy by providing an original and innovative interpretation of the peculiarities of creative organizations, and, in particular, of the management technologies and skills used to account and control for creative processes and outputs. 
The research adopts an inductive case research strategy for theory building. First, a within case analysis will be made through a fieldwork in a partner organization in the CCIs, with the aim of uncovering and interpreting the contextual role of management accounting practices in a creative setting.  Second, a cross-case comparison will be made, by analyzing and comparing field materials collected by the researcher during the project and during two previous stages of fieldwork in the CCIs. From the cross-case comparison, a general theorization of the meanings of management accounting in creative settings will be provided. 
The research project, which will last 24 months, will mainly be conducted at the Department of Operations Management (DOM) of the Copenhagen Business School (CBS), under the supervision of Professor Jan Mouritsen, while the fieldwork will be conducted during the secondment period in a partner organization. 
MACRAME results will be disseminated and the action communicated with tailored measures to a wide audience, including the academic community, the industry, policy makers and the general public.
Thermodynamic and Structural Trends in Hexavalent Actinyl Cations: Complexation of Dipicolinic Acid with NpO 2 2+ and PuO 2 2+ in Comparison with UO 2 2+

The complexation of NpO2(2+) and PuO2(2+) with dipicolinic acid (DPA) has been investigated in 0.1 M NaClO4 by spectrophotometry, microcalorimetry, and single crystal diffractometry. Formation of 1:1 and 1:2 (metal/ligand molar ratio) complexes of DPA with NpO2(2+) and PuO2(2+) were identified and the thermodynamic parameters were determined and compared with those of UO2(2+) . All three hexavalent actinyl cations form strong 1:1 DPA complexes with slightly decreasing but comparable stability constants from UO2(2+) to PuO2(2+), whereas the stability constants of the 1:2 complexes (logβ2) decrease substantially along the series (16.3 for UO2L2(2-), 15.17 for NpO2L2(2-), and 14.17 for PuO2L2(2-) at 25 °C). The enthalpies of complexation for the 1:2 complexes become less exothermic from UO2L2(2-) (-28.9 kJ mol(-1)), through NpO2L2(2-) (-27.2 kJ mol(-1)), and to PuO2L2(2-) (-22.7 kJ mol(-1)). The trends in the thermodynamic parameters are discussed in terms of the effective charge of the cations and the steric constraints in the structures of the complexes. In addition, the features of the absorption spectra, including the wavelength and intensity of the absorption bands, are related to the perturbation of the ligand field and the symmetry of the actinyl complexes.
CONTAINER ASSEMBLIES INCLUDING METAL CLOSURES AND THERMOPLASTIC CONTAINERS AND METHODS OF HOT-FILLING FOOD AND BEVERAGE PRODUCTS

Container assemblies are described herein that include a metal closure and a container including a plastic finish. The container assemblies may be characterized by improved performance including reproducibility of force needed to remove the closure. Furthermore, the container assemblies described herein may be compatible for use with hot-fill packaging processes.
Association of anemia with the risk of cardiovascular adverse events in overweight/obese patients

Anemia is associated with increased cardiovascular risks. Obesity may cause anemia in several ways, for example, by low-grade inflammation and relative iron deficit. The outcomes associated with anemia in overweight/obese patients at high cardiovascular risk are however not known. Therefore, we investigated the cardiovascular prognosis in overweight/obese subjects with anemia.A total of 9,687 overweight/obese cardiovascular high-risk patients from the Sibutramine Cardiovascular OUTcomes trial were studied. Patients were stratified after baseline hemoglobin level and followed for the risks of primary event (comprising nonfatal myocardial infarction, nonfatal stroke, resuscitated cardiac arrest or cardiovascular death) and all-cause mortality. Risk estimates (hazard ratios (HR) with 95% confidence intervals (CI)) were calculated using Cox regression models.Anemia was unadjusted associated with increased risk for the primary event, HR 1.73 (CI 1.37-2.18) and HR 2.02 (CI 1.34-3.06) for patients with mild or moderate-to-severe anemia, respectively, compared with patients without anemia. Adjusted for several confounders, anemia remained of prognostic importance. Increased risk of the primary events appeared to be driven by risk of cardiovascular death, adjusted HR 1.82 (CI 1.33-2.51) for mild anemia and adjusted HR 1.65 (CI 0.90-3.04) for moderate-to-severe anemia, and all-cause mortality, adjusted HR 1.50 (CI 1.17-1.93) for mild and adjusted HR 1.61 (CI 1.04-2.51) for moderate-to-severe anemia. While adding serum creatinine to the models, the increased risk of mild anemia was still a significant predictor for mortality (cardiovascular and all-cause), whereas moderate-to-severe anemia was not. For the primary events, anemia was no longer of independent prognostic importance when including serum creatinine.Anemia is associated with an increased risk of long-term adverse cardiovascular events and deaths among overweight/obese cardiovascular high-risk patients. The increased risk appeared to be driven by the risk of cardiovascular death and all-cause mortality, and renal impairments seemed to have a role in the increased risk.
Threshold based locking routing strategy for delay tolerant network

Delay tolerance network probabilistic routing protocols forward message to a node by observing its predictability value to meet the message destination. However, it is vital to predict the ability of node to carry the transmitted message. For instance, the traffic confluence on the high probable nodes can produce congestion that results in the drop of previously stored messages. These drops diminish the delivery ratio because the dropped message lost its opportunity to be delivered. Since, there exist multiple copies of each message; therefore, the same node invariably receives the dropped messages from other parts of the network and causes the highest number of transmissions. Additionally, the replication from source node continues on the high probable peers even the previous copies were transmitted on the better predictable neighbors than the current. In this paper, we have proposed a novel routing method called as the adaptive threshold based locking method that maintains the contemporary status of the node based on its activity in the network. We have used the adaptive status measuring metrics such as transmit factor, drop factor and hop away count. Moreover, a threshold based locking method has been introduced to control the diffusion of messages. We have performed the comparison of existing and proposed routing methods with real time mobility traces. The proposed strategy has bolstered the delivery ratio and minimizes hop count, end-to-end delay and number of transmission.
A case study of aggregation behaviors of titanium dioxide nanoparticles in the presence of dodecylbenzene sulfonate in natural water

The present work aims to ascertain the mechanisms of surfactant (dodecylbenzene sulfonate; DBS) effects on the aggregation behaviors of TiO2 nanoparticles (TiO2-NPs) in natural water samples. Aggregation experiments were conducted at a TiO2-NPs concentration of 10mg/L in deionized water and in natural water samples via dynamic light scattering and Zeta potential determination. Average attachment efficiency was calculated to compare the aggregation behaviors of nanoparticles in the two aqueous media. Results showed that the effects of DBS on aggregation could be interpreted by both Derjaguin-Landau-Verwey-Overbeek (DLVO) and non-DLVO mechanisms. In natural water samples, aggregation did not occur rapidly and was able to develop slowly under all conditions, and the roles of DBS were obvious at high DBS concentration owing to the impacts of inherent components of natural water samples, such as colloids and natural organic compounds. Future aggregation studies should concentrate on multi-factor, multi-colloidal and dynamic aspects under similar environmental conditions.
Bank Leverage and Regulatory Regimes: Evidence from the Great Depression and Great Recession

In the boom before the Great Depression, capital requirements for commercial banks were low and fixed. Bankers faced double liability. Failing banks were not bailed out. During the boom before the Great Recession, capital requirements were proportional to risk-weighted assets. Bankers faced limited liability. Banks deemed too big to fail received bailouts. During the 1920s, the largest banks increased capital levels as asset prices rose. During the boom from 2002 to 2007, the largest institutions kept capital levels near regulatory minimums. Our results suggest more market discipline would have induced the largest U.S. banks to hold greater capital buffers prior to the financial crisis of 2008.