cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
Creators: name: Goyal, Srajan
name: Griggio, Alberto
name: Kimblad, Jacob
name: Tonetta, Stefano
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and reliability has become a critical challenge. The Verification and Validation (V&V) of these systems are particularly demanding when AI components are employed to implement perception and/or control functions. In ESA-funded project VIVAS, we developed a generic framework for system-level simulation-based V&V of autonomous systems. The approach is based on a simulation model of the system, an abstract model that describes symbolically the system behavior, and formal methods to generate scenarios and verify the simulation executions. Various coverage criteria can be defined to guide the automated generation of the scenarios. In this paper, we describe the instantiation of the VIVAS framework for an ADS case study. This is based on the integration of CARLA, a widely-used driving simulator, and its ScenarioRunner tool, which enables the creation of diverse and complex driving scenarios. This is also used in the CARLA Autonomous Driving Challenge to validate different ADS agents for perception and control based on AI, shared by the CARLA community. We describe the development of an abstract ADS model and the formulation of a coverage criterion that focuses on the behaviors of vehicles relative to the vehicle with ADS under verification. Leveraging the VIVAS framework, we generate and execute various driving scenarios, thus testing the capabilities of the AI components. The results show the effectiveness of VIVAS in automatically generating scenarios for system-level simulation-based V&V of an automated driving system using CARLA and ScenarioRunner. Therefore, they highlight the potential of the approach as a powerful tool in the future of ADS V&V methodologies.
description: In Proceedings FMAS 2023, arXiv:2311.08987
Geometrothermodynamics of Myers-Perry black holes
Creators: name: Bravetti, Alessandro
name: Momeni, Davood
name: Myrzakulov, Ratbay
name: Altaibayeva, Aziza
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We consider the thermodynamics and Geometrothermodynamics of the Myers-Perry black holes in five dimensions for three different cases, depending on the values of the angular momenta. We follow Davies approach to study the thermodynamics of black holes and find a non-trivial thermodynamic structure in all cases, which is fully reproduced by the analysis performed with the techniques of Geometrothermodynamics. Moreover, we observe that in the cases when only one angular momentum is present or the two angular momenta are fixed to be equal, i.e. when the thermodynamic system is two dimensional, there is a complete agreement between the divergences of the generalized susceptibilities and the singularities of the equilibrium manifold, whereas when the two angular momenta are fully independent, that is, when the thermodynamic system is three dimensional, additional singularities in the curvature appear. However, we prove that such singularities are due to the changing from a stable phase to an unstable one.
description: Matches the published version
Teaching Matters and So Does Curriculum: How CUNY Start Reshaped Instruction for Students Referred to Developmental Mathematics
Creators: name: Bickerstaff, Susan E.
name: Edgecombe, Nicole Diane
Publisher: name: Columbia University
Year: 2019
Subjects: Community colleges
Mathematics--Study and teaching (Higher)
Community colleges--Curricula
Mathematics--Remedial teaching
College preparation programs

description: Adult proficiency in numeracy in the United States lags behind that of other developed nations, and the nonselective institutions that dominate the higher education sector struggle to address the learning needs of the sizeable proportion of students who enroll in their institutions and are deemed academically underprepared in mathematics. Research on curriculum and pedagogy in developmental (or remedial) mathematics indicates that typical teaching approaches emphasize memorization, often at the expense of the kinds of conceptual understanding that prepare students for college-level mathematics and the numeracy demands of the workforce. This paper examines CUNY Start, an innovative pre-matriculation developmental education program developed by The City University of New York (CUNY) that reimagines the design and implementation of remedial instruction to better serve students with weak academic preparation. Using data from interviews, classroom observations, an instructor survey, and curricular materials, this paper describes four key features of the CUNY Start mathematics instructional approach, paying particular attention to how these features differ from traditional developmental education. These features are: (1) the use of a highly detailed curricular document as a primary resource for instructors; (2) an emphasis on real-world contexts and number relationships, which serve as the instructional starting point (rather than rules and procedures); (3) a pedagogical approach that elicits student talk and discussion through questioning; and (4) explicit attention to students’ organizational and study skills. This paper also elaborates on the processes, structures, and resources built into CUNY Start that support its implementation. This paper is part of an ongoing random assignment evaluation of CUNY Start undertaken with MDRC that so far finds that the program has significant positive effects on students achieving college readiness in mathematics (longer-term effects will also be estimated). This evidence strongly suggests that CUNY Start’s structures, processes, and resources enable instructors to teach mathematics in a different way that may boost student achievement.
Connecting Direct Dark Matter Detection Experiments to Cosmologically Motivated Halo Models
Creators: name: Mao, Yao-Yuan
name: Strigari, Louis E.
name: Wechsler, Risa H.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Several direct detection experiments, including recently CDMS-II, have reported signals consistent with 5 to 10 GeV dark matter (DM) that appear to be in tension with null results from XENON and LUX experiments; these indicate a careful review of the theoretical basis, including the galactic DM velocity distribution function (VDF). We establish a VDF parameter space from DM-only cosmological simulations and illustrate that seemingly contradictory experimental results can be made consistent within this parameter space. Future experimental limits should be reported after they are marginalized over a range of VDF parameters.
description: Accepted by PRD, in print; 6 pages, 4 figures; matches the version in print in PRD
title: Modelling water availability and water allocation strategies in the Scheldt basin: Sub report 4-1. Analyses of hydrological models for climate change modelling – NAM
Creators: name: Naranjo, P.
name: Maroy, E.
name: Velez, Carlos
name: De Boeck, Karen
name: Pereira, Fernando
name: Nossent, Jiri
name: Mostaert, Frank
Publisher: name: Flanders Hydraulics Research
Year: 2021

description: The water balance model of the Scheldt basin will be used in order to perform low flow forecasts and calculate climate change scenarios. Within the current subtask is investigated which is the most appropriate hydrological model for the sub catchments of the water balance model of the Scheldt basin in order to meet this prerequisite. This sub report describes the recalibration and evaluation of NAM models, which are part of the MIKE 11 software package (DHI, 2009).The optimization during calibration is performed based on an automatic procedure, followed by a visual control. During the optimization routine the parameter sets are selected based on 2 criteria: (1) absolute error on cumulated total flow at each time step, and (2) logarithmic Nash-Sutcliff efficiency. The first criterion aims to model the global flow pattern, the latter focuses mainly on the low flows.Overall, the performance of the updated NAM models, is substantially improved compared to the original NAM models. The summarized results for each of the gauged sub catchments within the study area, allow the user to get insight in the performance of the NAM model for each of the involved sub catchments. Based on this information and the evaluation of the PDM, VHM and WETSPA models, the user can make a well-grounded decision on which model to use for the considered objective.
description: Title : FHR reports. Flanders Hydraulics Research: Antwerp Volume : 00_162_4-1 Issue : Pagination : IX, 71 + 244 p. app.
Enforcing Timing Properties in Motorway Traffic
Creators: name: Bischopink, Christopher
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: In previous work, we proposed a Runtime Enforcement Approach to deal with timing properties in motorway traffic, which are present in form of Timed Multi-Lane Spatial Logic (TMLSL) formulae, a logic tailored to express both spatial and timing properties. Employing communication between the cars, we utilised a nondeterministic controller guessing which actions to execute next for each car, before asking the local monitors of the cars for permission to execute the announced actions. In this contribution, we consider a more reasonable controller that only considers sequences that satisfy its own properties. This is done utilising region automata that one can generate from the cars' specifications. In the approach, we also came along a minor decidability result for TMLSL.
description: In Proceedings FMAS 2023, arXiv:2311.08987
Fully Differential Monte-Carlo Generator Dedicated to TMDs and Bessel-Weighted Asymmetries
Creators: name: Aghasyan, M.
name: Avakian, H.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We present studies of double longitudinal spin asymmetries in semi-inclusive deep inelastic scattering using a new dedicated Monte Carlo generator, which includes quark intrinsic transverse momentum within the generalized parton model based on the fully differential cross section for the process. Additionally, we apply Bessel-weighting to the simulated events to extract transverse momentum dependent parton distribution functions and also discuss possible uncertainties due to kinematic correlation effects.
description: 3rd Workshop on the QCD Structure of the Nucleon (QCD-N'12) October 22-26, 2012, Bilbao, Spain
Margarethe Billerbeck, Christian Zubler: Das Lob der Fliege von Lukian bis L. B. Alberti. Gattungsgeschichte, Texte, Übersetzungen und Kommentar
Creators: name: Werner, Jürgen
Publisher: name: Forum Classicum
Year: 2017

description: Rezension zu: Margarethe Billerbeck, Christian Zubler: Das Lob der Fliege von Lukian bis L. B. Alberti. Gattungsgeschichte, Texte, Übersetzungen und Kommentar. Peter Lang, Bern usw. 2000. (Sapheneia 5) 264 S., (ISBN 3-906765-24-5).
description: Forum Classicum, Nr. 4 (2003): Forum Classicum
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions
Creators: name: Badings, Thom
name: Jansen, Nils
name: Romao, Licio
name: Abate, Alessandro
Publisher: name: arXiv
Year: 2023
Subjects: subject: Systems and Control (eess.SY)
subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Automated synthesis of correct-by-construction controllers for autonomous systems is crucial for their deployment in safety-critical scenarios. Such autonomous systems are naturally modeled as stochastic dynamical models. The general problem is to compute a controller that provably satisfies a given task, represented as a probabilistic temporal logic specification. However, factors such as stochastic uncertainty, imprecisely known parameters, and hybrid features make this problem challenging. We have developed an abstraction framework that can be used to solve this problem under various modeling assumptions. Our approach is based on a robust finite-state abstraction of the stochastic dynamical model in the form of a Markov decision process with intervals of probabilities (iMDP). We use state-of-the-art verification techniques to compute an optimal policy on the iMDP with guarantees for satisfying the given specification. We then show that, by construction, we can refine this policy into a feedback controller for which these guarantees carry over to the dynamical model. In this short paper, we survey our recent research in this area and highlight two challenges (related to scalability and dealing with nonlinear dynamics) that we aim to address with our ongoing research.
description: In Proceedings FMAS 2023, arXiv:2311.08987. arXiv admin note: text overlap with arXiv:2301.01526
Interplay between quantum confinement and dielectric mismatch for ultra-shallow dopants
Creators: name: Mol, J. A.
name: Salfi, J.
name: Miwa, J. A.
name: Simmons, M. Y.
name: Rogge, S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Understanding the electronic properties of dopants near an interface is a critical challenge for nano-scale devices. We have determined the effect of dielectric mismatch and quantum confinement on the ionization energy of individual acceptors beneath a hydrogen passivated silicon (100) surface. Whilst dielectric mismatch between the vacuum and the silicon at the interface results in an image charge which enhances the binding energy of sub-surface acceptors, quantum confinement is shown to reduce the binding energy. Using scanning tunneling spectroscopy we measure resonant transport through the localized states of individual acceptors. Thermal broadening of the conductance peaks provides a direct measure for the absolute energy scale. Our data unambiguously demonstrates that these two independent effects compete with the result that the ionization energy is less than 5 meV lower than the bulk value for acceptors less than a Bohr radius from the interface.
Radio Unnameable
Creators: name: (:Unav)
Publisher: name: Columbia University
Year: 2019

description: Caryl Ratner and Fass broadcast from a church. A story about a man returning to his home and learning that many of the people he cared about are dead. "Black Peter" by the Grateful Dead plays. "Cruel War" by Peter, Paul, and Mary plays. "My Name is Jack" by Manfred Mann plays; "I Get High on Jesus" and "Speed Song" Ralph Betza
All order alpha'-expansion of superstring trees from the Drinfeld associator
Creators: name: Broedel, Johannes
name: Schlotterer, Oliver
name: Stieberger, Stephan
name: Terasoma, Tomohide
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Number Theory (math.NT)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We derive a recursive formula for the alpha'-expansion of superstring tree amplitudes involving any number N of massless open string states. String corrections to Yang-Mills field theory are shown to enter through the Drinfeld associator, a generating series for multiple zeta values. Our results apply for any number of spacetime dimensions or supersymmetries and chosen helicity configurations.
description: 6 pages, LaTeX; v2: Final version to appear in PRD
3vLTL: A Tool to Generate Automata for Three-valued LTL
Creators: name: Belardinelli, Francesco
name: Ferrando, Angelo
name: Malvone, Vadim
Publisher: name: arXiv
Year: 2023
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences
subject: F.1.1; D.2.4

description: Multi-valued logics have a long tradition in the literature on system verification, including run-time verification. However, comparatively fewer model-checking tools have been developed for multi-valued specification languages. We present 3vLTL, a tool to generate Buchi automata from formulas in Linear-time Temporal Logic (LTL) interpreted on a three-valued semantics. Given an LTL formula, a set of atomic propositions as the alphabet for the automaton, and a truth value, our procedure generates a Buchi automaton that accepts all the words that assign the chosen truth value to the LTL formula. Given the particular type of the output of the tool, it can also be seamlessly processed by third-party libraries in a natural way. That is, the Buchi automaton can then be used in the context of formal verification to check whether an LTL formula is true, false, or undefined on a given model.
description: In Proceedings FMAS 2023, arXiv:2311.08987
Should Colleges Invest in Machine Learning? Comparing the Predictive Powers of Early Momentum Metrics and Machine Learning for Community College Credential Completion
Creators: name: Yanagiura, Takeshi
Publisher: name: Columbia University
Year: 2020
Subjects: Machine learning
High technology and education
Community colleges
Prediction of scholastic success
Academic achievement--Evaluation

description: Among community college leaders and others interested in reforms to improve student success, there is growing interest in adopting machine learning techniques to predict credential completion. However, machine learning algorithms are often complex and are not readily accessible to practitioners, for whom a simpler set of near-term measures may serve as sufficient predictors. This study compares the out-of-sample predictive power of early momentum metrics —13 near-term success measures suggested by the literature—with that of metrics from machine-learning-based models that employ approximately 500 predictors for community college credential completion. Using transcript data from approximately 50,000 students at more than 30 community colleges in two states, the author finds that the early momentum metrics that were modeled by logistic regression accurately predict completion for approximately 80% of students. This classification performance is comparable to that of the machine-learning-based models. The early momentum metrics even outperform the machine-learning-based models in probability estimation. These findings suggest that early momentum metrics are useful predictors for credential completion and that the marginal gain from using a machine-learning-based model over early momentum metrics is typically small.
[Pegasus-Onlinezeitschrift 1- 2/2015 / Antike Welt 2/2016 / Cursor. Latein4EU. Zeitschrift für Freunde der lateinischen Sprache und europäischen Kultur …]
Creators: name: Rabl, Josef
Publisher: name: Forum Classicum
Year: 2017

description: -
description: Forum Classicum, Nr. 2 (2016): Forum Classicum
Bärbel Morstadt: Die Phönizier
Creators: name: Schmude, Michael P.
Publisher: name: Forum Classicum
Year: 2017

description: Rezension zu: Bärbel Morstadt: Die Phönizier, Wissenschaftliche Buchgesellschaft (Philipp von Zabern) Darmstadt 2015. (ISBN 978-3-8053-4878-2).
description: Forum Classicum, Nr. 2 (2016): Forum Classicum
title: Virtual machine deployment and migration on heterogeneous cloud platforms
title: Ανάπτυξη και μεταφορά εικονικών μηχανών σε ετερογενείς πλατφόρμες υπολογιστικού νέφους
Creators: name: Καργατζης Δημητριος
Publisher: name: Technical University of Crete
Year: 2017

description: Cloud computing offers an innovative business model for organizations to adopt IT
services at a reduced cost with increased reliability and scalability. Adopting a cloud
solution means binding to a specific platform and vendor, using specific protocols,
standards and tools of the cloud and finally, running into a vendor lock-in situation.
The fear of vendor lock-in is often cited as a major impediment to cloud service
adoption. If the provider decides to raise its prices or change its security policies, the
customer may have to consider to move his workloads to another provider. In this
work we focus on the automatic migration requirements in Openstack systems and as
a use case we present a mechanism for Virtual Machine (VM) migration (or of their
running instances) between Openstack and KVM virtualization and another cloud
platform that runs a different Virtualization engine (Stratogen and VMware is our
case). The standards approach is to freeze the running instance of a VM and restart it
under the new environment. We examined the requirements for successful migration
and the conclusion is that migration is not always fully automatic as it might need lots
of parameter tuning depending on differences in the type of virtualization engines
used at source and target environments (a task that can be performed by a specialized
expert). To alleviate the requirement of human intervention in the loop, we suggest
using containers as the underlying virtualization technology. We propose a
mechanism that implements migration using containers in a few steps and we run a
series of experiments to show proof of concept. As a conclusion, the later technology
proved to be feasible and more promising although it is still not fully supported by
infrastructure (operating system) tools that allow migration independent of the state of
the underlying operating system kernel at the time of transfer.
Happy Together? The Peer Effects of Dual Enrollment Students on Community College Student Outcomes
Creators: name: Liu, Vivian Yuen Ting
name: Xu, Di
Publisher: name: Columbia University
Year: 2019
Subjects: Community college students
Dual enrollment
Academic achievement
Educational evaluation

description: Nationally, 15% of first-time community college students were high school students taking college coursework through dual enrollment in the fall of 2010, and the percentage has risen since then. The growing numbers of dual enrollment students at community colleges raises concerns about how high school peers might influence traditionally aged college enrollees. Using administrative data from a large state community college system, this paper examines whether being exposed to a higher percentage of dual enrollment peers influences non-dual enrollment enrollees’ performance in college courses. Focusing on entry-level (or gateway) math and English courses and employing a two-way fixed effects model, the authors find that non-dual enrollment college enrollees exposed to a higher proportion of dual enrollment peers had lower pass rates and grades in gateway courses, higher course repetition, and lower subject persistence.
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers
Creators: name: Bellanger, Céline
name: Garoche, Pierre-Loïc
name: Martel, Matthieu
name: Picard, Célia
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Signal Temporal Logic (STL) is a convenient formalism to express bounded horizon properties of autonomous critical systems. STL extends LTL to real-valued signals and associates a non-singleton bound interval to each temporal operators. In this work we provide a rigorous encoding of non-nested discrete-time STL formulas into Lustre synchronous observers. Our encoding provides a three-valued online semantics for the observers and therefore enables both the verification of the property and the search of counter-examples. A key contribution of this work is an instrumented proof of the validity of the implementation. Each node is proved correct with respect to the original STL semantics. All the experiments are automated with the Kind2 model-checker and the Z3 SMT solver.
description: In Proceedings FMAS 2023, arXiv:2311.08987
title: Πληροφοριακό σύστημα συλλογής, διαχείρισης και απεικόνισης σε πραγματικό χρόνο περιβαλλοντικών δεδομένων κατά την πορεία μετακινούμενων οχημάτων.
title: Information system for collection, management and real time visualization during the route of moving vehicles
Creators: name: Αρετακης Κωνσταντινος
Publisher: name: Technical University of Crete
Year: 2017

description: Η εξέλιξη του πολιτισμού ανέκαθεν συνοδεύονταν από αυξημένες ανάγκες μεταφοράς.
Σήμερα παρά ποτέ οι ανάγκες αυτές έχουν εκτοξευθεί με αποτέλεσμα την διαρκή αύξηση και των μέσων μεταφοράς.
Η ραγδαία αυτή αύξηση του αριθμού των μέσων που καθημερινά μετακινούνται στην υφήλιο έχει άμεσες συνέπειες στην κλιματική αλλαγή και συνεπώς είναι απαραίτητη η άμεση εποπτεία τους για τον αποτελεσματικότερο έλεγχο των επιδράσεων τους.
Στα πλαίσια αυτής της διπλωματικής σχεδιάστηκε και υλοποιήθηκε μια διαδικτυακή
εφαρμογή για την απεικόνιση σε διαδραστικό γεωγραφικό χάρτη περιβαλλοντικών
δεδομένων που συλλέγονται από ροές δεδομένων δικτύων αισθητήρων κατά την πορεία μετακινούμενων οχημάτων.
Η ανάπτυξη της εφαρμογής έγινε με γνώμονα την δυνατότητα προσθήκης αυθαίρετου αριθμού ροών δεδομένων, περιβαλλοντικών συνιστωσών και ειδών μετακινούμενων οχημάτων για την αποτελεσματικότερη ανάλυση των περιβαλλοντικών επιπτώσεων κατά την πορεία των τελευταίων.
Anisotropic Dirac cones in monatomic hexagonal lattices
Creators: name: Rojas-Cuervo, A. M.
name: Fonseca-Romero, K. M.
name: Rey-González, R. R.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: In the last few years, the fascinating properties of graphene have been thoroughly investigated. The existence of Dirac cones is the most important characteristic of the electronic band-structure of graphene. In this theoretical paper, hexagonal monolayers of silicon (h-Si) and germanium (h-Ge) are examined using density functional theory, within the generalized gradient approximation. Our numerical results indicate that both h-Si and h-Ge are chemically stable. The lattice parameters, electronic dispersion relations and densities of states for these systems are reported. The electronic dispersion relations display Dirac cones with the symmetry of an equilateral triangle (the group D$_3$) in the vicinity of the K points. Hence, the Fermi velocity depends on the wave vector direction around $K$ points. Fermi velocities for holes and electrons are significantly different. The maximum and minimum Fermi velocities are also reported.
description: 7 pages, 9 figures. Accepted for publication in The European Physical Journal B (EPJB)
title: Ιχνογραφήσεις ενός ερειπωμένου τοπίου: ενεργοποίηση της περιοχής του όρμου Στομίου, Χανιά
title: Tracing of an abandoned landscape: activation of the area of Stomio bay, Chania
Creators: name: Παπαγεωργιου Μαρια
name: Σκουτελα Μαρινα
Publisher: name: Technical University of Crete
Year: 2018

description: Η παρούσα διπλωματική εργασία μελετά την περιοχή του όρμου Στομίου Κισσάμου, που βρίσκεται 74 χιλιόμετρα νοτιοδυτικά της πόλης των Χανίων και 7 χιλιόμετρα βόρεια του Ελαφονησίου. Πρόκειται για ένα τοπίο με χαρακτηριστικά μεσογειακού οικοσυστήματος και ιδιαίτερο γεωλογικό υπόβαθρο, στο οποίο διακρίνονται τέσσερα βασικά στοιχεία: α. ο εποχιακός χείμμαρος με το πευκόδασος, β. η εγκαταλελειμμένη λιμνοδεξαμενή, γ. η ανενεργή βιομηχανία γύψου και δ. το πεζοπορικό μονοπάτι Ε4. Με εργαλείο την αναπαρασταστική μέθοδο των collages δορυφορικών απεικονίσεων, φωτογραφιών και διαγραμμάτων διαπιστώνεται ο ιδιότυπος χαρακτήρας της περιοχής: ένα τοπίο αντιθέσεων όπου συνυπάρχει μία προστατευόμενη περιοχή Natura με ένα ερειπωμένο βιομηχανικό περιβάλλον. Τα αποτυπώματα της ανθρωπογενούς δραστηριότητας συνθέτουν μια “δυστοπική” ατμόσφαιρα και στον χώρο αναδύεται η αίσθηση του ανοίκειου. Έχοντας ως βασικό συνθετικό εργαλείο αυτήν την αίσθηση, η εργασία αποπειράται να αναδιατυπώσει τα ίχνη που βρίσκονται στο τοπίο και προτείνει ενεργοποίηση της περιοχής μέσω της φιλοξενίας δραστηριοτήτων πολιτισμού και έρευνας. Δημιουργεί ένα δικτύο διαδρομών και σημείων στάσης ή παρατήρησης επεμβαίνοντας στα υφιστάμενα κατάλοιπα και συνθέτοντας νέες δομές.
How Can We Improve Teaching in Higher Education? Learning From CUNY Start
Creators: name: Cormier, Maria Scott
name: Bickerstaff, Susan E.
Publisher: name: Columbia University
Year: 2020
Subjects: Community colleges--Faculty
Career development
Underprepared community college students
Community colleges

description: Despite the growing evidence on promising approaches to postsecondary instruction—and particularly on the benefits of student-centered, conceptually oriented instruction for underprepared students—there has been limited investment in supporting these approaches’ widespread implementation. Most postsecondary instructors have limited training in pedagogy, and broad-access colleges have relatively few resources to invest in improving instruction and building high-quality curriculum. Moreover, the field has few documented models of scalable professional development that results in demonstrated improvements in teaching and student learning. To help address this gap in the literature, this paper describes the professional development model used in CUNY Start, a program developed at the City University of New York to support entering students identified as academically underprepared in literacy and mathematics. Using interview and survey data collected as part of a larger random assignment evaluation of CUNY Start, the paper explores how CUNY Start’s multifaceted, coordinated system of professional development supports postsecondary instructors in enacting a student-centered, conceptually oriented instructional approach. CUNY Start’s professional development model has several notable features: a staffing approach that values instructional expertise, an apprenticeship for new hires, coaching through classroom observations, and cross-college meetings. While this model is distinct from traditional approaches to professional development in higher education, elements of it can be applied in other higher education settings. The paper concludes by discussing how colleges and departments might structure professional development around a set of student learning goals, offer a system of ongoing supports, and create a staffing model that supports the development of instructional expertise.
title: Διαμόρφωση πάρκου και κέντρου φιλοξενίας αστέγων στον σταθμό Περισσού
title: Urban park and homeless shelter at Perissos train station
Creators: name: Μπουρλεκα Ναταλια
name: Φωτιαδου Στεφανια
Publisher: name: Technical University of Crete
Year: 2018

description: Το φαινόμενο της αστεγίας έχει κάνει εντονότερα αισθητή την παρουσία του στα ελληνικά αστικά κέντρα τις τελευταίες δεκαετίες, παρουσιάζοντας ιδιαίτερη έξαρση κατά την περίοδο της οικονομικής κρίσης. Πιο συγκεκριμένα, η συρρίκνωση του δημόσιου χώρου και η απώλεια του ανοιχτού χαρακτήρα του, που προκύπτουν μέσω διασικασιών εξευγενισμού με στόχο την μεγιστοποίηση του ιδιωτικού κεφαλαίου, αλλά και η μικροαρχιτεκτονική των πόλεων συμβάλουν ολοένα και περισσότερο στην εκδίωξη και στον χωρικό αποκλεισμό του άστεγου πληθυσμού από τα αστικά κέντρα. Χώροι όπως σταθμοί τρένων και δημοσίων υπηρεσιών που συνέθεταν ένα καταφύγιο, πλέον προορίζονται αποκλειστικά για τους ενεργούς καταναλωτές. Παρόλη την ανομοιογένεια του πληθυσμού των αστέγων, το κοινό χαρακτηριστικό που εντοπίζεται δεν έιναι μόνο η απουσία ενός φυσικού καταφυγίου, αλλά η έλλειψη ενός ασφαλούς και σταθερού περιβάλλοντος όπου μπορούν να ικανοποιηθούν οι ψυχολογικές και πνευματικές ανάγκες του ατόμου. Στην παρούσα εργασία προτείνεται ένα κέντρο φιλοξενίας στον σταθμό Περισσού και ο σχεδιασμός ενός αστικού πάρκου που απευθύνεται στην ευρύτερη γειτονιά και αποτελεί χώρο μετάβασης από το σταθμό του Περισσού στο κέντρο της Νέας Φιλαδέλφειας. Ο χώρος του κέντρου φιλοξενίας διαμορφώνεται έτσι ώστε να αρθρώνονται διαφορετικοί πυρήνες κατοίκησης, στους οποίους διαμένουν μικρές ομάδες των οχτώ ατόμων. Με αυτόν τον τρόπο επιχειρείται μια προσπάθεια δημιουργίας ενός περιβάλλοντος που θα προσομοίωνει την αίσθηση της οικογένειας και θα εναθαρρύνει την δημιουργία κοινωνικών δεσμών. Στα πλαίσια της κοινωνικής επανένταξης των αστέγων και της ελαχιστοποίσης της αίσθησης του κοινωνικού παραγκωνισμού λόγω της μακροχρόνιας ανεργίας, η διαμόρφωση του αστικού πάρκου περιλαμβάνει και δομές αστικής καλλιέργειας, που όχι μόνο θα εξασφαλίζουν την αυτονομία σίτισης του συγκροτήματος αλλά θα προσφέρουν στους αστέγους  μια ευκαιρία δημιουργικής απασχόλησης και εξασφάλισης εισοδήματος. Με την τοποθέτηση μίας μικρής λαϊκής αγοράς τα προϊόντα που παράγονται μπορούν να προωθούνται και στην κοινότητα, επαναπροσδιορίζοντας την θέση των αστέγων μέσα σε αυτήν.
Learning effects in variable autonomy human-robot systems: how much training is enough?
Creators: name: Chiou, Manolis
name: Talha, Mohammed
name: Stolkin, Rustam
Publisher: name: arXiv
Year: 2023
Subjects: subject: Robotics (cs.RO)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: This paper investigates learning effects and human operator training practices in variable autonomy robotic systems. These factors are known to affect performance of a human-robot system and are frequently overlooked. We present the results from an experiment inspired by a search and rescue scenario in which operators remotely controlled a mobile robot with either Human-Initiative (HI) or Mixed-Initiative (MI) control. Evidence suggests learning in terms of primary navigation task and secondary (distractor) task performance. Further evidence is provided that MI and HI performance in a pure navigation task is equal. Lastly, guidelines are proposed for experimental design and operator training practices.
description: This paper is a preprint of the paper published on the IEEE International Conference on Systems, Man and Cybernetics (SMC) 2019
Comparing Differentiable Logics for Learning Systems: A Research Preview
Creators: name: Flinkow, Thomas
name: Pearlmutter, Barak A.
name: Monahan, Rosemary
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Extensive research on formal verification of machine learning (ML) systems indicates that learning from data alone often fails to capture underlying background knowledge. A variety of verifiers have been developed to ensure that a machine-learnt model satisfies correctness and safety properties, however, these verifiers typically assume a trained network with fixed weights. ML-enabled autonomous systems are required to not only detect incorrect predictions, but should also possess the ability to self-correct, continuously improving and adapting. A promising approach for creating ML models that inherently satisfy constraints is to encode background knowledge as logical constraints that guide the learning process via so-called differentiable logics. In this research preview, we compare and evaluate various logics from the literature in weakly-supervised contexts, presenting our findings and highlighting open problems for future work. Our experimental results are broadly consistent with results reported previously in literature; however, learning with differentiable logics introduces a new hyperparameter that is difficult to tune and has significant influence on the effectiveness of the logics.
description: In Proceedings FMAS 2023, arXiv:2311.08987
Exploring the State of the Humanities in Community Colleges
Creators: name: Bickerstaff, Susan E.
name: Brock, Thomas
name: Moussa, Adnan
name: Ran, Xiaotao
Publisher: name: Columbia University
Year: 2020
Subjects: subject: Community colleges
subject: Humanities
subject: FOS: Humanities
subject: Humanities--Study and teaching (Continuing education)
subject: Community colleges--Faculty
subject: Community colleges--Curricula

description: Drawing on research literature and a set of informal interviews with humanities faculty and leaders of relevant initiatives, this paper first discusses what is known about humanities coursework in community colleges. It then outlines three key challenges facing humanities education in this higher education sector: 1. an oversimplified identification of community colleges as providers primarily of vocational education, 2. limited professional supports for community college humanities faculty, and 3. weak humanities transfer pathways between community colleges and destination four-year colleges. The paper goes on to describe current efforts that attempt to address these challenges and concludes with a call for future research intended to enhance our understanding of the humanities in community colleges and the ways humanities education in community colleges might be strengthened and improved.
Towards Formal Fault Injection for Safety Assessment of Automated Systems
Creators: name: Farooqui, Ashfaq
name: Sangchoolie, Behrooz
Publisher: name: arXiv
Year: 2023
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Reasoning about safety, security, and other dependability attributes of autonomous systems is a challenge that needs to be addressed before the adoption of such systems in day-to-day life. Formal methods is a class of methods that mathematically reason about a system's behavior. Thus, a correctness proof is sufficient to conclude the system's dependability. However, these methods are usually applied to abstract models of the system, which might not fully represent the actual system. Fault injection, on the other hand, is a testing method to evaluate the dependability of systems. However, the amount of testing required to evaluate the system is rather large and often a problem. This vision paper introduces formal fault injection, a fusion of these two techniques throughout the development lifecycle to enhance the dependability of autonomous systems. We advocate for a more cohesive approach by identifying five areas of mutual support between formal methods and fault injection. By forging stronger ties between the two fields, we pave the way for developing safe and dependable autonomous systems. This paper delves into the integration's potential and outlines future research avenues, addressing open challenges along the way.
description: In Proceedings FMAS 2023, arXiv:2311.08987
Social and place-focused communities in location-based online social networks
Creators: name: Brown, Chloë
name: Nicosia, Vincenzo
name: Scellato, Salvatore
name: Noulas, Anastasios
name: Mascolo, Cecilia
Publisher: name: arXiv
Year: 2013
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Social and Information Networks (cs.SI)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Thanks to widely available, cheap Internet access and the ubiquity of smartphones, millions of people around the world now use online location-based social networking services. Understanding the structural properties of these systems and their dependence upon users' habits and mobility has many potential applications, including resource recommendation and link prediction. Here, we construct and characterise social and place-focused graphs by using longitudinal information about declared social relationships and about users' visits to physical places collected from a popular online location-based social service. We show that although the social and place-focused graphs are constructed from the same data set, they have quite different structural properties. We find that the social and location-focused graphs have different global and meso-scale structure, and in particular that social and place-focused communities have negligible overlap. Consequently, group inference based on community detection performed on the social graph alone fails to isolate place-focused groups, even though these do exist in the network. By studying the evolution of tie structure within communities, we show that the time period over which location data are aggregated has a substantial impact on the stability of place-focused communities, and that information about place-based groups may be more useful for user-centric applications than that obtained from the analysis of social communities alone.
description: 11 pages, 5 figures
English Learners and ESL Programs in the Community College: A Review of the Literature
Creators: name: Raufman, Julia
name: Brathwaite, Jessica R.
name: Kalamkarian, Hoori Santikian
Publisher: name: Columbia University
Year: 2019
Subjects: English language--Study and teaching (Higher)--Foreign speakers
Community colleges
Academic achievement
School management and organization
College placement services

description: Demographic and postsecondary enrollment data suggest that the proportion of community college students who need support to access curricula in English is large and will continue to grow in the coming years. Yet there is limited research on the postsecondary experiences and outcomes of these English learners, and most of the studies that are available focus exclusively on the subset of English learners who enroll in ESL courses. Informed by relevant research literature, this paper examines factors within the community college context that affect the experiences and academic outcomes of the English learner population broadly and, given that they can be more easily identified and have been the subject of much more study, students who enroll in ESL courses in particular. The paper describes English learners and their academic needs and strengths and provides a brief discussion of the national and state policy landscape regarding English learner students. It then provides perspectives from the research literature on ESL assessment and placement, instructional delivery, and student identity. The paper concludes with a brief discussion of the implications of these findings for policy, practice, and future research. In June 2019 small revisions were made on pp. 13 and 16 of this paper to better clarify the influence of Assembly Bill 705 on English learners in California.
Runtime Verification of Learning Properties for Reinforcement Learning Algorithms
Creators: name: Mannucci, Tommaso
name: Filho, Julio de Oliveira
Publisher: name: arXiv
Year: 2023
Subjects: subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Reinforcement learning (RL) algorithms interact with their environment in a trial-and-error fashion. Such interactions can be expensive, inefficient, and timely when learning on a physical system rather than in a simulation. This work develops new runtime verification techniques to predict when the learning phase has not met or will not meet qualitative and timely expectations. This paper presents three verification properties concerning the quality and timeliness of learning in RL algorithms. With each property, we propose design steps for monitoring and assessing the properties during the system's operation.
description: In Proceedings FMAS 2023, arXiv:2311.08987
The Meaning and Consequences of Star Formation Criteria in Galaxy Models with Resolved Stellar Feedback
Creators: name: Hopkins, Philip F.
name: Narayanan, Desika
name: Murray, Norman
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We consider the effects of different star formation criteria on galactic scales, in high-resolution simulations with explicitly resolved GMCs and stellar feedback. We compare: (1) a self-gravity criterion (based on the local virial parameter and the assumption that self-gravitating gas collapses to high density in a free-fall time), (2) a fixed density threshold, (3) a molecular-gas law, (4) a temperature threshold, (5) a Jeans-instability requirement, (6) a criteria that cooling times be shorter than dynamical times, and (7) a convergent-flow criterion. We consider these both MW-like and high-density (starburst) galaxies. With feedback present, all models produce identical integrated star formation rates (SFRs), in agreement with the Kennicutt relation. Without feedback all produce orders-of-magnitude excessive SFRs. This is totally dependent on feedback and independent of the SF law. However, the spatial and density distribution of SF depend strongly on the SF criteria. Because cooling rates are generally fast and gas is turbulent, criteria (4)-(7) are 'weak' and spread SF uniformly over the disk (above densities n~0.01-0.1 cm^-3). A molecular criterion (3) localizes to higher densities, but still a wide range; for Z Z_solar, it is similar to a density threshold at n~1 cm^-3 (well below mean densities in the MW center or starbursts). Fixed density thresholds (2) can always select the highest densities, but must be adjusted for simulation resolution and galaxy properties; the same threshold that works in a MW-like simulation will select nearly all gas in a starburst. Binding criteria (1) tend to adaptively select the largest over-densities, independent of galaxy model or resolution, and automatically predict clustered SF. We argue that this SF model is most physically-motivated and presents significant numerical advantages in large-dynamic range simulations.
description: 6 pages, 3 figures, MNRAS accepted (revised to match published version)
First-principles investigation of half-metallic ferromagnetism of half-Heusler compounds XYZ
Creators: name: Feng, L.
name: Liu, E. K.
name: Zhang, W. X.
name: Wang, W. H.
name: Wu, G. H.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We investigate the electronic structure and magnetism of half-Heusler compounds XYZ (X, Y=V, Cr, Mn, Fe, Co and Ni; Z=Al, Ga, In, Si, Ge, Sn, P, As, and Sb) using the ab initio density functional theory calculations. Nine half-metals with half-Heusler structure have been predicted with the half-metallic gap of 0.07-0.67 eV. The calculations show that the formation energies for these nine half-Heusler compounds range from -1.32 to -0.12 eV/f.u., and for CoCrSi, CoCrGe, CoFeGe, CoMnSi, CoMnGe, FeMnGe and FeMnAs, the total energy differences between the half-Heusler structure and the corresponding ground-state structure are small (0.07-0.76 eV/f.u.), thus it is expected that they would be realized in the form of thin films under metastable conditions for spintronic applications. The stability of the half-metallicity of CoCrGe and FeMnAs to the lattice distortion is also investigated in detail.
description: 15 pages, 6 figures, 1 table